| 2009 |
|---|
| 12 | EE | 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 | EE | Olivier Ponsini,
Wendelin Serwe:
A Schedulerless Semantics of TLM Models Written in SystemC Via Translation into LOTOS.
FM 2008: 278-293 |
| 2007 |
|---|
| 10 | EE | 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 | EE | 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 | EE | Hubert Garavel,
Wendelin Serwe:
State space reduction for process algebra specifications.
Theor. Comput. Sci. 351(2): 131-145 (2006) |
| 2005 |
|---|
| 7 | EE | Gwen Salaün,
Wendelin Serwe:
Translating Hardware Process Algebras into Standard Process Algebras: Illustration with CHP and LOTOS.
IFM 2005: 287-306 |
| 2004 |
|---|
| 6 | EE | Hubert Garavel,
Wendelin Serwe:
State Space Reduction for Process Algebra Specifications.
AMAST 2004: 164-180 |
| 5 | EE | Bertrand Jeannet,
Wendelin Serwe:
Abstracting Call-Stacks for Interprocedural Verification of Imperative Programs.
AMAST 2004: 258-273 |
| 2003 |
|---|
| 4 | EE | Rachid Echahed,
Frédéric Prost,
Wendelin Serwe:
Statically assuring secrecy for dynamic concurrent processes.
PPDP 2003: 91-101 |
| 2002 |
|---|
| 3 | EE | Rachid Echahed,
Wendelin Serwe:
Defining Actions in Concurrent Declarative Programming.
Electr. Notes Theor. Comput. Sci. 64: (2002) |
| 2 | EE | Jeremie Blanc,
Wendelin Serwe:
Timed Term Rewrite Systems.
Electr. Notes Theor. Comput. Sci. 64: (2002) |
| 2000 |
|---|
| 1 | EE | Rachid Echahed,
Wendelin Serwe:
Combining Mobile Processes and Declarative Programming.
Computational Logic 2000: 300-314 |
