Wendelin SERWE
Poste actuel
Chargé de recherche
INRIA
Membre de l'équipe-projet
CONVECS
(
centre de recherche INRIA Grenoble Rhône-Alpes
et
LIG
)
Prochaines Conférences
FMICS 2024
: 29th International Conference on Formal Methods for Industrial Critical Systems, Milan, Italie, septembre 2024
Publications récentes
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
dernière mise à jour : 2023/12/22 15:05:34
Homepage