Trosolwg
Mae'r Athro Markus Roggenbach yn ddarlithydd mewn Cyfrifiadureg, Prifysgol Abertawe.
Yr Athro Markus Roggenbach
Professor
Computer Science
955
Llawr Cyntaf
Adeilad Talbot
Campws Singleton
Llawr Cyntaf
Adeilad Talbot
Campws Singleton
Ar gael ar gyfer Goruchwyliaeth Ôl-raddedig
Dolenni Ymchwil
Cyhoeddiadau
Uchafbwyntiau Ymchwil
-
Jezinski, M., Roggenbach, M., Seisenberger, M., Cai, V., & Caraffini, F. (2025). Creating Synthetic Test Data for Rail Design Tools – The Case of Linear Scheme Plans. In Lecture Notes in Computer Science (pp. 78-87). Springer Nature Switzerland.
-
Cerone, A., Roggenbach, M., Davenport, J., Hopkins, C., Farrell, M., Haveraaen, M., Moller, F., Körner, P., Krings, S., Ölveczky, P., Schlingloff, B., Shilov, N., & Zhumagambetov, R. (2021). Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering — A White Paper. In Communications in Computer and Information Science (pp. 1-26). Springer International Publishing.
-
Haxthausen, A., Nguyen, H., & Roggenbach, M. (2015). Comparing Formal Verification Approaches of Interlocking Systems. In Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification (pp. 160-177). Springer International Publishing.
-
James, P., Moller, F., & Roggenbach, M. (2023). Software Model Checking of Interlocking Programs. Lecture Notes in Computer Science (pp. 130-146). Springer Nature Switzerland
-
Crook, T., Morgan, J., Pauly, A., & Roggenbach, M. (2023). A Computability Perspective on (Verified) Machine Learning. In Recent Trends in Algebraic Development Techniques (pp. 63-80). Springer Nature Switzerland.
-
Banerjee, M., Cai, V., Lakshmanappa, S., Lawrence, A., Roggenbach, M., Seisenberger, M., & Werner, T. (2023). A Tool-Chain for the Verification of Geographic Scheme Data. In Editors: Birgit Milius, Simon Collart-Dutilleul, Thierry Lecomte (Ed.), Lecture Notes in Computer Science (pp. 211-224). Springer Nature Switzerland.
-
Haxthausen, A., Huang, W., & Roggenbach, M. (Eds.). (2023). Applicable Formal Methods for Safe Industrial Products. Springer Nature Switzerland.
-
James, P., Moller, F., Nguyen, H., Roggenbach, M., Schneider, S., & Treharne, . (2014). Decomposing scheme plans to manage verification complexity. In FORMS/FORMAT- 10th Symposium on Formal Methods for Automation and Safety in Railway and Automotive SystemsSU Repository: https://cronfa.swan.ac.uk/Record/cronfa37077
-
Rosenberger, T., Knapp, A., & Roggenbach, M. (2022). An Institutional Approach to Communicating UML State Machines. In Fundamental Approaches to Software Engineering (pp. 205-224). Springer International Publishing.
-
Roggenbach, M., Cerone, A., Schlingloff, B., Schneider, G., & Shaikh, S. (2022). Formal Methods for Software Engineering (1st ed.). Springer International Publishing.
Holl Ymchwil
Erthyglau Cylchgronau
-
Yao, H., Pan, S., Cai, X., Wang, Y., Yan, H., Chen, N., Hu, Y., Roggenbach, M., Wood, C., Sreeram, A., & Hou, Y. (2026). Intelligent Monitoring of Longitudinal Rail Force Using Time Series Forecasting Large Language Models. High-speed Railway, 0
-
Zhang, Y., Wang, H., James, P., Roggenbach, M., & Tian, D. (2022). A Train Protection Logic Based on Topological Manifolds for Virtual Coupling. IEEE Transactions on Intelligent Transportation Systems, 23(8), 11930-11945.
-
Haveraaen, M. & Roggenbach, M. (2020). Specifying with syntactic theory functors. Journal of Logical and Algebraic Methods in Programming, 113, 100543
-
Blasco, J., Chen, T., Muttik, I., & Roggenbach, M. (2018). Detection of app collusion potential using logic programming. Journal of Network and Computer Applications, 105, 88-104.
-
Berger, U., James, P., Lawrence, A., Roggenbach, M., & Seisenberger, M. (2018). Verification of the European Rail Traffic Management System in Real-Time Maude. Science of Computer Programming, 154, 61-88.
-
Knapp, A., Roggenbach, M., & Schlingloff, B. (2015). Automating Test Case Selection in Model-Based Software Product Line Development. International Journal of Software and Informatics, 9(2), 153-175.SU Repository: https://cronfa.swan.ac.uk/Record/cronfa21771
-
James, P., Moller, F., Nguyen, H., Roggenbach, M., Schneider, S., & Treharne, H. (2014). On modelling and verifying railway interlockings: Tracking train lengths. Science of Computer Programming, 96, 315-336.
-
James, P. & Roggenbach, M. (2014). Encapsulating Formal Methods within Domain Specific Languages: A Solution for Verifying Railway Scheme Plans. Mathematics in Computer Science, 8(1), 11-38.
-
Nguyen, H., James, P., Moller, F., Nguyen, H., Roggenbach, M., Schneider, S., & Treharne, H. (2014). Techniques for modelling and verifying railway interlockings. International Journal on Software Tools for Technology Transfer, 16(6), 685-711.
-
Gimblett, A., Kahsai, T., O'Reilly, L., & Roggenbach, M. (2013). On the whereabouts of CSP-CASL – A survey. Electronic Communications of the EASST, 62
-
James, P. & Roggenbach, M. (2010). Automatically Verifying Railway Interlockings using SAT-based Model Checking. Electronic Communications of the EASST, 35SU Repository: https://cronfa.swan.ac.uk/Record/cronfa8085
-
Samuel, D., Roggenbach, M., & Isobe, Y. (2009). The Stable Revivals Model in CSP-Prover. Electronic Notes in Theoretical Computer Science, 250(2), 119
-
O'Reilly, L., Roggenbach, M., & Isobe, Y. (2009). CSP-CASL-Prover: A Generic Tool for Process and Data Refinement. Electronic Notes in Theoretical Computer Science, 250(2), 69
-
Isobe, Y. & Roggenbach, M. (2008). CSP-Prover - A proof tool for the verification of scalable concurrent systems. Journal of Computer Software, 25(4), 85-92.SU Repository: https://cronfa.swan.ac.uk/Record/cronfa166
-
Roggenbach, M. (2006). CSP-CASL—A new integration of process algebra and algebraic specification. Theoretical Computer Science, 354(1), 42
-
Mossakowski, T., Schröder, L., Roggenbach, M., & Reichel, H. (2006). Algebraic–coalgebraic specification in CoCasl. The Journal of Logic and Algebraic Programming, 67(1-2), 146
Llyfrau Awdurol
-
Roggenbach, M., Cerone, A., Schlingloff, B., Schneider, G., & Shaikh, S. (2022). Formal Methods for Software Engineering (1st ed.). Springer International Publishing.
-
Roggenbach, M., Gruner, S., Kumar, A., Maibaum, T., & Roggenbach, M. (2020). On the Construction of Engineering Handbooks Springer International Publishing.
-
Roggenbach, M. (2009). AVoCS'09 - Proceedings of the Ninth International Workshop on Automated Verification of Critical SystemsSU Repository: https://cronfa.swan.ac.uk/Record/cronfa193
-
O'Reilly, L. & Roggenbach, M. (2009). AVoCS'09 - PreProceedings of the Ninth International Workshop on Automated Verification of Critical Systems Swansea University.SU Repository: https://cronfa.swan.ac.uk/Record/cronfa194
Penodau Llyfrau
-
James, P., Moller, F., & Roggenbach, M. (2023). Software Model Checking of Interlocking Programs. Lecture Notes in Computer Science (pp. 130-146). Springer Nature Switzerland
-
Asăvoae, I., Blasco, J., Chen, T., Kalutarage, H., Muttik, I., Nguyen, H., Roggenbach, M., & Shaikh, S. (2017). Detecting Malicious Collusion Between Mobile Software Applications: The Android TM Case. Data Analytics and Decision Support for Cybersecurity -97). Springer
-
Knapp, A., Mossakowski, T., Roggenbach, M., & Glauer, M. (2015). An Institution for Simple UML State Machines. Fundamental Approaches to Software Engineering -18). Springer
-
James, P., Knapp, A., Mossakowski, T., & Roggenbach, M. (2013). Designing Domain Specific Languages – A Craftsman’s Approach for the Railway Domain Using Casl. Recent Trends in Algebraic Development Techniques -194). Springer
-
Maldonado, A., Monteiro, L., & Roggenbach, M. (2010). Towards Bialgebraic Semantics for the Linear Time – Branching Time Spectrum. Recent Trends in Algebraic Development Techniques (pp. 209
-
Kahsai, T. & Roggenbach, M. (2009). Property Preserving Refinement for Csp-Casl. Recent Trends in Algebraic Development Techniques (pp. 206Springer
-
Isobe, Y. & Roggenbach, M. (2008). Verifying the uniform candy distribution puzzle with CSP-Prover. (pp. ??? pp.University PretoriaSU Repository: https://cronfa.swan.ac.uk/Record/cronfa24
-
Isobe, Y. & Roggenbach, M. (2008). Proof Principles of CSP – CSP-Prover in Practice. Springer
-
Isobe, Y. & Roggenbach, M. (2006). A Complete Axiomatic Semantics for the CSP Stable-Failures Model. CONCUR 2006 – Concurrency Theory (pp. 158
-
Yoshinao, I., Mark, R., & Roggenbach, M. (2005). A Generic Theorem Prover of CSP Refinement. Tools and Algorithms for the Construction and Analysis of Systems (pp. 108-123). Springer
Cyfraniadau Cynadleddau
-
Brooks, G., Walton, S., Roggenbach, M., Armstrong, J., & Rahat, A. (2026). Robust Evolutionary Optimization for Demand-Balanced Railway Route Design. In GECCO '26: Proceedings of the Genetic and Evolutionary Computation Conference (pp. 1047-1055). Association for Computing Machinery (ACM).
-
Jezinski, M., Roggenbach, M., Seisenberger, M., Cai, V., & Caraffini, F. (2025). Creating Synthetic Test Data for Rail Design Tools – The Case of Linear Scheme Plans. In Lecture Notes in Computer Science (pp. 78-87). Springer Nature Switzerland.
-
Crook, T., Morgan, J., Pauly, A., & Roggenbach, M. (2023). A Computability Perspective on (Verified) Machine Learning. In Recent Trends in Algebraic Development Techniques (pp. 63-80). Springer Nature Switzerland.
-
Banerjee, M., Cai, V., Lakshmanappa, S., Lawrence, A., Roggenbach, M., Seisenberger, M., & Werner, T. (2023). A Tool-Chain for the Verification of Geographic Scheme Data. In Editors: Birgit Milius, Simon Collart-Dutilleul, Thierry Lecomte (Ed.), Lecture Notes in Computer Science (pp. 211-224). Springer Nature Switzerland.
-
Rosenberger, T., Knapp, A., & Roggenbach, M. (2022). An Institutional Approach to Communicating UML State Machines. In Fundamental Approaches to Software Engineering (pp. 205-224). Springer International Publishing.
-
Hinns, J., Fan, X., Liu, S., Kovvuri, R., Yalcin, M., & Roggenbach, M. (2021). An Initial Study of Machine Learning Underspecification Using Feature Attribution Explainable AI Algorithms: A COVID-19 Virus Transmission Case Study. In PRICAI 2021: Trends in Artificial Intelligence (pp. 323-335). Springer International Publishing.
-
Rosenberger, T., Bensalem, S., Knapp, A., & Roggenbach, M. (2021). Institution-Based Encoding and Verification of Simple UML State Machines in CASL/SPASS. In Recent Trends in Algebraic Development Techniques (pp. 120-141). Springer International Publishing.
-
Cerone, A., Roggenbach, M., Davenport, J., Hopkins, C., Farrell, M., Haveraaen, M., Moller, F., Körner, P., Krings, S., Ölveczky, P., Schlingloff, B., Shilov, N., & Zhumagambetov, R. (2021). Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering — A White Paper. In Communications in Computer and Information Science (pp. 1-26). Springer International Publishing.
-
Chen, L., Roggenbach, M., & Tucker, J. (2019). An Algebraic Theory for Data Linkage. In Recent Trends in Algebraic Development Techniques (pp. 47-66). Springer.
-
Haxthausen, A., Nguyen, H., & Roggenbach, M. (2015). Comparing Formal Verification Approaches of Interlocking Systems. In Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification (pp. 160-177). Springer International Publishing.
-
James, P., Moller, F., Nguyen, H., Roggenbach, M., Schneider, S., & Treharne, . (2014). Decomposing scheme plans to manage verification complexity. In FORMS/FORMAT- 10th Symposium on Formal Methods for Automation and Safety in Railway and Automotive SystemsSU Repository: https://cronfa.swan.ac.uk/Record/cronfa37077
-
Maldonado, A., Monteiro, L., & Roggenbach, M. (2012). Towards Bialgebraic Semantics for the Linear Time – Branching Time Spectrum. In Recent Trends in Algebraic Development Techniques (pp. 209-225). Springer.
-
O’Reilly, L., Mossakowski, T., Roggenbach, M., & O'Reilly, L. (2012). Compositional Modelling and Reasoning in an Institution for Processes and Data. In Recent Trends in Algebraic Development Techniques (pp. 251-269). Springer.
-
Roggenbach, M. & James, P. (2011). Designing Domain Specific Languages for Verification: First Steps..
-
Holland, G., Kahsai, T., Roggenbach, M., & Schlingloff, B. (2009). Towards formal testing of jet engine Rolls-Royce BR725. (pp. 217-229). Institute of Informatics, Warsaw University.SU Repository: https://cronfa.swan.ac.uk/Record/cronfa38
-
Roggenbach, M. (2009). SAT-based model checking of train control systems. (pp. 15-17). University of Udine.SU Repository: https://cronfa.swan.ac.uk/Record/cronfa39
-
Gimblett, A., Kahsai, T., O'Reilly, L., & Roggenbach, M. (2009). On the whereabouts of CSP-CASL - A survey. (pp. 121-139). Sichere Kognitive Systeme, DFKI Bremen.SU Repository: https://cronfa.swan.ac.uk/Record/cronfa104
-
James, P., Isobe, Y., & Roggenbach, M. (2009). Verifying train control software - An exercise in SAT-based model checking. In 11th JSSST Workshop on Programming and Programming Languages (PPL2009) (pp. 1Japan Society for Software Science and Technology.SU Repository: https://cronfa.swan.ac.uk/Record/cronfa196
-
Kahsai, T. & Roggenbach, M. (2009). Property Preserving Refinement for Csp-Casl. In Recent Trends in Algebraic Development Techniques (pp. 206-220).
-
Holland, G., Kahsai, T., Roggenbach, M., & B.H., S. (2009). Towards formal testing of jet engine Rolls-Royce BR725.SU Repository: https://cronfa.swan.ac.uk/Record/cronfa8083
-
Roggenbach, M. (2008). Tools for CSP. (pp. 213IEEE.
-
Kahsai, T. & Roggenbach, M. (2008). Refinement notions for CSP-CASL. (pp. 15-16). Universita di Pisa, Dipartimento di Informatica.SU Repository: https://cronfa.swan.ac.uk/Record/cronfa21
-
Mossakowski, T. & Roggenbach, M. (2008). An institution for processes and data. (pp. 13-14). Universita di Pisa, Dipartimento di Informatica.SU Repository: https://cronfa.swan.ac.uk/Record/cronfa23
-
Kahsai, T., Roggenbach, M., & Schlingloff, B. (2008). Specification-based testing for Software Product Lines. (pp. 149-159). IEEE.SU Repository: https://cronfa.swan.ac.uk/Record/cronfa34
-
Yoshinao, I. & Roggenbach, M. (2008). CSP-Prover - A Proof Tool for the Verification of Scalable Concurrent Systems.SU Repository: https://cronfa.swan.ac.uk/Record/cronfa5293
-
Kahsai, T., Roggenbach, M., & Schlingloff, B. (2008). Speci?cation-Based Testing for Software Product Lines. In Software Engineering and Formal Methods, 2008. SEFM '08. Sixth IEEE International Conference on (pp. 149-158). IEEE.
-
Gruner, S., Kourie, D., Roggenbach, M., Strauss, T., & Watson, B. (2008). A New CSP Operator for Optional Parallelism. (pp. 788
-
Gruner, S., Kourie, D., Roggenbach, M., Strauss, T., & Watson, B. (2008). A New CSP Operator for Optional Parallelism. In 2008 International Conference on Computer Science and Software Engineering (pp. 788IEEE.
-
Isobe, Y., Merrin, W., & Roggenbach, M. (2007). Proof principles of CSP - CSP-Prover in practice. (pp. 425-442). Springer.SU Repository: https://cronfa.swan.ac.uk/Record/cronfa27
Llyfrau wedi'u Golygu
-
Haxthausen, A., Huang, W., & Roggenbach, M. (Eds.). (2023). Applicable Formal Methods for Safe Industrial Products. Springer Nature Switzerland.
Cynnyrch Ymchwil Arall
-
A.P., M., Monteiro, L., & Roggenbach, M. (2010). Towards bialgebraic semantics for CSP.SU Repository: https://cronfa.swan.ac.uk/Record/cronfa8084
Goruchwyliaeth
-
Privacy and Robustness in Federated Learning (cyfredol)
PhDGoruchwyliwr arall: Dr Yang Liu -
Extending the state-of-the-art in Software Certification: A Study in Railway Signalling (SoftCert) (cyfredol)
PhDGoruchwyliwr arall: Dr Eike Neumann -
Creating Synthetic Test Data for Rail Design Tools (cyfredol)
PhDGoruchwyliwr arall: Dr Monika Seisenberger -
Bridging Finite and Infinite State Verification: Generalised Property Directed Reachability, with a Proof of Correctness and Termination (cyfredol)
PhDGoruchwyliwr arall: Dr Anton Setzer -
Using efficient reinforcement learning and Bayesian optimisation to create robust train planning solutions (cyfredol)
PhDGoruchwyliwr arall: Dr Sean Walton -
Testing of Railway RBCs in ERTMS Level 2 using Formal Methods (dyfarnwyd 2024)
PhDGoruchwyliwr arall: Dr Monika Seisenberger -
Institution-based Semantics and Tool Support for the UML (dyfarnwyd 2023)
PhDGoruchwyliwr arall: Dr Phillip James -
Exploring the IC3 Algorithm to Improve the Siemens-Swansea Ladder Logic Verification Tool (dyfarnwyd 2023)
MResGoruchwyliwr arall: Dr Oliver Kullmann -
An Empirical Evaluation of a Quality Assurance Process: A Case Study in the Railway Sector (dyfarnwyd 2025)
MScGoruchwyliwr arall: Dr Eike Neumann -
Show me how it's wrong: Counterexample Visualisation in Static Railway Verification (dyfarnwyd 2024)
MScGoruchwyliwr arall: Dr Monika Seisenberger -
Quantifying Underspecification in Machine Learning with Explainable AI (dyfarnwyd 2022)
MScGoruchwyliwr arall: Dr Xiuyi Fan
Modiwlau a Addysgir
-
CSCM985 Logic, Modelling and Verification
This module provides a thorough introduction to the fundamental concepts and techniques used in logical reasoning and the verification of computer systems. The course covers propositional, and predicate logic, discusses various proof techniques, and will give an overview of the landscape and the state of the art of current specification and verification techniques. Through a combination of lectures and hands-on labs, students will gain practical experience with verification tools such as Microsoft¿s Z3 and Dafny.