Markus Roggenbach
Swansea University
H-index: 22
Europe-United Kingdom
Top articles of Markus Roggenbach
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
A Tool-Chain for the Verification of Geographic Scheme Data | Madhusree Banerjee Victor Cai Sunitha Lakshmanappa Andrew Lawrence Markus Roggenbach | 2023/9/27 | |
Software model checking of interlocking programs | Phillip James Faron Moller Markus Roggenbach | 2023/8/17 | |
Applicable Formal Methods for Safe Industrial Products: Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday | Anne E Haxthausen Wen-ling Huang Markus Roggenbach | 2023/8/16 | |
The Process Algebra CSP | Markus Roggenbach Siraj Ahmed Shaikh Antonio Cerone | 2022/6/23 | |
A computability perspective on (verified) machine learning | Tonicha Crook Jay Morgan Arno Pauly Markus Roggenbach | 2022/6/28 | |
Algebraic Specification in CASL | Hubert Baumeister Didier Bert | 2001/1/1 | |
Specification-based testing | Marisa A Sanchez | 1997 | |
An Institutional Approach to Communicating UML State Machines. | Tobias Rosenberger Alexander Knapp Markus Roggenbach | 2022/3/28 | |
Formal Methods | Handbook of software engineering | Doron A Peled | 2019 |
Language Definition of CSP | Formal Methods for Software Engineering | M Roggenbach | 2022 |
Logics for Software Engineering | Bernd-Holger Schlingloff Markus Roggenbach Gerardo Schneider Antonio Cerone | 2022/6/23 | |
Concrete CASL Syntax | Formal Methods for Software Engineering | M Roggenbach | 2022 |
Formal verification of security protocols | Markus Roggenbach Siraj Ahmed Shaikh Hoang Nga Nguyen | 2022/6/23 | |
Correction to: Formal Methods for Software Engineering | Markus Roggenbach Antonio Cerone Bernd-Holger Schlingloff Gerardo Schneider Siraj Ahmed Shaikh | 2022/12/20 | |
Institution-based encoding and verification of simple UML state machines in CASL/SPASS | Tobias Rosenberger Saddek Bensalem Alexander Knapp Markus Roggenbach | 2021 | |
A journey through software model checking of interlocking programs | Leveraging Applications of Formal Methods, Verification and Validation: 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17–29, 2021, Proceedings | Simon Chadwick Phillip James Faron Moller Markus Roggenbach Thomas Werner | 2021/10/11 |
Rooting formal methods within higher education curricula for computer science and software engineering—a white paper— | Antonio Cerone Markus Roggenbach James Davenport Casey Denner Marie Farrell | 2021 | |
A train protection logic based on topological manifolds for virtual coupling | IEEE Transactions on Intelligent Transportation Systems | Yong Zhang Haifeng Wang Phillip James Markus Roggenbach Daxin Tian | 2021/9/8 |
Formal methods for software engineering | Markus Roggenbach Antonio Cerone Bernd-Holger Schlingloff Gerardo Schneider Siraj Ahmed Shaikh | 2021 | |
An initial study of machine learning underspecification using feature attribution explainable AI algorithms: A COVID-19 virus transmission case study | James Hinns Xiuyi Fan Siyuan Liu Veera Raghava Reddy Kovvuri Mehmet Orcun Yalcin | 2021 |