Thierry Jéron

Available identifiers

zbMath Open jeron.thierryMaRDI QIDQ487255

List of research outcomes

Publication	Date of Publication	Type
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Thierry Jéron