Search the dblp DataBase
Markus Roggenbach :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Yoshinao Isobe , Markus Roggenbach A Complete Axiomatic Semantics for the CSP Stable-Failures Model. [Citation Graph (0, 0)][DBLP ] CONCUR, 2006, pp:158-172 [Conf ] Markus Roggenbach Determinization of Büchi-Automata. [Citation Graph (0, 0)][DBLP ] Automata, Logics, and Infinite Games, 2001, pp:43-60 [Conf ] Yoshinao Isobe , Markus Roggenbach A Generic Theorem Prover of CSP Refinement. [Citation Graph (0, 0)][DBLP ] TACAS, 2005, pp:108-123 [Conf ] Christoph Lüth , Markus Roggenbach , Lutz Schröder CCC - The Casl Consistency Checker. [Citation Graph (0, 0)][DBLP ] WADT, 2004, pp:94-105 [Conf ] Bernd Krieg-Brückner , Dieter Hutter , Arne Lindow , Christoph Lüth , Achim Mahnke , Erica Melis , Philipp Meier , Arnd Poetzsch-Heffter , Markus Roggenbach , George Russell , Jan-Georg Smaus , Martin Wirsing MultiMedia Instruction in Safe and Secure Systems. [Citation Graph (0, 0)][DBLP ] WADT, 2002, pp:82-117 [Conf ] Till Mossakowski , Horst Reichel , Markus Roggenbach , Lutz Schröder Algebraic-Coalgebraic Specification in Co Casl. [Citation Graph (0, 0)][DBLP ] WADT, 2002, pp:376-392 [Conf ] Andy Gimblett , Markus Roggenbach , Bernd-Holger Schlingloff Towards a Formal Specification of an Electronic Payment System in CSP-CASL. [Citation Graph (0, 0)][DBLP ] WADT, 2004, pp:61-78 [Conf ] Markus Roggenbach , Lutz Schröder Towards Trustworthy Specifications I: Consistency Checks. [Citation Graph (0, 0)][DBLP ] WADT, 2001, pp:305-327 [Conf ] Markus Roggenbach , Lutz Schröder , Till Mossakowski Specifying Real Numbers in CASL. [Citation Graph (0, 0)][DBLP ] WADT, 1999, pp:146-161 [Conf ] Mila E. Majster-Cederbaum , Markus Roggenbach On two different Characterizations of Bisimulation. [Citation Graph (0, 0)][DBLP ] Bulletin of the EATCS, 1996, v:59, n:, pp:- [Journal ] Till Mossakowski , Markus Roggenbach , Lutz Schröder CoCASL at Work -- Modelling Process Algebra. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2003, v:82, n:1, pp:- [Journal ] Mila E. Majster-Cederbaum , Markus Roggenbach Transistion Systems from Event Structures Revisited. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 1998, v:67, n:3, pp:119-124 [Journal ] Till Mossakowski , Lutz Schröder , Markus Roggenbach , Horst Reichel Algebraic-coalgebraic specification in CoCasl. [Citation Graph (0, 0)][DBLP ] J. Log. Algebr. Program., 2006, v:67, n:1-2, pp:146-197 [Journal ] Markus Roggenbach CSP-CASL - A new integration of process algebra and algebraic specification. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2006, v:354, n:1, pp:42-71 [Journal ] Markus Roggenbach , Mila E. Majster-Cederbaum Towards a unified view of bisimulation: a comparative study. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2000, v:238, n:1-2, pp:81-130 [Journal ] Till Mossakowski , Markus Roggenbach Structured CSP - A Process Algebra as an Institution. [Citation Graph (0, 0)][DBLP ] WADT, 2006, pp:92-110 [Conf ] Tools for CSP. [Citation Graph (, )][DBLP ] Specification-based testing for refinement. [Citation Graph (, )][DBLP ] Specification-Based Testing for Software Product Lines. [Citation Graph (, )][DBLP ] Property Preserving Refinement for Csp-Casl. [Citation Graph (, )][DBLP ] A New CSP Operator for Optional Parallelism. [Citation Graph (, )][DBLP ] CSP-CASL-Prover: A Generic Tool for Process and Data Refinement. [Citation Graph (, )][DBLP ] The Stable Revivals Model in CSP-Prover. [Citation Graph (, )][DBLP ] Search in 0.004secs, Finished in 0.005secs