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
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
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: This work is supported by the following projects: People I work(ed) with:

Publications

DBLP page

International conference papers

International journal papers

Doctorate thesis (French PhD)

National workshops and conferences

Students

Thesis proposals

No subject available

Current students

Past students


Valid HTML 4.01! Valid CSS!