Publications of Wendelin Serwe

Articles in Journals

• 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 Proceedings

• 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

Articles in Workshop Proceedings

• 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

• 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.

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.