Publications
2015
- Journal article
Modelling and statistical model checking of a microgrid
International journal on software tools for technology transfer
2014
- Conference paper
Counterexample Generation for Hybrid Automata
Formal techniques for safety-critical systems
- Proceedings
Springer
RWTH record for Formal techniques for distributed objects, components, and systems : 34th IFIP WG 6.1 international conference, FORTE 2014, held as part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3 - 5, 2014 ; proceedingsBibTeX for Formal techniques for distributed objects, components, and systems : 34th IFIP WG 6.1 international conference, FORTE 2014, held as part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3 - 5, 2014 ; proceedings - Conference paper
Accelerating Parametric Probabilistic Verification
Quantitative evaluation of systems
- Book chapter
Formal Validation Methods in Model-Based Spacecraft Systems Engineering
Modeling and simulation-based systems engineering handbook
- Journal article
Property-dependent reductions adequate with divergence-sensitive branching bisimilarity
Science of computer programming
- Conference paper
A Review of Statistical Model Checking Pitfalls on Real-Time Stochastic Models
Leveraging applications of formal methods, verification and validation
- Conference paper
GPU-Based Graph Decomposition into Strongly Connected and Maximal End Components
Computer aided verification
- Conference paper
Layered Reduction for Modal Specification Theories
Formal aspects of component software
- Conference paper
Safety, Dependability and Performance Analysis of Aerospace Systems
Formal Techniques for Safety-Critical Systems
- Conference paper
Partial Order Reduction for Multi-Core LTL Model Checking
Hardware and software: verification and testing
- Conference paper
CSL-LICS '14 Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
- Conference paper
Performance Analysis of Computing Servers : a case study exploiting a new GSPN semantics
Measurement, modelling, and evaluation of computing systems and dependability and fault-tolerance
- Conference paper
Model Checking Gigantic Markov Models
Software engineering and formal methods
- Conference paper
Exponentially timed SADF : Compositional Semantics, Reduction, and Analysis
2014 proceedings of the International Conference on Embedded Software (EMSOFT)
- Conference paper
Smart Railroad Maintenance Engineering with Stochastic Model Checking
Proceedings of the Second International Conference on Railway Technology: Research, Development and Maintenance
- Conference paper
Maximal Cost-Bounded Reachability Probability on Continuous-Time Markov Decision Processes
Foundations of software science and computation structures
- Conference paper
Zero-Reachability in Probabilistic Multi-Counter Automata
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)