Markus Roggenbach

According to our database, Markus Roggenbach authored at least 75 papers between 1996 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

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

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2023

Software Model Checking of Interlocking Programs.

Phillip James, Faron Moller, Markus Roggenbach

Proceedings of the Applicable Formal Methods for Safe Industrial Products, 2023

2022

Formal Methods for Software Engineering - Languages, Methods, Application Domains

Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh

Texts in Theoretical Computer Science. An EATCS Series, Springer, ISBN: 978-3-030-38799-0, 2022

A Train Protection Logic Based on Topological Manifolds for Virtual Coupling.

Yong Zhang, Haifeng Wang, Phillip James, Markus Roggenbach, Daxin Tian

IEEE Trans. Intell. Transp. Syst., 2022

An Institutional Approach to Communicating UML State Machines.

Tobias Rosenberger, Alexander Knapp, Markus Roggenbach

Proceedings of the Fundamental Approaches to Software Engineering, 2022

A Computability Perspective on (Verified) Machine Learning.

Tonicha Crook, Jay Paul Morgan, Arno Pauly, Markus Roggenbach

Proceedings of the Recent Trends in Algebraic Development Techniques, 2022

2021

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, Veera Raghava Reddy Kovvuri, Mehmet Orcun Yalcin, Markus Roggenbach

Proceedings of the PRICAI 2021: Trends in Artificial Intelligence, 2021

2020

On the Construction of Engineering Handbooks - with an Illustration from the Railway Safety Domain

Stefan Gruner, Apurva Kumar, Tom Maibaum, Markus Roggenbach

Springer Briefs in Computer Science, Springer, ISBN: 978-3-030-44647-5, 2020

Specifying with syntactic theory functors.

Magne Haveraaen, Markus Roggenbach

J. Log. Algebraic Methods Program., 2020

André Platzer: Logical foundations of cyber-physical systems.

Alexander Knapp, Markus Roggenbach

Formal Aspects Comput., 2020

Institution-Based Encoding and Verification of Simple UML State Machines in CASL/SPASS.

Tobias Rosenberger, Saddek Bensalem, Alexander Knapp, Markus Roggenbach

Proceedings of the Recent Trends in Algebraic Development Techniques, 2020

2019

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, Rustam Zhumagambetov

Proceedings of the Formal Methods - Fun for Everybody - First International Workshop, 2019

2018

Verification of the European Rail Traffic Management System in Real-Time Maude.

Ulrich Berger, Phillip James, Andrew Lawrence, Markus Roggenbach, Monika Seisenberger

Sci. Comput. Program., 2018

Detection of app collusion potential using logic programming.

Jorge Blasco, Thomas M. Chen, Igor Muttik, Markus Roggenbach

J. Netw. Comput. Appl., 2018

An Algebraic Theory for Data Linkage.

Liang-Ting Chen, Markus Roggenbach, John V. Tucker

Proceedings of the Recent Trends in Algebraic Development Techniques, 2018

Software Model Checking for Mobile Security - Collusion Detection in \mathbb K K.

Irina Mariuca Asavoae, Hoang Nga Nguyen, Markus Roggenbach

Proceedings of the Model Checking Software - 25th International Symposium, 2018

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: A Promising Approach to Verify Mobile App Security: A Position Paper.

Irina Mariuca Asavoae, Hoang Nga Nguyen, Markus Roggenbach, Siraj Ahmed Shaikh

Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs, 2017

2016

Comparing Formal Verification Approaches of Interlocking Systems.

Anne Elisabeth Haxthausen, Hoang Nga Nguyen, Markus Roggenbach

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2016

OnTrack: The Railway Verification Toolset - Extended Abstract.

Phillip James, Faron Moller, Hoang Nga Nguyen, Markus Roggenbach, Helen Treharne, Xu Wang

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

Utilising $${\mathbb {K}}$$ Semantics for Collusion Detection in Android Applications.

Irina Mariuca Asavoae, Hoang Nga Nguyen, Markus Roggenbach, Siraj Ahmed Shaikh

Proceedings of the Critical Systems: Formal Methods and Automated Verification, 2016

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

Proceedings of the 1st International Workshop on Innovations in Mobile Privacy and Security, 2016

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 Safety Analysis of ERTMS/ETCS Level 2 in Real-Time Maude.

Phillip James, Andrew Lawrence, Markus Roggenbach, Monika Seisenberger

Proceedings of the Formal Techniques for Safety-Critical Systems, 2015

An Institution for Simple UML State Machines.

Alexander Knapp, Till Mossakowski, Markus Roggenbach, Martin Glauer

Proceedings of the Fundamental Approaches to Software Engineering, 2015

Towards an Institutional Framework for Heterogeneous Formal Development in UML - - A Position Paper -.

Alexander Knapp, Till Mossakowski, Markus Roggenbach

Proceedings of the Software, 2015

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

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

Preface of Automated Verification of Critical Systems 2010 (AVoCS 2010).

Jens Bendisposto, Michael Leuschel, Markus Roggenbach

Sci. Comput. Program., 2014

Encapsulating Formal Methods within Domain Specific Languages: A Solution for Verifying Railway Scheme Plans.

Phillip James, Markus Roggenbach

Math. Comput. Sci., 2014

An Institutional Framework for Heterogeneous Formal Development in UML.

Alexander Knapp, Till Mossakowski, Markus Roggenbach

CoRR, 2014

Visualising Timed CSP Train Simulations for Capacity.

Lloyd Roberts, Mike Smith, Faron Moller, Markus Roggenbach

Proceedings of the Theory and Practice of Computer Graphics, 2014

On the use of test cases in model-based software product line development.

Alexander Knapp, Markus Roggenbach, Bernd-Holger Schlingloff

Proceedings of the 18th International Software Product Line Conference, 2014

2013

Preface.

Till Mossakowski, Markus Roggenbach, Lutz Schröder

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 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

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

Proceedings of the Software Engineering and 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

Proceedings of the Software Engineering and Formal Methods, 2013

OnTrack: An Open Tooling Environment for Railway Verification.

Phillip James, Matthew Trumble, Helen Treharne, Markus Roggenbach, Steve A. Schneider

Proceedings of the NASA Formal Methods, 2013

2012

Preface.

Markus Roggenbach

Sci. Comput. Program., 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

Designing Domain Specific Languages - A Craftsman's Approach for the Railway Domain Using Casl.

Phillip James, Alexander Knapp, Till Mossakowski, Markus Roggenbach

Proceedings of the Recent Trends in Algebraic Development Techniques, 2012

Safety and Line Capacity in Railways - An Approach in Timed CSP.

Yoshinao Isobe, Faron Moller, Hoang Nga Nguyen, Markus Roggenbach

Proceedings of the Integrated Formal Methods - 9th International 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

Proceedings of the Hardware and Software: Verification and Testing, 2012

Using Domain Specific Languages to Support Verification in the Railway Domain.

Phillip James, Arnold Beckmann, Markus Roggenbach

Proceedings of the Hardware and Software: Verification and Testing, 2012

2011

Designing Domain Specific Languages for Verification: First Steps.

Phillip James, Markus Roggenbach

Proceedings of the First Workshop on Automated Theory Engineering, 2011

2010

CSP-Prover - a Proof Tool for the Verification of Scalable Concurrent Systems.

Yoshinao Isobe, Markus Roggenbach

Inf. Media Technol., 2010

Automatically Verifying Railway Interlockings using SAT-based Model Checking.

Phillip James, Markus Roggenbach

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Avocs2010 Preface.

Jens Bendisposto, Michael Leuschel, Markus Roggenbach

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Compositional Modelling and Reasoning in an Institution for Processes and Data.

Liam O'Reilly, Till Mossakowski, Markus Roggenbach

Proceedings of the Recent Trends in Algebraic Development Techniques, 2010

Towards Bialgebraic Semantics for the Linear Time - Branching Time Spectrum.

Ana Paula Maldonado, Luís Monteiro, Markus Roggenbach

Proceedings of the Recent Trends in Algebraic Development Techniques, 2010

2008

The Stable Revivals Model in CSP-Prover.

D. Gift Samuel, Markus Roggenbach, Yoshinao Isobe

Proceedings of the Eighth International Workshop on Automated Verification of Critical Systems, 2008

CSP-CASL-Prover: A Generic Tool for Process and Data Refinement.

Liam O'Reilly, Markus Roggenbach, Yoshinao Isobe

Proceedings of the Eighth International Workshop on Automated Verification of Critical Systems, 2008

Property Preserving Refinement for Csp-Casl.

Temesghen Kahsai, Markus Roggenbach

Proceedings of the Recent Trends in Algebraic Development Techniques, 2008

Tools for CSP.

Markus Roggenbach

Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008

Specification-Based Testing for Software Product Lines.

Temesghen Kahsai, Markus Roggenbach, Bernd-Holger Schlingloff

Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008

A New CSP Operator for Optional Parallelism.

Stefan Gruner, Derrick G. Kourie, Markus Roggenbach, Tinus Strauss, Bruce W. Watson

Proceedings of the International Conference on Computer Science and Software Engineering, 2008

2007

Specification-based testing for refinement.

Temesghen Kahsai, Markus Roggenbach, Bernd-Holger Schlingloff

Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007

Proof Principles of CSP - CSP-Prover in Practice.

Yoshinao Isobe, Markus Roggenbach

Proceedings of the Dynamics in Logistics, First International Conference, 2007

2006

CSP-CASL - A new integration of process algebra and algebraic specification.

Markus Roggenbach

Theor. Comput. Sci., 2006

Algebraic-coalgebraic specification in CoCasl.

Till Mossakowski, Lutz Schröder, Markus Roggenbach, Horst Reichel

J. Log. Algebraic Methods Program., 2006

Structured CSP - A Process Algebra as an Institution.

Till Mossakowski, Markus Roggenbach

Proceedings of the Recent Trends in Algebraic Development Techniques, 2006

A Complete Axiomatic Semantics for the CSP Stable-Failures Model.

Yoshinao Isobe, Markus Roggenbach

Proceedings of the CONCUR 2006 - Concurrency Theory, 17th International Conference, 2006

2005

A Generic Theorem Prover of CSP Refinement.

Yoshinao Isobe, Markus Roggenbach

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005

2004

CCC - The Casl Consistency Checker.

Christoph Lüth, Markus Roggenbach, Lutz Schröder

Proceedings of the Recent Trends in Algebraic Development Techniques, 2004

Towards a Formal Specification of an Electronic Payment System in CSP-CASL.

Andy Gimblett, Markus Roggenbach, Bernd-Holger Schlingloff

Proceedings of the Recent Trends in Algebraic Development Techniques, 2004

2003

CoCASL at Work -- Modelling Process Algebra.

Till Mossakowski, Markus Roggenbach, Lutz Schröder

Proceedings of the 6th International Workshop on Coalgebraic Methods in Computer Science, 2003

2002

Algebraic-Coalgebraic Specification in Co Casl.

Till Mossakowski, Horst Reichel, Markus Roggenbach, Lutz Schröder

Proceedings of the Recent Trends in Algebraic Development Techniques, 2002

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

Proceedings of the Recent Trends in Algebraic Development Techniques, 2002

2001

Towards Trustworthy Specifications I: Consistency Checks.

Markus Roggenbach, Lutz Schröder

Proceedings of the Recent Trends in Algebraic Development Techniques, 2001

Determinization of Büchi-Automata.

Markus Roggenbach

Proceedings of the Automata, 2001

2000

Towards a unified view of bisimulation: a comparative study.

Markus Roggenbach, Mila E. Majster-Cederbaum

Theor. Comput. Sci., 2000

1999

Specifying Real Numbers in CASL.

Markus Roggenbach, Lutz Schröder, Till Mossakowski

Proceedings of the Recent Trends in Algebraic Development Techniques, 1999

1998

Über abstrakte Charakterisierungen von Bisimulation.

Markus Roggenbach

PhD thesis, 1998

Transistion Systems from Event Structures Revisited.

Mila E. Majster-Cederbaum, Markus Roggenbach

Inf. Process. Lett., 1998

1996

On two different Characterizations of Bisimulation.

Mila E. Majster-Cederbaum, Markus Roggenbach

Bull. EATCS, 1996