| 2009 |
|---|
| 15 | EE | Jan Stöcker,
Frédéric Lang,
Hubert Garavel:
Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format.
IFM 2009: 88-102 |
| 2007 |
|---|
| 14 | 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 |
| 13 | EE | Gwen Salaün,
Jeff Kramer,
Frédéric Lang,
Jeff Magee:
Translating FSP into LOTOS and Networks of Automata.
IFM 2007: 558-578 |
| 12 | EE | Frédéric Lang:
Explaining the lazy Krivine machine using explicit substitution and addresses.
Higher-Order and Symbolic Computation 20(3): 257-270 (2007) |
| 2006 |
|---|
| 11 | EE | Frédéric Lang:
Refined Interfaces for Compositional Verification.
FORTE 2006: 159-174 |
| 2005 |
|---|
| 10 | EE | Frédéric Lang:
Exp.Open 2.0: A Flexible Tool Integrating Partial Order, Compositional, and On-The-Fly Verification Methods.
IFM 2005: 70-88 |
| 9 | EE | Daniel J. Dougherty,
Pierre Lescanne,
Luigi Liquori,
Frédéric Lang:
Addressed Term Rewriting Systems: Syntax, Semantics, and Pragmatics: Extended Abstract.
Electr. Notes Theor. Comput. Sci. 127(5): 57-82 (2005) |
| 2003 |
|---|
| 8 | EE | Gordon J. Pace,
Frédéric Lang,
Radu Mateescu:
Calculating-Confluence Compositionally.
CAV 2003: 446-459 |
| 7 | EE | Frederic Tronel,
Frédéric Lang,
Hubert Garavel:
Compositional Verification Using CADP of the ScalAgent Deployment Protocol for Software Components.
FMOODS 2003: 244-260 |
| 2002 |
|---|
| 6 | EE | Hubert Garavel,
Frédéric Lang,
Radu Mateescu:
Compiler Construction Using LOTOS NT.
CC 2002: 9-13 |
| 5 | EE | Hubert Garavel,
Frédéric Lang:
NTIF: A General Symbolic Model for Communicating Sequential Processes with Data.
FORTE 2002: 276-291 |
| 4 | EE | Frédéric Lang:
Compositional Verification Using SVL Scripts.
TACAS 2002: 465-469 |
| 2001 |
|---|
| 3 | | Hubert Garavel,
Frédéric Lang:
SVL: A Scripting Language for Compositional Verification.
FORTE 2001: 377-394 |
| 2000 |
|---|
| 2 | | Frédéric Lang,
Pierre Lescanne:
On Strong Normalization of Explicit Substitution Calculi (Short Note).
Journal of Functional and Logic Programming 2000(7): (2000) |
| 1999 |
|---|
| 1 | EE | Frédéric Lang,
Pierre Lescanne,
Luigi Liquori:
A Framework for Defining Object-Calculi.
World Congress on Formal Methods 1999: 963-982 |
