Wendelin SERWE

Recent Publications (complete list)

• Olivier Ponsini and Wendelin Serwe. A Schedulerless Semantics of TLM Models Written in SystemC via Translation into LOTOS. Proceedings of the 15th International Conference on Formal Methods (FM 2008), May 2008, Lecture Notes in Computer Science, ©Springer Verlag.
  
• Hubert Garavel, Frédéric Lang, Radu Mateescu, and Wendelin Serwe. CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes. Proceedings of the 19th International Conference on Computer Aided Verification (CAV 2007), July 2007, Volume 4590 of Lecture Notes in Computer Science, ©Springer Verlag.
• Gwen Salaün, Wendelin Serwe, Yvain Thonnart, and Pascal Vivet. Formal Verification of CHP Specifications with CADP: Illustration on an Asynchronous Network-on-Chip. Proceedings of the 13th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC 2007), March 2007, IEEE Computer Society Press.

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 B104 projet VASY Unité de Recherche INRIA-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