| Online Teaching of Verification of C Programs in Applied Computer Science. | 0 | 0.34 | 2021 |
| Efficient verification of multi-property designs (The benefit of wrong assumptions) | 1 | 0.39 | 2018 |
| Preface of the special issue on formal methods in industrial critical systems. | 2 | 0.38 | 2017 |
| Efficient Verification of Multi-Property Designs (The Benefit of Wrong Assumptions) (Extended Version). | 0 | 0.34 | 2017 |
| Formal Verification of Industrial Critical Software | 2 | 0.37 | 2015 |
| Efficient optimization of large probabilistic models. | 2 | 0.48 | 2013 |
| VerChor: a framework for verifying choreographies | 7 | 0.46 | 2013 |
| Counterexample guided synthesis of monitors for realizability enforcement | 18 | 0.78 | 2012 |
| Trajectory Description Conception for Industrial Robots. | 0 | 0.34 | 2012 |
| Unifying Probabilistic and Traditional Formal Model Based Analysis. | 0 | 0.34 | 2012 |
| Model-based multi-objective safety optimization | 6 | 0.55 | 2011 |
| SysML in digital engineering | 0 | 0.34 | 2010 |
| Probabilistic Model-Based Safety Analysis | 12 | 0.81 | 2010 |
| ProMoSA - Probabilistic Models for Safety Analysis | 0 | 0.34 | 2010 |
| Quantitative Model-Based Safety Analysis: A Case Study | 2 | 0.44 | 2010 |
| A Specification and Construction Paradigm for Organic Computing Systems | 29 | 1.13 | 2008 |
| Modeling Of Self-Adaptive Systems With Scade | 6 | 0.52 | 2007 |
| Using deductive cause-consequence analysis (DCCA) with SCADE | 11 | 0.71 | 2007 |
| Safety and Dependability Analysis of Self-Adaptive Systems | 10 | 0.73 | 2006 |
| Formal modeling and verification of systems with self-x properties | 20 | 1.05 | 2006 |
| Towards Safe and Secure Organic Computing Applications | 0 | 0.34 | 2006 |
