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

    • Wendelin Serwe. Étude de la programmation logico-fonctionnelle concurrente (On Concurrent Functional Logic Programming). Thèse de doctorat de l'Institut National Polytechnique de Grenoble (PhD Thesis), March 15, 2002. written in english, containing an extended abstract in french.
    • Wendelin Serwe. Studie einer Semantik für reaktive funktional-logische Programmiersprachen. Master's Thesis, Grenoble/Karlsruhe, July 1998. written in French, containing an extended abstract in german.

    Tutorials

    • Frédéric Lang and Wendelin Serwe. CADP Tutorial. Given at the French workshop Approches Formelles dans l'Assistance au Développement de Logiciels, January, 2012.

    Technical Reports

    • Bertrand Jeannet and Wendelin Serwe. Abstracting Call-Stacks for Interprocedural Verification of Imperative Programs. Research Report INRIA 4904.
    • Rachid Echahed and Wendelin Serwe. A Computation Model for Concurrent Declarative Programming. Cahiers du Laboratoire Leibniz 79.
    • Rachid Echahed, Frédéric Prost and Wendelin Serwe. Assuring Secrecy for Concurrent Declarative Programs. Cahiers du Laboratoire Leibniz 40.
    Last update: 2022/12/02 08:28:31
    Homepage