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

Publications

  1. & Detection of app collusion potential using logic programming. Journal of Network and Computer Applications
  2. & Verification of the European Rail Traffic Management System in Real-Time Maude. Science of Computer Programming
  3. & Detecting Malicious Collusion Between Mobile Software Applications: The Android TM Case. In Data Analytics and Decision Support for Cybersecurity. -97). Springer.
  4. & Automating Test Case Selection in Model-Based Software Product Line Development. International Journal of Software and Informatics 9(2), 153-175.
  5. & An Institution for Simple UML State Machines. In Fundamental Approaches to Software Engineering. -18). Springer.

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.

Supervision

  • Untitled (current)

    Student name:
    PhD
    Other supervisor: Dr Ulrich Berger
  • Interactive Visualization of Multivariate Geospatial Data (current)

    Student name:
    PhD
    Other supervisor: Dr Bob Laramee
  • Service Composition for Cyber-Security and Safety (current)

    Student name:
    PhD
    Other supervisor: Prof Arnold Beckmann
  • '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