Publications of Wendelin Serwe
Articles in Journals

Zhen Zhang, Wendelin Serwe, Jian Wu, Tomohiro Yoneda, Hao Zheng, and Chris Myers.
An Improved FaultTolerant Routing Algorithm for a NetworkonChip Derived with Formal Analysis.
Accepted for publication in Science of Computer Programming.

Etienne Lantreibecq and Wendelin Serwe.
Formal Analysis of a Hardware Dynamic Task Dispatcher with CADP.
Science of Computer Programming, 2014.

Hubert Garavel,
Frédéric Lang,
Radu Mateescu, and
Wendelin Serwe.
CADP 2011: A Toolbox for the Construction and Analysis of Distributed Processes.
International Journal on Software Tools for Technology Transfer (STTT), 15(2):89107, April 2013.

Radu Mateescu and
Wendelin Serwe.
Model checking and performance evaluation with CADP illustrated on sharedmemory mutual exclusion protocols.
Science of Computer Programming, 2012.

Hubert Garavel,
Gwen Salaün, and
Wendelin Serwe.
On the Semantics of Communicating Hardware Processes and their Translation into LOTOS for the Verification of Asynchronous Circuits with CADP.
Science of Computer Programming, 74(3) 100127, January 2009.

Hubert Garavel and
Wendelin Serwe.
State Space Reduction of Process Algebra Specifications.
Theoretical Computer Science, 351(2) 131145, February 2006.
 Rachid Echahed and Wendelin
Serwe. Integrating Action
Definitions into Concurrent Declarative Programming. In Electronic
Notes in Theoretical Computer Science 64, September 2002. Special issue:
selected papers from
International Workshop on Functional and (Constraint) Logic Programming,
September 2001.
Articles in Conference/Workshop Proceedings

Wendelin Serwe.
Formal Specification and Verification of Fully Asynchronous Implementations of the Data Encryption Standard.
Proceedings of the first workshop on Models for Formal Analysis of Real Systems (MARS 2015).

Abderahman Kriouile and Wendelin Serwe.
Using a Formal Model to Improve Verification of a CacheCoherent SystemonChip.
Proceedings of the 21th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015).

Zhen Zhang, Wendelin Serwe, Jian Wu, Tomohiro Yoneda, Hao Zheng, and Chris Myers.
Formal Analysis of a FaultTolerant Routing Algorithm for a NetworkonChip.
Proceedings of the 19th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2014).

Abderahman Kriouile and Wendelin Serwe.
Formal Analysis of the ACE Specification for Cache Coherent SystemsonChip.
Proceedings of the 18th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2013).

Hubert Garavel,
Radu Mateescu, and
Wendelin Serwe.
Largescale Distributed Verification using CADP: Beyond Clusters to Grids.
Proceedings of the 11th International Workshop on Parallel and Distributed Methods in Verification (PDMC 2012).

Etienne Lantreibecq and
Wendelin Serwe.
Model Checking and Cosimulation of a Dynamic Task Dispatcher Circuit using CADP.
Proceedings of the 16th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2011).

Hubert Garavel,
Frédéric Lang,
Radu Mateescu, and
Wendelin Serwe.
CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes.
Proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2011).

Nicolas Coste,
Hubert Garavel,
Holger Hermanns,
Frédéric Lang,
Radu Mateescu, and
Wendelin Serwe.
Ten Years of Performance Evaluation for Concurrent Systems using CADP.
Proceedings of the 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2010), October 2010.

Radu Mateescu and
Wendelin Serwe.
A Study of SharedMemory Mutual Exclusion Protocols using CADP.
Proceedings of the 15th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2010), September 2010.

Hubert Garavel,
Claude Helmstetter,
Olivier Ponsini, and
Wendelin Serwe.
Verification of an Industrial SystemC/TLM Model using LOTOS and CADP.
Proceedings of the 7th ACMIEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2009), July 2009.

Nicolas Coste,
Holger Hermanns,
Etienne Lantreibecq, and
Wendelin Serwe.
Towards Performance Prediction of Compositional Models in Industrial GALS Designs.
Proceedings of the 21th International Conference on Computer Aided Verification (CAV 2009).

Olivier Ponsini and
Wendelin Serwe.
A Schedulerless Semantics of TLM Models Written in SystemC via Translation into LOTOS.
Proceedings of the 15th International Conference on Formal Methods (FM 2008), May 2008, Lecture Notes in Computer Science, ©Springer Verlag.

Hubert Garavel,
Frédéric Lang,
Radu Mateescu, and
Wendelin Serwe.
CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes.
Proceedings of the 19th International Conference on Computer Aided Verification (CAV 2007), July 2007, Volume 4590 of Lecture Notes in Computer Science, ©Springer Verlag.

Gwen Salaün,
Wendelin Serwe,
Yvain Thonnart, and
Pascal Vivet.
Formal Verification of CHP Specifications with CADP: Illustration on an Asynchronous NetworkonChip.
Proceedings of the 13th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC 2007), March 2007, IEEE Computer Society Press.
 Gwen
Salaün
and Wendelin
Serwe. Translating
Hardware Process Algebras into Standard Process Algebras  Illustration with
CHP and LOTOS. Proceedings of
the Fifth International Conference on
Integrated Formal Methods (IFM 2005), December 2005, Volume 3771 of
Lecture Notes in Computer Science, ©Springer Verlag.
 Hubert
Garavel and Wendelin
Serwe. State
Space Reduction of Process Algebra Specifications. Proceedings of the
Tenth International
Conference on Algebraic Methodology And Software Technology (AMAST 2004),
July 2004, Volume 3116 of Lecture Notes in Computer Science, ©Springer
Verlag.
 Bertrand Jeannet
and Wendelin
Serwe. Abstracting CallStacks for
Interprocedural Verification of Imperative Programs. Proceedings of
the Tenth International
Conference on Algebraic Methodology And Software Technology (AMAST 2004),
July 2004, Volume 3116 of Lecture Notes in Computer Science, ©Springer
Verlag.
 Rachid Echahed, Frédéric Prost, and
Wendelin Serwe. Statically Assuring Secrecy for Dynamic
Concurrent Processes. Proceedings of Fifth ACMSIGPLAN International Conference
on Principles and Practice of Declarative Programming (PPDP 2003), August
2003.
 Nadia Brauner, Rachid Echahed, Gerd Finke, Frédéric
Prost, and Wendelin
Serwe. Intégration de
méthodes de réécriture et de recherche
opérationnelle pour la modélisation et la résolution de
contraintes : application à la planification de personnel
médical. Proceedings
of première
conférence francophone en gestiion et ingénierie des
systèmes hospitaliers (GISEH 2003), January 2003.
 Rachid Echahed and Wendelin
Serwe. Combining Mobile
Processes and Declarative Programming. Proceedings of
the First International Conference
on Computational Logic, July 2000, Volume 1861 of Lecture Notes in
Artificial Intelligence, ©Springer Verlag
 Rachid Echahed and Wendelin
Serwe. Integrating
Action Definitions into Concurrent Declarative Programming. Article
presented at
the International
Workshop on Functional and (Constraint) Logic Programming, September 2001.
 Rachid Echahed and Wendelin
Serwe. A
ComponentBased Approach to Concurrent Declarative Programming.
Article presented at
the International
Workshop on Functional and (Constraint) Logic Programming, September 2001.
 Rachid Echahed and Wendelin
Serwe. A Concurrent Extension
of Functional Logic Programming Languages. Extended abstract
presented at the 9th International
Workshop on Logicbased Program Synthesis and Transformation, September
1999
 Jérémie Blanc, Rachid Echahed
and Wendelin
Serwe. Towards Reactive
Functional Logic Programming Languages. Article presented at
the 7th
International Workshop on Functional and Logic Programming, April
1998
Theses
Tutorials
Technical Reports
Last update: 2016/06/10 10:55:57
Homepage