Wendelin SERWE
Recent Publications (
complete list
)
Olivier Ponsini
and
Wendelin Serwe
.
A Schedulerless Semantics of TLM Models Written in SystemC via Translation into LOTOS
.
Proceedings of the
15th International Conference on Formal Methods (FM 2008)
, May 2008, Lecture Notes in Computer Science, ©Springer Verlag.
Hubert Garavel
,
Frédéric Lang
,
Radu Mateescu
, and
Wendelin Serwe
.
CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes
.
Proceedings of the
19th International Conference on Computer Aided Verification (CAV 2007)
, July 2007, Volume 4590 of Lecture Notes in Computer Science, ©Springer Verlag.
Gwen Salaün
,
Wendelin Serwe
, Yvain Thonnart, and Pascal Vivet.
Formal Verification of CHP Specifications with CADP: Illustration on an Asynchronous Network-on-Chip
.
Proceedings of the
13th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC 2007)
, March 2007, IEEE Computer Society Press.
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
: Wendelin.Serwe@inria.fr
bureau B104
projet
VASY
Unité de Recherche
INRIA
-
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: 08/03/11 16:05:46
Homepage