Wendelin SERWE

Neueste Veröffentlichungen

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

Forschungsinteressen

• Nebenläufige Programmiersprachen mit hohen Programmierniveau
• Programmanalyse und Programmverifikation
• Programmsemantik
• Prozeßalgebren

Forschungsgebiete

• Verifizierung asynchroner Hardware
• Statische Analysen zur Reduzierung des Zustandsraumes beim "Model Checking"
• Interprozedurale Analyse imperativer Programme
• Semantik nebenläufiger Programmiersprachen mit hohen Programmierniveau der nächsten Generation

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
	Telephon: (+33) 4 76 61 53 52
	Telefax: (+33) 4 76 61 52 52