Professor Markus Roggenbach
Professor
Computer Science
Telephone: (01792) 543578
Email: JavaScript is required to view this email address.

Publications

  1. & Automating Test Case Selection in Model-Based Software Product Line Development. International Journal of Software and Informatics 9(2), 153-175.
  2. & An Institution for Simple UML State Machines. In Fundamental Approaches to Software Engineering. -18). Springer.
  3. & Techniques for modelling and verifying railway interlockings. International Journal on Software Tools for Technology Transfer 16(6), 685-711.
  4. & On modelling and verifying railway interlockings: Tracking train lengths. Science of Computer Programming 96, 315-336.
  5. & Encapsulating Formal Methods within Domain Specific Languages: A Solution for Verifying Railway Scheme Plans. Mathematics in Computer Science 8(1), 11-38.

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.

  • CSC339 Advanced Topics in Computer Science

    This module is only available to single honours Computer Science students. It is not available to visiting or exchange students. For 2016/17 the module will be "Model-Based Development of Embedded Systems" Lecturers: Holger Schlingloff (Humboldt University Berlin), Dr. Roggenbach When:Two Weekends in Semester 1. Assessment: Presentation & Dissertation

  • CSC364 Software Testing

    Testing is the process of systematically experimenting with an object (the SUT = System Under Test) in order to establish its quality, where quality means the degree of accordance to the intention or specification. This module will cover various test scenarios; practical exerercises will allow the students to gain hands-on experience.

  • CSCM64 Software Testing

    Testing is the process of systematically experimenting with an object (the SUT = System Under Test) in order to establish its quality, where quality means the degree of accordance to the intention or specification. This module will provide an in-depth introduction to various test scenarios and enable students to gain hands-on experience by means of a number of practical exercises.

Supervision

  • Smart City Visualization (current)

    Student name:
    PhD
    Other supervisor: Dr Bob Laramee
  • 'Safety Verification of Ladder-Logic Programs of Railway Interlockings' (current)

    Student name:
    MRes
    Other supervisor: Dr Phillip James
    Other supervisor: Prof Faron Moller
  • '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