Clemens Fischer
According to our database1,
Clemens Fischer
authored at least 14 papers
between 1996 and 2014.
Collaborative distances:
Collaborative distances:
Timeline
1996
1998
2000
2002
2004
2006
2008
2010
2012
2014
0
1
2
3
4
1
1
1
2
1
2
2
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2014
On a domain block based mechanism to mitigate DoS attacks on shared caches in asymmetric multiprocessing multi operating systems.
Proceedings of the 2014 Information Security for South Africa, 2014
2001
Proceedings of the Workshop on Runtime Verification, 2001
Proceedings of the Fundamental Approaches to Software Engineering, 2001
2000
PhD thesis, 2000
Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method.
Bull. EATCS, 2000
Proceedings of the Algebraic Methodology and Software Technology. 8th International Conference, 2000
1999
Proceedings of the Integrated Formal Methods, 1999
Software Development with Object-Z, CSP, and Java: A Pragmatic Link from Formal Specifications to Programs.
Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999
1998
Proceedings of the ZUM '98: The Z Formal Specification Notation, 1998
1997
Informationstechnik Tech. Inform., 1997
Combining CSP and Object-Z: Finite or Infinite Trace Semantics?
Proceedings of the Formal Description Techniques and Protocol Specification, 1997
Combining Object-Z and CSP.
Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1997
1996