Wendelin Serwe

According to our database1, Wendelin Serwe
  • authored at least 30 papers between 2000 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

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


  Loading...