Publications of Frédéric LANG

Papers on verification

	Partial Model Checking using Networks of Labelled Transition Systems and Boolean Equation Systems Frédéric Lang and Radu Mateescu In Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS'2012 (Talinn, Estonia), 2012.
	Smart Reduction Pepijn Crouzen and Frédéric Lang In Proceedings of the 14th International Conference on Fundamental Approaches to Software Engineering FASE'2011 (Saarbrücken, Germany), 2011.
	CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes Hubert Garavel, Frédéric Lang, Radu Mateescu, and Wendelin Serwe In Proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS'2011 (Saarbrücken, Germany), 2011.
	Ten Years of Performance Evaluation for Concurrent Systems using CADP Nicolas Coste, Hubert Garavel, Holger Hermanns, Frédéric Lang, Radu Mateescu, and Wendelin Serwe In Proceedings of the 4th International Symposium On Leveraging Applications of Formal Methods ISOLA'2010 (Heraclion, Crete), 2010.
	Translating FSP into LOTOS and Networks of Automata Frédéric Lang, Gwen Salaün, Rémi Hérilier, Jeff Kramer, and Jeff Magee Formal Aspects on Computing, volume 22, number 6, pages 681-711, November 2010.
	Partial Order Reductions using Compositional Confluence Detection Frédéric Lang and Radu Mateescu In Proceedings of the 16th International Symposium on Formal Methods FM'2009 (Eindhoven, the Netherlands), 2009.
	Les résultats du projet OpenEmbeDD Charles André, Mariano Belaunde, Bernard Berthomieu, Christian Brunette, Agusti Canals, Hubert Garavel, Susanne Graf, Frédéric Lang, Vincent Mahé, Michel Nakhlé, Rémi Schnekenburger, Robert De Simone, Jean-Pierre Talpin, François Vernadat In Actes de la conférence Neptune (Paris, France), 2009.
	Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format Jan Stoecker, Frédéric Lang, and Hubert Garavel In Proceedings of the 7th International Conference on Integrated Formal Methods IFM'2009 (Düsseldorf, Germany), 2009.
	Verifying Dynamic Properties of Industrial Critical Systems Using TOPCASED/FIACRE Bernard Berthomieu, Hubert Garavel, Frédéric Lang, and François Vernadat In European Research Consortium for Informatics and Mathematics (ERCIM) News number 75, 2008
	FIACRE: An Intermediate Language for Model Verification in the TopCased Environment Bernard Berthomieu, Jean-Paul Bodeveix, Patrick Farail, Mamoun Filali, Hubert Garavel, Pierre Gaufillet, Frédéric Lang, and François Vernadat In Proceedings of the 4th European Congress on Embedded Real Time Software ERTS'2008 (Toulouse, France), 2008
	Automatic Interface Generation for Compositional Verication Sandro Spina, Gordon Pace, and Frédéric Lang In Proceedings of the 5th Computer Science Annual Workshop CSAW'2007 (Valetta, Malta), 2007
	CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes Hubert Garavel, Frédéric Lang, Radu Mateescu, and Wendelin Serwe In Proceedings of the 19th International Conference on Computer Aided Verification CAV'2007 (Berlin, Germany), 2007
	Translating FSP into LOTOS and Networks of Automata Gwen Salaün, Jeff Kramer, Frédéric Lang, and Jeff Magee In Proceedings of the 6th International Conference on Integrated Formal Methods IFM'2007 (Oxford, United Kingdom), 2007
	Refined interfaces for compositional verification Frédéric Lang In Proceedings of the 26th International Conference on Formal Methods for Networked and Distributed Systems FORTE'2006 (Paris, France), 2006
	Exp.Open 2.0: A Flexible Tool Integrating Partial Order, Compositional, and On-the-fly Verification Methods Frédéric Lang In Proceedings of the 5th International Conference on Integrated Formal Methods IFM'2005 (Eindhoven, The Netherlands), 2005
	Compositional Verification using CADP of the ScalAgent Deployment Protocol for Software Components Frédéric Tronel, Frédéric Lang, and Hubert Garavel In Proceedings of the 6th International Conference on Formal Methods for Open Object-based Distributed Systems FMOODS'2003 (Paris, France), 2003
	Calculating tau-confluence compositionally Gordon Pace, Frédéric Lang, and Radu Mateescu In Proceedings of the 15th International Conference on Computer Aided Verification CAV'2003 (Boulder, Colorado, USA), 2003
	NTIF: A General Symbolic Model for Communicating Sequential Processes with Data Hubert Garavel and Frédéric Lang In Proceedings of the 22nd International Conference on Formal Techniques for Networked and Distributed Systems FORTE'2002 (Houston, Texas, USA), 2002
	Compositional Verification using SVL Scripts Frédéric Lang In Proceedings of the International Conference on Tools and Algorithms for Construction and Analysis of Systems TACAS'2002 (Grenoble, France), 2002
	Compiler Construction using LOTOS NT Hubert Garavel, Frédéric Lang, and Radu Mateescu In Proceedings of the 11th International Conference on Compiler Construction CC'2002 (Grenoble, France), 2002
	An overview of CADP 2001 Hubert Garavel, Frédéric Lang, and Radu Mateescu In European Association for Software Science and Technology (EASST) Newsletter volume 4, 2002 Also available as INRIA Technical Report number RT-254, 2001
	SVL: a Scripting Language for Compositional Verification Hubert Garavel and Frédéric Lang In Proceedings of the 21st International Conference on Formal Techniques for Networked and Distributed Systems FORTE'2001 (Cheju Island, Korea), 2001

Papers on rewriting

	On explicit substitution with names Kristoffer Rose, Roel Bloo, and Frédéric Lang In Journal of Atomated Reasoning JAR, 2011
	Explaining the lazy Krivine machine using explicit substitution and addresses Frédéric Lang In Journal on Higher Order and Symbolic Computation HOSC, 2007
	Addressed Term Rewriting Systems: Syntax, Semantics, and Pragmatics (Extended Abstract) Dan Dougherty, Frédéric Lang, Pierre Lescanne, and Luigi Liquori In Proceedings of the 2nd International Conference on Graph Transformation TERMGRAPH'2004 (Roma, Italy), 2004
	A generic object-calculus based on Addressed Term Rewriting Systems Dan Dougherty, Frédéric Lang, Pierre Lescanne, Luigi Liquori, and Kristoffer Rose In Proceedings of the 4th International Workshop on Explicit Substitutions: Theory and Applications to Programs and Proofs WESTAPP'2001 (Utrecht, The Netherlands), 2001
	On strong normalisation of explicit substitution calculi Frédéric Lang and Pierre Lescanne In Journal on Functional and Logic Programming JFLP, 2000
	Addressed Term Rewriting Systems Dan Dougherty, Frédéric Lang, Pierre Lescanne, and Kristoffer Rose Research Report number RR1999-30 of Ecole Normale Supérieure (ENS) de Lyon, 1999
	A Framework for Defining Object-Calculi Frédéric Lang, Pierre Lescanne and Luigi Liquori In Proceedings of the 1st World Congress on Formal Methods in the Development of Computing Systems FM'1999 (Toulouse, France), 1999
	Modèles de la beta-réduction pour les implantations Frédéric Lang Phd thesis of Ecole Normale Supérieure (ENS) de Lyon, 1998
	Super-closures Frédéric Lang, Zine-El-Abidine Benaissa, and Pierre Lescanne In Proceedings of the 1st Workshop on Principles of Abstract Machines WPAM'1998 (Pisa, Italy), 1998
	Two Equivalent Calculi of Explicit Substitution... Frédéric Lang and Kristoffer Rose In Proceedings of the 1st International Workshop on Explicit Substitutions: Theory and Applications to Programs and Proofs WESTAPP'1998 (Tsukuba, Japan), 1998
	Une machine à environnement avec partage, la UP-machine Frédéric Lang Master thesis of Université Henri Poicaré, Nancy 1, 1994