Bernard BERTHOMIEU

About

CNRS Researcher (retired)
Laboratoire d'Analyse et d'Architecture des Systèmes
Centre National de la Recherche Scientifique
team VerTICS

Contact

E-mail: Bernard.Berthomieu@laas.fr
url: https://www.laas.fr/~bernard

LAAS-CNRS
7, av. du colonel Roche
BP 54200
Toulouse cedex 4
France

Research interests:

Analysis techniques for Petri Nets, Time Petri Nets, and related formalisms for concurrent systems.
Developper of the TINA toolbox and the Fiacre language and compiler.

Semantics and implementation of concurrent programming languages.
Developper of the programming language LCS and its compiler, a higher order variant of Robin Milner's Calculus of Communicating Systems embedded into Standard ML.

Publications:

On DBLP
On Google Scholar
On ResearchGate
On HAL collection LAAS
On Semantic Scholar

Pointers:

TINA resources (1981--1986, 2000--current)

Papers and Reports

FIACRE resources (2007--current)

Papers and Reports

LCS resources (1985--2000)

Papers and Reports

OO Programming styles in ML (2000)

---

VerTICS

---

Last updated: Tue Jun 15 18:54:02 CEST 2024