H. Marchand
发表
H. Marchand,
M. Samaan,
2000,
IEEE Trans. Software Eng..
Sophie Pinchinat,
Hervé Marchand,
Christophe Morvan,
2012,
WODES.
H. Marchand,
S. Pinchinat,
T. Jéron,
2006,
2006 8th International Workshop on Discrete Event Systems.
L. Besnard,
H. Marchand,
É. Rutten,
2006,
2006 8th International Workshop on Discrete Event Systems.
J. H. Schuppen,
H. Marchand,
J. Komenda,
2005,
Proceedings of the 44th IEEE Conference on Decision and Control.
H. Marchand,
B. Gaudin,
2004
.
Loïc Hélouët,
Hervé Marchand,
Blaise Genest,
2014,
Discret. Event Dyn. Syst..
Fernando Paganini,
Miroslav Krstic,
Magnus Egerstedt,
2006
.
H. Marchand,
Loïc Hélouët,
L. Ricker,
2017
.
Tristan Le Gall,
Bertrand Jeannet,
H. Marchand,
2005,
Proceedings of the 44th IEEE Conference on Decision and Control.
M. L. Borgne,
H. Marchand,
1999
.
H. Marchand,
T. Jéron,
Vlad Rusu,
2006
.
The SIGNAL declarative synchronous language : controller synthesis & systems / architecture design 1
A. Benveniste,
P. Guernic,
M. L. Borgne,
2001
.
H. Marchand,
2003
.
Bertrand Jeannet,
Thierry Jéron,
Tristan Le Gall,
2003
.
Hervé Marchand,
Benoit Gaudin,
H. Marchand,
2003
.
Nathalie Bertrand,
Loïc Hélouët,
Amélie Stainer,
2013
.
Thierry Jéron,
Hervé Marchand,
Vlad Rusu,
2010
.
Thierry Jéron,
Hervé Marchand,
Eric Fabre,
2013
.
Thierry Jéron,
Hervé Marchand,
Vlad Rusu,
2008
.
H. Marchand,
S. Ricker,
T. Lidbetter,
2017
.
H. Marchand,
T. Massart,
G. Kalyon,
2011,
Discrete Event Dynamic Systems.
S. Tripakis,
H. Marchand,
T. Jéron,
2017,
Formal Methods in System Design.
F. Cassez,
H. Marchand,
J. Dubreil,
2012,
Formal Methods in System Design.
H. Marchand,
Yliès Falcone,
2014,
Discrete Event Dynamic Systems.
H. Marchand,
T. Massart,
G. Kalyon,
2009,
2009 IEEE International Conference on Control and Automation.
É. Fabre,
H. Marchand,
Loïc Hélouët,
2017,
Discrete Event Dynamic Systems.
Thierry Massart,
Tristan Le Gall,
Hervé Marchand,
2014,
IEEE Transactions on Automatic Control.
Thierry Massart,
Tristan Le Gall,
Hervé Marchand,
2011,
IEEE Conference on Decision and Control and European Control Conference.
Thierry Massart,
Tristan Le Gall,
Hervé Marchand,
2011,
FMOODS/FORTE.
Philippe Darondeau,
S. Laurie Ricker,
Hervé Marchand,
2015,
Discret. Event Dyn. Syst..
H. Marchand,
P. Darondeau,
Laurie Ricker,
2014,
Discrete Event Dynamic Systems.
Philippe Darondeau,
Hervé Marchand,
Jérémy Dubreil,
2010,
WODES.
H. Marchand,
S. Pinchinat,
H. Marchand,
2000
.
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,
Yliès Falcone,
Hervé Marchand,
2012,
RV.
Thierry Jéron,
Stavros Tripakis,
Yliès Falcone,
2017,
J. Syst. Softw..
Hervé Marchand,
Alain Girault,
Emil Dumitrescu,
2007
.
Thierry Massart,
Tristan Le Gall,
Hervé Marchand,
2011,
Discret. Event Dyn. Syst..
S. Laurie Ricker,
Hervé Marchand,
H. Marchand,
2016,
2016 IEEE 55th Conference on Decision and Control (CDC).
Albert Benveniste,
Stavros Tripakis,
Paul Caspi,
2002,
EMSOFT.
Hervé Marchand,
Franck Cassez,
Jérémy Dubreil,
2012,
Formal Methods Syst. Des..
Loïc Hélouët,
Hervé Marchand,
H. Marchand,
2017,
QEST.
H. Marchand,
S. Lafortune,
Rômulo Meira-Góes,
2023,
Autom..
Stéphane Lafortune,
Hervé Marchand,
Rômulo Meira-Góes,
2019,
2019 IEEE 58th Conference on Decision and Control (CDC).
Yliès Falcone,
Hervé Marchand,
H. Marchand,
2014,
Discrete Event Dynamic Systems.
P. Darondeau,
H. Marchand,
H. Marchand,
2008,
2008 9th International Workshop on Discrete Event Systems.
Romulo Meira-G'oes,
St'ephane Lafortune,
Herv'e Marchand,
2020,
IEEE Transactions on Automatic Control.
Hervé Marchand,
Franck Cassez,
Jérémy Dubreil,
2009,
ATVA.
Loïc Hélouët,
Laurie Ricker,
Hervé Marchand,
2018
.
H. Marchand,
O. Sankur,
Abdul Majith,
2021
.
Loïc Hélouët,
Hervé Marchand,
John Mullins,
2018,
2018 18th International Conference on Application of Concurrency to System Design (ACSD).
Éric Rutten,
Michel Le Borgne,
Hervé Marchand,
2001,
Sci. Comput. Program..
Hervé Marchand,
P. Le Guernic,
Patricia Bournai,
2000
.
Paul Le Guernic,
Michel Le Borgne,
Hervé Marchand,
2000,
Discret. Event Dyn. Syst..
H. Marchand,
É. Rutten,
G. Delaval,
2013,
Discrete Event Dynamic Systems.
Philippe Darondeau,
Hervé Marchand,
Jérémy Dubreil,
2010,
IEEE Transactions on Automatic Control.
Laurie Ricker,
Hervé Marchand,
Loïc Hélouët,
2020
.
H. Marchand,
B. Genest,
L. Hélouët,
2013,
Discrete Event Dynamic Systems.
P. Guernic,
H. Marchand,
É. Rutten,
1995,
Formal Development of Reactive Systems.
Thierry Jéron,
Yliès Falcone,
Hervé Marchand,
2017,
Mathematical Structures in Computer Science.