![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Thierry Jéron
Person information
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [c52]Saumya Shankar, Srinivas Pinisetty, Thierry Jéron:
Bounded-Memory Runtime Enforcement of Timed Properties. TIME 2023: 6:1-6:22 - 2022
- [j21]Léo Henry
, Thierry Jéron, Nicolas Markey:
Control strategies for off-line testing of timed systems. Formal Methods Syst. Des. 60(2): 147-194 (2022) - [c51]Reiya Noguchi, Ocan Sankur, Thierry Jéron, Nicolas Markey, David Mentré:
Repairing Real-Time Requirements. ATVA 2022: 371-387 - 2021
- [j20]Patricia Bouyer, Léo Henry
, Samy Jaziri, Thierry Jéron, Nicolas Markey:
Diagnosing timed automata using timed markings. Int. J. Softw. Tools Technol. Transf. 23(2): 229-253 (2021) - 2020
- [c50]Emily Clement
, Thierry Jéron
, Nicolas Markey
, David Mentré
:
Computing Maximally-Permissive Strategies in Acyclic Timed Automata. FORMATS 2020: 111-126 - [c49]Léo Henry
, Thierry Jéron
, Nicolas Markey
:
Active Learning of Timed Automata with Unobservable Resets. FORMATS 2020: 144-160 - [c48]Thierry Jéron
, Nicolas Markey
, David Mentré
, Reiya Noguchi, Ocan Sankur
:
Incremental Methods for Checking Real-Time Consistency. FORMATS 2020: 249-264 - [i5]Thierry Jéron, Nicolas Markey, David Mentré, Reiya Noguchi, Ocan Sankur
:
Incremental methods for checking real-time consistency. CoRR abs/2007.01014 (2020) - [i4]Léo Henry, Nicolas Markey, Thierry Jéron:
Active learning of timed automata with unobservable resets. CoRR abs/2007.01637 (2020) - [i3]Emily Clement, Thierry Jéron, Nicolas Markey, David Mentré:
Computing maximally-permissive strategies in acyclic timed automata. CoRR abs/2007.01815 (2020)
2010 – 2019
- 2019
- [j19]Matthieu Renard, Yliès Falcone, Antoine Rollet, Thierry Jéron
, Hervé Marchand:
Optimal enforcement of (timed) properties with uncontrollable events. Math. Struct. Comput. Sci. 29(1): 169-214 (2019) - [c47]The Anh Pham
, Thierry Jéron
, Martin Quinson
:
Unfolding-Based Dynamic Partial Order Reduction of Asynchronous Distributed Programs. FORTE 2019: 224-241 - 2018
- [c46]Léo Henry
, Thierry Jéron
, Nicolas Markey
:
Control Strategies for Off-Line Testing of Timed Systems. SPIN 2018: 171-189 - [i2]Léo Henry, Thierry Jéron, Nicolas Markey:
Control_strategies_for_off-line_testing_of_timed_systems. CoRR abs/1804.11234 (2018) - 2017
- [j18]Srinivas Pinisetty
, Viorel Preoteasa, Stavros Tripakis
, Thierry Jéron
, Yliès Falcone, Hervé Marchand:
Predictive runtime enforcement. Formal Methods Syst. Des. 51(1): 154-199 (2017) - [j17]Srinivas Pinisetty
, Thierry Jéron
, Stavros Tripakis
, Yliès Falcone, Hervé Marchand, Viorel Preoteasa:
Predictive runtime verification of timed properties. J. Syst. Softw. 132: 353-365 (2017) - [c45]The Anh Pham, Thierry Jéron
, Martin Quinson
:
Verifying MPI Applications with SimGridMC. CORRECTNESS@SC 2017: 28-33 - 2016
- [j16]Yliès Falcone, Thierry Jéron
, Hervé Marchand, Srinivas Pinisetty
:
Runtime enforcement of regular timed properties by suppressing and delaying events. Sci. Comput. Program. 123: 2-41 (2016) - [c44]Srinivas Pinisetty
, Viorel Preoteasa, Stavros Tripakis
, Thierry Jéron
, Yliès Falcone, Hervé Marchand:
Predictive runtime enforcement. SAC 2016: 1628-1633 - 2015
- [j15]Nathalie Bertrand
, Amélie Stainer, Thierry Jéron
, Moez Krichen:
A game approach to determinize timed automata. Formal Methods Syst. Des. 46(1): 42-80 (2015) - [c43]Matthieu Renard, Yliès Falcone, Antoine Rollet, Srinivas Pinisetty
, Thierry Jéron
, Hervé Marchand:
Enforcement of (Timed) Properties with Uncontrollable Events. ICTAC 2015: 542-560 - [c42]Srinivas Pinisetty
, Yliès Falcone, Thierry Jéron
, Hervé Marchand:
TiPEX: A Tool Chain for Timed Property Enforcement During eXecution. RV 2015: 306-320 - 2014
- [j14]Srinivas Pinisetty
, Yliès Falcone, Thierry Jéron
, Hervé Marchand, Antoine Rollet, Omer Nguena-Timo
:
Runtime enforcement of timed properties revisited. Formal Methods Syst. Des. 45(3): 381-422 (2014) - [j13]Sébastien Chédor, Thierry Jéron
, Christophe Morvan:
Test generation from recursive tile systems. Softw. Test. Verification Reliab. 24(7): 532-557 (2014) - [c41]Srinivas Pinisetty
, Yliès Falcone, Thierry Jéron
, Hervé Marchand:
Runtime enforcement of regular timed properties. SAC 2014: 1279-1286 - [c40]Srinivas Pinisetty
, Yliès Falcone, Thierry Jéron
, Hervé Marchand:
Runtime Enforcement of Parametric Timed Properties with Practical Applications. WODES 2014: 420-427 - 2013
- [i1]Thierry Jéron, Margus Veanes, Burkhart Wolff:
Symbolic Methods in Testing (Dagstuhl Seminar 13021). Dagstuhl Reports 3(1): 1-29 (2013) - 2012
- [j12]Nathalie Bertrand
, Thierry Jéron
, Amélie Stainer, Moez Krichen:
Off-line test selection with test purposes for non-deterministic timed automata. Log. Methods Comput. Sci. 8(4) (2012) - [j11]Yliès Falcone, Jean-Claude Fernandez, Thierry Jéron
, Hervé Marchand, Laurent Mounier:
More testable properties. Int. J. Softw. Tools Technol. Transf. 14(4): 407-437 (2012) - [c39]Srinivas Pinisetty
, Yliès Falcone, Thierry Jéron, Hervé Marchand, Antoine Rollet, Omer Landry Nguena-Timo
:
Runtime Enforcement of Timed Properties. RV 2012: 229-244 - [c38]Sébastien Chédor, Thierry Jéron
, Christophe Morvan:
Test Generation from Recursive Tiles Systems. TAP@TOOLS 2012: 99-114 - 2011
- [c37]Nathalie Bertrand
, Amélie Stainer, Thierry Jéron
, Moez Krichen:
A Game Approach to Determinize Timed Automata. FoSSaCS 2011: 245-259 - [c36]Wilkerson de L. Andrade
, Patrícia D. L. Machado, Thierry Jéron
, Hervé Marchand:
Abstracting Time and Data for Conformance Testing of Real-Time Systems. ICST Workshops 2011: 9-17 - [c35]Nathalie Bertrand
, Thierry Jéron
, Amélie Stainer, Moez Krichen:
Off-Line Test Selection with Test Purposes for Non-deterministic Timed Automata. TACAS 2011: 96-111 - 2010
- [c34]Yliès Falcone, Jean-Claude Fernandez, Thierry Jéron
, Hervé Marchand, Laurent Mounier:
More Testable Properties. ICTSS 2010: 30-46
2000 – 2009
- 2009
- [c33]Jérémy Dubreil, Thierry Jéron, Hervé Marchand:
Monitoring confidentiality by diagnosis techniques. ECC 2009: 2584-2589 - [c32]Hervé Marchand, Jérémy Dubreil, Thierry Jéron
:
Automatic Testing of Access Control for Security Properties. TestCom/FATES 2009: 113-128 - 2008
- [c31]Thierry Jéron
:
Symbolic Model-based Test Selection. SBMF 2008: 167-184 - 2007
- [j10]Simon Pickin
, Claude Jard, Thierry Jéron
, Jean-Marc Jézéquel, Yves Le Traon
:
Test Synthesis from UML Models of Distributed Software. IEEE Trans. Software Eng. 33(4): 252-269 (2007) - [j9]Camille Constant, Thierry Jéron
, Hervé Marchand, Vlad Rusu:
Integrating formal verification and conformance testing for reactive systems. IEEE Trans. Software Eng. 33(8): 558-574 (2007) - [c30]Camille Constant, Bertrand Jeannet, Thierry Jéron:
Automatic Test Generation from Interprocedural Specifications. TestCom/FATES 2007: 41-57 - 2006
- [c29]Tristan Le Gall, Bertrand Jeannet, Thierry Jéron:
Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues. AMAST 2006: 204-219 - [c28]Bertrand Jeannet, Thierry Jéron, Vlad Rusu:
Model-Based Test Selection for Infinite-State Reactive Systems. FMCO 2006: 47-69 - [c27]Thierry Jéron
:
Model-Based Test Selection for Infinite State Reactive Systems. DIPES 2006: 35-44 - [c26]Thierry Jéron
, Hervé Marchand, Vlad Rusu:
Symbolic Determinisation of Extended Automata. IFIP TCS 2006: 197-212 - 2005
- [j8]Claude Jard, Thierry Jéron
:
TGV: theory, principles and algorithms. Int. J. Softw. Tools Technol. Transf. 7(4): 297-315 (2005) - [c25]Vlad Rusu, Hervé Marchand, Thierry Jéron:
Automatic Verification and Conformance Testing for Validating Safety Properties of Reactive Systems. FM 2005: 189-204 - [c24]Bertrand Jeannet, Thierry Jéron, Vlad Rusu, Elena Zinovieva:
Symbolic Test Selection Based on Approximate Analysis. TACAS 2005: 349-364 - 2004
- [c23]Vlad Rusu, Hervé Marchand, Valéry Tschaen, Thierry Jéron, Bertrand Jeannet:
From Safety Verification to Safety Testing. TestCom 2004: 160-176 - 2003
- [c22]Ahmed Khoumsi, Thierry Jéron, Hervé Marchand:
Test Cases Generation for Nondeterministic Real-Time Systems. FATES 2003: 131-146 - 2002
- [j7]Thierry Jéron:
TGV : théorie, principes et algorithmes. Un outil de synthèse automatique de tests de conformité pour les systèmes réactifs. Tech. Sci. Informatiques 21(9): 1265-1294 (2002) - [c21]Simon Pickin, Claude Jard, Yves Le Traon, Thierry Jéron, Jean-Marc Jézéquel, Alain Le Guennec:
System Test Synthesis from UML Models of Distributed Software. FORTE 2002: 97-113 - [c20]Duncan Clarke, Thierry Jéron, Vlad Rusu, Elena Zinovieva:
STG: A Symbolic Test Generation Tool. TACAS 2002: 470-475 - 2001
- [c19]Duncan Clarke, Thierry Jéron, Vlad Rusu, Elena Zinovieva:
Automated Test and Oracle Generation for Smart-Card Applications. E-smart 2001: 58-70 - [c18]Duncan Clarke, Thierry Jéron, Vlad Rusu, Elena Zinovieva:
STG: a tool for generating symbolic test programs and oracles from operational specifications. ESEC / SIGSOFT FSE 2001: 301-302 - 2000
- [j6]Claude Jard, Thierry Jéron:
An Educational Case Study in Protocol Verification and Distributed Observation. Comput. Sci. Educ. 10(3): 203-224 (2000) - [j5]Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Claude Jard, Thierry Jéron
, Alain Kerbrat, Pierre Morel, Laurent Mounier:
Verification and test generation for the SSCOP protocol. Sci. Comput. Program. 36(1): 27-52 (2000) - [j4]Yves Le Traon, Thierry Jéron
, Jean-Marc Jézéquel, Pierre Morel:
Efficient object-oriented integration and regression testing. IEEE Trans. Reliab. 49(1): 12-25 (2000) - [c17]Vlad Rusu, Lydie du Bousquet, Thierry Jéron:
An Approach to Symbolic Test Generation. IFM 2000: 338-357 - [c16]Claude Jard, Thierry Jéron, Pierre Morel:
Verification of Test Suites. TestCom 2000: 3-18
1990 – 1999
- 1999
- [c15]Thierry Jéron, Pierre Morel:
Test Generation Derived from Model-Checking. CAV 1999: 108-121 - [c14]Claude Jard, Thierry Jéron, Lénaick Tanguy, César Viho:
Remote testin can be as powerful as local testing. FORTE 1999: 25-40 - [c13]Thierry Jéron, Jean-Marc Jézéquel, Yves Le Traon, Pierre Morel:
Efficient strategies for integration and regression testing of OO systems. ISSRE 1999: 260-269 - [c12]Alain Kerbrat, Thierry Jéron, Roland Groz:
Automated test generation from SDL specifications. SDL Forum 1999: 135-152 - 1998
- [c11]Claude Jard, Thierry Jéron, Hakim Kahlouche, César Viho:
Towards Automatic Distribution of Testers for Distributed Conformance Testing. FORTE 1998: 353-368 - [c10]Thierry Jéron, Jean-Marc Jézéquel, Alain Le Guennec:
Validation and Test Generation for Object-Oriented Distributed Software. PDSE 1998: 51-60 - 1997
- [j3]Jean-Claude Fernandez, Claude Jard, Thierry Jéron, César Viho:
An Experiment in Automatic Generation of Test Suites for Protocols with Verification Technology. Sci. Comput. Program. 29(1-2): 123-146 (1997) - 1996
- [c9]Jean-Claude Fernandez, Claude Jard, Thierry Jéron
, César Viho:
Using On-The-Fly Verification Techniques for the Generation of test Suites. CAV 1996: 348-359 - [c8]Yves-Marie Quemener, Thierry Jéron:
Finitely Representing Infinite Reachability Graphs of CFSMs with Graph Grammars. FORTE 1996: 364-379 - 1995
- [c7]Yves-Marie Quemener, Thierry Jéron
:
Model-checking of infinite Kripke structures defined by simple graph grammars. SEGRAGRA 1995: 222-229 - 1994
- [c6]Thierry Jéron
, Claude Jard:
3D Layout of Reachability Graphs of Communicating Processes. GD 1994: 25-32 - [c5]Claude Jard, Thierry Jéron, Guy-Vincent Jourdan, Jean-Xavier Rampon:
A General Approach to Trace-Checking in Distributed Computing Systems. ICDCS 1994: 396-403 - 1993
- [j2]Thierry Jéron
, Claude Jard:
Testing for Unboundedness of FIFO Channels. Theor. Comput. Sci. 113(1): 93-117 (1993) - 1992
- [j1]Jean-Claude Fernandez, Laurent Mounier, Claude Jard, Thierry Jéron
:
On-the-fly Verification of Finite Transition Systems. Formal Methods Syst. Des. 1(2/3): 251-273 (1992) - 1991
- [c4]Claude Jard, Thierry Jéron
:
Bounded-memory Algorithms for Verification On-the-fly. CAV 1991: 192-202 - [c3]Thierry Jéron
:
Testing for Unboundedness of FIFO Channels. STACS 1991: 322-333 - [c2]Thierry Jéron
:
Prototype of a Verification Tool. STACS 1991: 541-542
1980 – 1989
- 1989
- [c1]Claude Jard, Thierry Jéron
:
On-Line Model Checking for Finite Linear Temporal Logic Specifications. Automatic Verification Methods for Finite State Systems 1989: 189-196
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:44 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint