 | 2008 |
|---|
| 26 |       | Emil Sekerinski:
Verifying Statecharts with State Invariants.
ICECCS 2008: 7-14 |
| 25 | | Emil Sekerinski:
An Algebraic Approach to Refinement with Fair Choice.
Electr. Notes Theor. Comput. Sci. 214: 51-79 (2008) |
| 2006 |
|---|
| 24 |  | Jayadev Misra,
Tobias Nipkow,
Emil Sekerinski:
FM 2006: Formal Methods, 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings
Springer 2006 |
| 2005 |
|---|
| 23 | | Emil Sekerinski:
Verification and refinement with fine-grained action-based concurrent objects.
Theor. Comput. Sci. 331(2-3): 429-455 (2005) |
| 2003 |
|---|
| 22 | | Emil Sekerinski:
Exploring Tabular Verification and Refinement.
Formal Asp. Comput. 15(2-3): 215-236 (2003) |
| 2002 |
|---|
| 21 | | Emil Sekerinski:
Concurrent Object-Oriented Programs: From Specification to Code.
FMCO 2002: 403-423 |
| 20 | | Emil Sekerinski,
Rafik Zurob:
Translating Statecharts to B.
IFM 2002: 128-144 |
| 19 | | Emil Sekerinski:
Tabular verification and refinement.
Electr. Notes Theor. Comput. Sci. 70(3): (2002) |
| 2001 |
|---|
| 18 | | Emil Sekerinski,
Rafik Zurob:
iState: A Statechart Translator.
UML 2001: 376-390 |
| 17 | | Ryszard Janicki,
Emil Sekerinski:
Foundations of the Trace Assertion Method of Module Interface Specification.
IEEE Trans. Software Eng. 27(7): 577-598 (2001) |
| 2000 |
|---|
| 16 | | Emil Sekerinski:
On Guarded Commands with Fair Choice.
MPC 2000: 127-139 |
| 15 | | Martin Büchi,
Emil Sekerinski:
A Foundation for Refining Concurrent Objects.
Fundam. Inform. 44(1-2): 25-61 (2000) |
| 1999 |
|---|
| 14 | | Leonid Mikhajlov,
Emil Sekerinski,
Linas Laibinis:
Developing Components in the Presence of Re-entrance.
World Congress on Formal Methods 1999: 1301-1320 |
| 1998 |
|---|
| 13 | | Emil Sekerinski:
Graphical Design of Reactive Systems.
B 1998: 182-197 |
| 12 | | Leonid Mikhajlov,
Emil Sekerinski:
A Study of The Fragile Base Class Problem.
ECOOP 1998: 355-382 |
| 1997 |
|---|
| 11 | | Ralph-Johan Back,
Martin Büchi,
Emil Sekerinski:
Action-Based Concurrency and Synchronization for Objects.
ARTS 1997: 248-262 |
| 10 | | Martin Büchi,
Emil Sekerinski:
Formal Methods for Component Software: The Refinement Calculus Perspective.
ECOOP Workshops 1997: 332-337 |
| 9 | | Leonid Mikhajlov,
Emil Sekerinski:
The Fragile Base Class Problem and Its Impact on Component Systems.
ECOOP Workshops 1997: 353-358 |
| 8 | | Anna Mikhajlova,
Emil Sekerinski:
Class Refinement and Interface Refinement in Object-Oriented Programs.
FME 1997: 82-101 |
| 1996 |
|---|
| 7 | | Emil Sekerinski,
Kaisa Sere:
A Theory of Prioritizing Composition.
Comput. J. 39(8): 701-712 (1996) |
| 1995 |
|---|
| 6 | | François Erasmy,
Emil Sekerinski:
RAISE.
Formal Development of Reactive Systems 1995: 277-293 |
| 5 | | Andreas Rüping,
Emil Sekerinski:
Modula-3.
Formal Development of Reactive Systems 1995: 357-371 |
| 4 | | Michael J. Butler,
Emil Sekerinski,
Kaisa Sere:
An Action System Approach to the Steam Boiler Problem.
Formal Methods for Industrial Applications 1995: 129-148 |
| 3 | | Claus Lewerentz,
Thomas Lindner,
Andreas Rüping,
Emil Sekerinski:
On Object-Oriented Design and Verification.
KORSO Book 1995: 92-111 |
| 1994 |
|---|
| 2 | | François Erasmy,
Emil Sekerinski:
Stepwise Refinement of Control Software - A Case Study Using RAISE.
FME 1994: 547-566 |
| 1992 |
|---|
| 1 | | Emil Sekerinski:
A Calculus for Predicative Programming.
MPC 1992: 302-322 |
