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)

    Nächste Konferenzen

    FMICS 2024: 29th International Conference on Formal Methods for Industrial Critical Systems, Mailand, Italien, September 2024

    Neueste Veröffentlichungen

    • 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), 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: 2023/12/22 15:03:37
    Homepage