Thierry Jéron
发表
Burkhart Wolff,
Thierry Jéron,
Margus Veanes,
2013,
Dagstuhl Reports.
Jean-Marc Jézéquel,
Yves Le Traon,
Thierry Jéron,
2000,
IEEE Trans. Reliab..
Thierry Jéron,
Alain Kerbrat,
Roland Groz,
1999,
SDL Forum.
Nathalie Bertrand,
Thierry Jéron,
Amélie Stainer,
2011,
TACAS.
Sophie Pinchinat,
Thierry Jéron,
Marie-Odile Cordier,
2006
.
Thierry Jéron,
Yliès Falcone,
Hervé Marchand,
2012,
RV.
Thierry Jéron,
Claude Jard,
C. Jard,
1989,
Automatic Verification Methods for Finite State Systems.
Bertrand Jeannet,
Thierry Jéron,
Camille Constant,
2007,
TestCom/FATES.
Thierry Jéron,
Hervé Marchand,
Jérémy Dubreil,
2009,
2009 European Control Conference (ECC).
Thierry Jéron,
Yves-Marie Quemener,
1995,
Electron. Notes Theor. Comput. Sci..
Thierry Jéron,
Hervé Marchand,
Jérémy Dubreil,
2007
.
Bertrand Jeannet,
Thierry Jéron,
Vlad Rusu,
2005,
TACAS.
Thierry Jéron,
Hervé Marchand,
Vlad Rusu,
2005,
FM.
Thierry Jéron,
Christophe Morvan,
Sébastien Chédor,
2014,
Softw. Test. Verification Reliab..
Thierry Jéron,
Stavros Tripakis,
Yliès Falcone,
2016,
SAC.
Thierry Jéron,
Yliès Falcone,
Hervé Marchand,
2015,
ICTAC.
Bertrand Jeannet,
Thierry Jéron,
Tristan Le Gall,
2006,
AMAST.
Thierry Jéron,
Pierre Morel,
T. Jéron,
1999,
CAV.
Thierry Jéron,
2009,
Electron. Notes Theor. Comput. Sci..
Thierry Jéron,
Yliès Falcone,
Hervé Marchand,
2011,
International Journal on Software Tools for Technology Transfer.
Duncan Clarke,
Thierry Jéron,
Vlad Rusu,
2002,
TACAS.
Thierry Jéron,
Claude Jard,
César Viho,
1999,
FORTE.
Wilkerson de L. Andrade,
Thierry Jéron,
Patrícia Duarte de Lima Machado,
2011,
2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops.
Thierry Jéron,
Stavros Tripakis,
Yliès Falcone,
2017,
J. Syst. Softw..
Thierry Jéron,
Lydie du Bousquet,
Vlad Rusu,
2000,
IFM.
Thierry Jéron,
Yliès Falcone,
Hervé Marchand,
2016,
Sci. Comput. Program..
Thierry Jéron,
Claude Jard,
1993,
Theor. Comput. Sci..
Thierry Jéron,
Hervé Marchand,
Vlad Rusu,
2010
.
Thierry Jéron,
Claude Jard,
C. Jard,
2005
.
Thierry Jéron,
C. Jard,
Thierry Jéron,
1991,
Theor. Comput. Sci..
Thierry Jéron,
2006,
DIPES.
Thierry Jéron,
Yliès Falcone,
Hervé Marchand,
2014,
SAC.
Thierry Jéron,
Martin Quinson,
The Anh Pham,
2019,
FORTE.
Thierry Jéron,
Martin Quinson,
The Anh Pham,
2017,
CORRECTNESS@SC.
Thierry Jéron,
Claude Jard,
César Viho,
1997,
Sci. Comput. Program..
Nathalie Bertrand,
Thierry Jéron,
Amélie Stainer,
2011,
FoSSaCS.
Thierry Jéron,
Yves-Marie Quemener,
T. Jéron,
1996,
FORTE.
Nathalie Bertrand,
Thierry Jéron,
Amélie Stainer,
2011,
Formal Methods Syst. Des..
Thierry Jéron,
Yliès Falcone,
Hervé Marchand,
2014,
WODES.
Bertrand Jeannet,
Thierry Jéron,
Vlad Rusu,
2006,
FMCO.
Thierry Jéron,
Ahmed Khoumsi,
Hervé Marchand,
2003
.
Nathalie Bertrand,
Thierry Jéron,
Amélie Stainer,
2012,
Log. Methods Comput. Sci..
Thierry Jéron,
Hassane Alla,
T. Jéron,
2011
.
Jean-Marc Jézéquel,
Yves Le Traon,
Simon Pickin,
2007,
IEEE Trans. Software Eng..
Thierry Jéron,
Hervé Marchand,
Vlad Rusu,
2007,
IEEE Transactions on Software Engineering.
Bertrand Jeannet,
Thierry Jéron,
Tristan Le Gall,
2003
.
Thierry Jéron,
Hervé Marchand,
Srinivas Pinisetty,
2013
.
Thierry Jéron,
Hervé Marchand,
Jérémy Dubreil,
2009,
TestCom/FATES.
Thierry Jéron,
Claude Jard,
Alain Kerbrat,
2000,
Sci. Comput. Program..
Thierry Jéron,
Hervé Marchand,
Vlad Rusu,
2006,
IFIP TCS.
Thierry Jéron,
Claude Jard,
C. Jard,
2004
.
Thierry Jéron,
Christophe Morvan,
Sébastien Chédor,
2012,
TAP@TOOLS.
Thierry Jéron,
Hervé Marchand,
Vlad Rusu,
2008
.
Thierry Jéron,
Nicolas Markey,
Léo Henry,
2018,
Formal Methods in System Design.
Thierry Jéron,
Yliès Falcone,
Hervé Marchand,
2017,
Mathematical Structures in Computer Science.
Thierry Jéron,
Claude Jard,
C. Jard,
2000,
Comput. Sci. Educ..
Thierry Jéron,
Claude Jard,
César Viho,
1996,
CAV.
Jean-Marc Jézéquel,
Yves Le Traon,
Thierry Jéron,
1999,
Proceedings 10th International Symposium on Software Reliability Engineering (Cat. No.PR00443).
Thierry Jéron,
Claude Jard,
César Viho,
1998,
FORTE.
Thierry Jéron,
Stavros Tripakis,
Yliès Falcone,
2017,
Formal Methods Syst. Des..
Thierry Jéron,
Hervé Marchand,
Eric Fabre,
2013
.
Duncan Clarke,
Thierry Jéron,
Vlad Rusu,
2001,
ESEC/FSE-9.
Duncan Clarke,
Thierry Jéron,
Vlad Rusu,
2001,
E-smart.
Jean-Marc Jézéquel,
Yves Le Traon,
Simon Pickin,
2007,
IEEE Transactions on Software Engineering.
Thierry Jéron,
2002,
Tech. Sci. Informatiques.
Thierry Jéron,
Claude Jard,
Laurent Mounier,
1992,
Formal Methods Syst. Des..
Thierry Jéron,
Claude Jard,
1994,
Graph Drawing.
Thierry Jéron,
Claude Jard,
Pierre Morel,
2000,
TestCom.
Thierry Jéron,
Ahmed Khoumsi,
Hervé Marchand,
2003,
FATES.
Thierry Jéron,
Claude Jard,
C. Jard,
1991,
CAV.
Thierry Jéron,
1991,
STACS.
Thierry Jéron,
Jean-Xavier Rampon,
Claude Jard,
1994,
14th International Conference on Distributed Computing Systems.
Thierry Jéron,
Laurent Doldi,
Jean-Claude Fernandez,
1996
.
Bertrand Jeannet,
Thierry Jéron,
Hervé Marchand,
2004,
TestCom.
Thierry Jéron,
Yliès Falcone,
Hervé Marchand,
2014,
Formal Methods Syst. Des..
Stéphane Lafortune,
Thierry Jéron,
Hervé Marchand,
2008
.
Jean-Marc Jézéquel,
Thierry Jéron,
Alain Le Guennec,
1998,
PDSE.
Thierry Jéron,
Yliès Falcone,
Hervé Marchand,
2015,
RV.
Thierry Jéron,
Patricia Bouyer,
Nicolas Markey,
2021,
Int. J. Softw. Tools Technol. Transf..
Bertrand Jeannet,
Thierry Jéron,
Tristan Le Gall,
2005
.