Hervé Marchand

发表

Paul Le Guernic, Hervé Marchand, Eric Rutten, 1995 .
Éric Rutten, Hervé Marchand, 2002, Proceedings 14th Euromicro Conference on Real-Time Systems. Euromicro RTS 2002.
Sophie Pinchinat, Thierry Jéron, Marie-Odile Cordier, 2006 .
Hervé Marchand, Nicolas Berthier, 2015, 2015 54th IEEE Conference on Decision and Control (CDC).
Yliès Falcone, Hervé Marchand, 2013, 52nd IEEE Conference on Decision and Control.
Loïc Hélouët, Hervé Marchand, Eric Fabre, 2014 .
Thierry Jéron, Hervé Marchand, Jérémy Dubreil, 2009, 2009 European Control Conference (ECC).
Philippe Darondeau, S. Laurie Ricker, Hervé Marchand, 2015, Discret. Event Dyn. Syst..
Laurie Ricker, Hervé Marchand, Loïc Hélouët, 2020 .
Éric Rutten, Hervé Marchand, Gwenaël Delaval, 2013, Discret. Event Dyn. Syst..
Stéphane Lafortune, Hervé Marchand, Olivier Boivineau, 2002, Autom..
Thierry Jéron, Hervé Marchand, Jérémy Dubreil, 2007 .
Paul Le Guernic, Hervé Marchand, Patricia Bournai, 1998, SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.98CH36218).
Éric Rutten, Alain Girault, Hervé Marchand, 2010, WODES.
Éric Rutten, Éric Marchand, François Chaumette, 1998, Int. J. Robotics Res..
Thierry Jéron, Stavros Tripakis, Yliès Falcone, 2016, SAC.
Loïc Hélouët, Hervé Marchand, Eric Fabre, 2016, 2016 13th International Workshop on Discrete Event Systems (WODES).
Thierry Jéron, Yliès Falcone, Hervé Marchand, 2015, ICTAC.
Thierry Massart, Tristan Le Gall, Hervé Marchand, 2009, 2009 European Control Conference (ECC).
Loïc Hélouët, Hervé Marchand, Blaise Genest, 2014, Discret. Event Dyn. Syst..
Hervé Marchand, Nicolas Berthier, 2014, WODES.
Hervé Marchand, Benoit Gaudin, 2004 .
Hervé Marchand, Mazen Samaan, Eric Rutten, 1995, Proceedings of International Conference on Control Applications.
Thierry Jéron, Yliès Falcone, Hervé Marchand, 2011, International Journal on Software Tools for Technology Transfer.
Thierry Massart, Tristan Le Gall, Hervé Marchand, 2014, IEEE Transactions on Automatic Control.
Hervé Marchand, Franck Cassez, Jérémy Dubreil, 2012, Formal Methods Syst. Des..
Paul Le Guernic, Hervé Marchand, Tochéou Amagbegnon, 1995 .
S. Laurie Ricker, Hervé Marchand, 2013, 2013 American Control Conference.
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.
Hervé Marchand, Nathalie Bertrand, 2011 .
Éric Rutten, Michel Le Borgne, Hervé Marchand, 2001, Sci. Comput. Program..
Paul Le Guernic, Thierry Gautier, Jean-Pierre Talpin, 2011, Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011).
Thierry Jéron, Stavros Tripakis, Yliès Falcone, 2017, J. Syst. Softw..
Thierry Jéron, Yliès Falcone, Hervé Marchand, 2016, Sci. Comput. Program..
S. Laurie Ricker, Hervé Marchand, H. Marchand, 2016, 2016 IEEE 55th Conference on Decision and Control (CDC).
Thierry Jéron, Yliès Falcone, Hervé Marchand, 2014, SAC.
Bertrand Jeannet, Tristan Le Gall, Hervé Marchand, 2006, Tech. Sci. Informatiques.
Paul Le Guernic, Michel Le Borgne, Hervé Marchand, 2000, Discret. Event Dyn. Syst..
Sophie Pinchinat, Hervé Marchand, Christophe Morvan, 2015, Discret. Event Dyn. Syst..
Éric Rutten, Hervé Marchand, 2009, J. Embed. Comput..
Hervé Marchand, Benoit Gaudin, H. Marchand, 2003 .
Stéphane Lafortune, Hervé Marchand, Rômulo Meira-Góes, 2019, 2019 IEEE 58th Conference on Decision and Control (CDC).
Thierry Jéron, Yliès Falcone, Hervé Marchand, 2014, WODES.
Philippe Darondeau, Hervé Marchand, Jérémy Dubreil, 2010, WODES.
Thierry Jéron, Ahmed Khoumsi, Hervé Marchand, 2003 .
Hervé Marchand, Omer Nguena Timo, Antoine Rollet, 2010, ICTSS 2010.
Loïc Hélouët, Hervé Marchand, H. Marchand, 2017, QEST.
Mathieu Rivoalen, Hervé Marchand, 2013 .
Thierry Jéron, Hervé Marchand, Vlad Rusu, 2007, IEEE Transactions on Software Engineering.
Thierry Jéron, Hervé Marchand, Srinivas Pinisetty, 2013 .
Thierry Jéron, Hervé Marchand, Jérémy Dubreil, 2009, TestCom/FATES.
Loïc Hélouët, Hervé Marchand, Eric Fabre, 2014 .
Thierry Jéron, Hervé Marchand, Vlad Rusu, 2006, IFIP TCS.
Stéphane Lafortune, Hervé Marchand, Olivier Boivineau, 1998, SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.98CH36218).
Thierry Jéron, Hervé Marchand, Vlad Rusu, 2008 .
Hervé Marchand, Vlad Rusu, Thierry Jéron, 2004 .
Fernando Paganini, Miroslav Krstic, Magnus Egerstedt, 2006 .
Thierry Jéron, Yliès Falcone, Hervé Marchand, 2017, Mathematical Structures in Computer Science.
Yliès Falcone, Hervé Marchand, H. Marchand, 2014, Discrete Event Dynamic Systems.
Nathalie Bertrand, Loïc Hélouët, Amélie Stainer, 2013 .
Philippe Darondeau, Hervé Marchand, Jérémy Dubreil, 2010, IEEE Transactions on Automatic Control.
Tristan Le Gall, Hervé Marchand, Gabriel Kalyon, 2009 .
Stéphane Lafortune, Hervé Marchand, Olivier Boivineau, 1998, SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.98CH36218).
Loïc Hélouët, Laurie Ricker, Hervé Marchand, 2018 .
Mathieu Rivoalen, Hervé Marchand, Philippe Duvivier, 2013 .
Jan Komenda, Hervé Marchand, Jan H. van Schuppen, 2008, Autom..
Éric Rutten, Abdoulaye Gamatié, Jean-Philippe Diguet, 2015, ICDCIT.
Albert Benveniste, Stavros Tripakis, Paul Caspi, 2002, EMSOFT.
Thierry Massart, Tristan Le Gall, Hervé Marchand, 2011, FMOODS/FORTE.
Hervé Marchand, Benoit Gaudin, 2004, Eur. J. Control.
Thierry Jéron, Stavros Tripakis, Yliès Falcone, 2017, Formal Methods Syst. Des..
Hervé Marchand, Franck Cassez, Jérémy Dubreil, 2009, ATVA.
Thierry Jéron, Hervé Marchand, Eric Fabre, 2013 .
Hervé Marchand, Nicolas Berthier, 2013 .
Thierry Massart, Tristan Le Gall, Hervé Marchand, 2011, Discret. Event Dyn. Syst..
Sophie Pinchinat, Hervé Marchand, Christophe Morvan, 2012, WODES.
Hervé Marchand, P. Le Guernic, Patricia Bournai, 2000 .
Éric Rutten, Hervé Marchand, Gwenaël Delaval, 2010, LCTES '10.
Hervé Marchand, Mazen Samaan, 1999, World Congress on Formal Methods.
Hervé Marchand, Mazen Samaan, Eric Rutten, 1995 .
Thierry Jéron, Ahmed Khoumsi, Hervé Marchand, 2003, FATES.
Loïc Hélouët, Hervé Marchand, Eric Fabre, 2016, WODES.
Thierry Massart, Tristan Le Gall, Hervé Marchand, 2012, Discret. Event Dyn. Syst..
Loïc Hélouët, Hervé Marchand, John Mullins, 2018, 2018 18th International Conference on Application of Concurrency to System Design (ACSD).
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 .
Éric Rutten, Frederico Alvares, Hervé Marchand, 2017, 2017 IEEE Conference on Control Technology and Applications (CCTA).
Éric Rutten, Noel De Palma, Soguy Mak Karé Gueye, 2013, 2013 European Control Conference (ECC).
Thierry Jéron, Yliès Falcone, Hervé Marchand, 2015, RV.
Thierry Massart, Tristan Le Gall, Hervé Marchand, 2011, IEEE Conference on Decision and Control and European Control Conference.
Hervé Marchand, Ocan Sankur, Dinh Thai Bui, 2021, 2021 17th International Conference on the Design of Reliable Communication Networks (DRCN).
Hervé Marchand, Benoit Gaudin, 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..