Markus Roggenbach

ORCID

Publication Activity (10 Years)

Years Active: 1996-2023
Publications (10 Years): 26

Top Venues

CoRR

WADT

Sci. Comput. Program.

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

University of Mannheim, Germany (PHD)

Education History

University of Mannheim, Germany

PHD

Publications

Phillip James, Faron Moller, Markus Roggenbach
Software Model Checking of Interlocking Programs. Applicable Formal Methods for Safe Industrial Products (2023)
Madhusree Banerjee, Victor Cai, Sunitha Lakshmanappa, Andrew Lawrence, Markus Roggenbach, Monika Seisenberger, Thomas Werner
A Tool-Chain for the Verification of Geographic Scheme Data. RSSRail (2023)
Tonicha Crook, Jay Paul Morgan, Arno Pauly, Markus Roggenbach
A Computability Perspective on (Verified) Machine Learning. WADT (2022)
Tobias Rosenberger, Alexander Knapp, Markus Roggenbach
An Institutional Approach to Communicating UML State Machines. FASE (2022)
Yong Zhang, Haifeng Wang, Phillip James, Markus Roggenbach, Daxin Tian
A Train Protection Logic Based on Topological Manifolds for Virtual Coupling. IEEE Trans. Intell. Transp. Syst. 23 (8) (2022)
Tonicha Crook, Jay Morgan, Arno Pauly, Markus Roggenbach
A Computability Perspective on (Verified) Machine Learning. CoRR (2021)
James Hinns, Xiuyi Fan, Siyuan Liu, Veera Raghava Reddy Kovvuri, Mehmet Orcun Yalcin, Markus Roggenbach
An Initial Study of Machine Learning Underspecification Using Feature Attribution Explainable AI Algorithms: A COVID-19 Virus Transmission Case Study. PRICAI (1) (2021)
Alexander Knapp, Markus Roggenbach
André Platzer: Logical foundations of cyber-physical systems. Formal Aspects Comput. 32 (1) (2020)
Magne Haveraaen, Markus Roggenbach
Specifying with syntactic theory functors. J. Log. Algebraic Methods Program. 113 (2020)
Tobias Rosenberger, Saddek Bensalem, Alexander Knapp, Markus Roggenbach
Institution-Based Encoding and Verification of Simple UML State Machines in CASL/SPASS. WADT (2020)
Tobias Rosenberger, Saddek Bensalem, Alexander Knapp, Markus Roggenbach
Institution-based Encoding and Verification of Simple UML State Machines in CASL/SPASS. CoRR (2020)
Antonio Cerone, Markus Roggenbach, James Davenport, Casey Denner, Marie Farrell, Magne Haveraaen, Faron Moller, Philipp Koerner, Sebastian Krings, Peter Csaba Ölveczky, Bernd-Holger Schlingloff, Nikolay Shilov, Rustam Zhumagambetov
Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering - A White Paper. CoRR (2020)
Antonio Cerone, Markus Roggenbach, James 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
Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering - A White Paper -. FMFun (2019)
Liang-Ting Chen, Markus Roggenbach, John V. Tucker
An Algebraic Theory for Data Linkage. WADT (2018)
Ulrich Berger, Phillip James, Andrew Lawrence, Markus Roggenbach, Monika Seisenberger
Verification of the European Rail Traffic Management System in Real-Time Maude. Sci. Comput. Program. 154 (2018)
Irina Mariuca Asavoae, Hoang Nga Nguyen, Markus Roggenbach
Software Model Checking for Mobile Security - Collusion Detection in \mathbb K K. SPIN (2018)
Jorge Blasco, Thomas M. Chen, Igor Muttik, Markus Roggenbach
Detection of app collusion potential using logic programming. J. Netw. Comput. Appl. 105 (2018)
Liang-Ting Chen, Markus Roggenbach, John V. Tucker
An algebraic theory for data linkage. CoRR (2018)
Jorge Blasco, Thomas M. Chen, Igor Muttik, Markus Roggenbach
Detection of App Collusion Potential Using Logic Programming. CoRR (2017)
Irina Mariuca Asavoae, Hoang Nga Nguyen, Markus Roggenbach, Siraj Ahmed Shaikh
Software Model Checking: A Promising Approach to Verify Mobile App Security: A Position Paper. FTfJP@ECOOP (2017)
Irina Mariuca Asavoae, Hoang Nga Nguyen, Markus Roggenbach, Siraj Ahmed Shaikh
Software Model Checking: A Promising Approach to Verify Mobile App Security. CoRR (2017)
Irina Mariuca Asavoae, Jorge Blasco, Thomas M. Chen, Harsha Kumara Kalutarage, Igor Muttik, Hoang Nga Nguyen, Markus Roggenbach, Siraj Ahmed Shaikh
Towards Automated Android App Collusion Detection. IMPS@ESSoS (2016)
Phillip James, Faron Moller, Hoang Nga Nguyen, Markus Roggenbach, Helen Treharne, Xu Wang
OnTrack: The Railway Verification Toolset - Extended Abstract. ISoLA (2) (2016)
Anne Elisabeth Haxthausen, Hoang Nga Nguyen, Markus Roggenbach
Comparing Formal Verification Approaches of Interlocking Systems. RSSRail (2016)
Irina Mariuca Asavoae, Hoang Nga Nguyen, Markus Roggenbach, Siraj Ahmed Shaikh
Utilising $${\mathbb {K}}$$ Semantics for Collusion Detection in Android Applications. FMICS-AVoCS (2016)
Irina Mariuca Asavoae, Jorge Blasco, Thomas M. Chen, Harsha Kumara Kalutarage, Igor Muttik, Hoang Nga Nguyen, Markus Roggenbach, Siraj Ahmed Shaikh
Towards Automated Android App Collusion Detection. CoRR (2016)
Phillip James, Andrew Lawrence, Markus Roggenbach, Monika Seisenberger
Towards Safety Analysis of ERTMS/ETCS Level 2 in Real-Time Maude. FTSCS (2015)
Alexander Knapp, Till Mossakowski, Markus Roggenbach, Martin Glauer
An Institution for Simple UML State Machines. FASE (2015)
Alexander Knapp, Markus Roggenbach, Bernd-Holger Schlingloff
Automating Test Case Selection in Model-Based Software Product Line Development. Int. J. Softw. Informatics 9 (2) (2015)
Alexander Knapp, Till Mossakowski, Markus Roggenbach
Towards an Institutional Framework for Heterogeneous Formal Development in UML - - A Position Paper -. Software, Services, and Systems (2015)
Alexander Knapp, Till Mossakowski, Markus Roggenbach, Martin Glauer
An Institution for Simple UML State Machines. CoRR (2014)
Phillip James, Markus Roggenbach
Encapsulating Formal Methods within Domain Specific Languages: A Solution for Verifying Railway Scheme Plans. CoRR (2014)
Jens Bendisposto, Michael Leuschel, Markus Roggenbach
Preface of Automated Verification of Critical Systems 2010 (AVoCS 2010). Sci. Comput. Program. 81 (2014)
Phillip James, Faron Moller, Nguyen Hoang Nga, Markus Roggenbach, Steve A. Schneider, Helen Treharne
Techniques for modelling and verifying railway interlockings. Int. J. Softw. Tools Technol. Transf. 16 (6) (2014)
Phillip James, Faron Moller, Hoang Nga Nguyen, Markus Roggenbach, Steve A. Schneider, Helen Treharne
On modelling and verifying railway interlockings: Tracking train lengths. Sci. Comput. Program. 96 (2014)
Phillip James, Markus Roggenbach
Encapsulating Formal Methods within Domain Specific Languages: A Solution for Verifying Railway Scheme Plans. Math. Comput. Sci. 8 (1) (2014)
Alexander Knapp, Markus Roggenbach, Bernd-Holger Schlingloff
On the use of test cases in model-based software product line development. SPLC (2014)
Alexander Knapp, Till Mossakowski, Markus Roggenbach
An Institutional Framework for Heterogeneous Formal Development in UML. CoRR (2014)
Lloyd Roberts, Mike Smith, Faron Moller, Markus Roggenbach
Visualising Timed CSP Train Simulations for Capacity. TPCG (2014)
Andy Gimblett, Temesghen Kahsai, Liam O'Reilly, Markus Roggenbach
On the whereabouts of CSP-CASL - A survey. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 62 (2013)
Till Mossakowski, Markus Roggenbach, Lutz Schröder
Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 62 (2013)
Phillip James, Matthew Trumble, Helen Treharne, Markus Roggenbach, Steve A. Schneider
OnTrack: An Open Tooling Environment for Railway Verification. NASA Formal Methods (2013)
Phillip James, Faron Moller, Hoang Nga Nguyen, Markus Roggenbach, Steve A. Schneider, Helen Treharne, Matthew Trumble, David M. Williams
Verification of Scheme Plans Using CSP $$||$$ | | B. SEFM Workshops (2013)
Phillip James, Andy Lawrence, Faron Moller, Markus Roggenbach, Monika Seisenberger, Anton Setzer, Karim Kanso, Simon Chadwick
Verification of Solid State Interlocking Programs. SEFM Workshops (2013)
Phillip James, Alexander Knapp, Till Mossakowski, Markus Roggenbach
Designing Domain Specific Languages - A Craftsman's Approach for the Railway Domain Using Casl. WADT (2012)
Phillip James, Arnold Beckmann, Markus Roggenbach
Using Domain Specific Languages to Support Verification in the Railway Domain. Haifa Verification Conference (2012)
Yoshinao Isobe, Faron Moller, Hoang Nga Nguyen, Markus Roggenbach
Safety and Line Capacity in Railways - An Approach in Timed CSP. IFM (2012)
Markus Roggenbach, Faron Moller, Steve A. Schneider, Helen Treharne, Hoang Nga Nguyen
Railway modelling in CSP||B: the double junction case study. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 53 (2012)
Markus Roggenbach
Preface. Sci. Comput. Program. 77 (10-11) (2012)
Faron Moller, Hoang Nga Nguyen, Markus Roggenbach, Steve A. Schneider, Helen Treharne
Defining and Model Checking Abstractions of Complex Railway Models Using CSP||B. Haifa Verification Conference (2012)
Phillip James, Markus Roggenbach
Designing Domain Specific Languages for Verification: First Steps. ATE (2011)
Phillip James, Markus Roggenbach
Automatically Verifying Railway Interlockings using SAT-based Model Checking. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 35 (2010)
Jens Bendisposto, Michael Leuschel, Markus Roggenbach
Avocs2010 Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 35 (2010)
Liam O'Reilly, Till Mossakowski, Markus Roggenbach
Compositional Modelling and Reasoning in an Institution for Processes and Data. WADT (2010)
Ana Paula Maldonado, Luís Monteiro, Markus Roggenbach
Towards Bialgebraic Semantics for the Linear Time - Branching Time Spectrum. WADT (2010)
Liam O'Reilly, Markus Roggenbach, Yoshinao Isobe
CSP-CASL-Prover: A Generic Tool for Process and Data Refinement. Electron. Notes Theor. Comput. Sci. 250 (2) (2009)
Markus Roggenbach
Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 23 (2009)
D. Gift Samuel, Markus Roggenbach, Yoshinao Isobe
The Stable Revivals Model in CSP-Prover. Electron. Notes Theor. Comput. Sci. 250 (2) (2009)
Temesghen Kahsai, Markus Roggenbach
Property Preserving Refinement for Csp-Casl. WADT (2008)
Temesghen Kahsai, Markus Roggenbach, Bernd-Holger Schlingloff
Specification-Based Testing for Software Product Lines. SEFM (2008)
Stefan Gruner, Derrick G. Kourie, Markus Roggenbach, Tinus Strauss, Bruce W. Watson
A New CSP Operator for Optional Parallelism. CSSE (2) (2008)
Markus Roggenbach
Tools for CSP. SEFM (2008)
Yoshinao Isobe, Markus Roggenbach
Proof Principles of CSP - CSP-Prover in Practice. LDIC (2007)
Temesghen Kahsai, Markus Roggenbach, Bernd-Holger Schlingloff
Specification-based testing for refinement. SEFM (2007)
Yoshinao Isobe, Markus Roggenbach
A Complete Axiomatic Semantics for the CSP Stable-Failures Model. CONCUR (2006)
Till Mossakowski, Markus Roggenbach
Structured CSP - A Process Algebra as an Institution. WADT (2006)
Markus Roggenbach
CSP-CASL - A new integration of process algebra and algebraic specification. Theor. Comput. Sci. 354 (1) (2006)
Till Mossakowski, Lutz Schröder, Markus Roggenbach, Horst Reichel
Algebraic-coalgebraic specification in CoCasl. J. Log. Algebraic Methods Program. 67 (1-2) (2006)
Yoshinao Isobe, Markus Roggenbach
A Generic Theorem Prover of CSP Refinement. TACAS (2005)
Andy Gimblett, Markus Roggenbach, Bernd-Holger Schlingloff
Towards a Formal Specification of an Electronic Payment System in CSP-CASL. WADT (2004)
Christoph Lüth, Markus Roggenbach, Lutz Schröder
CCC - The Casl Consistency Checker. WADT (2004)
Till Mossakowski, Markus Roggenbach, Lutz Schröder
CoCASL at Work -- Modelling Process Algebra. CMCS (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)
Till Mossakowski, Horst Reichel, Markus Roggenbach, Lutz Schröder
Algebraic-Coalgebraic Specification in Co Casl. WADT (2002)
Markus Roggenbach, Lutz Schröder
Towards Trustworthy Specifications I: Consistency Checks. WADT (2001)
Markus Roggenbach
Determinization of Büchi-Automata. Automata, Logics, and Infinite Games (2001)
Markus Roggenbach, Mila E. Majster-Cederbaum
Towards a unified view of bisimulation: a comparative study. Theor. Comput. Sci. 238 (1-2) (2000)
Markus Roggenbach, Lutz Schröder, Till Mossakowski
Specifying Real Numbers in CASL. WADT (1999)
Mila E. Majster-Cederbaum, Markus Roggenbach
Transistion Systems from Event Structures Revisited. Inf. Process. Lett. 67 (3) (1998)
Mila E. Majster-Cederbaum, Markus Roggenbach
On two different Characterizations of Bisimulation. Bull. EATCS 59 (1996)

Markus Roggenbach.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Markus Roggenbach