 | 2001 |
|---|
| 11 |       | Clemens Fischer,
Ernst-Rüdiger Olderog,
Heike Wehrheim:
A CSP View on UML-RT Structure Diagrams.
FASE 2001: 91-108 |
| 10 | | Detlef Bartetzko,
Clemens Fischer,
Michael Möller,
Heike Wehrheim:
Jass - Java with Assertions.
Electr. Notes Theor. Comput. Sci. 55(2): (2001) |
| 2000 |
|---|
| 9 | | Clemens Fischer,
Heike Wehrheim:
Behavioural Subtyping Relations for Object-Oriented Formalisms.
AMAST 2000: 469-483 |
| 8 |  | Clemens Fischer,
Heike Wehrheim:
Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method.
Bulletin of the EATCS 71: 92-101 (2000) |
| 1999 |
|---|
| 7 | | Clemens Fischer:
Software Development with Object-Z, CSP, and Java: A Pragmatic Link from Formal Specifications to Programs.
ECOOP Workshops 1999: 108-109 |
| 6 | | Clemens Fischer,
Heike Wehrheim:
Model-Checking CSP-OZ Specifications with FDR.
IFM 1999: 315-334 |
| 1998 |
|---|
| 5 | | Clemens Fischer,
Dieter Meemken:
JaWa: Java with Assertions.
Java-Informations-Tage 1998: 49-59 |
| 4 | | Clemens Fischer:
How to Combine Z with Process Algebra.
ZUM 1998: 5-23 |
| 1997 |
|---|
| 3 | | Clemens Fischer:
Combining Object-Z and CSP.
FBT 1997: 119-128 |
| 2 | | Clemens Fischer,
Graeme Smith:
Combining CSP and Object-Z: Finite or Infinite Trace Semantics?
FORTE 1997: 503-518 |
| 1996 |
|---|
| 1 | | Clemens Fischer,
Wil Janssen:
Synchronous Development of Asynchonous Systems.
CONCUR 1996: 735-750 |
