Concepedia

Markus Roggenbach

MR

16

Publications

388

Citations

13

H-Index

2000

Active since

Affiliations

Swansea University(Current)

University of Wales

Humboldt-Universität zu Berlin

University of Surrey

University of Bremen

Markus Roggenbach is an author at Swansea University specializing in engineering, formal verification, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationSystems EngineeringVerificationSoftware AnalysisAutomated ReasoningProgram AnalysisSoftware Design

Publications per year

2000–2021

16

Publications

16

CSP-CASL—A new integration of process algebra and algebraic specification

Markus Roggenbach · Theoretical Computer Science · 2005 · 52 citations

Engineering, Csp-casl—a New Integration, Formal Modeling +6

Techniques for modelling and verifying railway interlockings

Phillip James, Faron Moller, Hoang Nga Nguyen et al. · International Journal on Software Tools for Technology Transfer · 2014 · 47 citations

Railway Traffic, Reliability Engineering, Engineering +8

Verification of the European Rail Traffic Management System in Real-Time Maude

Ulrich Berger, Phillip James, Andrew D. Lawrence et al. · Science of Computer Programming · 2017 · 38 citations

Railway Traffic, Engineering, Rail Transport +11

Algebraic–coalgebraic specification in CoCasl

Till Mossakowski, Lutz Schröder, Markus Roggenbach et al. · The Journal of Logic and Algebraic Programming · 2005 · 33 citations

Algebraic Logic, Algebraic Structure, Automated Reasoning +2

Towards a unified view of bisimulation: a comparative study

Markus Roggenbach, Mila Majster-Cederbaum · Theoretical Computer Science · 2000 · 29 citations

Block Design, Formal Methods, Equivalence Checking +2

Rows per page

1–5 of 16