Wendelin SERWE
Aktuelle Position
Chargé de recherche
INRIA
Mitglied des
CONVECS
teams (
INRIA Grenoble Rhône-Alpes
und
LIG
)
Neueste Veröffentlichungen
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), Antwerpen, Belgien, März 2022.
Lina Marsso,
Radu Mateescu
, and
Wendelin Serwe
.
Automated Transition Coverage in Behavioural Conformance Testing
.
International Conference on Testing Software and Systems (ICTSS'2020), Neapel, Italien, Dezember 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, Malta, Juni 2020.
Forschungsinteressen
Nebenläufige Programmiersprachen mit hohen Programmierniveau
Programmanalyse und Programmverifikation
Programmsemantik
Prozeßalgebren
Forschungsgebiete
Verifizierung asynchroner Hardware
Statische Analysen zur Reduzierung des Zustandsraumes beim "Model Checking"
Semantik nebenläufiger Programmiersprachen mit hohen Programmierniveau der nächsten Generation
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
Telephon: (+33) 4 76 61 53 52
Telefax: (+33) 4 76 61 52 52
Letzte Aktualisierung: 2022/12/02 08:44:25
Homepage