Formal Methods and Verification at ULB   Computer Science Department at ULB  

Thierry Massart's Home Page



Thierry Massart 19 July 2014


Ph.D., U.L.B. (Belgium), 1991.

Professor

Département d'Informatique
Université Libre de Bruxelles
Bld du Triomphe CP 212
1050 Brussels, Belgium

Building: N.O., Office: N8.112
Phone: +32 2 650.56.03, Fax: +32 2 650.56.09
Email:
pgp key: here



>>> Stages et Mémoires pour étudiants de Master <<<

>>> The Formal Methods and Verification Group at ULB <<<


ShortCV -- Projects -- Collaborations -- Publications -- Teaching -- Sujets de mémoire et stages -- Personal stuff

Activities :
ASE'2010 25th IEEE/ACM International Conference on Automated Software Engineering, Antwerpen Belgium, 13-17 september 2010 (Tutorial Chair)
MSR'2009 7ème Colloque Francophone sur la Modélisation des Systèmes Réactifs, Nante, France, 16-18 november 2009 (PC-member)
PDCN'2009 IASTED International Conference on Parallel and Distributed Computing and Networks, Innsbruck, Austria, 16-18 february 2009 (PC-member)
PDCN'2008 IASTED International Conference on Parallel and Distributed Computing and Networks, Innsbruck, Austria, 12-14 february 2008 (PC-member)
MSR'2007 6ème Colloque Francophone sur la Modélisation des Systèmes Réactifs, Lyon, France, 17-19 october 2007 (PC-member)
PDCN'2006 IASTED International Conference on Parallel and Distributed Computing and Networks, Innsbruck, Austria, 14-16 february 2006 (PC-member)
CFIP'2005 Colloque Francophone sur l'Ingenierie des Protocoles 2005, Bordeaux, 29 mars-1 april 2005 (PC-member)
CFIP'2003 Colloque Francophone sur l'Ingenierie des Protocoles 2003, Paris, 7-10 october 2003 (PC-member)
BNAIC'2003 15th Belgian-Dutch Conference on Artificial Intelligence, Nijmegen,october 24, 2003 (PC-member)
VCL'2002 Third International Workshop on Verification and Computational Logic, Pittsburgh, PA, October 5, 2002 (PC-member)
BNAIC'2002 14th Belgian-Dutch Conference on Artificial Intelligence, Leuven,october 23, 2002 (PC-member)
SAVE'2002 FloC 2002 workshop SAVE 2002: Specification, Analysis and Validation for Emerging Technologies, Copenhagen , Denmark, July 27, 2002 (PC-member)
SAVE'2001 Specification, Analysis and Validation for Emerging Technologies in Computational Logic, Paphos, Cyprus, Nov 26 - Dec 1, 2001 (PC-member)
VCL'2000 (PC-member)



 


Short Curriculum Vitae

Thierry Massart is professor in the Group in Formal Methods and Verification in the Computer Sciences Department of the Université Libre de Bruxelles since 1991.

His research is mainly related to formal specification and verification of distributed systems. In particular:

  • The reliable design of distributed systems: see the dSL language.
  • The study and use of models and languages to formally specify and verify network protocols. Among these languages, one finds process algebras as CCS, CSP, LOTOS, and languages based on extended Labelled Transition Systems as SDL. He is also interested in the study of models to specify and formally verify real-time systems.
  • The design of efficient model-checking and testing techniques for distributed systems.
  • Correctness preserving transformations of specifications using process algebra. 
  • Model Checking of Infinite state systems through abstract interpretation and program specialisation.
For more details about his research, see the page of the group for Formal Methods and Verificiation at ULB.


Projects

  • 1993-1997: Co-promotor with R. Devillers of the project FIRST-University (n° 2618) in collaboration with Spacebel Informatics funded by the Région Wallonne. Formal specification and validation of tasks scheduling methods for real-time systems. Researchers: Christian Hernalsteen and Eric Van Nuffel from October 1996. Christian Hernalsteen receives his PhD Thesis in 1998.
  • 1994-1996: Project funded by the Ministère de l'Education Nationale du Grand-Duché du Luxembourg. Modelling and design of distributed systems by formal description techniques. Researcher: Frank Weis.
  • 1997: Project CAPITALS funded by the Région de Bruxelles Capitale.
  • 1999: 2 Projects First-Europe on Reliable Software Design. Researchers: Laurent Van Begin and Anthony Piron.
  • 2001: Project dSL funded by the Région de Bruxelles Capitale in collaboration with the company Macq Electronique. Researchers: Bram De Wachter and Anthony Piron.
  • 2003: Project dSLVerif funded by the Région de Bruxelles Capitale in collaboration with the company Macq Electronique. Researchers: Bram De Wachter, Alexandre Genon and Cédric Meuter.
  • 2007: Project MoVES funded by the Belgian Science Policy. Researcher: Emmanuel Filio, Alexander Heussner, Nayiong Jin, Gabriel Kalyon, Tristan Le Gall, Nicolas Macquet, Pierre Alain Reynier, Mahsa Shirmohammadi, Nathalie Sznajder


Collaborations

Our research group has collaborations with the following groups:



Publications (seleted pdf and bibtex here)

Teaching


Sujets de stages et de mémoires au groupe "de Modélisation et Vérification Formelles"


Last updated: August 2011.