Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Verified simulation for robotics. | 1 | 0.41 | 2019 |
| An algebra of temporal faults. | 1 | 0.35 | 2017 |
| A Lattice-Based Representation of Temporal Failures | 1 | 0.36 | 2015 |
| Rapid Prototyping of a Semantically Well Founded Circus Model Checker. | 4 | 0.38 | 2014 |
| A Formal Semantics for SysML Activity Diagrams. | 1 | 0.35 | 2013 |
| Model-based development of fault tolerant systems of systems | 7 | 0.48 | 2013 |
| Identifying hardware failures systematically | 2 | 0.39 | 2012 |
| Checking Z Data Refinements Using Traces Refinement | 0 | 0.34 | 2009 |