Off-the-Shelf Automated Analysis of Liveness Properties for Just Paths: (Extended Abstract)

von Bouwman, Mark
Veröffentlicht in FORTE (41. : 2021 : Online) Formal Techniques for Distributed Objects, Components, and Systems (2021)

Supporting the Development of Hybrid ERTMS/ETCS Level 3 with Formal Modelling, Analysis and Simulation

von Bartholomeus, Maarten
Veröffentlicht in International Symposium on Leveraging Applications of Formal Methods (10. : 2021 : Rhodos, Stadt) Leveraging applications of formal methods, verification and validation (2021)

Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems

von Neele, Thomas
Veröffentlicht in TACAS (26. : 2020 : Online) Tools and algorithms for the construction and analysis of systems ; Part 2 (2020)

On-The-Fly Solving for Symbolic Parity Games

von Laveaux, Maurice
Veröffentlicht in TACAS (28. : 2022 : München) Tools and algorithms for the construction and analysis of systems ; Part 2 (2022)

Software engineering and formal methods : 21st international conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023 : proceedings

Veröffentlicht 2023

Formal Techniques for Distributed Objects, Components, and Systems : 41st IFIP WG 6.1 International Conference, FORTE 2021, held as Part of the 16th International Federated Confe...

Veröffentlicht 2021

Formal methods for industrial critical systems : 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019 : proceedings

Veröffentlicht 2019

Formal Verification of OIL Component Specifications using mCRL2

von Bunte, Olav
Veröffentlicht in FMICS (25. : 2020 : Online) Formal methods for industrial critical systems (2020)

Process Algebra Can Save Lives: Static Analysis of XACML Access Control Policies Using mCRL2

von Arshad, Hamed
Veröffentlicht in IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems (42. : 2022 : Lucca) Formal techniques for distributed objects, components, and systems (2022)

Family-Based SPL Model Checking Using Parity Games with Variability

von Beek, Maurice H. ter
Veröffentlicht in FASE (23. : 2020 : Online) Fundamental approaches to software engineering (2020)