Publications
2019
- Conference paper
Formal Verification of Rewriting Rules for Dynamic Fault Trees
Software Engineering and Formal Methods
- Conference paper
A DFT Modeling Approach for Infrastructure Reliability Analysis of Railway Station Areas
Formal methods for industrial critical systems ; 24th international conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019
- Conference paper
Correct-by-construction policies for POMDPs
Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT
- Conference paper
The Quantitative Verification Benchmark Set
Tools and algorithms for the construction and analysis of systems
- Conference paper
Tools and algorithms for the construction and analysis of systems
PDF of The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models : (QComp 2019 Competition Report)RWTH record for The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models : (QComp 2019 Competition Report)BibTeX for The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models : (QComp 2019 Competition Report) - Conference paper
Synthesizing and Optimizing FDIR Recovery Strategies from Fault Trees
Formal techniques for safety-critical systems
- Journal article
Quantitative separation logic: a logic for reasoning about probabilistic pointer programs
Proceedings of the ACM on programming languages
PDF of Quantitative separation logic: a logic for reasoning about probabilistic pointer programsRWTH record for Quantitative separation logic: a logic for reasoning about probabilistic pointer programsBibTeX for Quantitative separation logic: a logic for reasoning about probabilistic pointer programs
2018
- Conference paper
Finite-State Controllers of POMDPs using Parameter Synthesis
34th Conference on Uncertainty in Artificial Intelligence 2018
- Conference paper
Guaranteed Plans for Multi-Robot Systems via Optimization Modulo Theories
The Thirty-Second AAAI Conference on Artificial Intelligence, the Thirtieth Innovative Applications of Artificial Intelligence Conference, the Eighth AAAI Symposium on Educational Advances in Artificial Intelligence
- Conference paper
The HyDRA Tool : A Playground for the Development of Hybrid Systems Reachability Analysis Methods
Proceedings of the PhD Symposium at iFM’18 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM’18)
- Conference paper
Parameter-Independent Strategies for pMDPs via POMDPs
Quantitative evaluation of systems
- Conference paper
Finite-State Controllers of POMDPs using Parameter Synthesis
Uncertainty in Artificial Intelligence
- Conference paper
Symbolic Computation Techniques in SMT Solving: Mathematical Beauty Meets Efficient Heuristics
Automated Reasoning
- Proceedings
2018 ACM/IEEE 1st International Workshop on Gender Equality in Software Engineering : GE 2018 : 28 May 2018, Gothenburg, Sweden : proceedings
IEEE
RWTH record for 2018 ACM/IEEE 1st International Workshop on Gender Equality in Software Engineering : GE 2018 : 28 May 2018, Gothenburg, Sweden : proceedingsBibTeX for 2018 ACM/IEEE 1st International Workshop on Gender Equality in Software Engineering : GE 2018 : 28 May 2018, Gothenburg, Sweden : proceedings - ProceedingsPDF of Proceedings of the PhD Symposium at iFM'18 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM'18)RWTH record for Proceedings of the PhD Symposium at iFM'18 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM'18)BibTeX for Proceedings of the PhD Symposium at iFM'18 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM'18)
- Journal article
Journal of Aerospace Information Systems
- Conference paper
Evaluation of Equational Constraints for CAD in SMT Solving
Satisfiability checking and symbolic computation
- Conference paper
Synthesis in pMDPs : A Tale of 1001 Parameters
Automated Technology for Verification and Analysis