Thierry Jéron

Available identifiers

zbMath Open jeron.thierryMaRDI QIDQ487255

List of research outcomes

Publication	Date of Publication	Type
Bounded-memory algorithms for verification on-the-fly	2024-04-29	Paper
Unfolding-based dynamic partial order reduction of asynchronous distributed programs	2024-02-06	Paper
Repairing real-time requirements	2023-06-02	Paper
Control strategies for off-line testing of timed systems	2023-05-08	Paper
Control Strategies for Off-Line Testing of Timed Systems	2023-03-21	Paper
Computing maximally-permissive strategies in acyclic timed automata	2021-03-02	Paper
Active learning of timed automata with unobservable resets	2021-03-02	Paper
Incremental methods for checking real-time consistency	2021-03-02	Paper
Optimal enforcement of (timed) properties with uncontrollable events	2018-12-04	Paper
Predictive runtime enforcement	2017-09-08	Paper
Enforcement of (Timed) Properties with Uncontrollable Events	2016-02-25	Paper
A game approach to determinize timed automata	2015-03-24	Paper
Symbolic Model-based Test Selection	2015-03-19	Paper
Runtime enforcement of timed properties revisited	2015-01-19	Paper
Off-line test selection with test purposes for non-deterministic timed automata	2012-10-22	Paper
Test generation from recursive tiles systems	2012-07-20	Paper
A game approach to determinize timed automata	2011-05-19	Paper
Off-line test selection with test purposes for non-deterministic timed automata	2011-05-19	Paper
Formal Approaches to Software Testing	2009-06-04	Paper
Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues	2009-04-28	Paper
Model-Based Test Selection for Infinite-State Reactive Systems	2008-09-17	Paper
FM 2005: Formal Methods	2006-01-10	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2005-11-10	Paper
Ensuring the conformance of reactive discrete-event systems by means of supervisory control	2005-04-26	Paper
https://portal.mardi4nfdi.de/entity/Q4817537	2004-09-24	Paper
https://portal.mardi4nfdi.de/entity/Q4472265	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4471927	2004-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4422071	2003-09-03	Paper
https://portal.mardi4nfdi.de/entity/Q4785544	2003-01-05	Paper
https://portal.mardi4nfdi.de/entity/Q4942008	2000-03-19	Paper
https://portal.mardi4nfdi.de/entity/Q4222813	1998-12-13	Paper
Testing for unboundedness of fifo channels	1993-10-17	Paper
https://portal.mardi4nfdi.de/entity/Q4035681	1993-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q4035702	1993-05-18	Paper

Research outcomes over time

This page was built for person: Thierry Jéron