Frédéric
Herbreteau
Maître de Conférences (Associate Professor)
I am an associate professor at ENSEIRB-MATMECA (IPB), an engineering
school located in Bordeaux (FRANCE) where I
teach computer
science. I do research at LaBRI as a member of
the "Formal
Methods" team, more precisely
the "Modeling
and Verification" group.
Contact information
LaBRI
- CNRS UMR 5800
Domaine Universitaire
351, cours de la Libération
33405 Talence cedex
FRANCE
office: 263
phone: (+33) 5.40.00.33.36
fax: (+33) 5.40.00.66.69
email: fh@labri.fr
ENSEIRB-MATMECA (IPB)
1, av du Dr. Albert Schweitzer
Domaine Universitaire - BP99
33402 Talence cedex
FRANCE
office: 213
phone: (+33) 5.56.84.23.57
fax: (+33) 5.56.84.23.35
email: fh@enseirb.fr
Research interests
My research activity concerns the formal modeling and verification
of computerized systems, mainly model-checking of infinite-state
systems. My goal is to develop new techniques, particularly for
real-time systems, and to scale existing ones to industrial-size
applications. Current topics are:
Acceleration techniques for the state-space computation of
linear hybrid systems
F. Herbreteau, G. Sutre and
T.Q. Tran. Unfolding
Concurrent Well-Structured Transition Systems. Proc. of
the 13th Int. Conf. on Tools and Algorithms for the
Construction and Analysis of Systems (TACAS'07), LNCS,
Springer, Volume 4424, pages 706-720, Braga, Portugal, mar-apr
2007. pdf
B. Boigelot and
F. Herbreteau. The
Power of Hybrid Acceleration. Proc. of the 18th
Int. Conf. on Computer Aided Verification (CAV'06), LNCS,
Springer, Volume 4144, pages 438-451, Seattle USA, aug
2006. pdf
B. Boigelot, F. Herbreteau and
S. Jodogne. Hybrid
Acceleration using Real Vector Automata. Proc. of the 15th
Int. Conf. on Computer Aided Verification (CAV'03), LNCS,
Springer, Volume 2725, pages 193-205, Boulder USA, jul
2003. pdf
F. Herbreteau, F. Cassez, A. Finkel, O. Roux and G. Sutre.
Verification
of Embedded Reactive Fiffo Systems. Proc. of the 5th Latin
American Conf. in Theoretical INformatics (LATIN'02), LNCS,
Springer, Volume 2286, pages 400-414, apr
2002. pdf
F. Herbreteau. Automates à file réactifs embarqués -
Application à la vérification de systèmes
temps-réel. Doctorat de l'Université de Nantes et de l'École
Centrale de Nantes. 14 décembre 2001, Nantes, France (in
French). pdf
National workshops and conferences
F. Herbreteau. Some Properties of Reactive FIFFO
Automata. Modelling and VErification of Parallel Processes
(MOVEP summer school), june 2000, Nantes,
France. pdf