Synchronous Development of Asynchonous Systems. - Clemens Fischer; Wil Janssen (CONCUR, 1996)

Combining Object-Z and CSP. - Clemens Fischer (FBT, 1997)

Combining CSP and Object-Z: Finite or Infinite Trace Semantics? - Clemens Fischer; Graeme Smith 001 (FORTE, 1997)

Beweisbar korrekte Telekommunikationssysteme. - Clemens Fischer; Stephan Kleuker; Ernst-Rüdiger Olderog (Informationstechnik Tech. Inform., 1997)

JaWa: Java with Assertions. - Clemens Fischer; Dieter Meemken (Java-Informations-Tage, 1998)

How to Combine Z with Process Algebra. - Clemens Fischer (ZUM, 1998)

Software Development with Object-Z, CSP, and Java: A Pragmatic Link from Formal Specifications to Programs. - Clemens Fischer (ECOOP Workshops, 1999)

Model-Checking CSP-OZ Specifications with FDR. - Clemens Fischer; Heike Wehrheim (IFM, 1999)

Behavioural Subtyping Relations for Object-Oriented Formalisms. - Clemens Fischer; Heike Wehrheim (AMAST, 2000)

Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method. - Clemens Fischer; Heike Wehrheim (Bull. EATCS, 2000)

Combination and implementation of processes and data: from CSP-OZ to Java. - Clemens Fischer (2000)

A CSP View on UML-RT Structure Diagrams. - Clemens Fischer; Ernst-Rüdiger Olderog; Heike Wehrheim (FASE, 2001)

Jass - Java with Assertions. - Detlef Bartetzko; Clemens Fischer; Michael Möller 002; Heike Wehrheim (RV@CAV, 2001)

On a domain block based mechanism to mitigate DoS attacks on shared caches in asymmetric multiprocessing multi operating systems. - Pierre Schnarz; Clemens Fischer; Joachim Wietzke; Ingo Stengel (ISSA, 2014)