Wendelin SERWE

Poste actuel

Publications récentes

• Jean-Baptiste Horel, Christian Laugier, Lina Marsso, Radu Mateescu, Lucie Muller, Anshul Paigwar, Alessandro Renzaglia, and Wendelin Serwe. Using Formal Conformance Testing to Generate Scenarios for Autonomous Vehicles. Design, Automation and Test in Europe - Autonomous Systems Design (DATE/ASD'2022), Anvers, Belgique, mars 2022.
• Lina Marsso, Radu Mateescu, and Wendelin Serwe. Automated Transition Coverage in Behavioural Conformance Testing. International Conference on Testing Software and Systems (ICTSS'2020), Naples, Italie, décembre 2020.
• Luca Di Stefano, Frédéric Lang, and Wendelin Serwe. Combining SLiVER with CADP to Analyze Multi-agent Systems. International Conference on Coordination Models and Languages (COORDINATION'2020), La Valetta, Malte, juin 2020

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"
• Étude de la sémantique des langages concurrentes de haut niveau de la nouvelle génération

Enseignement

• Projet génie logiciel en 2ème année ENSIMAG

Adresse

	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
	Téléphone: (+33) 4 76 61 53 52
	Fax: (+33) 4 76 61 52 52