Clemens Fischer

Publication Activity (10 Years)

Years Active: 1996-2014
Publications (10 Years): 0

Top Venues

ISSA

University of Oldenburg, Germany (PHD)

Education History

University of Oldenburg, Germany

PHD

Publications

Pierre Schnarz, Clemens Fischer, Joachim Wietzke, Ingo Stengel
On a domain block based mechanism to mitigate DoS attacks on shared caches in asymmetric multiprocessing multi operating systems. ISSA (2014)
Clemens Fischer, Ernst-Rüdiger Olderog, Heike Wehrheim
A CSP View on UML-RT Structure Diagrams. FASE (2001)
Detlef Bartetzko, Clemens Fischer, Michael Möller, Heike Wehrheim
Jass - Java with Assertions. Electron. Notes Theor. Comput. Sci. 55 (2) (2001)
Clemens Fischer, Heike Wehrheim
Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method. Bull. EATCS 71 (2000)
Clemens Fischer, Heike Wehrheim
Behavioural Subtyping Relations for Object-Oriented Formalisms. AMAST (2000)
Clemens Fischer, Heike Wehrheim
Model-Checking CSP-OZ Specifications with FDR. IFM (1999)
Clemens Fischer
Software Development with Object-Z, CSP, and Java: A Pragmatic Link from Formal Specifications to Programs. ECOOP Workshops (1999)
Clemens Fischer
How to Combine Z with Process Algebra. ZUM (1998)
Clemens Fischer, Dieter Meemken
JaWa: Java with Assertions. Java-Informations-Tage (1998)
Clemens Fischer
Combining Object-Z and CSP. FBT (1997)
Clemens Fischer, Graeme Smith
Combining CSP and Object-Z: Finite or Infinite Trace Semantics? FORTE (1997)
Clemens Fischer, Stephan Kleuker, Ernst-Rüdiger Olderog
Beweisbar korrekte Telekommunikationssysteme. Informationstechnik Tech. Inform. 39 (3) (1997)
Clemens Fischer, Wil Janssen
Synchronous Development of Asynchonous Systems. CONCUR (1996)

Clemens Fischer.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Clemens Fischer