É. André
发表
Laure Petrucci,
Jaco van de Pol,
Étienne André,
2021,
TACAS.
Étienne André,
Jun Sun,
É. André,
2019,
ATVA.
É. André,
2010
.
É. André,
T. Chatain,
César Rodríguez,
2015,
2015 15th International Conference on Application of Concurrency to System Design.
Didier Lime,
Étienne André,
É. André,
2017,
2017 17th International Conference on Application of Concurrency to System Design (ACSD).
É. André,
2017
.
É. André,
Jun Sun,
Shang-Wei Lin,
2013
.
Jun Sun,
Yang Liu,
Jin Song Dong,
2013,
2013 35th International Conference on Software Engineering (ICSE).
É. André,
Masaki Waga,
I. Hasuo,
2022
.
É. André,
J. V. D. Pol,
J. Post,
2014
.
É. André,
D. Lime,
O. Roux,
2017
.
É. André,
Benoît Delahaye,
P. Fournier,
2019
.
É. André,
L. Petrucci,
W. Penczek,
2019
.
Giuseppe Lipari,
Laurent Fribourg,
Étienne André,
2013,
FTSCS.
É. André,
G. Lipari,
2014
.
É. André,
Masaki Waga,
I. Hasuo,
2022
.
Laurent Fribourg,
Étienne André,
L. Fribourg,
2009
.
É. André,
Johan Arcile,
2022,
ACM Computing Surveys.
É. André,
B. Ghosh,
2022,
FORTE.
É. André,
Johan Arcile,
2022,
ACM Comput. Surv..
Laurent Fribourg,
Étienne André,
Jawher Jerray,
2021,
ADHS.
Tian Huat Tan,
É. André,
Jun Sun,
2020,
Software and Systems Modeling.
É. André,
D. Lime,
Junbo Sun,
2022,
ACM Trans. Softw. Eng. Methodol..
É. André,
J. Dong,
C. Choppy,
2023,
ACM Computing Surveys.
Laurent Fribourg,
Jawher Jerray,
Étienne André,
2020,
ArXiv.
Jun Sun,
Yang Liu,
Jin Song Dong,
2016,
2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE).
Paolo Arcaini,
Angelo Gargantini,
Marco Radavelli,
2019,
TAP@FM.
Shyam Lal Karra,
É. André,
Swen Jacobs,
2023,
ArXiv.
Giuseppe Lipari,
Laurent Fribourg,
Étienne André,
2014,
SynCoP.
Ling Shi,
Jun Sun,
Yang Liu,
2013,
TSEM.
Laure Petrucci,
Kais Klai,
Étienne André,
2012,
Monterey Workshop.
É. André,
T. Chatain,
S. Amari,
2008
.
Laurent Fribourg,
Étienne André,
L. Fribourg,
2009,
INFINITY.
Laurent Fribourg,
Étienne André,
Jawher Jerray,
2021,
2021 American Control Conference (ACC).
Didier Lime,
Mariëlle Stoelinga,
Étienne André,
2019,
2019 19th International Conference on Application of Concurrency to System Design (ACSD).
É. André,
J. Dong,
C. Choppy,
2023,
ACM Computing Surveys.
Étienne André,
Jawher Jerray,
Sahar Mhiri,
2019,
ICTAC.
Christine Choppy,
Étienne André,
Mohamed Mahdi Benmoussa,
2016,
Formal Aspects of Computing.
É. André,
D. Lime,
L. Petrucci,
2019,
Trans. Petri Nets Other Model. Concurr..
Étienne André,
É. André,
2015,
International Journal on Software Tools for Technology Transfer.
Étienne André,
É. André,
2018
.
Étienne André,
É. André,
2013,
2013 18th International Conference on Engineering of Complex Computer Systems.
Jun Sun,
Yang Liu,
Jin Song Dong,
2013,
CAV.
Jun Sun,
Yang Liu,
Jin Song Dong,
2012,
Real-Time Systems.
Verification of an industrial asynchronous leader election algorithm using abstractions and parametric model checking
pdf
Laurent Fribourg,
Étienne André,
Romain Soulat,
2018,
VMCAI.
Amina Guermouche,
Francois Trahay,
Etienne André,
2020,
Concurr. Comput. Pract. Exp..
É. André,
Masaki Waga,
I. Hasuo,
2022,
ACM Trans. Softw. Eng. Methodol..
É. André,
Masaki Waga,
I. Hasuo,
2022,
NFM.
É. André,
Johan Arcile,
2022,
NFM.
É. André,
D. Lime,
O. Roux,
2020,
Log. Methods Comput. Sci..
Masaki Waga,
Étienne André,
É. André,
2019,
NFM.
Étienne André,
É. André,
2018,
FTSCS.
Didier Lime,
Olivier H. Roux,
Étienne André,
2016,
ICFEM.
Didier Lime,
Olivier H. Roux,
Étienne André,
2015,
RP.
É. André,
N. Markey,
2015,
FORMATS.
Étienne André,
Romain Soulat,
É. André,
2011,
RP.
Emmanuelle Encrenaz-Tiphène,
Laurent Fribourg,
Thomas Chatain,
2008,
RP.
Étienne André,
É. André,
2013,
FSFMA.
Jun Sun,
Yang Liu,
Jin Song Dong,
2013,
IFM.
É. André,
B. Ghosh,
2023,
Sci. Comput. Program..
Ichiro Hasuo,
Masaki Waga,
Étienne André,
2019,
CAV.
É. André,
B. Ghosh,
2022
.
Michal Knapik,
Wojciech Penczek,
Wojciech Jamroga,
2017,
AAMAS.
Laurent Fribourg,
Ulrich Kühne,
Étienne André,
2012,
FM.
Ichiro Hasuo,
Masaki Waga,
Étienne André,
2018,
2018 23rd International Conference on Engineering of Complex Computer Systems (ICECCS).
Laure Petrucci,
Étienne André,
Giuseppe Pellegrino,
2013,
FORMATS.
Étienne André,
Romain Soulat,
É. André,
2013
.
Camille Coti,
Étienne André,
Hoang Gia Nguyen,
2015,
ICFEM.
Laurent Fribourg,
Étienne André,
Romain Soulat,
2013,
ATVA.
É. André,
L. Petrucci,
F. Kordon,
2013,
2013 18th International Conference on Engineering of Complex Computer Systems.