Combining Mobile Processes and Declarative Programming. - Rachid Echahed; Wendelin Serwe (Computational Logic, 2000)

Timed Term Rewrite Systems. - Jérémie Blanc; Wendelin Serwe (WFLP, 2001)

Defining Actions in Concurrent Declarative Programming. - Rachid Echahed; Wendelin Serwe (WFLP, 2001)

Etude de la programmation logico-fonctionnelle concurrente. - Wendelin Serwe (2002)

Statically assuring secrecy for dynamic concurrent processes. - Rachid Echahed; Frédéric Prost; Wendelin Serwe (PPDP, 2003)

Abstracting Call-Stacks for Interprocedural Verification of Imperative Programs. - Bertrand Jeannet; Wendelin Serwe (AMAST, 2004)

Translating Hardware Process Algebras into Standard Process Algebras: Illustration with CHP and LOTOS. - Gwen Salaün; Wendelin Serwe (IFM, 2005)

State space reduction for process algebra specifications. - Hubert Garavel; Wendelin Serwe (Theor. Comput. Sci., 2006)

Formal Verification of CHP Specifications with CADP Illustration on an Asynchronous Network-on-Chip. - Gwen Salaün; Wendelin Serwe; Yvain Thonnart; Pascal Vivet (ASYNC, 2007)

CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes. - Hubert Garavel; Radu Mateescu 001; Frédéric Lang; Wendelin Serwe (CAV, 2007)

A Schedulerless Semantics of TLM Models Written in SystemC Via Translation into LOTOS. - Olivier Ponsini; Wendelin Serwe (FM, 2008)

Towards Performance Prediction of Compositional Models in Industrial GALS Designs. - Nicolas Coste; Holger Hermanns; Etienne Lantreibecq; Wendelin Serwe (CAV, 2009)

Verification of an industrial SystemC/TLM model using LOTOS and CADP. - Hubert Garavel; Claude Helmstetter; Olivier Ponsini; Wendelin Serwe (MEMOCODE, 2009)

On the semantics of communicating hardware processes and their translation into LOTOS for the verification of asynchronous circuits with CADP. - Hubert Garavel; Gwen Salaün; Wendelin Serwe (Sci. Comput. Program., 2009)

A Study of Shared-Memory Mutual Exclusion Protocols Using CADP. - Radu Mateescu 001; Wendelin Serwe (FMICS, 2010)

Ten Years of Performance Evaluation for Concurrent Systems Using CADP. - Nicolas Coste; Hubert Garavel; Holger Hermanns; Frédéric Lang; Radu Mateescu 001; Wendelin Serwe (ISoLA (2), 2010)

Model Checking and Co-simulation of a Dynamic Task Dispatcher Circuit Using CADP. - Etienne Lantreibecq; Wendelin Serwe (FMICS, 2011)

CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes. - Hubert Garavel; Frédéric Lang; Radu Mateescu 001; Wendelin Serwe (TACAS, 2011)

Large-scale Distributed Verification Using CADP: Beyond Clusters to Grids. - Hubert Garavel; Radu Mateescu 001; Wendelin Serwe (PASM/PDMC, 2012)

Formal Analysis of the ACE Specification for Cache Coherent Systems-on-Chip. - Abderahman Kriouile; Wendelin Serwe (FMICS, 2013)

Model checking and performance evaluation with CADP illustrated on shared-memory mutual exclusion protocols. - Radu Mateescu 001; Wendelin Serwe (Sci. Comput. Program., 2013)

CADP 2011: a toolbox for the construction and analysis of distributed processes. - Hubert Garavel; Frédéric Lang; Radu Mateescu 001; Wendelin Serwe (Int. J. Softw. Tools Technol. Transf., 2013)

Formal Analysis of a Fault-Tolerant Routing Algorithm for a Network-on-Chip. - Zhen Zhang 006; Wendelin Serwe; Jian Wu; Tomohiro Yoneda; Hao Zheng 001; Chris J. Myers (FMICS, 2014)

Formal analysis of a hardware dynamic task dispatcher with CADP. - Etienne Lantreibecq; Wendelin Serwe (Sci. Comput. Program., 2014)

Using a Formal Model to Improve Verification of a Cache-Coherent System-on-Chip. - Abderahman Kriouile; Wendelin Serwe (TACAS, 2015)

Formal Specification and Verification of Fully Asynchronous Implementations of the Data Encryption Standard. - Wendelin Serwe (MARS, 2015)

An improved fault-tolerant routing algorithm for a Network-on-Chip derived with formal analysis. - Zhen Zhang 006; Wendelin Serwe; Jian Wu; Tomohiro Yoneda; Hao Zheng 001; Chris J. Myers (Sci. Comput. Program., 2016)

From LOTOS to LNT. - Hubert Garavel; Frédéric Lang; Wendelin Serwe (ModelEd, TestEd, TrustEd, 2017)

The Unheralded Value of the Multiway Rendezvous: Illustration with the Production Cell Benchmark. - Hubert Garavel; Wendelin Serwe (MARS@ETAPS, 2017)

Model-Checking Synthesizable SystemVerilog Descriptions of Asynchronous Circuits. - Aymane Bouzafour; Marc Renaudin; Hubert Garavel; Radu Mateescu 001; Wendelin Serwe (ASYNC, 2018)

Using LNT Formal Descriptions for Model-Based Diagnosis. - Birgit Hofer; Radu Mateescu 001; Wendelin Serwe; Franz Wotawa (DX, 2018)

TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation. - Lina Marsso; Radu Mateescu 001; Wendelin Serwe (TACAS (2), 2018)

Hunting Superfluous Locks with Model Checking. - Viet-Anh Nguyen; Wendelin Serwe; Radu Mateescu 001; Eric Jenn (From Software Engineering to Formal Methods and Tools, and Back, 2019)

Asynchronous Testing of Synchronous Components in GALS Systems. - Lina Marsso; Radu Mateescu 001; Ioannis Parissis; Wendelin Serwe (IFM, 2019)

Combining SLiVER with CADP to Analyze Multi-agent Systems. - Luca Di Stefano 001; Frédéric Lang; Wendelin Serwe (COORDINATION, 2020)

Automated Transition Coverage in Behavioural Conformance Testing. - Lina Marsso; Radu Mateescu 001; Wendelin Serwe (ICTSS, 2020)

Modeling an Asynchronous Circuit Dedicated to the Protection Against Physical Attacks. - Radu Mateescu 001; Wendelin Serwe; Aymane Bouzafour; Marc Renaudin (MARS@ETAPS, 2020)

Is CADP an Applicable Formal Method? - Hubert Garavel; Frédéric Lang; Radu Mateescu 001; Wendelin Serwe (AppFM@FM, 2021)

Using Formal Conformance Testing to Generate Scenarios for Autonomous Vehicles. - Jean-Baptiste Horel; Christian Laugier; Lina Marsso; Radu Mateescu 001; Lucie Muller; Anshul Paigwar; Alessandro Renzaglia; Wendelin Serwe (DATE, 2022)

Formally Modeling Autonomous Vehicles in LNT for Simulation and Testing. - Lina Marsso; Radu Mateescu 001; Lucie Muller; Wendelin Serwe (MARS@ETAPS, 2022)

Verifying Collision Risk Estimation using Autonomous Driving Scenarios Derived from a Formal Model. - Jean-Baptiste Horel; Philippe Ledent; Lina Marsso; Lucie Muller; Christian Laugier; Radu Mateescu 001; Anshul Paigwar; Alessandro Renzaglia; Wendelin Serwe (J. Intell. Robotic Syst., 2023)

Improving PSS Test Generation Using Model Checking and Conformance Testing. - Philippe Ledent; Radu Mateescu 001; Wendelin Serwe (FDL, 2024)

Testing Resource Isolation for System-on-Chip Architectures. - Philippe Ledent; Radu Mateescu 001; Wendelin Serwe (MARS@ETAPS, 2024)