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

Publications

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

Teaching

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

Supervision

  • Formal Testing of ERTMS Level 2 (current)

    Student name:
    PhD
    Other supervisor: Dr Monika Seisenberger
  • Untitled (current)

    Student name:
    MRes
    Other supervisor: Dr Phillip James
  • Service Composition for Cyber-Security and Safety (current)

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

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

    Student name:
    MRes
    Other supervisor: Prof Faron Moller
  • 'Safety Verification of Ladder-Logic Programs of Railway Interlockings' (awarded 2017)

    Student name:
    MRes
    Other supervisor: Prof Faron Moller
    Other supervisor: Dr Phillip James
  • 'Logic and Computation (Testing Software Product Lines)' (awarded 2017)

    Student name:
    MRes
    Other supervisor: Dr Anton Setzer