Wendelin SERWE

Publications récentes

• Hubert Garavel, Frédéric Lang, Radu Mateescu et Wendelin Serwe. CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes.
• Etienne Lantreibecq et Wendelin Serwe. Model Checking and Co-simulation of a Dynamic Task Dispatcher Circuit using CADP.

Intérêts de recherche

• Langages de programmation concurrente de haut niveau
• Sémantique de programmes
• Algèbres de processus
• Analyse et vérification de programmes, interprétation abstraite

Activités de recherche en cours

• Vérification de circuits et architectures asynchrones
• Analyses statiques pour la réduction de l'espace d'états lors du "model checking"
• Analyse interprocédurale de programmes impératifs
• Étude de la sémantique des langages concurrentes de haut niveau de la nouvelle génération

Adresse

	email: Wendelin.Serwe@inria.fr
	bureau B104 projet CONVECS Centre de Recherche Inria-Grenoble Rhône-Alpes ZIRST, 655, avenue de l'Europe 38334 St-Ismier Cedex, France
	Téléphone: (+33) 4 76 61 53 52
	Fax: (+33) 4 76 61 52 52