default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMarkus Roggenbach
Person information
- affiliation: Swansea University, Department of Computer Science, UK
- affiliation (PhD 1998): University of Mannheim, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[c48]Phillip James
, Faron Moller, Markus Roggenbach:
Software Model Checking of Interlocking Programs. Applicable Formal Methods for Safe Industrial Products 2023: 130-146- [c47]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: 211-224 - [e6]Anne E. Haxthausen, Wen-ling Huang, Markus Roggenbach:
Applicable Formal Methods for Safe Industrial Products - Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 14165, Springer 2023, ISBN 978-3-031-40131-2 [contents] - 2022
- [b3]Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh:
Formal Methods for Software Engineering - Languages, Methods, Application Domains. Texts in Theoretical Computer Science. An EATCS Series, Springer 2022, ISBN 978-3-030-38799-0, pp. 1-488 - [j23]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): 11930-11945 (2022) - [c46]Tonicha Crook, Jay Paul Morgan, Arno Pauly, Markus Roggenbach:
A Computability Perspective on (Verified) Machine Learning. WADT 2022: 63-80 - [c45]Tobias Rosenberger, Alexander Knapp, Markus Roggenbach:
An Institutional Approach to Communicating UML State Machines. FASE 2022: 205-224 - 2021
- [c44]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: 323-335 - [e5]Antonio Cerone, Markus Roggenbach:
Formal Methods - Fun for Everybody - First International Workshop, FMFun 2019, Bergen, Norway, December 2-3, 2019, Revised Selected Papers. Communications in Computer and Information Science 1301, Springer 2021, ISBN 978-3-030-71373-7 [contents] - [e4]Markus Roggenbach:
Recent Trends in Algebraic Development Techniques - 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers. Lecture Notes in Computer Science 12669, Springer 2021, ISBN 978-3-030-73784-9 [contents] - [i10]Tonicha Crook, Jay Paul Morgan, Arno Pauly, Markus Roggenbach:
A Computability Perspective on (Verified) Machine Learning. CoRR abs/2102.06585 (2021) - 2020
- [b2]Stefan Gruner, Apurva Kumar, Tom Maibaum, Markus Roggenbach:
On the Construction of Engineering Handbooks - with an Illustration from the Railway Safety Domain. Springer Briefs in Computer Science, Springer 2020, ISBN 978-3-030-44647-5, pp. 3-78 - [j22]Alexander Knapp, Markus Roggenbach:
André Platzer: Logical foundations of cyber-physical systems. Formal Aspects Comput. 32(1): 149-151 (2020) - [j21]Magne Haveraaen, Markus Roggenbach:
Specifying with syntactic theory functors. J. Log. Algebraic Methods Program. 113: 100543 (2020) - [c43]Tobias Rosenberger, Saddek Bensalem, Alexander Knapp, Markus Roggenbach:
Institution-Based Encoding and Verification of Simple UML State Machines in CASL/SPASS. WADT 2020: 120-141 - [i9]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:
Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering - A White Paper. CoRR abs/2010.05708 (2020) - [i8]Tobias Rosenberger, Saddek Bensalem, Alexander Knapp, Markus Roggenbach:
Institution-based Encoding and Verification of Simple UML State Machines in CASL/SPASS. CoRR abs/2011.00556 (2020)
2010 – 2019
- 2019
- [c42]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:
Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering - A White Paper -. FMFun 2019: 1-26 - [e3]Markus Roggenbach, Ana Sokolova:
8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019, June 3-6, 2019, London, United Kingdom. LIPIcs 139, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2019, ISBN 978-3-95977-120-7 [contents] - 2018
- [j20]Jorge Blasco, Thomas M. Chen, Igor Muttik, Markus Roggenbach:
Detection of app collusion potential using logic programming. J. Netw. Comput. Appl. 105: 88-104 (2018) - [j19]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: 61-88 (2018) - [c41]Irina Mariuca Asavoae, Hoang Nga Nguyen, Markus Roggenbach:
Software Model Checking for Mobile Security - Collusion Detection in \mathbb K K. SPIN 2018: 3-25 - [c40]Liang-Ting Chen, Markus Roggenbach, John V. Tucker:
An Algebraic Theory for Data Linkage. WADT 2018: 47-66 - [i7]Liang-Ting Chen, Markus Roggenbach, John V. Tucker:
An algebraic theory for data linkage. CoRR abs/1810.08096 (2018) - 2017
- [c39]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: 1:1-1:2 - [e2]Phillip James, Markus Roggenbach:
Recent Trends in Algebraic Development Techniques - 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers. Lecture Notes in Computer Science 10644, Springer 2017, ISBN 978-3-319-72043-2 [contents] - [i6]Jorge Blasco, Thomas M. Chen, Igor Muttik, Markus Roggenbach:
Detection of App Collusion Potential Using Logic Programming. CoRR abs/1706.02387 (2017) - [i5]Irina Mariuca Asavoae, Hoang Nga Nguyen, Markus Roggenbach, Siraj Ahmed Shaikh:
Software Model Checking: A Promising Approach to Verify Mobile App Security. CoRR abs/1706.04741 (2017) - 2016
- [c38]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: 29-37 - [c37]Irina Mariuca Asavoae, Hoang Nga Nguyen, Markus Roggenbach, Siraj Ahmed Shaikh:
Utilising $${\mathbb {K}}$$ Semantics for Collusion Detection in Android Applications. FMICS-AVoCS 2016: 142-149 - [c36]Phillip James, Faron Moller, Hoang Nga Nguyen, Markus Roggenbach, Helen Treharne, Xu Wang:
OnTrack: The Railway Verification Toolset - Extended Abstract. ISoLA (2) 2016: 294-296 - [c35]Anne Elisabeth Haxthausen, Hoang Nga Nguyen, Markus Roggenbach:
Comparing Formal Verification Approaches of Interlocking Systems. RSSRail 2016: 160-177 - [i4]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 abs/1603.02308 (2016) - 2015
- [j18]Alexander Knapp, Markus Roggenbach, Bernd-Holger Schlingloff:
Automating Test Case Selection in Model-Based Software Product Line Development. Int. J. Softw. Informatics 9(2): 153-175 (2015) - [c34]Alexander Knapp, Till Mossakowski, Markus Roggenbach:
Towards an Institutional Framework for Heterogeneous Formal Development in UML - - A Position Paper -. Software, Services, and Systems 2015: 215-230 - [c33]Alexander Knapp, Till Mossakowski, Markus Roggenbach, Martin Glauer:
An Institution for Simple UML State Machines. FASE 2015: 3-18 - [c32]Phillip James, Andrew Lawrence, Markus Roggenbach, Monika Seisenberger:
Towards Safety Analysis of ERTMS/ETCS Level 2 in Real-Time Maude. FTSCS 2015: 103-120 - 2014
- [j17]Phillip James, Markus Roggenbach:
Encapsulating Formal Methods within Domain Specific Languages: A Solution for Verifying Railway Scheme Plans. Math. Comput. Sci. 8(1): 11-38 (2014) - [j16]Jens Bendisposto, Michael Leuschel, Markus Roggenbach:
Preface of Automated Verification of Critical Systems 2010 (AVoCS 2010). Sci. Comput. Program. 81: 1-2 (2014) - [j15]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: 315-336 (2014) - [j14]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): 685-711 (2014) - [c31]Alexander Knapp, Markus Roggenbach, Bernd-Holger Schlingloff:
On the use of test cases in model-based software product line development. SPLC 2014: 247-251 - [c30]Lloyd Roberts, Mike Smith, Faron Moller, Markus Roggenbach:
Visualising Timed CSP Train Simulations for Capacity. TPCG 2014: 91-93 - [i3]Phillip James, Markus Roggenbach:
Encapsulating Formal Methods within Domain Specific Languages: A Solution for Verifying Railway Scheme Plans. CoRR abs/1403.3034 (2014) - [i2]Alexander Knapp, Till Mossakowski, Markus Roggenbach:
An Institutional Framework for Heterogeneous Formal Development in UML. CoRR abs/1403.7747 (2014) - [i1]Alexander Knapp, Till Mossakowski, Markus Roggenbach, Martin Glauer:
An Institution for Simple UML State Machines. CoRR abs/1411.4495 (2014) - 2013
- [j13]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) - [j12]Till Mossakowski, Markus Roggenbach, Lutz Schröder:
Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 62 (2013) - [c29]Phillip James, Matthew Trumble, Helen Treharne, Markus Roggenbach, Steve A. Schneider:
OnTrack: An Open Tooling Environment for Railway Verification. NASA Formal Methods 2013: 435-440 - [c28]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: 189-204 - [c27]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: 253-268 - 2012
- [j11]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) - [j10]Markus Roggenbach:
Preface. Sci. Comput. Program. 77(10-11): 1037-1038 (2012) - [c26]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: 193-208 - [c25]Phillip James, Arnold Beckmann, Markus Roggenbach:
Using Domain Specific Languages to Support Verification in the Railway Domain. Haifa Verification Conference 2012: 274-275 - [c24]Yoshinao Isobe, Faron Moller, Hoang Nga Nguyen, Markus Roggenbach:
Safety and Line Capacity in Railways - An Approach in Timed CSP. IFM 2012: 54-68 - [c23]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 - 2011
- [c22]Phillip James, Markus Roggenbach:
Designing Domain Specific Languages for Verification: First Steps. ATE 2011: 40-45 - 2010
- [j9]Jens Bendisposto, Michael Leuschel, Markus Roggenbach:
Avocs2010 Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 35 (2010) - [j8]Phillip James, Markus Roggenbach:
Automatically Verifying Railway Interlockings using SAT-based Model Checking. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 35 (2010) - [j7]Yoshinao Isobe, Markus Roggenbach:
CSP-Prover - a Proof Tool for the Verification of Scalable Concurrent Systems. Inf. Media Technol. 5(1): 32-39 (2010) - [c21]Ana Paula Maldonado, Luís Monteiro, Markus Roggenbach:
Towards Bialgebraic Semantics for the Linear Time - Branching Time Spectrum. WADT 2010: 209-225 - [c20]Liam O'Reilly, Till Mossakowski, Markus Roggenbach:
Compositional Modelling and Reasoning in an Institution for Processes and Data. WADT 2010: 251-269
2000 – 2009
- 2009
- [j6]Markus Roggenbach:
Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 23 (2009) - 2008
- [c19]Stefan Gruner, Derrick G. Kourie, Markus Roggenbach, Tinus Strauss, Bruce W. Watson:
A New CSP Operator for Optional Parallelism. CSSE (2) 2008: 788-791 - [c18]Temesghen Kahsai, Markus Roggenbach, Bernd-Holger Schlingloff:
Specification-Based Testing for Software Product Lines. SEFM 2008: 149-158 - [c17]Markus Roggenbach:
Tools for CSP. SEFM 2008: 213-214 - [c16]Temesghen Kahsai, Markus Roggenbach:
Property Preserving Refinement for Csp-Casl. WADT 2008: 206-220 - [c15]Liam O'Reilly, Markus Roggenbach, Yoshinao Isobe:
CSP-CASL-Prover: A Generic Tool for Process and Data Refinement. AVoCS 2008: 69-84 - [c14]D. Gift Samuel, Markus Roggenbach, Yoshinao Isobe:
The Stable Revivals Model in CSP-Prover. AVoCS 2008: 119-134 - 2007
- [c13]Yoshinao Isobe, Markus Roggenbach:
Proof Principles of CSP - CSP-Prover in Practice. LDIC 2007: 425-442 - [c12]Temesghen Kahsai, Markus Roggenbach, Bernd-Holger Schlingloff:
Specification-based testing for refinement. SEFM 2007: 237-246 - 2006
- [j5]Till Mossakowski, Lutz Schröder, Markus Roggenbach, Horst Reichel:
Algebraic-coalgebraic specification in CoCasl. J. Log. Algebraic Methods Program. 67(1-2): 146-197 (2006) - [j4]Markus Roggenbach:
CSP-CASL - A new integration of process algebra and algebraic specification. Theor. Comput. Sci. 354(1): 42-71 (2006) - [c11]Yoshinao Isobe, Markus Roggenbach:
A Complete Axiomatic Semantics for the CSP Stable-Failures Model. CONCUR 2006: 158-172 - [c10]Till Mossakowski, Markus Roggenbach:
Structured CSP - A Process Algebra as an Institution. WADT 2006: 92-110 - 2005
- [c9]Yoshinao Isobe, Markus Roggenbach:
A Generic Theorem Prover of CSP Refinement. TACAS 2005: 108-123 - [e1]José Luiz Fiadeiro, Neil Harman, Markus Roggenbach, Jan J. M. M. Rutten:
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 [contents] - 2004
- [c8]Andy Gimblett, Markus Roggenbach, Bernd-Holger Schlingloff:
Towards a Formal Specification of an Electronic Payment System in CSP-CASL. WADT 2004: 61-78 - [c7]Christoph Lüth, Markus Roggenbach, Lutz Schröder:
CCC - The Casl Consistency Checker. WADT 2004: 94-105 - 2003
- [c6]Till Mossakowski, Markus Roggenbach, Lutz Schröder:
CoCASL at Work -- Modelling Process Algebra. CMCS 2003: 206-220 - 2002
- [c5]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 - [c4]Till Mossakowski, Horst Reichel, Markus Roggenbach, Lutz Schröder:
Algebraic-Coalgebraic Specification in Co Casl. WADT 2002: 376-392 - 2001
- [c3]Markus Roggenbach:
Determinization of Büchi-Automata. Automata, Logics, and Infinite Games 2001: 43-60 - [c2]Markus Roggenbach, Lutz Schröder:
Towards Trustworthy Specifications I: Consistency Checks. WADT 2001: 305-327 - 2000
- [j3]Markus Roggenbach, Mila E. Majster-Cederbaum:
Towards a unified view of bisimulation: a comparative study. Theor. Comput. Sci. 238(1-2): 81-130 (2000)
1990 – 1999
- 1999
- [c1]Markus Roggenbach, Lutz Schröder, Till Mossakowski:
Specifying Real Numbers in CASL. WADT 1999: 146-161 - 1998
- [b1]Markus Roggenbach:
Über abstrakte Charakterisierungen von Bisimulation. University of Mannheim, Germany, 1998, pp. 1-105 - [j2]Mila E. Majster-Cederbaum, Markus Roggenbach:
Transistion Systems from Event Structures Revisited. Inf. Process. Lett. 67(3): 119-124 (1998) - 1996
- [j1]Mila E. Majster-Cederbaum, Markus Roggenbach:
On two different Characterizations of Bisimulation. Bull. EATCS 59 (1996)
Coauthor Index
Nguyen Hoang Nga
aka: Hoang Nga Nguyen
aka: Hoang Nga Nguyen
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-05 23:39 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
