Publications
ToC
2024
- A verified low-level implementation and visualization of the adaptive exterior light and speed control system.In International Journal on Software Tools for Technology Transfer, 2024.
- The final authenticated version is available online at https://doi.org/10.1007/s10009-024-00750-5
- Meta-Programming Event-B — Advancing Tool Support and Language Extensions.In Proceedings ABZ (International Conference on Rigorous State-Based Methods), Lecture Notes in Computer Science, 14759, Springer, 233--240, 2024.
- The final authenticated version is available online at https://doi.org/10.1007/978-3-031-63790-2_17
- Evaluating AI-Based Components in Autonomous Railway Systems.In Proceedings KI 2024, LNAI, 14992, Springer, 190--203, 2024.
- The final authenticated version is available online at https://doi.org/10.1007/978-3-031-70893-0_14
- Validation of Reinforcement Learning Agents and Safety Shields with ProB.In Proceedings NFM 2024, LNCS, 14627, Springer, 279--297, 2024.
- The final authenticated version is available online at https://doi.org/10.1007/978-3-031-60698-4_16
- Validation of RailML Using ProB.In Proceedings ICECCS 2024, LNCS, 14784, Springer, 245--256, 2024.
- The final authenticated version is available online at https://doi.org/10.1007/978-3-031-66456-4_13
- Generating interactive documents for domain-specific validation of formal models.In International Journal on Software Tools for Technology Transfer, 26, 2, Springer, 147--168, 2024.
- The final authenticated version is available online at https://doi.org/10.1007/s10009-024-00739-0
- Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems.In Proceedings FMAS 2024, EPTCS, 411, 151--159, 2024.
- The final authenticated version is available online at https://doi.org/10.4204/EPTCS.411.10
2023
- Validation of Formal Models by Interactive Simulation.In Proceedings ABZ 2023, LNCS, 14010, Springer, 59--69, 2023.
- The final authenticated version is available online at https://doi.org/10.1007/978-3-031-33163-3_5
- Validation by Abstraction and Refinement.In Proceedings ABZ 2023, LNCS, 14010, Springer, 160--178, 2023.
- The final authenticated version is available online at https://doi.org/10.1007/978-3-031-33163-3_12
- Modeling and Analysis of a Safety-Critical Interactive System Through Validation Obligations.In Proceedings ABZ 2023, LNCS, 14010, Springer, 284--302, 2023.
- The final authenticated version is available online at https://doi.org/10.1007/978-3-031-33163-3_22
- Performance Fuzzing with Reinforcement-Learning and Well-Defined Constraints for the B Method.In iFM 2023, Springer, 237--256, 2023.
- The final authenticated version is available online at https://link.springer.com/chapter/10.1007/978-3-031-47705-8_13
- A Formal Model of Train Control with AI-Based Obstacle Detection.In Proceedings RSSRail 2023, Birgit Milius and Simon Collart Dutilleul and Thierry Lecomte, LNCS, 14198, Springer, 128--145, 2023.
- The final authenticated version is available online at https://doi.org/10.1007/978-3-031-43366-5_8
- Certified Control for Train Sign Classification.In Proceedings FMAS 2023, Marie Farrell and Matt Luckcuck and Mario Gleirscher and Maike Schwammberger, EPTCS, 395, 69--76, 2023.
- The final authenticated version is available online at https://doi.org/10.4204/EPTCS.395.5
- On Executing State-Based Specifications and Partial Order Reduction for High-Level Formalisms.PhD Thesis, Heinrich-Heine-Universität, Düsseldorf, Germany, 2023.
- The final authenticated version is available online at https://docserv.uni-duesseldorf.de/servlets/DocumentServlet?id=61784
2022
- Generating Domain-Specific Interactive Validation Documents.In Proceedings FMICS, LNCS, 13487, Springer, 32--49, 2022.
- The final authenticated version is available online at https://doi.org/10.1007/978-3-031-15008-1_4
- Model Checking B Models via High-Level Code Generation.In Proceedings ICFEM, LNCS, 13478, Springer, 334--351, 2022.
- The final authenticated version is available online at https://doi.org/10.1007/978-3-031-17244-1_20
- Fifty Years of Prolog and Beyond.In Theory and Practice of Logic Programming, 22, 6, 776--858, 2022.
- The final authenticated version is available online at https://doi.org/10.1017/S1471068422000102
- An embedding of B in Clojure.In Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, MODELS 2022, Montreal, Quebec, Canada, October 23-28, 2022, ACM, 598--606, 2022.
- The final authenticated version is available online at https://doi.org/10.1145/3550356.3561561
- Towards Practical Partial Order Reduction for High-Level Formalisms.In Verified Software. Theories, Tools and Experiments - 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers, Lecture Notes in Computer Science, 13800, Springer, 72--91, 2022.
- The final authenticated version is available online at https://doi.org/10.1007/978-3-031-25803-9_5
2021
- Validation of Formal Models by Timed Probabilistic Simulation.In Proceedings ABZ, LNCS, 12709, Springer, 81--96, 2021.
- The final authenticated version is available online at https://doi.org/10.1007/978-3-030-77543-8_6
- ProB2-UI: A Java-Based User Interface for ProB.In Proceedings FMICS, LNCS, 12863, Springer, 193--201, 2021.
- The final authenticated version is available online at https://doi.org/10.1007/978-3-030-85248-1_12
- Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering -- A White Paper.In CCIS, 1301, Springer, 2021.
- The final authenticated version is available online at https://doi.org/10.1007/978-3-030-71374-4_1
- LINK
- Prototyping Games Using Formal Methods.In Proceedings FMFun 2019, CCIS, 1301, Springer, 2021.
- The final authenticated version is available online at https://doi.org/10.1007/978-3-030-71374-4_6
- Improving SMT Solver Integrations for the Validation of B and Event-B Models.In Formal Methods for Industrial Critical Systems, Alberto Lluch Lafuente and Anastasia Mavridou, LNCS, 12863, Springer International Publishing, 107--125, 2021.
- The final authenticated version is available online at https://doi.org/10.1007/978-3-030-85248-1_7
2020
- A Verified Low-Level Implementation of the Adaptive Exterior Light and Speed Control System.In Proceedings ABZ, LNCS, 12071, Springer, 2020.
- The final authenticated version is available online at https://link.springer.com/chapter/10.1007/978-3-030-48077-6_30
- Towards a Shared Specification Repository.In Proceedings ABZ, LNCS, 12071, Springer, 2020.
- The final authenticated version is available online at https://link.springer.com/chapter/10.1007/978-3-030-48077-6_22
- Analysing ProB’s Constraint Solving Backends.In Proceedings ABZ, LNCS, 12071, Springer, 107--123, 2020.
- The final authenticated version is available online at https://doi.org/10.1007/978-3-030-48077-6_8
2019
- Measuring Coverage of Prolog Programs Using Mutation Testing.In Proceedings WFLP 2018, LNCS, 11285, Springer, 2019.
- The final authenticated version is available online at https://doi.org/10.1007/978-3-030-16202-3_3
- Automated Backend Selection for ProB Using Deep Learning.In NASA Formal Methods, LNCS, 11460, Springer, 130--147, 2019.
- The final authenticated version is available online at https://doi.org/10.1007/978-3-030-20652-9_9
- Embedding High-Level Formal Specifications into Applications.In Proceedings FM, LNCS, 11800, Springer, 2019.
- The final authenticated version is available online at https://doi.org/10.1007/978-3-030-30942-8_31
- A Multi-Target Code Generator for High-Level B.In Proceedings iFM, LNCS, 11918, Springer, 2019.
- The final authenticated version is available online at https://doi.org/10.1007/978-3-030-34968-4_25
2018
- plspec - A Specification Language for Prolog Data.In Proceedings Declare 2017, Dietmar Seipel and Michael Hanus and Salvador Abreu, LNAI, 10997, Springer, 2018.
- The final authenticated version is available online at https://doi.org/10.1007/978-3-030-00801-7_13
- Three is a crowd: SAT, SMT and CLP on a chessboard.In Proceedings PADL 2018, LNCS, 10702, Springer, 2018.
- The final authenticated version is available online at https://doi.org/10.1007/978-3-319-73305-0_5
- Distributed Model Checking Using ProB.In Proceedings NFM 2018, LNCS, 10811, Springer, 2018.
- The final authenticated version is available online at https://doi.org/10.1007/978-3-319-77935-5_18
- State-of-the-Art Model Checking for B and Event-B Using ProB and LTSmin.In Proceedings iFM 2018, LNCS, 11023, Springer, 2018.
- The final authenticated version is available online at https://doi.org/10.1007/978-3-319-98938-9_16
- Using a Formal B Model at Runtime in a Demonstration of the ETCS Hybrid Level 3 Concept with Real Trains.In Proceedings ABZ 2018, Michael Butler and Alexander Raschke and Thai Son Hoang and Klaus Reichl, LNCS, 10817, Springer, 292--306, 2018.
- The final authenticated version is available online at https://doi.org/10.1007/978-3-319-91271-4_20
2017
2016
- Symbolic Reachability Analysis of B through ProB and LTSmin.In Proceedings iFM 2016, LNCS, 9681, Springer, 2016.
- The final authenticated version is available online at https://doi.org/10.1007/978-3-319-33693-0_18
- Generating Event-B Specifications from Algorithm Descriptions.In Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings, Michael J. Butler and Klaus-Dieter Schewe and Atif Mashkoor and Miklós Biró, Lecture Notes in Computer Science, 9675, Springer, 183--197, 2016.
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
- Coverability of Reset Petri Nets and other Well-Structured Transition Systems by Partial Deduction.In Computational Logic, John Lloyd and Verónica Dahl and Ulrich Furbach and Manfred Kerber and Kung-Kiu Lau and Catuscia Palamidessi and Luı́s Moniz Pereira and Yehoshua Sagiv and Peter J. Stuckey, Lecture Notes in Computer Science, 1861, Springer-Verlag, 101--115, 2000.