Wendelin SERWE

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

    Recent Publications (complete list)

    • Hubert Garavel, Frédéric Lang, Radu Mateescu, and Wendelin Serwe. CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes. Proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2011).
    • Etienne Lantreibecq and Wendelin Serwe. Model Checking and Co-simulation of a Dynamic Task Dispatcher Circuit using CADP. Proceedings of the 16th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2011).

    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

    Address information

    email email: Wendelin.Serwe@inria.fr
    mail bureau B104
    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: 12/01/25 07:31:35
    Homepage