Publications
2020
- PreprintPDF of Debona: Decoupled Boundary Network Analysis for Tighter Bounds and Faster Adversarial Robustness ProofsRWTH record for Debona: Decoupled Boundary Network Analysis for Tighter Bounds and Faster Adversarial Robustness ProofsBibTeX for Debona: Decoupled Boundary Network Analysis for Tighter Bounds and Faster Adversarial Robustness Proofs
- Conference paper
Simple Strategies in Multi-Objective MDPs
Tools and Algorithms for the Construction and Analysis of Systems
- Conference paper
Learning One-Clock Timed Automata
Tools and Algorithms for the Construction and Analysis of Systems
- Conference paper
Separation and Renaming in Nominal Sets
28th EACSL Annual Conference on Computer Science Logic
- Journal article
Aiming low is harder: induction for lower bounds in probabilistic program verification
Proceedings of the ACM on programming languages
- Journal article
International journal on software tools for technology transfer
2019
- Conference paper
Tools and algorithms for the construction and analysis of systems
- Conference paper
Towards an Actor-based Approach to Design Verified ROS-based Robotic Programs using Rebeca
The 16th International Conference on Mobile Systems and Pervasive Computing (MobiSPC 2019),The 14th International Conference on Future Networks and Communications (FNC-2019),The 9th International Conference on Sustainable Energy Information Technology
PDF of Towards an Actor-based Approach to Design Verified ROS-based Robotic Programs using RebecaRWTH record for Towards an Actor-based Approach to Design Verified ROS-based Robotic Programs using RebecaBibTeX for Towards an Actor-based Approach to Design Verified ROS-based Robotic Programs using Rebeca - Conference paper
Synergizing Reliability Modeling Languages: BDMPs without Repairs and DFTs
2019 IEEE 24th Pacific Rim International Symposium on Dependable Computing
- Proceedings
Springer International Publishing
RWTH record for Dependable software engineering: theories, tools, and applications : 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019 : proceedingsBibTeX for Dependable software engineering: theories, tools, and applications : 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019 : proceedings - Conference paper
Shepherding Hordes of Markov Chains
Tools and Algorithms for the Construction and Analysis of Systems
- Conference paper
Are Parametric Markov Chains Monotonic?
Automated technology for verification and analysis
- Conference paper
On the Complexity of Reachability in Parametric Markov Decision Processes
30th International Conference on Concurrency Theory
- Journal article
Deciding probabilistic simulation between probabilistic pushdown automata and finite-state systems
Information and computation
- Book chapter
From Reactive Systems to Cyber-Physical Systems
- Proceedings
Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing
PDF of 44th International Symposium on Mathematical Foundations of Computer Science : MFCS 2019, August 26-30, 2019, Aachen, GermanyRWTH record for 44th International Symposium on Mathematical Foundations of Computer Science : MFCS 2019, August 26-30, 2019, Aachen, GermanyBibTeX for 44th International Symposium on Mathematical Foundations of Computer Science : MFCS 2019, August 26-30, 2019, Aachen, Germany - Conference paper
SMT-based Planning for Robots in Smart Factories
Advances and trends in artificial intelligence
- Conference paper
Repairing Learned Controllers with Convex Optimization: A Case Study
Integration of Constraint Programming, Artificial Intelligence, and Operations Research
- Journal article
Improving Reliability of Myocontrol Using Formal Verification
IEEE transactions on neural systems and rehabilitation engineering
- Conference paper
Formal methods for industrial critical systems ; 24th international conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019