Wendelin Serwe

CADP 2011: a toolbox for the construction and analysis of distributed processes

Hubert Garavel, Frédéric Lang, Radu Mateescu et al. · International Journal on Software Tools for Technology Transfer · 2012 · 271 citations · Full text

Cluster Computing, Engineering, Software Engineering +18

State space reduction for process algebra specifications

Hubert Garavel, Wendelin Serwe · Theoretical Computer Science · 2005 · 35 citations

Engineering, Automated Reasoning, Formal Methods +7

CADP 2006: A toolbox for the construction and analysis of distributed processes

Hubert Garavel, Frédéric Lang, Radu Mateescu et al. · 2007 · 34 citations · Full text

Verification of an industrial SystemC/TLM model using LOTOS and CADP

Hubert Garavel, Claude Helmstetter, Olivier Ponsini et al. · 2009 · 34 citations

Engineering, Hardware Verification Language, Industrial Engineering +28

Formal Verification of CHP Specifications with CADP Illustration on an Asynchronous Network-on-Chip

Gwen Salaün, Wendelin Serwe, Yvain Thonnart et al. · Proceedings of the International Symposium on Advanced Research in Asynchronous Circuits and Systems · 2007 · 31 citations

Hardware Modeling, Engineering, Hardware Verification Language +18