Markus Roggenbach
Orcid: 0000-0002-3819-2787Affiliations:
- Swansea University, Department of Computer Science, UK
- University of Mannheim, Germany (PhD 1998)
According to our database1,
Markus Roggenbach
authored at least 74 papers
between 1996 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2023
Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2023
Proceedings of the Applicable Formal Methods for Safe Industrial Products, 2023
2022
Texts in Theoretical Computer Science. An EATCS Series, Springer, ISBN: 978-3-030-38799-0, 2022
IEEE Trans. Intell. Transp. Syst., 2022
Proceedings of the Fundamental Approaches to Software Engineering, 2022
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.
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
Springer Briefs in Computer Science, Springer, ISBN: 978-3-030-44647-5, 2020
Formal Aspects Comput., 2020
Institution-Based Encoding and Verification of Simple UML State Machines in CASL/SPASS.
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 -.
Proceedings of the Formal Methods - Fun for Everybody - First International Workshop, 2019
2018
Sci. Comput. Program., 2018
J. Netw. Comput. Appl., 2018
Proceedings of the Recent Trends in Algebraic Development Techniques, 2018
Proceedings of the Model Checking Software - 25th International Symposium, 2018
2017
CoRR, 2017
Software Model Checking: A Promising Approach to Verify Mobile App Security: A Position Paper.
Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs, 2017
2016
Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2016
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.
Proceedings of the Critical Systems: Formal Methods and Automated Verification, 2016
Proceedings of the 1st International Workshop on Innovations in Mobile Privacy and Security, 2016
2015
Int. J. Softw. Informatics, 2015
Proceedings of the Formal Techniques for Safety-Critical Systems, 2015
Proceedings of the Fundamental Approaches to Software Engineering, 2015
Towards an Institutional Framework for Heterogeneous Formal Development in UML - - A Position Paper -.
Proceedings of the Software, 2015
2014
Int. J. Softw. Tools Technol. Transf., 2014
Sci. Comput. Program., 2014
Sci. Comput. Program., 2014
Encapsulating Formal Methods within Domain Specific Languages: A Solution for Verifying Railway Scheme Plans.
Math. Comput. Sci., 2014
Proceedings of the Theory and Practice of Computer Graphics, 2014
Proceedings of the 18th International Software Product Line Conference, 2014
2013
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013
Proceedings of the Software Engineering and Formal Methods, 2013
Proceedings of the Software Engineering and Formal Methods, 2013
Proceedings of the NASA Formal Methods, 2013
2012
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012
Designing Domain Specific Languages - A Craftsman's Approach for the Railway Domain Using Casl.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2012
Proceedings of the Integrated Formal Methods - 9th International Conference, 2012
Proceedings of the Hardware and Software: Verification and Testing, 2012
Proceedings of the Hardware and Software: Verification and Testing, 2012
2011
Proceedings of the First Workshop on Automated Theory Engineering, 2011
2010
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010
Proceedings of the Recent Trends in Algebraic Development Techniques, 2010
Proceedings of the Recent Trends in Algebraic Development Techniques, 2010
2008
Proceedings of the Eighth International Workshop on Automated Verification of Critical Systems, 2008
Proceedings of the Eighth International Workshop on Automated Verification of Critical Systems, 2008
Proceedings of the Recent Trends in Algebraic Development Techniques, 2008
Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008
Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008
Proceedings of the International Conference on Computer Science and Software Engineering, 2008
2007
Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007
Proceedings of the Dynamics in Logistics, First International Conference, 2007
2006
Theor. Comput. Sci., 2006
J. Log. Algebraic Methods Program., 2006
Proceedings of the Recent Trends in Algebraic Development Techniques, 2006
Proceedings of the CONCUR 2006 - Concurrency Theory, 17th International Conference, 2006
2005
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005
2004
Proceedings of the Recent Trends in Algebraic Development Techniques, 2004
Proceedings of the Recent Trends in Algebraic Development Techniques, 2004
2003
Proceedings of the 6th International Workshop on Coalgebraic Methods in Computer Science, 2003
2002
Proceedings of the Recent Trends in Algebraic Development Techniques, 2002
Proceedings of the Recent Trends in Algebraic Development Techniques, 2002
2001
Proceedings of the Recent Trends in Algebraic Development Techniques, 2001
2000
Theor. Comput. Sci., 2000
1999
Proceedings of the Recent Trends in Algebraic Development Techniques, 1999
1998
1996
On two different Characterizations of Bisimulation.
Bull. EATCS, 1996