page d'accueil   sommaire  

Thierry MASSART


coordonnées


Faculté des Sciences
Thierry MASSART
tel 02 650 56 03, fax 02 650 56 09, Thierry.Massart@ulb.ac.be
Campus de la Plaine
CP212, boulevard du Triomphe, 1050 Bruxelles




unités de recherche


Méthodes formelles et vérification [Verification and formal methods] (Verif)



projets


ARTIST 2
Artist 2 est un réseau d'excellence du 6ème programme cadre de l'Union Européenne sur le développement fiable de systèmes embarqués. Nous participons plus particulièrement au cluster ''Test and Verification of Embedded Systems'' du NoE. Voir http://www.artist-embedded.org/artist/ [Artist 2 is an excellence network of the 6th framework programme of the European Union dedicated to the reliable development of embedded and embarked systems. We take part more specifically in the cluster ''Test and Verification of Embedded Systems'' of the NoE. See http://www.artist-embedded.org/artist/]

Centre Fédéré en Vérification [Federated Center in Verification]
Le Centre Fédéré en Vérification est un groupe de travail qui regroupe les équipes de recherche actives en vérification assistée par ordinateur en Communauté Wallonie-Bruxelles de Belgique. Il existe depuis 1999 et est financé par le Fonds National de la Recherche Scientifique Belge (convention FRFC n° 2.4530.02) depuis 2002. Le groupe de travail organise des séminaires et donne un cadre officiel aux collaborations de recherche entre les différentes équipes qui le composent. Voir http://www.ulb.ac.be/di/ssd/cfv/ [The CVF is a working group gathering the various teams working on computer aided verification in the Communauté Wallonie-Bruxelles in Belgium. Funded by the FNRS (FRFC 2.4530.02), the group organizes seminars and offer a common and collaborative framework for the various groups in it. See http://www.ulb.ac.be/di/ssd/cfv/]

Superviseurs corrects, efficaces et robustes [Correct, efficient and robust controllers]
La mise au point d'un environnement de conception de logiciels de superviseurs et de contrôleurs industriels distribués conduit à de nombreux problèmes intéressants, en particulier la définition d'outils de distribution automatique de code et de modules de validation de ces logiciels pour augmenter leur fiabilité. [The elaboration of a framework for the development of distributed industrial supervisors and controllers leads to interesting problems, in particular to tools for the automatic distribution of codes and validation modules to improve their robustness.]

MOVES: modélisation, vérification et évolution de logiciel [MOVES: Fundamental Issues in Modelling, Verification and Evolution of Software]
Voir http://moves.vub.ac.be/ [See http://moves.vub.ac.be/]



theses


Massart, T. ''A Basic Agent Calculus and Bisimulation Laws for the Design of Systems'', Dir. Prof. P. VAN BINST, Institut Interuniversitaire des Hautes Energies, ULB, Bruxelles

Massart, T. (1990) ''A basic agent calculus and bisimulation laws for the design of systems'', Dir. Prof. R. Devillers, Laboratoire d'Informatique, ULB, Bruxelles, 1990



prix


Prix Frerichs 1995



disciplines et mots clés déclarés


Analyse de systèmes informatiques Informatique appliquée logiciel Informatique générale Informatique mathématique

contrôle distribué distribution de code evolution logicielle logiciel robustesse synthèse de logiciel temps-réel verification assistée par ordinateur vérification de logiciels verification logicielle