Formal methods for industrial critical systems : 17th international workshop, FMICS 2012, Paris, France, August 27 - 28, 2012 ; proceedings

Veröffentlicht 2012

Alea jacta est : verification of probabilistic, real-time and parametric systems

von Stoelinga, Marie͏̈lle Ida Antoinette
Veröffentlicht 2002

Quantitative testing

von Bohnenkamp, Henrik
Veröffentlicht 2008

Automated Rare Event Simulation for Fault Tree Analysis via Minimal Cut Sets

von Budde, Carlos E.
Veröffentlicht in MMB (20. : 2020 : Saarbrücken) Measurement, modelling, and evaluation of computing systems (2020)

The Dynamic Fault Tree Rare Event Simulator

von Budde, Carlos E.
Veröffentlicht in QEST (17. : 2020 : Online) Quantitative evaluation of systems (2020)

Stochastic model checking : rigorous dependability analysis using model checking techniques for stochastic systems ; international autumn school, ROCKS 2012, Vahrn, Italy, Octobe...

Veröffentlicht 2014

Formal modeling and analysis of timed systems : 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, proceedings

Veröffentlicht 2019

Attack Trees vs. Fault Trees: Two Sides of the Same Coin from Different Currencies

von Budde, Carlos E.
Veröffentlicht in QEST (18. : 2021 : Online) Quantitative evaluation of systems (2021)

Data-Driven Inference of Fault Tree Models Exploiting Symmetry and Modularization

von Jimenez-Roa, Lisandro Arturo
Veröffentlicht in SAFECOMP (41. : 2022 : München) Computer safety, reliability, and security (2022)

Learning to Learn HVAC Failures: Layering ML Experiments in the Absence of Ground Truth

von Budde, Carlos E.
Veröffentlicht in RSSRAIL (4. : 2022 : Paris) Reliability, safety, and security of railway systems (2022)

Fundamental approaches to software engineering : 24th international conference, FASE 2021, held as part of the European Joint Conferences on Theory and Practice of Software, ETAP...

Veröffentlicht 2021

Selected and extended papers from ACM SVT 2014

Veröffentlicht 2016

A journey from process algebra via timed automata to model learning : essays dedicated to Frits Vaandrager on the occasion of his 60th birthday

Veröffentlicht 2022

CTMCs with Imprecisely Timed Observations

von Badings, Thom
Veröffentlicht in International Conference on Tools and Algorithms for the Construction and Analysis of Systems (30. : 2024 : Luxemburg) Tools and algorithms for the construction and analysis of systems ; Part 2 (2024)

Sampling-Based Verification of CTIMCSs with Uncertain Rates

von Badings, Thom S.
Veröffentlicht in International Conference on Computer-Aided Verification (34. : 2022 : Haifa) Computer aided verification ; Part 2 (2022)

BDDs Strike Back

von Basgöze, Daniel
Veröffentlicht in NFM (14. : 2022 : Pasadena, Calif.) NASA formal methods (2022)

Formal Methods Meet Machine Learning (FML)

von Larsen, Kim
Veröffentlicht in ISoLA (11. : 2022 : Rhodos) Leveraging applications of formal methods, verification and validation ; Part 3: Adaptation and learning (2022)

Formal Methods in Railway Signalling Infrastructure Standardisation Processes

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

Special issue on software verification and testing (SAC-SVT'15)

Veröffentlicht 2016

Special issue on software verification and testing (SAC-SVT'15)

Veröffentlicht 2016