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