# Wendelin Serwe

According to our database

^{1}, Wendelin Serwe## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### Homepage:

#### On csauthors.net:

## Bibliography

2018

TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation.

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

2017

The Unheralded Value of the Multiway Rendezvous: Illustration with the Production Cell Benchmark.

Proceedings of the Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems, 2017

From LOTOS to LNT.

Proceedings of the ModelEd, TestEd, TrustEd, 2017

2016

An improved fault-tolerant routing algorithm for a Network-on-Chip derived with formal analysis.

Sci. Comput. Program., 2016

2015

Formal Specification and Verification of Fully Asynchronous Implementations of the Data Encryption Standard.

Proceedings of the Proceedings Workshop on Models for Formal Analysis of Real Systems, 2015

Using a Formal Model to Improve Verification of a Cache-Coherent System-on-Chip.

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

2014

Formal analysis of a hardware dynamic task dispatcher with CADP.

Sci. Comput. Program., 2014

Formal Analysis of a Fault-Tolerant Routing Algorithm for a Network-on-Chip.

Proceedings of the Formal Methods for Industrial Critical Systems, 2014

2013

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

STTT, 2013

Model checking and performance evaluation with CADP illustrated on shared-memory mutual exclusion protocols.

Sci. Comput. Program., 2013

Large-scale Distributed Verification Using CADP: Beyond Clusters to Grids.

Electr. Notes Theor. Comput. Sci., 2013

Formal Analysis of the ACE Specification for Cache Coherent Systems-on-Chip.

Proceedings of the Formal Methods for Industrial Critical Systems, 2013

2011

CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes.

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011

Model Checking and Co-simulation of a Dynamic Task Dispatcher Circuit Using CADP.

Proceedings of the Formal Methods for Industrial Critical Systems, 2011

2010

Ten Years of Performance Evaluation for Concurrent Systems Using CADP.

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

A Study of Shared-Memory Mutual Exclusion Protocols Using CADP.

Proceedings of the Formal Methods for Industrial Critical Systems, 2010

2009

On the semantics of communicating hardware processes and their translation into LOTOS for the verification of asynchronous circuits with CADP.

Sci. Comput. Program., 2009

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

Proceedings of the 7th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2009), 2009

Towards Performance Prediction of Compositional Models in Industrial GALS Designs.

Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2008

A Schedulerless Semantics of TLM Models Written in SystemC Via Translation into LOTOS.

Proceedings of the FM 2008: Formal Methods, 2008

2007

CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes.

Proceedings of the Computer Aided Verification, 19th International Conference, 2007

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), 2007

2006

State space reduction for process algebra specifications.

Theor. Comput. Sci., 2006

2005

Translating Hardware Process Algebras into Standard Process Algebras: Illustration with CHP and LOTOS.

Proceedings of the Integrated Formal Methods, 5th International Conference, 2005

2004

Abstracting Call-Stacks for Interprocedural Verification of Imperative Programs.

Proceedings of the Algebraic Methodology and Software Technology, 2004

State Space Reduction for Process Algebra Specifications.

Proceedings of the Algebraic Methodology and Software Technology, 2004

2003

Statically assuring secrecy for dynamic concurrent processes.

Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2003

2002

Etude de la programmation logico-fonctionnelle concurrente.

PhD thesis, 2002

Defining Actions in Concurrent Declarative Programming.

Electr. Notes Theor. Comput. Sci., 2002

Timed Term Rewrite Systems.

Electr. Notes Theor. Comput. Sci., 2002

2000

Combining Mobile Processes and Declarative Programming.

Proceedings of the Computational Logic, 2000