Frédéric Herbreteau
发表
Lorenzo Clemente,
Frédéric Herbreteau,
Amélie Stainer,
2013,
FoSSaCS.
Vijay Laxmi,
Manoj Singh Gaur,
Partha S. Roop,
2017,
2017 IEEE Trustcom/BigDataSE/ICESS.
Igor Walukiewicz,
Frédéric Herbreteau,
B. Srivathsan,
2013,
CAV.
Frédéric Herbreteau,
Bernard Boigelot,
2006,
CAV.
Igor Walukiewicz,
Frédéric Herbreteau,
B. Srivathsan,
2011,
2012 27th Annual IEEE Symposium on Logic in Computer Science.
Frédéric Herbreteau,
Thanh-Tung Tran,
2015,
FORMATS.
Igor Walukiewicz,
Frédéric Herbreteau,
B. Srivathsan,
2010,
Formal Methods in System Design.
Alain Finkel,
Frédéric Herbreteau,
Grégoire Sutre,
2002,
LATIN.
Frédéric Herbreteau,
B. Srivathsan,
B. Srivathsan,
2010,
ATVA.
Vijay Laxmi,
Manoj Singh Gaur,
Partha S. Roop,
2017,
AsiaCCS.
Frédéric Herbreteau,
Grégoire Sutre,
The Quang Tran,
2007,
TACAS.
Igor Walukiewicz,
Dileep Kini,
Frédéric Herbreteau,
2011,
FSTTCS.
Frédéric Herbreteau,
B. Srivathsan,
2011,
Log. Methods Comput. Sci..
Vijay Laxmi,
Manoj Singh Gaur,
Partha S. Roop,
2020,
Future Gener. Comput. Syst..
Sébastien Jodogne,
Frédéric Herbreteau,
Bernard Boigelot,
2003,
CAV.
Igor Walukiewicz,
Frédéric Herbreteau,
Thanh-Tung Tran,
2014,
ArXiv.
Frédéric Herbreteau,
Franck Cassez,
Olivier F. Roux,
2001,
Real-Time Systems.
Lorenzo Clemente,
Frédéric Herbreteau,
Grégoire Sutre,
2014,
CONCUR.
Frédéric Herbreteau,
Bernard Boigelot,
Isabelle Mainz,
2014,
ATVA.
Igor Walukiewicz,
Frédéric Herbreteau,
B. Srivathsan,
2010,
CAV.
Frédéric Herbreteau,
Bernard Boigelot,
2006
.
Frédéric Herbreteau,
B. Srivathsan,
2011,
CONCUR.
Igor Walukiewicz,
Frédéric Herbreteau,
Thanh-Tung Tran,
2016,
FSTTCS.
Frédéric Herbreteau,
B. Srivathsan,
I. Walukiewicz,
2011
.