Wendelin SERWE

Recent Publications (complete list)

• Hubert Garavel, Frédéric Lang, Radu Mateescu, and Wendelin Serwe. CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes. Proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2011).
• Radu Mateescu and Wendelin Serwe. Model checking and performance evaluation with CADP illustrated on shared-memory mutual exclusion protocols. Science of Computer Programming, 2012.
• Hubert Garavel, Radu Mateescu, and Wendelin Serwe. Large-scale Distributed Verification using CADP: Beyond Clusters to Grids. Proceedings of the 11th International Workshop on Parallel and Distributed Methods in Verification (PDMC 2012).

Research Interests

• High-level concurrent programming languages
• Program semantics
• Process algebra
• Program analysis and verification, abstract interpretation

Current Research Activities

• Verification of asynchronous hardware
• Static analysis for state space reduction in model checking
• Interprocedural analysis of imperative programs
• Semantics of high level concurrent programming languages

Address information

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