Benoît Delahaye
发表
Benoît Caillaud,
Laurence Dinh,
Eric Badouel,
2007
.
Kim G. Larsen,
Axel Legay,
Andrzej Wasowski,
2011,
LATA.
Benoît Delahaye,
Nicolas Markey,
Thomas Brihaye,
2016
.
Laure Petrucci,
Benoît Delahaye,
Tayssir Touili,
2014
.
Axel Legay,
Benoît Caillaud,
Benoît Delahaye,
2010
.
Cyrille Jégourel,
Axel Legay,
Benoît Delahaye,
2012,
International Journal on Software Tools for Technology Transfer.
Axel Legay,
Benoît Delahaye,
Marius Bozga,
2010,
International Journal on Software Tools for Technology Transfer.
Benoît Caillaud,
Benoît Delahaye,
2008,
ArXiv.
Cyrille Jégourel,
Axel Legay,
Benoît Delahaye,
2012,
ISoLA.
Axel Legay,
Benoît Delahaye,
José Luiz Fiadeiro,
2013,
FMOODS/FORTE.
Benoît Delahaye,
Didier Lime,
Eric Monfroy,
2017,
QEST.
Benoît Delahaye,
Étienne André,
Paulin Fournier,
2020,
J. Log. Algebraic Methods Program..
Kim G. Larsen,
Joost-Pieter Katoen,
Axel Legay,
2011,
VMCAI.
Kim G. Larsen,
Axel Legay,
Andrzej Wasowski,
2011,
2011 Eighth International Conference on Quantitative Evaluation of SysTems.
Eric Badouel,
Albert Benveniste,
Sophie Pinchinat,
2011
.
Benoît Delahaye,
Ran Bao,
J. Christian Attiogbé,
2019,
FORTE.
Benoît Caillaud,
Albert Benveniste,
Benoît Delahaye,
2007
.
Kim G. Larsen,
Axel Legay,
Andrzej Wasowski,
2012,
J. Log. Algebraic Methods Program..
Benoît Delahaye,
Arnaud Lanoix,
Mohamed Amine,
2017,
SAC.
Axel Legay,
Benoît Delahaye,
Marius Bozga,
2010,
RV.
Kim G. Larsen,
Joost-Pieter Katoen,
Axel Legay,
2013,
Inf. Comput..
Benoît Delahaye,
Arnaud Lanoix,
Mohamed Amine Aouadhi,
2019,
Software & Systems Modeling.
Axel Legay,
Benoît Caillaud,
Benoît Delahaye,
2011,
Formal Methods Syst. Des..
Kim G. Larsen,
Axel Legay,
Andrzej Wasowski,
2012,
Perform. Evaluation.
Kim G. Larsen,
Axel Legay,
Benoît Delahaye,
2014,
J. Log. Algebraic Methods Program..
Axel Legay,
Benoît Caillaud,
Benoît Delahaye,
2009
.
Benoît Delahaye,
Benoît Delahaye,
2010
.
Benoît Delahaye,
Didier Lime,
Étienne André,
2019,
VMCAI.
Benoît Caillaud,
Albert Benveniste,
Benoît Delahaye,
2008
.
Benoît Delahaye,
Benoît Delahaye,
2015,
SynCoP.
Kim G. Larsen,
Axel Legay,
Andrzej Wasowski,
2011,
Theor. Comput. Sci..
Laure Petrucci,
Benoît Delahaye,
Didier Lime,
2016,
VMCAI.
Kim G. Larsen,
Joost-Pieter Katoen,
Axel Legay,
2011,
2011 Eleventh International Conference on Application of Concurrency to System Design.
Axel Legay,
Benoît Delahaye,
Ulrich Fahrenberg,
2013,
CONCUR.
Benoît Delahaye,
Didier Lime,
Eric Monfroy,
2018,
Theor. Comput. Sci..
Dejan Nickovic,
Thomas A. Henzinger,
Axel Legay,
2012,
FMOODS/FORTE.
Benoît Delahaye,
Arnaud Lanoix,
Mohamed Amine Aouadhi,
2015
.
Kim G. Larsen,
Axel Legay,
Benoît Delahaye,
2012,
QEST.
Axel Legay,
Benoît Delahaye,
Saddek Bensalem,
2010,
RV.
Kim G. Larsen,
Axel Legay,
Andrzej Wasowski,
2010,
2010 Seventh International Conference on the Quantitative Evaluation of Systems.
Axel Legay,
Benoît Delahaye,
José Luiz Fiadeiro,
2014,
ICTAC.
Axel Legay,
Benoît Caillaud,
Benoît Delahaye,
2010,
2010 10th International Conference on Application of Concurrency to System Design.
Kim G. Larsen,
Axel Legay,
Benoît Delahaye,
2013,
QEST.
Benoît Delahaye,
Didier Lime,
Olivier H. Roux,
2016,
Petri Nets.
Axel Legay,
Benoît Delahaye,
José Luiz Fiadeiro,
2018,
Math. Struct. Comput. Sci..
Benoît Delahaye,
Philippe Leray,
Dimitri Antakly,
2019,
IEA/AIE.
Kim G. Larsen,
Axel Legay,
Benoît Delahaye,
2013,
J. Log. Algebraic Methods Program..
Kim G. Larsen,
Benoît Delahaye,
Giovanni Bacci,
2021,
Model Checking, Synthesis, and Learning.