CSP-Casl—a new integration of process algebra and algebraic specification M Roggenbach
Theoretical Computer Science 354 (1), 42-71, 2006
85 2006 A generic theorem prover of CSP refinement Y Isobe, M Roggenbach
Tools and Algorithms for the Construction and Analysis of Systems: 11th …, 2005
85 2005 Algebraic–coalgebraic specification in CoCasl T Mossakowski, L Schröder, M Roggenbach, H Reichel
The Journal of Logic and Algebraic Programming 67 (1-2), 146-197, 2006
84 2006 Automatically verifying railway interlockings using SAT-based model checking P James, M Roggenbach
Electronic Communications of the EASST 35, 2011
68 * 2011 Algebraic–coalgebraic specification in CoCasl T Mossakowski, L Schröder, M Roggenbach, H Reichel
The Journal of Logic and Algebraic Programming 67 (1-2), 146-197, 2006
58 2006 Towards a unified view of bisimulation: a comparative study M Roggenbach, M Majster-Cederbaum
Theoretical Computer Science 238 (1-2), 81-130, 2000
54 2000 Techniques for modelling and verifying railway interlockings P James, F Moller, HN Nguyen, M Roggenbach, S Schneider, H Treharne
International Journal on Software Tools for Technology Transfer 16, 685-711, 2014
50 2014 Verification of solid state interlocking programs P James, A Lawrence, F Moller, M Roggenbach, M Seisenberger, ...
Software Engineering and Formal Methods: SEFM 2013 Collocated Workshops …, 2014
42 2014 Defining and model checking abstractions of complex railway models using CSP|| B F Moller, HN Nguyen, M Roggenbach, S Schneider, H Treharne
Hardware and Software: Verification and Testing: 8th International Haifa …, 2013
41 2013 Structured CSP–a process algebra as an institution T Mossakowski, M Roggenbach
Recent Trends in Algebraic Development Techniques: 18th International …, 2007
34 2007 Towards a formal specification of an electronic payment system in Csp-Casl A Gimblett, M Roggenbach, BH Schlingloff
Recent Trends in Algebraic Development Techniques: 17th International …, 2005
34 2005 Verification of the European rail traffic management system in real-time maude U Berger, P James, A Lawrence, M Roggenbach, M Seisenberger
Science of Computer Programming 154, 61-88, 2018
32 2018 CSP-Prover—A proof tool for the verification of scalable concurrent systems Y Isobe, M Roggenbach
Information and Media Technologies 5 (1), 32-39, 2010
31 2010 Safety and line capacity in railways–an approach in Timed CSP Y Isobe, F Moller, HN Nguyen, M Roggenbach
Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa …, 2012
30 2012 A complete axiomatic semantics for the CSP stable-failures model Y Isobe, M Roggenbach
CONCUR 2006–Concurrency Theory: 17th International Conference, CONCUR 2006 …, 2006
28 2006 Verification of Scheme Plans Using CSP B P James, F Moller, HN Nguyen, M Roggenbach, S Schneider, H Treharne, ...
Software Engineering and Formal Methods: SEFM 2013 Collocated Workshops …, 2014
27 2014 An institution for simple UML state machines A Knapp, T Mossakowski, M Roggenbach, M Glauer
Fundamental Approaches to Software Engineering: 18th International …, 2015
26 2015 Encapsulating formal methods within domain specific languages: A solution for verifying railway scheme plans P James, M Roggenbach
Mathematics in Computer Science 8, 11-38, 2014
26 2014 Towards Trustworthy Specification I: Consistency Checks M Roggenbach, L Schröder
Recent Trends in Algebraic Development Techniques: 15th International …, 2002
26 2002 Specification-Based Testing for Software Product Lines T Kahsai, M Roggenbach, BH Schlingloff
Software Engineering and Formal Methods, 2008. SEFM'08. Sixth IEEE …, 2008
24 2008