Frédéric Herbreteau
Maître de Conférences (Associate Professor)
TCS4F
I am an associate professor at Bordeaux INP (ENSEIRB-MATMECA), an engineering school located in Bordeaux (FRANCE) where I teach computer science. I do research at LaBRI as a member, and current head, of the team "Modelling and Technologies for the Verification (MTV)".

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@bordeaux-inp.fr

Research interests

My research activity concerns model-checking of infinite-state systems, in particular real-time systems. My goal is to develop new verification algorithms for timed automata that can scale to industrial-size applications. Current topics include:

My work is or has been supported by several projects:

Tools

TChecker: a verification tool for timed automata - and a plateform for implementation and evaluation of verification algorithms.

Publications

DBLP Google Scholar ORCID iD icon orcid.org/0000-0002-1029-2356

International journal papers

International conference papers

Doctorate thesis (French PhD)

National workshops and conferences

Submitted/unpublished manuscripts

Students

Current students

Past students

Postdoc

PhD

Master's thesis, interns