- 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