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)

    • 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.
    • Abderahman Kriouile and Wendelin Serwe. Using a Formal Model to Improve Verification of a Cache-Coherent System-on-Chip. Proceedings of the 21th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015).
    • Wendelin Serwe. Formal Specification and Verification of Fully Asynchronous Implementations of the Data Encryption Standard. Proceedings of the first workshop on Models for Formal Analysis of Real Systems (MARS 2015).

    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
    • Interprocedural analysis of imperative programs
    • 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: 2017/03/13 09:13:37
    Homepage