Configurable-by-Construction Runtime Monitoring

von Dubslaff, Clemens
Veröffentlicht in ISoLA (11. : 2022 : Rhodos) Leveraging applications of formal methods, verification and validation ; Part 1: Verification principles (2022)

Be Lazy and Don’t Care: Faster CTL Model Checking for Recursive State Machines

von Dubslaff, Clemens
Veröffentlicht in SEFM (19. : 2021 : Online) Software engineering and formal methods (2021)

Performance Evaluation of Thermal-Constrained Scheduling Strategies in Multi-core Systems

von Sardar, Muhammad Usama
Veröffentlicht in EPEW (16. : 2019 : Mailand) Computer performance engineering (2020)

Theoretical aspects of computing - ICTAC 2023 : 20th international colloquium, Lima, Peru, December 4-8, 2023 : proceedings

Veröffentlicht 2023

Components in Probabilistic Systems: Suitable by Construction

von Baier, Christel
Veröffentlicht in ISoLA (9. : 2020 : Online) Leveraging applications of formal methods, verification and validation ; Part 1: Verification principles (2020)