| Bounded-Memory Runtime Enforcement | 0 | 0.34 | 2022 |
| Runtime enforcement of timed properties usinggames | 0 | 0.34 | 2020 |
| Optimal enforcement of (timed) properties with uncontrollable events. | 0 | 0.34 | 2019 |
| Runtime Failure Prevention and Reaction. | 0 | 0.34 | 2018 |
| GREP: Games for the Runtime Enforcement of Properties. | 0 | 0.34 | 2017 |
| Runtime enforcement using Büchi games. | 0 | 0.34 | 2017 |
| Runtime enforcement using Büchi games | 1 | 0.35 | 2017 |
| Enforcement of (Timed) Properties with Uncontrollable Events | 8 | 0.48 | 2015 |
| Constraint-based BMC: a backjumping strategy. | 1 | 0.36 | 2014 |
| Runtime enforcement of timed properties revisited | 14 | 0.69 | 2014 |
| Remote Testing of Timed Specifications. | 2 | 0.40 | 2013 |
| Runtime Enforcement of Timed Properties. | 10 | 0.55 | 2012 |
| A pragmatic approach for testing stateless and stateful Web Service Robustness. | 0 | 0.34 | 2012 |
| Test Selection for Data-Flow Reactive Systems Based on Observations | 3 | 0.39 | 2011 |
| Automatic Web Service Testing from WSDL Descriptions. | 0 | 0.34 | 2011 |
| Robustness testing of composed real-time systems | 0 | 0.34 | 2010 |
| Automated Robustness Testing for Reactive Systems: Application to Communicating Protocols | 1 | 0.36 | 2010 |
| Robustness Testing on Composed Timed Systems | 0 | 0.34 | 2009 |
| Testabilité des services web | 0 | 0.34 | 2008 |
| A framework and a tool for robustness testing of communicating software | 11 | 0.62 | 2007 |
| A Formal Approach to Test the Robustness of Embedded Systems using Behaviour Analysis | 4 | 0.40 | 2007 |
| Integrated tool for testing timed systems | 1 | 0.36 | 2005 |
| Robustness of composed timed systems | 3 | 0.40 | 2005 |
| A Simple Testing Technique for Embedded Systems | 3 | 0.45 | 2003 |
