On two different Characterizations of Bisimulation. - Mila E. Majster-Cederbaum; Markus Roggenbach (Bull. EATCS, 1996)

Transistion Systems from Event Structures Revisited. - Mila E. Majster-Cederbaum; Markus Roggenbach (Inf. Process. Lett., 1998)

Über abstrakte Charakterisierungen von Bisimulation. - Markus Roggenbach (1998)

Specifying Real Numbers in CASL. - Markus Roggenbach; Lutz Schröder; Till Mossakowski (WADT, 1999)

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

Determinization of Büchi-Automata. - Markus Roggenbach (Automata, Logics, and Infinite Games, 2001)

Towards Trustworthy Specifications I: Consistency Checks. - Markus Roggenbach; Lutz Schröder (WADT, 2001)

MultiMedia Instruction in Safe and Secure Systems. - 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 (WADT, 2002)

Algebraic-Coalgebraic Specification in Co Casl. - Till Mossakowski; Horst Reichel; Markus Roggenbach; Lutz Schröder (WADT, 2002)

CoCASL at Work – Modelling Process Algebra. - Till Mossakowski; Markus Roggenbach; Lutz Schröder (CMCS, 2003)

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

CCC - The Casl Consistency Checker. - Christoph Lüth; Markus Roggenbach; Lutz Schröder (WADT, 2004)

A Generic Theorem Prover of CSP Refinement. - Yoshinao Isobe; Markus Roggenbach (TACAS, 2005)

A Complete Axiomatic Semantics for the CSP Stable-Failures Model. - Yoshinao Isobe; Markus Roggenbach (CONCUR, 2006)

Structured CSP - A Process Algebra as an Institution. - Till Mossakowski; Markus Roggenbach (WADT, 2006)

Algebraic-coalgebraic specification in CoCasl. - Till Mossakowski; Lutz Schröder; Markus Roggenbach; Horst Reichel (J. Log. Algebraic Methods Program., 2006)

CSP-CASL - A new integration of process algebra and algebraic specification. - Markus Roggenbach (Theor. Comput. Sci., 2006)

Proof Principles of CSP - CSP-Prover in Practice. - Yoshinao Isobe; Markus Roggenbach (LDIC, 2007)

Specification-based testing for refinement. - Temesghen Kahsai; Markus Roggenbach; Bernd-Holger Schlingloff (SEFM, 2007)

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

Specification-Based Testing for Software Product Lines. - Temesghen Kahsai; Markus Roggenbach; Bernd-Holger Schlingloff (SEFM, 2008)

Tools for CSP. - Markus Roggenbach (SEFM, 2008)

Property Preserving Refinement for Csp-Casl. - Temesghen Kahsai; Markus Roggenbach (WADT, 2008)

CSP-CASL-Prover: A Generic Tool for Process and Data Refinement. - Liam O'Reilly; Markus Roggenbach; Yoshinao Isobe (AVoCS, 2008)

The Stable Revivals Model in CSP-Prover. - D. Gift Samuel; Markus Roggenbach; Yoshinao Isobe (AVoCS, 2008)

Towards Bialgebraic Semantics for the Linear Time - Branching Time Spectrum. - Ana Paula Maldonado; Luís Monteiro; Markus Roggenbach (WADT, 2010)

Compositional Modelling and Reasoning in an Institution for Processes and Data. - Liam O'Reilly; Till Mossakowski; Markus Roggenbach (WADT, 2010)

Avocs2010 Preface. - Jens Bendisposto; Michael Leuschel; Markus Roggenbach (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

Automatically Verifying Railway Interlockings using SAT-based Model Checking. - Phillip James; Markus Roggenbach (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

CSP-Prover - a Proof Tool for the Verification of Scalable Concurrent Systems. - Yoshinao Isobe; Markus Roggenbach (Inf. Media Technol., 2010)

Designing Domain Specific Languages for Verification: First Steps. - Phillip James; Markus Roggenbach (ATE, 2011)

Using Domain Specific Languages to Support Verification in the Railway Domain. - Phillip James; Arnold Beckmann; Markus Roggenbach (Haifa Verification Conference, 2012)

Defining and Model Checking Abstractions of Complex Railway Models Using CSP||B. - Faron Moller; Hoang Nga Nguyen; Markus Roggenbach; Steve A. Schneider; Helen Treharne (Haifa Verification Conference, 2012)

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

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

Railway modelling in CSP||B: the double junction case study. - Markus Roggenbach; Faron Moller; Steve A. Schneider; Helen Treharne; Hoang Nga Nguyen (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012)

Preface. - Markus Roggenbach (Sci. Comput. Program., 2012)

OnTrack: An Open Tooling Environment for Railway Verification. - Phillip James; Matthew Trumble; Helen Treharne; Markus Roggenbach; Steve A. Schneider (NASA Formal Methods, 2013)

Verification of Solid State Interlocking Programs. - Phillip James; Andy Lawrence; Faron Moller; Markus Roggenbach; Monika Seisenberger; Anton Setzer; Karim Kanso; Simon Chadwick (SEFM Workshops, 2013)

Verification of Scheme Plans Using CSP $$||$$ | | B. - Phillip James; Faron Moller; Hoang Nga Nguyen; Markus Roggenbach; Steve A. Schneider; Helen Treharne; Matthew Trumble; David M. Williams (SEFM Workshops, 2013)

On the whereabouts of CSP-CASL - A survey. - Andy Gimblett; Temesghen Kahsai; Liam O'Reilly; Markus Roggenbach (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013)

Preface. - Till Mossakowski; Markus Roggenbach; Lutz Schröder (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013)

On the use of test cases in model-based software product line development. - Alexander Knapp; Markus Roggenbach; Bernd-Holger Schlingloff (SPLC, 2014)

Visualising Timed CSP Train Simulations for Capacity. - Lloyd Roberts; Mike Smith; Faron Moller; Markus Roggenbach (TPCG, 2014)

An Institutional Framework for Heterogeneous Formal Development in UML. - Alexander Knapp; Till Mossakowski; Markus Roggenbach (CoRR, 2014)

Encapsulating Formal Methods within Domain Specific Languages: A Solution for Verifying Railway Scheme Plans. - Phillip James; Markus Roggenbach (Math. Comput. Sci., 2014)

Preface of Automated Verification of Critical Systems 2010 (AVoCS 2010). - Jens Bendisposto; Michael Leuschel; Markus Roggenbach (Sci. Comput. Program., 2014)

On modelling and verifying railway interlockings: Tracking train lengths. - Phillip James; Faron Moller; Hoang Nga Nguyen; Markus Roggenbach; Steve A. Schneider; Helen Treharne (Sci. Comput. Program., 2014)

Techniques for modelling and verifying railway interlockings. - Phillip James; Faron Moller; Nguyen Hoang Nga; Markus Roggenbach; Steve A. Schneider; Helen Treharne (Int. J. Softw. Tools Technol. Transf., 2014)

Towards an Institutional Framework for Heterogeneous Formal Development in UML - - A Position Paper -. - Alexander Knapp; Till Mossakowski; Markus Roggenbach (Software, Services, and Systems, 2015)

An Institution for Simple UML State Machines. - Alexander Knapp; Till Mossakowski; Markus Roggenbach; Martin Glauer (FASE, 2015)

Towards Safety Analysis of ERTMS/ETCS Level 2 in Real-Time Maude. - Phillip James; Andrew Lawrence; Markus Roggenbach; Monika Seisenberger (FTSCS, 2015)

Automating Test Case Selection in Model-Based Software Product Line Development. - Alexander Knapp; Markus Roggenbach; Bernd-Holger Schlingloff (Int. J. Softw. Informatics, 2015)

Towards Automated Android App Collusion Detection. - Irina Mariuca Asavoae; Jorge Blasco; Thomas M. Chen; Harsha Kumara Kalutarage; Igor Muttik; Hoang Nga Nguyen; Markus Roggenbach; Siraj Ahmed Shaikh (IMPS@ESSoS, 2016)

Utilising $${ mathbb {K}}$$ Semantics for Collusion Detection in Android Applications. - Irina Mariuca Asavoae; Hoang Nga Nguyen; Markus Roggenbach; Siraj Ahmed Shaikh (FMICS-AVoCS, 2016)

OnTrack: The Railway Verification Toolset - Extended Abstract. - Phillip James; Faron Moller; Hoang Nga Nguyen; Markus Roggenbach; Helen Treharne; Xu Wang 001 (ISoLA (2), 2016)

Comparing Formal Verification Approaches of Interlocking Systems. - Anne Elisabeth Haxthausen; Hoang Nga Nguyen; Markus Roggenbach (RSSRail, 2016)

Software Model Checking: A Promising Approach to Verify Mobile App Security: A Position Paper. - Irina Mariuca Asavoae; Hoang Nga Nguyen; Markus Roggenbach; Siraj Ahmed Shaikh (FTfJP@ECOOP, 2017)

Software Model Checking: A Promising Approach to Verify Mobile App Security. - Irina Mariuca Asavoae; Hoang Nga Nguyen; Markus Roggenbach; Siraj Ahmed Shaikh (CoRR, 2017)

Software Model Checking for Mobile Security - Collusion Detection in mathbb K K. - Irina Mariuca Asavoae; Hoang Nga Nguyen; Markus Roggenbach (SPIN, 2018)

An Algebraic Theory for Data Linkage. - Liang-Ting Chen 001; Markus Roggenbach; John V. Tucker (WADT, 2018)

Detection of app collusion potential using logic programming. - Jorge Blasco; Thomas M. Chen; Igor Muttik; Markus Roggenbach (J. Netw. Comput. Appl., 2018)

Verification of the European Rail Traffic Management System in Real-Time Maude. - Ulrich Berger 001; Phillip James; Andrew Lawrence; Markus Roggenbach; Monika Seisenberger (Sci. Comput. Program., 2018)

Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering - A White Paper -. - Antonio Cerone; Markus Roggenbach; James H. Davenport; Casey Denner; Marie Farrell; Magne Haveraaen; Faron Moller; Philipp Körner; Sebastian Krings; Peter Csaba Ölveczky; Bernd-Holger Schlingloff; Nikolay V. Shilov 002; et al. (FMFun, 2019)

Institution-Based Encoding and Verification of Simple UML State Machines in CASL/SPASS. - Tobias Rosenberger; Saddek Bensalem; Alexander Knapp; Markus Roggenbach (WADT, 2020)

André Platzer: Logical foundations of cyber-physical systems. - Alexander Knapp; Markus Roggenbach (Formal Aspects Comput., 2020)

Specifying with syntactic theory functors. - Magne Haveraaen; Markus Roggenbach (J. Log. Algebraic Methods Program., 2020)

On the Construction of Engineering Handbooks - with an Illustration from the Railway Safety Domain - Stefan Gruner; Apurva Kumar; Tom Maibaum; Markus Roggenbach (Springer, 2020)

An Initial Study of Machine Learning Underspecification Using Feature Attribution Explainable AI Algorithms: A COVID-19 Virus Transmission Case Study. - James Hinns; Xiuyi Fan; Siyuan Liu 003; Veera Raghava Reddy Kovvuri; Mehmet Orcun Yalcin; Markus Roggenbach (PRICAI (1), 2021)

A Computability Perspective on (Verified) Machine Learning. - Tonicha Crook; Jay Paul Morgan; Arno Pauly; Markus Roggenbach (WADT, 2022)

An Institutional Approach to Communicating UML State Machines. - Tobias Rosenberger; Alexander Knapp; Markus Roggenbach (FASE, 2022)

A Train Protection Logic Based on Topological Manifolds for Virtual Coupling. - Yong Zhang 028; Haifeng Wang; Phillip James; Markus Roggenbach; Daxin Tian (IEEE Trans. Intell. Transp. Syst., 2022)

Formal Methods for Software Engineering - Languages, Methods, Application Domains - Markus Roggenbach; Antonio Cerone; Bernd-Holger Schlingloff; Gerardo Schneider; Siraj Ahmed Shaikh (Springer, 2022)

Software Model Checking of Interlocking Programs. - Phillip James; Faron Moller; Markus Roggenbach (Applicable Formal Methods for Safe Industrial Products, 2023)

A Tool-Chain for the Verification of Geographic Scheme Data. - Madhusree Banerjee; Victor Cai; Sunitha Lakshmanappa; Andrew Lawrence; Markus Roggenbach; Monika Seisenberger; Thomas Werner (RSSRail, 2023)