Wendelin SERWE

Current Position

Upcoming Conferences

Recent Publications (complete list)

• Jean-Baptiste Horel, Philippe Ledent, Lina Marsso, Lucie Muller, Christian Laugier, Radu Mateescu, Anshul Paigwar, Alessandro Renzaglia, and Wendelin Serwe. Verifying Collision Risk Estimation using Autonomous Driving Scenarios Derived from a Formal Model. Journal of Intelligent and Robotic Systems 107(4), April 2023.
• Lina Marsso, Radu Mateescu, and Wendelin Serwe. Automated Transition Coverage in Behavioural Conformance Testing. Proceedings of the 32nd IFIP International Conference on Testing Software and Systems (ICTSS'2020), Napoli, Italy, December 2020.
• Luca Di Stefano, Frédéric Lang, and Wendelin Serwe. Combining SLiVER with CADP to Analyze Multi-agent Systems. Proceedings of the 22nd IFIP WG 6.1 International Conference on Coordination Models and Languages (COORDINATION'2020), La Valetta, Malta, June 2020

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
• Semantics of high level concurrent programming languages

Teaching

• Compiler construction project (2nd year ENSIMAG)

Address information

	email: Wendelin.Serwe@inria.fr
	bureau D106 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