Search the dblp DataBase

Publications of Author

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