Follow
Emil Sekerinski
Emil Sekerinski
Associate Professor, McMaster University
Verified email at mcmaster.ca
Title
Cited by
Cited by
Year
A study of the fragile base class problem
L Mikhajlov, E Sekerinski
European Conference on Object-Oriented Programming, 355-382, 1998
2341998
Class refinement and interface refinement in object-oriented programs
A Mikhajlova, E Sekerinski
International Symposium of Formal Methods Europe, 82-101, 1997
1211997
Program development by refinement: case studies using the B method
E Sekerinski, K Sere
Springer Science & Business Media, 1999
1201999
Graphical design of reactive systems
E Sekerinski
International Conference of B Users, 182-197, 1998
811998
A theory of prioritizing composition
E Sekerinski, K Sere
The Computer Journal 39 (8), 701-712, 1996
651996
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
581996
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
531998
iState: A statechart translator
E Sekerinski, R Zurob
≪ UML≫ 2001—The Unified Modeling Language. Modeling Languages, Concepts …, 2001
512001
Translating statecharts to B
E Sekerinski, R Zurob
International Conference on Integrated Formal Methods, 128-144, 2002
502002
Foundations of the trace assertion method of module interface specification
R Janicki, E Sekerinski
IEEE Transactions on Software Engineering 27 (7), 577-598, 2001
502001
A calculus for predicative programming
E Sekerinski
Mathematics of Program Construction: Second International Conference, Oxford …, 1993
411993
A type-theoretic basis for an object-oriented refinement calculus
SJ Goldsack, SJH Kent
Formal methods and object technology, 317-335, 1996
311996
Verifying statecharts with state invariants
E Sekerinski
13th IEEE International Conference on Engineering of Complex Computer …, 2008
232008
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
231999
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
202019
The fragile base class problem and its solution
L Mihailov, E Sekerinski
Turku Centre for Computer Science, 1997
201997
Action-based concurrency and synchronization for objects
R Back, M Büchi, E Sekerinski
Transformation-Based Reactive Systems Development: 4th International AMAST …, 1997
141997
pState: A probabilistic statecharts translator
B Nokovic, E Sekerinski
2013 2nd Mediterranean Conference on Embedded Computing (MECO), 29-32, 2013
132013
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
131998
From Action Systems to Distributed Systems: The Refinement Approach
L Petre, E Sekerinski
CRC Press, 2016
122016
The system can't perform the operation now. Try again later.
Articles 1–20