| Automata based test generation with SpecPro | 0 | 0.34 | 2019 |
| Poster: Automatic Consistency Checking of Requirements with ReqV | 0 | 0.34 | 2019 |
| Property specification patterns at work: verification and inconsistency explanation | 1 | 0.38 | 2019 |
| Consistency of Property Specification Patterns with Boolean and Constrained Numerical Signals. | 1 | 0.38 | 2018 |
| Combining Static and Runtime Methods to Achieve Safe Standing-Up for Humanoid Robots. | 3 | 0.43 | 2016 |
