A study of the fragile base class problem L Mikhajlov, E Sekerinski European Conference on Object-Oriented Programming, 355-382, 1998 | 234 | 1998 |
Class refinement and interface refinement in object-oriented programs A Mikhajlova, E Sekerinski International Symposium of Formal Methods Europe, 82-101, 1997 | 121 | 1997 |
Program development by refinement: case studies using the B method E Sekerinski, K Sere Springer Science & Business Media, 1999 | 120 | 1999 |
Graphical design of reactive systems E Sekerinski International Conference of B Users, 182-197, 1998 | 81 | 1998 |
A theory of prioritizing composition E Sekerinski, K Sere The Computer Journal 39 (8), 701-712, 1996 | 65 | 1996 |
An action system approach to the steam boiler problem M Butler, E Sekerinski, K Sere Formal Methods for Industrial Applications: Specifying and Programming the …, 1996 | 58 | 1996 |
Formal methods for component software: The refinement calculus perspective M Büchi, E Sekerinski Object-Oriented Technologys: ECOOP’97 Workshop Reader ECOOP’97 Workshops …, 1998 | 53 | 1998 |
iState: A statechart translator E Sekerinski, R Zurob ≪ UML≫ 2001—The Unified Modeling Language. Modeling Languages, Concepts …, 2001 | 51 | 2001 |
Translating statecharts to B E Sekerinski, R Zurob International Conference on Integrated Formal Methods, 128-144, 2002 | 50 | 2002 |
Foundations of the trace assertion method of module interface specification R Janicki, E Sekerinski IEEE Transactions on Software Engineering 27 (7), 577-598, 2001 | 50 | 2001 |
A calculus for predicative programming E Sekerinski Mathematics of Program Construction: Second International Conference, Oxford …, 1993 | 41 | 1993 |
A type-theoretic basis for an object-oriented refinement calculus SJ Goldsack, SJH Kent Formal methods and object technology, 317-335, 1996 | 31 | 1996 |
Verifying statecharts with state invariants E Sekerinski 13th IEEE International Conference on Engineering of Complex Computer …, 2008 | 23 | 2008 |
Developing components in the presence of re-entrance L Mikhajlov, L Laibinis, E Sekerinski FM’99—Formal Methods: World Congress on Formal Methods in the Development …, 1999 | 23 | 1999 |
A comparison of time series databases for storing water quality data M Fadhel, E Sekerinski, S Yao Mobile Technologies and Applications for the Internet of Things: Proceedings …, 2019 | 20 | 2019 |
The fragile base class problem and its solution L Mihailov, E Sekerinski Turku Centre for Computer Science, 1997 | 20 | 1997 |
Action-based concurrency and synchronization for objects R Back, M Büchi, E Sekerinski Transformation-Based Reactive Systems Development: 4th International AMAST …, 1997 | 14 | 1997 |
pState: A probabilistic statecharts translator B Nokovic, E Sekerinski 2013 2nd Mediterranean Conference on Embedded Computing (MECO), 29-32, 2013 | 13 | 2013 |
The fragile base class problem and its impact on component systems L Mikhajlov, E Sekerinski Object-Oriented Technologys: ECOOP’97 Workshop Reader ECOOP’97 Workshops …, 1998 | 13 | 1998 |
From Action Systems to Distributed Systems: The Refinement Approach L Petre, E Sekerinski CRC Press, 2016 | 12 | 2016 |