Wendelin SERWE

    [english version] [version française] [Deutsche Version]

    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 email: Wendelin.Serwe@inria.fr
    Postadresse bureau D106
    projet CONVECS
    Centre de Recherche Inria-Grenoble Rhône-Alpes
    ZIRST, 655, avenue de l'Europe
    38334 St-Ismier Cedex, France
    phone Telephon: (+33) 4 76 61 53 52
    fax Telefax: (+33) 4 76 61 52 52
    Letzte Aktualisierung: 2022/12/02 08:44:25
    Homepage