- 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