Search Results - "Jéron, Thierry"

Control strategies for off-line testing of timed systems.

Authors: Henry, Léo Jéron, Thierry Markey, Nicolas

Source: Formal Methods in System Design; Apr2022, Vol. 60 Issue 2, p147-194, 48p

Diagnosing timed automata using timed markings.

Authors: Bouyer, Patricia Henry, Léo Jaziri, Samy et al.

Source: International Journal on Software Tools for Technology Transfer; Apr2021, Vol. 23 Issue 2, p229-253, 25p

Test Synthesis from UML Models of Distributed Software.

Authors: Pickin, Simon Jard, Claude Jéron, Thierry

Source: IEEE Transactions on Software Engineering; April 2007, Vol. 33 Issue 4, p252-268, 17p

Test generation from recursive tile systems.

Authors: Chédor, Sébastien Jéron, Thierry Morvan, Christophe

Source: Software Testing: Verification & Reliability; Nov2014, Vol. 24 Issue 7, p532-557, 26p

Ensuring the conformance of reactive discrete-event systems by means of supervisory control.

Authors: Jéron *, Thierry Marchand, Hervé Rusu, Vlad et al.

Source: International Journal of Production Research. 7/15/2004, Vol. 42 Issue 14, p2809-2826. 18p.

Subjects: Automatic control systems, Automation, Industrial engineering, Production engineering