Wendelin SERWE

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

    Current Position

    Chargé de recherche INRIA
    Member of the CONVECS research team (INRIA Grenoble Rhône-Alpes and LIG)

    Recent Publications (complete list)

    • Aymane Bouzafour, Marc Renaudin, Hubert Garavel, Radu Mateescu, and Wendelin Serwe. Model-checking Synthesizable SystemVerilog Descriptions of Asynchronous Circuits. Proceedings of the 24th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC 2018).
    • Lina Marsso, Radu Mateescu, and Wendelin Serwe. TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation. Proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2018).
    • Hubert Garavel, Frédéric Lang, Radu Mateescu, and Wendelin Serwe. CADP 2011: A Toolbox for the Construction and Analysis of Distributed Processes. International Journal on Software Tools for Technology Transfer (STTT), 15(2):89-107, April 2013.

    Research Interests

    • High-level concurrent programming languages
    • Program semantics
    • Process algebra
    • Program analysis and verification, abstract interpretation

    Current Research Activities

    • Verification of asynchronous hardware
    • Static analysis for state space reduction in model checking
    • Semantics of high level concurrent programming languages

    Teaching

    Inscriptions for the Master of Science in Informatics, speciality HECS (High-confidence Embedded et Cyberphysical Systems), are open.

    Address information

    email email: Wendelin.Serwe@inria.fr
    mail bureau D106
    projet CONVECS
    Centre de Recherche Inria-Grenoble Rhône-Alpes
    ZIRST, 655, avenue de l'Europe
    38334 St-Ismier Cedex, France
    phone Phone: (+33) 4 76 61 53 52
    fax Fax: (+33) 4 76 61 52 52
    Last update: 2019/03/18 12:47:00
    Homepage