Clemens Fischer

According to our database, Clemens Fischer authored at least 14 papers between 1996 and 2014.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2014

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

Proceedings of the 2014 Information Security for South Africa, 2014

2001

Jass - Java with Assertions.

Detlef Bartetzko, Clemens Fischer, Michael Möller, Heike Wehrheim

Proceedings of the Workshop on Runtime Verification, 2001

A CSP View on UML-RT Structure Diagrams.

Clemens Fischer, Ernst-Rüdiger Olderog, Heike Wehrheim

Proceedings of the Fundamental Approaches to Software Engineering, 2001

2000

Combination and implementation of processes and data: from CSP-OZ to Java.

Clemens Fischer

PhD thesis, 2000

Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method.

Clemens Fischer, Heike Wehrheim

Bull. EATCS, 2000

Behavioural Subtyping Relations for Object-Oriented Formalisms.

Clemens Fischer, Heike Wehrheim

Proceedings of the Algebraic Methodology and Software Technology. 8th International Conference, 2000

1999

Model-Checking CSP-OZ Specifications with FDR.

Clemens Fischer, Heike Wehrheim

Proceedings of the Integrated Formal Methods, 1999

Software Development with Object-Z, CSP, and Java: A Pragmatic Link from Formal Specifications to Programs.

Clemens Fischer

Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

1998

How to Combine Z with Process Algebra.

Clemens Fischer

Proceedings of the ZUM '98: The Z Formal Specification Notation, 1998

JaWa: Java with Assertions.

Clemens Fischer, Dieter Meemken

Proceedings of the JIT '98, 1998

1997

Beweisbar korrekte Telekommunikationssysteme.

Clemens Fischer, Stephan Kleuker, Ernst-Rüdiger Olderog

Informationstechnik Tech. Inform., 1997

Combining CSP and Object-Z: Finite or Infinite Trace Semantics?

Clemens Fischer, Graeme Smith

Proceedings of the Formal Description Techniques and Protocol Specification, 1997

Combining Object-Z and CSP.

Clemens Fischer

Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1997

1996

Synchronous Development of Asynchonous Systems.

Clemens Fischer, Wil Janssen

Proceedings of the CONCUR '96, 1996