Markus Roggenbach

91 papers A 1B 10Journal 33Unranked 40

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