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

ResearchGate GPG public key
LaBRI
LaBRI - CNRS UMR 5800
Domaine Universitaire
351, cours de la Libération
33405 Talence cedex
FRANCE
room: 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
room: 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 model-checking of infinite-state systems, in particular real-time systems. My goal is to develop new techniques and to scale existing ones to industrial-size applications. Current topics include:

This work is or has been supported by the following projects:

People I work(ed) with:

Publications

DBLP Google Scholar

International journal papers

International conference papers

Doctorate thesis (French PhD)

National workshops and conferences

Submitted/unpublished manuscripts

Tools

In the last years, we have contributed several algorithms for the verification of timed automata. We have developped a platform called TChecker to implement and test these algorithms.

Students

Postdoc/Thesis/Internship proposals

Applications are over. Visit back for new proposals.

Current students

Past students


Valid HTML 4.01! Valid CSS!