You can return to IRISA
or ENS-Cachan or
CNRS or INRIA
Title and degrees
- Since september 2002, professor in Computer Science and Telecom Faculty of the ENS Cachan.
I am currently University Professor of exceptional class and holder of a bonus for scientific excellence.
- Director of the Hubert Curien Research College, a multidisciplinary institute on the Brittany campus of
ENS Cachan (about 80 researchers). Responsible for research on this campus.
- Co-director of the INRIA project-team DISTRIBCOM (models and algorithms for monitoring telecommunications
- 1997-2003: Director of Research at CNRS, leader of the PAMPA team (models and tools for programming
parallel distributed architectures), then member of the management board of IRISA.
- 1987-1997: Researcher at CNRS, member of the ADP team (Distributed Algorithms and Protocols), then member of the
PAMPA team (Programming massively parallel architectures) at IRISA.
- 1994: French "Habilitation à diriger les recherches".
Title: Contribution to the dynamic verification of protocols
Jury: J.P. Banâtre (chair), Gv. Bochmann, JM. Pitié, J. Sifakis (rapporteurs),
F. André, M. Raynal et J.P. Verjus.
- 1986-1987: associate professor at the University of Rennes 1.
- 1980-1985: Engineer at the "Centre National d'Etudes des Télécommunications (CNET)" in Lannion,
member of the team "Evaluation and Validation de Protocols". In 1981, I spent one short yeat in the
Gv. Bochmann's group at University of Montreal as visiting scholar.
- 1984: Doctor-Engineer Thesis, University of Rennes 1.
Title : Protocols and Services - Specifications testing.
Jury : J.P. Verjus (chair), P. Azéma, M. Raynal (rapporteurs), J.P. Ansart,
Gv. Bochmann and J.M. Pitié.
- 1981: Telecommunications Engineer.
- 1978-1981: Student from the Ecole Nationale Supérieure des Télécommunications de Bretagne (Brest).
- 1976-1978: Superior and special MAthematics at the Lycee Saint Louis, Paris.
Professional Experience :
- Engineer in the telecommunications research center in Lannion, creation of a team in the new field of
- CNRS Researcher at IRISA in Rennes. Creation of a new team in the field of software engineering for distributed systems.
Member of the management board of IRISA.
- Professor at ENS Cachan.
- Director of a multidisciplinary research institute and responsible for the research of the Brittany campus of
My research works relate to the formal analysis of asynchronous parallel
systems. They lie within the general scope of using formal methods
for programming distributed systems, and relate to the stages of
specification, verification and test of distributed software on networks
of processors. The central topic of his work is the study of dynamic
methods of analysis, in which computation is carried out during the
execution of the - abstracted, simulated or real - program to be
analysed. Smoothly, I derived from verification to testing, and now
diagnosis and monitoring. The idea is to deal with more and more
complex dynamical distributed systems.
Results: I am the author or joint author of more than 150
publications, including 25 in international journals, 8 in national journals,
118 in international and national conferences (29 as invited lecturer). I
co-edited 15 books. They were carried out primarily within three
research communities: theoretical computer science, protocol engineering, and
distributed systems. I participated to the development of 3 large software tools:
the first (Veda) was available during 10 years through the Verilog company;
the second (Echidna) was largely broadcast in the academia and was
evaluated by several industrial sites; the third (TGV) was transfered to
Telelogic 7 years ago.
Back to top
- Formal description techniques : participation
to the development of standardized specification languages for
like ESTELLE, LOTOS, SDL and recently HMSC and UML.
- Simulation and model-checking : development
of an observer technique to check properties during simulation.
of new on-line algorithms for the so-called on-the-fly model-checking,
based on an exhaustive traversal of the state space of the
- Test synthesis : extension
of model-checking algorithms to generate on-the-fly test graphs for
- New semantic models : semantical
aspect of UML, development of BDL, partial
order automata, (Max,+) dioide, semantics of High-level Message
- Decidability results : testing
unboundedness of FIFO queues, temporal logic.
- Petri nets
unfoldings : symbolic and timed finite prefixes.
Back to top
- Diagnosis of alarms in network
management : development
of model-based techniques for the distributed filtering and
of alarms in telecommunication networks (SDH/WDM,IP).
- Web services : orchestrations,
Last update: November 2010