CSP-Casl—a new integration of process algebra and algebraic specification M Roggenbach Theoretical Computer Science 354 (1), 42-71, 2006 | 92 | 2006 |
A generic theorem prover of CSP refinement Y Isobe, M Roggenbach International Conference on Tools and Algorithms for the Construction and …, 2005 | 89 | 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 | 80 | 2006 |
Automatically verifying railway interlockings using SAT-based model checking P James, M Roggenbach Electronic Communications of the EASST 35, 2010 | 66* | 2010 |
Towards a unified view of bisimulation: a comparative study M Roggenbach, M Majster-Cederbaum Theoretical Computer Science 238 (1-2), 81-130, 2000 | 59 | 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 | 55 | 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 | 47 | 2014 |
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 | 44 | 2018 |
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 International Workshop on Algebraic Development Techniques, 92-110, 2006 | 36 | 2006 |
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 | 35 | 2010 |
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 | 35 | 2005 |
Formal Methods for Software Engineering M Roggenbach, A Cerone, BH Schlingloff, G Schneider, SA Shaikh Springer, Switzerland, 2021 | 31 | 2021 |
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 | 31 | 2012 |
An institution for simple UML state machines A Knapp, T Mossakowski, M Roggenbach, M Glauer Fundamental Approaches to Software Engineering: 18th International …, 2015 | 30 | 2015 |
A complete axiomatic semantics for the CSP stable-failures model Y Isobe, M Roggenbach CONCUR 2006–Concurrency Theory: 17th International Conference, CONCUR 2006 …, 2006 | 29 | 2006 |
Multimedia instruction in safe and secure systems B Krieg-Brückner, D Hutter, A Lindow, C Lüth, A Mahnke, E Melis, P Meier, ... Recent Trends in Algebraic Development Techniques: 16th International …, 2003 | 28 | 2003 |
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 | 27 | 2014 |
Verification of Scheme Plans Using CSPB P James, F Moller, HN Nguyen, M Roggenbach, S Schneider, H Treharne, ... International Conference on Software Engineering and Formal Methods, 189-204, 2013 | 27 | 2013 |
Specification-Based Testing for Software Product Lines T Kahsai, M Roggenbach, BH Schlingloff Software Engineering and Formal Methods, 2008. SEFM'08. Sixth IEEE …, 2008 | 25 | 2008 |