Search the dblp DataBase
Thierry Jéron :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Tristan Le Gall , Bertrand Jeannet , Thierry Jéron Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues. [Citation Graph (0, 0)][DBLP ] AMAST, 2006, pp:204-219 [Conf ] Claude Jard , Thierry Jéron On-Line Model Checking for Finite Linear Temporal Logic Specifications. [Citation Graph (0, 0)][DBLP ] Automatic Verification Methods for Finite State Systems, 1989, pp:189-196 [Conf ] Jean-Claude Fernandez , Claude Jard , Thierry Jéron , César Viho Using On-The-Fly Verification Techniques for the Generation of test Suites. [Citation Graph (0, 0)][DBLP ] CAV, 1996, pp:348-359 [Conf ] Claude Jard , Thierry Jéron Bounded-memory Algorithms for Verification On-the-fly. [Citation Graph (0, 0)][DBLP ] CAV, 1991, pp:192-202 [Conf ] Thierry Jéron , Pierre Morel Test Generation Derived from Model-Checking. [Citation Graph (0, 0)][DBLP ] CAV, 1999, pp:108-121 [Conf ] Duncan Clarke , Thierry Jéron , Vlad Rusu , Elena Zinovieva Automated Test and Oracle Generation for Smart-Card Applications. [Citation Graph (0, 0)][DBLP ] E-smart, 2001, pp:58-70 [Conf ] Ahmed Khoumsi , Thierry Jéron , Hervé Marchand Test Cases Generation for Nondeterministic Real-Time Systems. [Citation Graph (0, 0)][DBLP ] FATES, 2003, pp:131-146 [Conf ] Vlad Rusu , Hervé Marchand , Thierry Jéron Automatic Verification and Conformance Testing for Validating Safety Properties of Reactive Systems. [Citation Graph (0, 0)][DBLP ] FM, 2005, pp:189-204 [Conf ] Claude Jard , Thierry Jéron , Hakim Kahlouche , César Viho Towards Automatic Distribution of Testers for Distributed Conformance Testing. [Citation Graph (0, 0)][DBLP ] FORTE, 1998, pp:353-368 [Conf ] Claude Jard , Thierry Jéron , Lénaick Tanguy , César Viho Remote testin can be as powerful as local testing. [Citation Graph (0, 0)][DBLP ] FORTE, 1999, pp:25-40 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] FORTE, 2002, pp:97-113 [Conf ] Yves-Marie Quemener , Thierry Jéron Finitely Representing Infinite Reachability Graphs of CFSMs with Graph Grammars. [Citation Graph (0, 0)][DBLP ] FORTE, 1996, pp:364-379 [Conf ] Thierry Jéron , Claude Jard 3D Layout of Reachability Graphs of Communicating Processes. [Citation Graph (0, 0)][DBLP ] Graph Drawing, 1994, pp:25-32 [Conf ] Claude Jard , Thierry Jéron , Guy-Vincent Jourdan , Jean-Xavier Rampon A General Approach to Trace-Checking in Distributed Computing Systems. [Citation Graph (0, 0)][DBLP ] ICDCS, 1994, pp:396-403 [Conf ] Vlad Rusu , Lydie du Bousquet , Thierry Jéron An Approach to Symbolic Test Generation. [Citation Graph (0, 0)][DBLP ] IFM, 2000, pp:338-357 [Conf ] Thierry Jéron , Jean-Marc Jézéquel , Alain Le Guennec Validation and Test Generation for Object-Oriented Distributed Software. [Citation Graph (0, 0)][DBLP ] PDSE, 1998, pp:51-60 [Conf ] Claude Jard , Thierry Jéron , Pierre Morel Verification of Test Suites. [Citation Graph (0, 0)][DBLP ] TestCom, 2000, pp:3-18 [Conf ] Vlad Rusu , Hervé Marchand , Valéry Tschaen , Thierry Jéron , Bertrand Jeannet From Safety Verification to Safety Testing. [Citation Graph (0, 0)][DBLP ] TestCom, 2004, pp:160-176 [Conf ] Alain Kerbrat , Thierry Jéron , Roland Groz Automated test generation from SDL specifications. [Citation Graph (0, 0)][DBLP ] SDL Forum, 1999, pp:135-152 [Conf ] Duncan Clarke , Thierry Jéron , Vlad Rusu , Elena Zinovieva STG: a tool for generating symbolic test programs and oracles from operational specifications. [Citation Graph (0, 0)][DBLP ] ESEC / SIGSOFT FSE, 2001, pp:301-302 [Conf ] Thierry Jéron Testing for Unboundedness of FIFO Channels. [Citation Graph (0, 0)][DBLP ] STACS, 1991, pp:322-333 [Conf ] Thierry Jéron Prototype of a Verification Tool. [Citation Graph (0, 0)][DBLP ] STACS, 1991, pp:541-542 [Conf ] Duncan Clarke , Thierry Jéron , Vlad Rusu , Elena Zinovieva STG: A Symbolic Test Generation Tool. [Citation Graph (0, 0)][DBLP ] TACAS, 2002, pp:470-475 [Conf ] Bertrand Jeannet , Thierry Jéron , Vlad Rusu , Elena Zinovieva Symbolic Test Selection Based on Approximate Analysis. [Citation Graph (0, 0)][DBLP ] TACAS, 2005, pp:349-364 [Conf ] Yves-Marie Quemener , Thierry Jéron Model-checking of infinite Kripke structures defined by simple graph grammars. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1995, v:2, n:, pp:- [Journal ] Jean-Claude Fernandez , Laurent Mounier , Claude Jard , Thierry Jéron On-the-fly Verification of Finite Transition Systems. [Citation Graph (0, 0)][DBLP ] Formal Methods in System Design, 1992, v:1, n:2/3, pp:251-273 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 2000, v:36, n:1, pp:27-52 [Journal ] Jean-Claude Fernandez , Claude Jard , Thierry Jéron , César Viho An Experiment in Automatic Generation of Test Suites for Protocols with Verification Technology. [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 1997, v:29, n:1-2, pp:123-146 [Journal ] Claude Jard , Thierry Jéron TGV: theory, principles and algorithms. [Citation Graph (0, 0)][DBLP ] STTT, 2005, v:7, n:4, pp:297-315 [Journal ] Thierry Jéron , Claude Jard Testing for Unboundedness of FIFO Channels. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1993, v:113, n:1, pp:93-117 [Journal ] Simon Pickin , Claude Jard , Thierry Jéron , Jean-Marc Jézéquel , Yves Le Traon Test Synthesis from UML Models of Distributed Software. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 2007, v:33, n:4, pp:252-269 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] Technique et Science Informatiques, 2002, v:21, n:9, pp:1265-1294 [Journal ] Thierry Jéron Model-Based Test Selection for Infinite State Reactive Systems. [Citation Graph (0, 0)][DBLP ] DIPES, 2006, pp:35-44 [Conf ] Camille Constant , Bertrand Jeannet , Thierry Jéron Automatic Test Generation from Interprocedural Specifications. [Citation Graph (0, 0)][DBLP ] TestCom/FATES, 2007, pp:41-57 [Conf ] Camille Constant , Thierry Jéron , Hervé Marchand , Vlad Rusu Integrating formal verification and conformance testing for reactive systems. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 2007, v:33, n:8, pp:558-574 [Journal ] Model-Based Test Selection for Infinite-State Reactive Systems. [Citation Graph (, )][DBLP ] Symbolic Determinisation of Extended Automata. [Citation Graph (, )][DBLP ] Automatic Testing of Access Control for Security Properties. [Citation Graph (, )][DBLP ] Symbolic Model-based Test Selection. [Citation Graph (, )][DBLP ] Search in 0.004secs, Finished in 0.310secs