Wendelin SERWE
Poste actuel
Chargé de recherche
INRIA
Membre de l'équipe-projet
CONVECS
(
centre de recherche INRIA Grenoble Rhône-Alpes
et
LIG
)
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
dernière mise à jour : 2022/12/02 08:44:25
Homepage