Bertrand Jeannet

发表

Henrik Ejersbo Jensen, K. Larsen, H. Jensen, 2001, PAPM-PROBMIV.
Bertrand Jeannet, Florence Maraninchi, Erwan Jahier, 2003 .
K. Larsen, H. Jensen, Bertrand Jeannet, 2002 .
Tristan Le Gall, Bertrand Jeannet, H. Marchand, 2005, Proceedings of the 44th IEEE Conference on Decision and Control.
Bertrand Jeannet, Bertrand Jeannet, Fabien Gaucher, 2016 .
Bertrand Jeannet, Tristan Le Gall, Bertrand Jeannet, 2007 .
Bertrand Jeannet, T. Jéron, Bruno Legeard, 2022 .
Bruno Legeard, Arnaud Gotlieb, Bertrand Jeannet, 2006 .
Adrien Richard, Bertrand Jeannet, Rémi Douence, 2007 .
Bertrand Jeannet, Bertrand Jeannet, 2003, Formal Methods Syst. Des..
Bertrand Jeannet, Bertrand Jeannet, 2009, 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods.
Bertrand Jeannet, Thomas W. Reps, Shmuel Sagiv, 2004, TOPL.
Bertrand Jeannet, Thierry Jéron, Camille Constant, 2007, TestCom/FATES.
Bertrand Jeannet, Peter Schrammel, Bertrand Jeannet, 2012, HSCC '12.
Bertrand Jeannet, Pascal Sotin, Bertrand Jeannet, 2011, ESOP.
Bertrand Jeannet, Bertrand Jeannet, 2008 .
Bertrand Jeannet, Wendelin Serwe, Bertrand Jeannet, 2004, AMAST.
Bertrand Jeannet, Lies Lakhdar-Chaouch, Alain Girault, 2011, ATVA.
Bertrand Jeannet, Antoine Miné, Bertrand Jeannet, 2009, CAV.
Bertrand Jeannet, Thierry Jéron, Tristan Le Gall, 2006, AMAST.
Bertrand Jeannet, Pascal Sotin, Xavier Rival, 2010, NSAD@SAS.
Bertrand Jeannet, Thierry Jéron, Vlad Rusu, 2005, TACAS.
Kim G. Larsen, Bertrand Jeannet, Pedro R. D'Argenio, 2002, PAPM-PROBMIV.
Nicolas Halbwachs, Pascal Raymond, Bertrand Jeannet, 1999, SAS.
Kevin Marquet, Bertrand Jeannet, Matthieu Moy, 2011 .
Corinne Ancourt, Bertrand Jeannet, François Irigoin, 1997, Proceedings IEEE International Conference on Application-Specific Systems, Architectures and Processors.
Bertrand Jeannet, Peter Schrammel, Bertrand Jeannet, 2010, NSAD@SAS.