Markus Roggenbach
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
16
Venues
11
Active years
2005–2026
Best venue rank
B
Where they publish
Papers
16 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | GECCO | Robust Evolutionary Optimization for Demand-Balanced Railway Route Design. | George Brooks, Sean Peter Walton, Markus Roggenbach, John Armstrong, Alma Rahat |
| 2022 | FASE | An Institutional Approach to Communicating UML State Machines. | Tobias Rosenberger, Alexander Knapp, Markus Roggenbach |
| 2021 | PRICAI | 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, Markus Roggenbach |
| 2017 | ECOOP | Software Model Checking: A Promising Approach to Verify Mobile App Security: A Position Paper. | Irina Mariuca Asavoae, Hoang Nga Nguyen, Markus Roggenbach, Siraj Ahmed Shaikh |
| 2016 | FMICS | Utilising $${\mathbb {K}}$$ Semantics for Collusion Detection in Android Applications. | Irina Mariuca Asavoae, Hoang Nga Nguyen, Markus Roggenbach, Siraj Ahmed Shaikh |
| 2016 | ISoLA | OnTrack: The Railway Verification Toolset - Extended Abstract. | Phillip James, Faron Moller, Hoang Nga Nguyen, Markus Roggenbach, Helen Treharne, Xu Wang |
| 2015 | FASE | An Institution for Simple UML State Machines. | Alexander Knapp, Till Mossakowski, Markus Roggenbach, Martin Glauer |
| 2014 | SPLC | On the use of test cases in model-based software product line development. | Alexander Knapp, Markus Roggenbach, Bernd-Holger Schlingloff |
| 2013 | SEFM | Verification of Solid State Interlocking Programs. | Phillip James, Andy Lawrence, Faron Moller, Markus Roggenbach, Monika Seisenberger, Anton Setzer, Karim Kanso, Simon Chadwick |
| 2013 | SEFM | Verification of Scheme Plans Using CSP $$||$$ | | B. | Phillip James, Faron Moller, Hoang Nga Nguyen, Markus Roggenbach, Steve A. Schneider, Helen Treharne, Matthew Trumble, David M. Williams |
| 2012 | IFM | Safety and Line Capacity in Railways - An Approach in Timed CSP. | Yoshinao Isobe, Faron Moller, Hoang Nga Nguyen, Markus Roggenbach |
| 2008 | SEFM | Specification-Based Testing for Software Product Lines. | Temesghen Kahsai, Markus Roggenbach, Bernd-Holger Schlingloff |
| 2008 | SEFM | Tools for CSP. | Markus Roggenbach |
| 2007 | SEFM | Specification-based testing for refinement. | Temesghen Kahsai, Markus Roggenbach, Bernd-Holger Schlingloff |
| 2006 | CONCUR | A Complete Axiomatic Semantics for the CSP Stable-Failures Model. | Yoshinao Isobe, Markus Roggenbach |
| 2005 | TACAS | A Generic Theorem Prover of CSP Refinement. | Yoshinao Isobe, Markus Roggenbach |