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. Roggenbach, M, O'Reilly, L On the whereabouts of CSP-CASL – A surveyElectronic Communications of the EASST62
  2. Roggenbach, M An Algebraic Theory for Data LinkageRecent Trends in Algebraic Development Techniques115634766
  3. Roggenbach, M Tools for CSP213
  4. Kahsai, T, Roggenbach, M Refinement notions for CSP-CASL1516
  5. Mossakowski, T, Roggenbach, M An institution for processes and data1314

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

  • Service Composition for Cyber-Security and Safety (current)

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

    Student name:
    PhD
    Other supervisor: Dr Monika Seisenberger
  • 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
  • 'Logic and Computation (Testing Software Product Lines)' (awarded 2017)

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

    Student name:
    MRes
    Other supervisor: Prof Faron Moller
    Other supervisor: Dr Phillip James