Publications
See also DBLP, Google Scholar or ORCID-iD.
2024
- FMICSFault Tree Inference using Multi-Objective Evolutionary Algorithms and Confusion Matrix-based MetricsIn FMICS, 2024accepted
- TACAS
- FMSDFormal Methods in Syst. Des., 2024
- RAMS
2023
- FTSCS
- ESREL
- ESREL
2022
- DC
- STTTInt. J. Softw. Tools Technol. Transf., 2022
- STTT
- CAV
- SAFECOMP
2021
- DSN
- LADC
- NFM
2019
- RESSReliab. Eng. Syst. Saf., 2019
- PRDC
- SEFM
2018
- TII
- Petri NetsIn Petri Nets, 2018
2017
- CAV
- SAFECOMP
- SEFM
2016
- MBMV
- SAFECOMP
2015
- CAV
2014
- QEST
2012
- ATVA