Wendelin Serwe

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 16

Top Venues

MARS@ETAPS

Sci. Comput. Program.

MARS

ICTSS

Grenoble Institute of Technology, France (PHD)

Education History

Grenoble Institute of Technology, France

PHD

Publications

Philippe Ledent, Radu Mateescu, Wendelin Serwe
Testing Resource Isolation for System-on-Chip Architectures. MARS@ETAPS (2024)
Jean-Baptiste Horel, Philippe Ledent, Lina Marsso, Lucie Muller, Christian Laugier, Radu Mateescu, Anshul Paigwar, Alessandro Renzaglia, Wendelin Serwe
Verifying Collision Risk Estimation using Autonomous Driving Scenarios Derived from a Formal Model. J. Intell. Robotic Syst. 107 (4) (2023)
Jean-Baptiste Horel, Christian Laugier, Lina Marsso, Radu Mateescu, Lucie Muller, Anshul Paigwar, Alessandro Renzaglia, Wendelin Serwe
Using Formal Conformance Testing to Generate Scenarios for Autonomous Vehicles. DATE (2022)
Lina Marsso, Radu Mateescu, Lucie Muller, Wendelin Serwe
Formally Modeling Autonomous Vehicles in LNT for Simulation and Testing. MARS@ETAPS (2022)
Hubert Garavel, Frédéric Lang, Radu Mateescu, Wendelin Serwe
Is CADP an Applicable Formal Method? AppFM@FM (2021)
Radu Mateescu, Wendelin Serwe, Aymane Bouzafour, Marc Renaudin
Modeling an Asynchronous Circuit Dedicated to the Protection Against Physical Attacks. MARS@ETAPS (2020)
Luca Di Stefano, Frédéric Lang, Wendelin Serwe
Combining SLiVER with CADP to Analyze Multi-agent Systems. COORDINATION (2020)
Lina Marsso, Radu Mateescu, Wendelin Serwe
Automated Transition Coverage in Behavioural Conformance Testing. ICTSS (2020)
Viet-Anh Nguyen, Wendelin Serwe, Radu Mateescu, Eric Jenn
Hunting Superfluous Locks with Model Checking. From Software Engineering to Formal Methods and Tools, and Back (2019)
Lina Marsso, Radu Mateescu, Ioannis Parissis, Wendelin Serwe
Asynchronous Testing of Synchronous Components in GALS Systems. IFM (2019)
Lina Marsso, Radu Mateescu, Wendelin Serwe
TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation. TACAS (2) (2018)
Aymane Bouzafour, Marc Renaudin, Hubert Garavel, Radu Mateescu, Wendelin Serwe
Model-Checking Synthesizable SystemVerilog Descriptions of Asynchronous Circuits. ASYNC (2018)
Birgit Hofer, Radu Mateescu, Wendelin Serwe, Franz Wotawa
Using LNT Formal Descriptions for Model-Based Diagnosis. DX (2018)
Hubert Garavel, Frédéric Lang, Wendelin Serwe
From LOTOS to LNT. ModelEd, TestEd, TrustEd (2017)
Hubert Garavel, Wendelin Serwe
The Unheralded Value of the Multiway Rendezvous: Illustration with the Production Cell Benchmark. MARS@ETAPS (2017)
Zhen Zhang, Wendelin Serwe, Jian Wu, Tomohiro Yoneda, Hao Zheng, Chris J. Myers
An improved fault-tolerant routing algorithm for a Network-on-Chip derived with formal analysis. Sci. Comput. Program. 118 (2016)
Wendelin Serwe
Formal Specification and Verification of Fully Asynchronous Implementations of the Data Encryption Standard. MARS (2015)
Abderahman Kriouile, Wendelin Serwe
Using a Formal Model to Improve Verification of a Cache-Coherent System-on-Chip. TACAS (2015)
Zhen Zhang, Wendelin Serwe, Jian Wu, Tomohiro Yoneda, Hao Zheng, Chris J. Myers
Formal Analysis of a Fault-Tolerant Routing Algorithm for a Network-on-Chip. FMICS (2014)
Etienne Lantreibecq, Wendelin Serwe
Formal analysis of a hardware dynamic task dispatcher with CADP. Sci. Comput. Program. 80 (2014)
Hubert Garavel, Radu Mateescu, Wendelin Serwe
Large-scale Distributed Verification Using CADP: Beyond Clusters to Grids. Electron. Notes Theor. Comput. Sci. 296 (2013)
Abderahman Kriouile, Wendelin Serwe
Formal Analysis of the ACE Specification for Cache Coherent Systems-on-Chip. FMICS (2013)
Radu Mateescu, Wendelin Serwe
Model checking and performance evaluation with CADP illustrated on shared-memory mutual exclusion protocols. Sci. Comput. Program. 78 (7) (2013)
Hubert Garavel, Frédéric Lang, Radu Mateescu, Wendelin Serwe
CADP 2011: a toolbox for the construction and analysis of distributed processes. Int. J. Softw. Tools Technol. Transf. 15 (2) (2013)
Etienne Lantreibecq, Wendelin Serwe
Model Checking and Co-simulation of a Dynamic Task Dispatcher Circuit Using CADP. FMICS (2011)
Hubert Garavel, Frédéric Lang, Radu Mateescu, Wendelin Serwe
CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes. TACAS (2011)
Radu Mateescu, Wendelin Serwe
A Study of Shared-Memory Mutual Exclusion Protocols Using CADP. FMICS (2010)
Nicolas Coste, Hubert Garavel, Holger Hermanns, Frédéric Lang, Radu Mateescu, Wendelin Serwe
Ten Years of Performance Evaluation for Concurrent Systems Using CADP. ISoLA (2) (2010)
Hubert Garavel, Gwen Salaün, Wendelin Serwe
On the semantics of communicating hardware processes and their translation into LOTOS for the verification of asynchronous circuits with CADP. Sci. Comput. Program. 74 (3) (2009)
Hubert Garavel, Claude Helmstetter, Olivier Ponsini, Wendelin Serwe
Verification of an industrial SystemC/TLM model using LOTOS and CADP. MEMOCODE (2009)
Nicolas Coste, Holger Hermanns, Etienne Lantreibecq, Wendelin Serwe
Towards Performance Prediction of Compositional Models in Industrial GALS Designs. CAV (2009)
Olivier Ponsini, Wendelin Serwe
A Schedulerless Semantics of TLM Models Written in SystemC Via Translation into LOTOS. FM (2008)
Gwen Salaün, Wendelin Serwe, Yvain Thonnart, Pascal Vivet
Formal Verification of CHP Specifications with CADP Illustration on an Asynchronous Network-on-Chip. ASYNC (2007)
Hubert Garavel, Radu Mateescu, Frédéric Lang, Wendelin Serwe
CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes. CAV (2007)
Hubert Garavel, Wendelin Serwe
State space reduction for process algebra specifications. Theor. Comput. Sci. 351 (2) (2006)
Gwen Salaün, Wendelin Serwe
Translating Hardware Process Algebras into Standard Process Algebras: Illustration with CHP and LOTOS. IFM (2005)
Bertrand Jeannet, Wendelin Serwe
Abstracting Call-Stacks for Interprocedural Verification of Imperative Programs. AMAST (2004)
Hubert Garavel, Wendelin Serwe
State Space Reduction for Process Algebra Specifications. AMAST (2004)
Rachid Echahed, Frédéric Prost, Wendelin Serwe
Statically assuring secrecy for dynamic concurrent processes. PPDP (2003)
Jérémie Blanc, Wendelin Serwe
Timed Term Rewrite Systems. Electron. Notes Theor. Comput. Sci. 64 (2002)
Rachid Echahed, Wendelin Serwe
Defining Actions in Concurrent Declarative Programming. Electron. Notes Theor. Comput. Sci. 64 (2002)
Rachid Echahed, Wendelin Serwe
Combining Mobile Processes and Declarative Programming. Computational Logic (2000)

Wendelin Serwe.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Wendelin Serwe