Professor Markus Roggenbach
Computer Science
Telephone: (01792) 543578
Email: JavaScript is required to view this email address.
Room: Practicioner Office - 955
First Floor
Talbot Building
Singleton Campus


  1. Chen, L., Roggenbach, M., Tucker, J. An Algebraic Theory for Data Linkage Recent Trends in Algebraic Development Techniques 11563 47 66
  2. Blasco, J., Chen, T., Muttik, I., Roggenbach, M. Detection of app collusion potential using logic programming Journal of Network and Computer Applications 105 88 104
  3. Berger, U., James, P., Lawrence, A., Roggenbach, M., Seisenberger, M. Verification of the European Rail Traffic Management System in Real-Time Maude Science of Computer Programming
  4. Asăvoae, I., Blasco, J., Chen, T., Kalutarage, H., Muttik, I., Nguyen, H., Roggenbach, M., Shaikh, S. Detecting Malicious Collusion Between Mobile Software Applications: The Android TM Case (Ed.), Data Analytics and Decision Support for Cybersecurity 97 Springer
  5. Knapp, A., Roggenbach, M., Schlingloff, B. Automating Test Case Selection in Model-Based Software Product Line Development International Journal of Software and Informatics 9 2 153 175

See more...


  • 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.


  • Markers for trust in AI-assisted decision systems (current)

    Other supervisor: Dr Siyuan Liu
  • Institution-based Semantics and Tool Support for the UML (current)

    Other supervisor: Dr Phillip James
  • Formal Testing of ERTMS Level 2 (current)

    Other supervisor: Dr Monika Seisenberger
  • Identifying Android application collusion use Runtime verification (current)

    Other supervisor: Dr Phillip James
  • Dynamic Geospatial Visualization (awarded 2019)

    Other supervisor: Dr Bob Laramee
  • 'A structured approach to modelling safety with a perspective on capacity in the railway.' (awarded 2017)

    Other supervisor: Prof Faron Moller
  • 'Logic and Computation (Testing Software Product Lines)' (awarded 2017)

    Other supervisor: Dr Anton Setzer
  • 'Safety Verification of Ladder-Logic Programs of Railway Interlockings' (awarded 2017)

    Other supervisor: Prof Faron Moller
    Other supervisor: Dr Phillip James