Publications of Wendelin Serwe
Articles in Journals
Articles in Conference/Workshop Proceedings
-
Hubert Garavel,
Radu Mateescu, and
Wendelin Serwe.
Large-scale 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 Co-simulation 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 Shared-Memory 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 ACM-IEEE 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 Network-on-Chip.
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 Call-Stacks 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 ACM-SIGPLAN 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
Component-Based 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 Logic-based 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: 2012/10/24 15:55:46
Homepage