Srinivas Pinisetty, yliès Falcone, Thierry Jéron, Hervé Marchand. TiPEX: A Tool Chain for Timed Property Enforcement During eXecution.
RV'2015, 6th International Conference on Runtime Verification, Sep 2015, Vienne, Austria. pp.306-320,
⟨10.1007/978-3-319-23820-3_22⟩.
⟨hal-01244446⟩