Publications of Wendelin Serwe
Articles in Journals
-
Zhen Zhang,
Wendelin Serwe,
Jian Wu,
Tomohiro Yoneda,
Hao Zheng, and
Chris Myers.
An Improved Fault-Tolerant Routing Algorithm for a Network-on-Chip Derived with Formal Analysis.
Science of Computer Programming, 118:24-39, 2016.
-
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):89-107, April 2013.
-
Radu Mateescu and
Wendelin Serwe.
Model checking and performance evaluation with CADP illustrated on shared-memory 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) 100-127, January 2009.
-
Hubert Garavel and
Wendelin Serwe.
State Space Reduction of Process Algebra Specifications.
Theoretical Computer Science, 351(2) 131-145, 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 or Workshop Proceedings
-
Lina Marsso,
Radu Mateescu,
Lucie Muller, and
Wendelin Serwe.
Formally Modeling Autonomous Vehicles in LNT for Simulation and Testing.
Proceedings of the 5th Workshop on Models for Formal Analysis of Real Systems (MARS'2022), Munich, Germany, April 2022.
-
Jean-Baptiste Horel,
Christian Laugier,
Lina Marsso,
Radu Mateescu,
Lucie Muller,
Anshul Paigwar,
Alessandro Renzaglia, and
Wendelin Serwe.
Using Formal Conformance Testing to Generate Scenarios for Autonomous Vehicles.
Proceedings of Design, Automation and Test in Europe - Autonomous Systems Design (DATE/ASD'2022), Antwerp, Belgium, March 2022.
-
Hubert Garavel,
Frédéric Lang,
Radu Mateescu, and
Wendelin Serwe.
Is CADP an Applicable Formal Method?.
Proceedings of the 1st International Workshop on Applicable Formal Methods (αFM'2021), Beijing, China, November 23, 2021.
-
Lina Marsso,
Radu Mateescu, and
Wendelin Serwe.
Automated Transition Coverage in Behavioural Conformance Testing.
Proceedings of the 32nd IFIP International Conference on Testing Software and Systems (ICTSS'2020), Napoli, Italy, December 2020.
-
Radu Mateescu,
Wendelin Serwe,
Aymane Bouzafour, and
Marc Renaudin.
Modeling an Asynchronous Circuit Dedicated to the Protection Against Physical Attacks.
Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems (MARS'2020), Dublin, Ireland, 2020.
-
Luca Di Stefano,
Frédéric Lang, and
Wendelin Serwe.
Combining SLiVER with CADP to Analyze Multi-agent Systems.
Proceedings of the 22nd IFIP WG 6.1 International Conference on Coordination Models and Languages (COORDINATION'2020), La Valetta, Malta, June 2020
-
Viet-Anh Nguyen,
Eric Jenn,
Wendelin Serwe,
Frédéric Lang, and
Radu Mateescu.
Using Model Checking to Identify Timing Interferences on Multicore Processors.
Proceedings of the 10th European Congress on Embedded Real Time Software and Systems (ERTS'2020), Toulouse, France, January 2020.
-
Lina Marsso,
Radu Mateescu,
Ioannis Parissis, and
Wendelin Serwe.
Asynchronous Testing of Synchronous Components in GALS Systems.
Proceedings of the 15th International Conference on Integrated Formal Methods (iFM'2019), Bergen, Norway, December 2019.
-
Birgit Hofer,
Radu Mateescu,
Wendelin Serwe, and
Franz Wotawa.
Using LNT Formal Descriptions for Model-Based Diagnosis.
Proceedings of the 29th International Workshop on Principles of Diagnosis (DX'2018).
-
Aymane Bouzafour,
Marc Renaudin,
Hubert Garavel,
Radu Mateescu, and
Wendelin Serwe.
Model-checking Synthesizable SystemVerilog Descriptions of Asynchronous Circuits.
Proceedings of the 24th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC 2018).
-
Lina Marsso,
Radu Mateescu, and
Wendelin Serwe.
TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation.
Proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2018).
-
Hubert Garavel and
Wendelin Serwe.
The Unheralded Value of the Multiway Rendezvous: Illustration with the Production Cell Benchmark.
Proceedings of the second workshop on Models for Formal Analysis of Real Systems (MARS 2017).
-
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 Cache-Coherent System-on-Chip.
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 Fault-Tolerant Routing Algorithm for a Network-on-Chip.
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 Systems-on-Chip.
Proceedings of the 18th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2013).
-
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
Book Chapters
-
Viet-Anh Nguyen,
Wendelin Serwe,
Radu Mateescu, and
Eric Jenn.
Hunting Superfluous Locks with Model Checking.
From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday, Porto, Portugal, October 8, 2019.
-
Hubert Garavel.
Frédéric Lang, and
Wendelin Serwe.
From LOTOS to LNT.
ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday, Twente, The Netherlands, October 18, 2017.
Theses
Tutorials
Technical Reports
Last update: 2022/12/02 08:28:31
Homepage