Wendelin SERWE

Poste actuel

Prochaines Conférences

• 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. 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