Towards System-Level Testing with Coverage Guarantees for Autonomous Vehicles | 0 | 0.34 | 2019 |
A Decomposition Method for the Verification of a Real-Time Safety-Critical Protocol | 0 | 0.34 | 2015 |
K-Induction Based Verification of Real-Time Safety Critical Systems | 2 | 0.43 | 2013 |
A Resilient SIL 2 Driver Machine Interface for Train Control Systems | 2 | 0.39 | 2008 |
Model-based Automatic Test Generation for Event-Driven Embedded Systems using Model Checkers | 3 | 0.44 | 2006 |
Checking General Safety Criteria on UML Statecharts | 14 | 1.78 | 2001 |
Quantitative analysis of dependability critical systems based on UML statechart models. | 8 | 0.70 | 2000 |
Automatic Dependability Analysis for Supporting Design Decisions in UML | 24 | 4.67 | 1999 |
Towards a Formal Operational Semantics of UML Statechart Diagrams | 108 | 10.10 | 1999 |
Automated Dependability Analysis of UML Designs | 33 | 3.38 | 1999 |
Temporal analysis of data flow control systems | 0 | 0.34 | 1998 |
Hierarchical Checking of Multiprocessors Using Watchdog Processors | 7 | 0.55 | 1994 |