Trosolwg
Mae'r Athro Markus Roggenbach yn ddarlithydd mewn Cyfrifiadureg, Prifysgol Abertawe.
Yr Athro Markus Roggenbach
Athro
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
-
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.
-
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.
-
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.
-
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.
-
Gimblett, A., Kahsai, T., O'Reilly, L., & Roggenbach, M. (2013). On the whereabouts of CSP-CASL – A survey. Electronic Communications of the EASST, 62
-
Haveraaen, M. & Roggenbach, M. (2020). Specifying with syntactic theory functors. Journal of Logical and Algebraic Methods in Programming, 113, 100543
-
Roggenbach, M., Gruner, S., Kumar, A., Maibaum, T., & Roggenbach, M. (2020). On the Construction of Engineering Handbooks 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.
-
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.
Holl Ymchwil
Erthyglau Cylchgronau
-
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
-
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
-
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
-
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.
-
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
-
Creating Synthetic Test Data for Rail Design Tools (cyfredol)
PhDGoruchwyliwr arall: Dr Monika Seisenberger -
Testing of Railway RBCs in ERTMS Level 2 using Formal Methods (cyfredol)
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 (cyfredol)
MScGoruchwyliwr arall: Dr Eike Neumann -
Show me how it's wrong: Counterexample Visualisation in Static Railway Verification (cyfredol)
MScGoruchwyliwr arall: Dr Monika Seisenberger -
Quantifying Underspecification in Machine Learning with Explainable AI (dyfarnwyd 2022)
MScGoruchwyliwr arall: Dr Xiuyi Fan
Modiwlau a Addysgir
-
CS-135 Professional Issues 2: Software Development
The aim of this module is to give an understanding of fundamental software engineering tools, testing and design methods that are used to create reliable software. A number of state-of-the-art development environments will be shown, with hands-on experimentation and use of test systems. Students will also be given a sound grasp of the use of these systems in the different professional software engineering processes used in the software industry. Innovative software engineering methods such as Extreme Programming will be introduced and learnt in hands-on laboratory work.
-
CSCM23 Designing-in Trust, Understanding and Negotiation
This module explores state-of-the-art methods and concepts to assist responsible design and development of technology with the aim of creating reliable and trusted systems. The content of this module will be delivered by expert lecturers and practitioners in the areas of trusted computation, bias and explainability in automated decision making and decision support, ethical considerations for AI, argumentation and negotiation, as well as formal methods, such as verification of critical systems.