Emil Sekerinski

Emil Sekerinski, Tian Zhang: Verification Rules for Exception Handling in Eiffel. SBMF 2012: 179-193

Emil Sekerinski: An Algebraic Approach to Refinement with Fair Choice. Electr. Notes Theor. Comput. Sci. 214: 51-79 (2008)

Emil Sekerinski: Verifying Statecharts with State Invariants. ICECCS 2008: 7-14

Jayadev Misra, Tobias Nipkow, Emil Sekerinski (Eds.): FM 2006: Formal Methods, 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings. Lecture Notes in Computer Science 4085, Springer 2006, isbn 3-540-37215-6

Emil Sekerinski: Verification and refinement with fine-grained action-based concurrent objects. Theor. Comput. Sci. 331(2-3): 429-455 (2005)

Emil Sekerinski: Exploring Tabular Verification and Refinement. Formal Asp. Comput. 15(2-3): 215-236 (2003)

Emil Sekerinski: Tabular verification and refinement. Electr. Notes Theor. Comput. Sci. 70(3): 179-198 (2002)

Emil Sekerinski: Concurrent Object-Oriented Programs: From Specification to Code. FMCO 2002: 403-423

Emil Sekerinski, Rafik Zurob: Translating Statecharts to B. IFM 2002: 128-144

Ryszard Janicki, Emil Sekerinski: Foundations of the Trace Assertion Method of Module Interface Specification. IEEE Trans. Software Eng. 27(7): 577-598 (2001)

Emil Sekerinski, Rafik Zurob: iState: A Statechart Translator. UML 2001: 376-390

Martin Büchi, Emil Sekerinski: A Foundation for Refining Concurrent Objects. Fundam. Inform. 44(1-2): 25-61 (2000)

Emil Sekerinski: On Guarded Commands with Fair Choice. MPC 2000: 127-139

Leonid Mikhajlov, Emil Sekerinski, Linas Laibinis: Developing Components in the Presence of Re-entrance. World Congress on Formal Methods 1999: 1301-1320

Emil Sekerinski: Graphical Design of Reactive Systems. B 1998: 182-197

Leonid Mikhajlov, Emil Sekerinski: A Study of The Fragile Base Class Problem. ECOOP 1998: 355-382

Ralph-Johan Back, Martin Büchi, Emil Sekerinski: Action-Based Concurrency and Synchronization for Objects. ARTS 1997: 248-262

Martin Büchi, Emil Sekerinski: Formal Methods for Component Software: The Refinement Calculus Perspective. ECOOP Workshops 1997: 332-337

Leonid Mikhajlov, Emil Sekerinski: The Fragile Base Class Problem and Its Impact on Component Systems. ECOOP Workshops 1997: 353-358

Anna Mikhajlova, Emil Sekerinski: Class Refinement and Interface Refinement in Object-Oriented Programs. FME 1997: 82-101

Emil Sekerinski, Kaisa Sere: A Theory of Prioritizing Composition. Comput. J. 39(8): 701-712 (1996)

Michael J. Butler, Emil Sekerinski, Kaisa Sere: An Action System Approach to the Steam Boiler Problem. Formal Methods for Industrial Applications 1995: 129-148

Claus Lewerentz, Thomas Lindner, Andreas Rüping, Emil Sekerinski: On Object-Oriented Design and Verification. KORSO Book 1995: 92-111

François Erasmy, Emil Sekerinski: RAISE. Formal Development of Reactive Systems 1995: 277-293

Andreas Rüping, Emil Sekerinski: Modula-3. Formal Development of Reactive Systems 1995: 357-371

Emil Sekerinski: Verfeinerung in der objektorientierten Programmkonstruktion. Universität Karlsruhe 1994, pp. 1-149

François Erasmy, Emil Sekerinski: Stepwise Refinement of Control Software - A Case Study Using RAISE. FME 1994: 547-566

Emil Sekerinski: A Calculus for Predicative Programming. MPC 1992: 302-322