Frédéric Lang

	2009
16		Frédéric Lang, Radu Mateescu: Partial Order Reductions Using Compositional Confluence Detection. FM 2009: 157-172
15		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		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		Gwen Salaün, Jeff Kramer, Frédéric Lang, Jeff Magee: Translating FSP into LOTOS and Networks of Automata. IFM 2007: 558-578
12		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		Frédéric Lang: Refined Interfaces for Compositional Verification. FORTE 2006: 159-174
	2005
10		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		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		Gordon J. Pace, Frédéric Lang, Radu Mateescu: Calculating-Confluence Compositionally. CAV 2003: 446-459
7		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		Hubert Garavel, Frédéric Lang, Radu Mateescu: Compiler Construction Using LOTOS NT. CC 2002: 9-13
5		Hubert Garavel, Frédéric Lang: NTIF: A General Symbolic Model for Communicating Sequential Processes with Data. FORTE 2002: 276-291
4		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		Frédéric Lang, Pierre Lescanne, Luigi Liquori: A Framework for Defining Object-Calculi. World Congress on Formal Methods 1999: 963-982

Coauthor Index

1	Daniel J. Dougherty	[9]
2	Hubert Garavel	[3] [5] [6] [7] [14] [15]
3	Jeff Kramer	[13]
4	Pierre Lescanne	[1] [2] [9]
5	Luigi Liquori	[1] [9]
6	Jeff Magee (Jeff N. Magee)	[13]
7	Radu Mateescu	[6] [8] [14] [16]
8	Gordon J. Pace	[8]
9	Gwen Salaün	[13]
10	Wendelin Serwe	[14]
11	Jan Stöcker	[15]
12	Frédéric Tronel (Frederic Tronel)	[7]

Colors in the list of coauthors