Wendelin Serwe

	2009
13		Nicolas Coste, Holger Hermanns, Etienne Lantreibecq, Wendelin Serwe: Towards Performance Prediction of Compositional Models in Industrial GALS Designs. CAV 2009: 204-218
12		Hubert Garavel, Gwen Salaün, Wendelin Serwe: On the semantics of communicating hardware processes and their translation into LOTOS for the verification of asynchronous circuits with CADP. Sci. Comput. Program. 74(3): 100-127 (2009)
	2008
11		Olivier Ponsini, Wendelin Serwe: A Schedulerless Semantics of TLM Models Written in SystemC Via Translation into LOTOS. FM 2008: 278-293
	2007
10		Gwen Salaün, Wendelin Serwe, Yvain Thonnart, Pascal Vivet: Formal Verification of CHP Specifications with CADP Illustration on an Asynchronous Network-on-Chip. ASYNC 2007: 73-82
9		Hubert Garavel, Radu Mateescu, Frédéric Lang, Wendelin Serwe: CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes. CAV 2007: 158-163
	2006
8		Hubert Garavel, Wendelin Serwe: State space reduction for process algebra specifications. Theor. Comput. Sci. 351(2): 131-145 (2006)
	2005
7		Gwen Salaün, Wendelin Serwe: Translating Hardware Process Algebras into Standard Process Algebras: Illustration with CHP and LOTOS. IFM 2005: 287-306
	2004
6		Hubert Garavel, Wendelin Serwe: State Space Reduction for Process Algebra Specifications. AMAST 2004: 164-180
5		Bertrand Jeannet, Wendelin Serwe: Abstracting Call-Stacks for Interprocedural Verification of Imperative Programs. AMAST 2004: 258-273
	2003
4		Rachid Echahed, Frédéric Prost, Wendelin Serwe: Statically assuring secrecy for dynamic concurrent processes. PPDP 2003: 91-101
	2002
3		Rachid Echahed, Wendelin Serwe: Defining Actions in Concurrent Declarative Programming. Electr. Notes Theor. Comput. Sci. 64: (2002)
2		Jeremie Blanc, Wendelin Serwe: Timed Term Rewrite Systems. Electr. Notes Theor. Comput. Sci. 64: (2002)
	2000
1		Rachid Echahed, Wendelin Serwe: Combining Mobile Processes and Declarative Programming. Computational Logic 2000: 300-314

Coauthor Index

1	Jeremie Blanc	[2]
2	Nicolas Coste	[13]
3	Rachid Echahed	[1] [3] [4]
4	Hubert Garavel	[6] [8] [9] [12]
5	Holger Hermanns	[13]
6	Bertrand Jeannet	[5]
7	Frédéric Lang	[9]
8	Etienne Lantreibecq	[13]
9	Radu Mateescu	[9]
10	Olivier Ponsini	[11]
11	Frédéric Prost	[4]
12	Gwen Salaün	[7] [10] [12]
13	Yvain Thonnart	[10]
14	Pascal Vivet	[10]

Colors in the list of coauthors