Markus Roggenbach

Markus Roggenbach, Faron Moller, Steve Schneider, Helen Treharne, Hoang Nga Nguyen: Railway modelling in CSP||B: the double junction case study. ECEASST 53 (2012)

Markus Roggenbach: Preface. Sci. Comput. Program. 77(10-11): 1037-1038 (2012)

Yoshinao Isobe, Faron Moller, Hoang Nga Nguyen, Markus Roggenbach: Safety and Line Capacity in Railways - An Approach in Timed CSP. IFM 2012: 54-68

Phillip James, Alexander Knapp, Till Mossakowski, Markus Roggenbach: Designing Domain Specific Languages - A Craftsman's Approach for the Railway Domain Using Casl. WADT 2012: 178-194

Phillip James, Markus Roggenbach: Designing Domain Specific Languages for Verification: First Steps. ATE 2011: 40-45

Jens Bendisposto, Michael Leuschel, Markus Roggenbach: Avocs2010 Preface. ECEASST 35 (2010)

Phillip James, Markus Roggenbach: Automatically Verifying Railway Interlockings using SAT-based Model Checking. ECEASST 35 (2010)

Ana Paula Maldonado, Luís Monteiro, Markus Roggenbach: Towards Bialgebraic Semantics for the Linear Time - Branching Time Spectrum. WADT 2010: 209-225

Liam O'Reilly, Till Mossakowski, Markus Roggenbach: Compositional Modelling and Reasoning in an Institution for Processes and Data. WADT 2010: 251-269

Markus Roggenbach: Preface. ECEASST 23 (2009)

Liam O'Reilly, Markus Roggenbach, Yoshinao Isobe: CSP-CASL-Prover: A Generic Tool for Process and Data Refinement. Electr. Notes Theor. Comput. Sci. 250(2): 69-84 (2009)

D. Gift Samuel, Markus Roggenbach, Yoshinao Isobe: The Stable Revivals Model in CSP-Prover. Electr. Notes Theor. Comput. Sci. 250(2): 119-134 (2009)

Stefan Gruner, Derrick G. Kourie, Markus Roggenbach, Tinus Strauss, Bruce W. Watson: A New CSP Operator for Optional Parallelism. CSSE (2) 2008: 788-791

Temesghen Kahsai, Markus Roggenbach, Bernd-Holger Schlingloff: Specification-Based Testing for Software Product Lines. SEFM 2008: 149-158

Markus Roggenbach: Tools for CSP. SEFM 2008: 213-214

Temesghen Kahsai, Markus Roggenbach: Property Preserving Refinement for Csp-Casl. WADT 2008: 206-220

Temesghen Kahsai, Markus Roggenbach, Bernd-Holger Schlingloff: Specification-based testing for refinement. SEFM 2007: 237-246

Till Mossakowski, Lutz Schröder, Markus Roggenbach, Horst Reichel: Algebraic-coalgebraic specification in CoCasl. J. Log. Algebr. Program. 67(1-2): 146-197 (2006)

Markus Roggenbach: CSP-CASL - A new integration of process algebra and algebraic specification. Theor. Comput. Sci. 354(1): 42-71 (2006)

Yoshinao Isobe, Markus Roggenbach: A Complete Axiomatic Semantics for the CSP Stable-Failures Model. CONCUR 2006: 158-172

Till Mossakowski, Markus Roggenbach: Structured CSP - A Process Algebra as an Institution. WADT 2006: 92-110

Yoshinao Isobe, Markus Roggenbach: A Generic Theorem Prover of CSP Refinement. TACAS 2005: 108-123

José Luiz Fiadeiro, Neil Harman, Markus Roggenbach, Jan J. M. M. Rutten (Eds.): Algebra and Coalgebra in Computer Science: First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings. Lecture Notes in Computer Science 3629, Springer 2005, isbn 3-540-28620-9

Andy Gimblett, Markus Roggenbach, Bernd-Holger Schlingloff: Towards a Formal Specification of an Electronic Payment System in CSP-CASL. WADT 2004: 61-78

Christoph Lüth, Markus Roggenbach, Lutz Schröder: CCC - The Casl Consistency Checker. WADT 2004: 94-105

Till Mossakowski, Markus Roggenbach, Lutz Schröder: CoCASL at Work -- Modelling Process Algebra. Electr. Notes Theor. Comput. Sci. 82(1): 206-220 (2003)

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. WADT 2002: 82-117

Till Mossakowski, Horst Reichel, Markus Roggenbach, Lutz Schröder: Algebraic-Coalgebraic Specification in Co Casl. WADT 2002: 376-392

Markus Roggenbach: Determinization of Büchi-Automata. Automata, Logics, and Infinite Games 2001: 43-60

Markus Roggenbach, Lutz Schröder: Towards Trustworthy Specifications I: Consistency Checks. WADT 2001: 305-327

Markus Roggenbach, Mila E. Majster-Cederbaum: Towards a unified view of bisimulation: a comparative study. Theor. Comput. Sci. 238(1-2): 81-130 (2000)

Markus Roggenbach, Lutz Schröder, Till Mossakowski: Specifying Real Numbers in CASL. WADT 1999: 146-161

Mila E. Majster-Cederbaum, Markus Roggenbach: Transistion Systems from Event Structures Revisited. Inf. Process. Lett. 67(3): 119-124 (1998)

Mila E. Majster-Cederbaum, Markus Roggenbach: On two different Characterizations of Bisimulation. Bulletin of the EATCS 59 (1996)