Clemens Fischer

14 papers B 3C 1Journal 2Unranked 7

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