Publications of Frédéric LANG

2024

	Compositional Verification of Priority Systems Using Sharp Bisimulation Luca Di Stefano and Frédéric Lang Formal Methods in System Design volume 62, pages 1-40, Springer Nature, June 2024. Online since April 2023.
	Proceedings of the 6th Workshop on Models for Formal Analysis of Real Systems MARS 2024 Frédéric Lang and Matthias Volk (editors) Electronic Proceedings in Theoretical Computer Science volume 399, March 2024. [Access via arXiv]

2023

Compositional Verification of Stigmergic Collective Systems
Luca Di Stefano and Frédéric Lang
In Michael Emmi, Cezara Dragoi, and Jingbo Wang (editors), Proceedings of the 24th International Conference on Verification, Model Checking, and Abstract Interpretation VMCAI 2023, Lecture Notes in Computer Science volume 13881, pages 155-176, Springer, January 2023.
[Author version in HAL]

2022

Equivalence Checking 40 Years After: A Review of Bisimulation Tools
Hubert Garavel and Frédéric Lang
In Nils Jansen, Marielle Stoelinga, and Petra van den Bos (editors), A Journey from Process Algebra via Timed Automata to Model Learning - Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday, Lecture Notes in Computer Science volume 13560, pages 213-265, Springer, September 2022.
[Author version in HAL]

Compositional Verification of Priority Systems Using Sharp Bisimulation
Luca Di Stefano and Frédéric Lang
Research Report hal-03640683, April 2022.

2021

	Is CADP an Applicable Formal Method? Hubert Garavel, Frédéric Lang, Radu Mateescu, and Wendelin Serwe In Mario Gleischer, Jaco van de Pol, and Jim Woodcock (editors), Proceedings of the 1st International Workshop on Applicable Formal Methods AppFM 2021 (Beijing, China), Electronic Proceedings in Theoretical Computer Science volume 349, pages 1-11, November 2021. [Author version in HAL]
	Verifying Temporal Properties of Stigmergic Collective Systems Using CADP Luca Di Stefano and Frédéric Lang In Tiziana Margaria and Bernhard Steffen (editors), Proceedings of the 10th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation ISOLA 2021 (Rhodes, Greece), Lecture Notes in Computer Science volume 13036, pages 473-489, Springer, October 2021. [Author version in HAL]
	Compositional Verification of Concurrent Systems by Combining Bisimulations Frédéric Lang, Radu Mateescu, and Franco Mazzanti Formal Methods in System Design, volume 58, pages 83-125, Springer, February 2021. [Author version in HAL]

2020

	Compositional model checking with divergence preserving branching bisimilarity is lively Sander de Putter, Frédéric Lang, and Anton Wijs Science of Computer Programming, volume 196, Elsevier, September 2020. [Author version in HAL]
	Combining SLiVER with CADP to Analyze Multi-agent Systems Luca Di Stefano, Frédéric Lang and Wendelin Serwe In Simon Bliudze and Laura Bocchi (editors), Proceedings of the 22nd IFIP WG 6.1 International Conference on Coordination Models and Languages COORDINATION 2020 (Valetta, Malta), Lecture Notes in Computer Science volume 12134, pages 370-385, Springer, June 2020. [Author version in HAL]
	Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities Frédéric Lang, Radu Mateescu, and Franco Mazzanti In Armin Biere and Dave Parker (editors), Proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS 2020 (Dublin, Ireland), Lecture Notes in Computer Science volume 12079, pages 57-76, Springer, April 2020. [Author version on the CADP Web site] [Author version in HAL]
	Using Model Checking to Identify Timing Interferences on Multicore Processors Viet Anh Nguyen, Eric Jenn, Wendelin Serwe, Frédéric Lang, and Radu Mateescu Proceedings of the 10th European Congress on Embedded Real-Time Systems ERTS 2020 (Toulouse, France), January 2020. [Author version in HAL]

2019

Compositional Verification of Concurrent Systems by Combining Bisimulations
Frédéric Lang, Radu Mateescu, and Franco Mazzanti
In Annabelle McIver and Maurice ter Beek (editors), Proceedings of the 23rd International Symposium on Formal Methods - 3rd World Congress on Formal Methods FM 2019 (Porto, Portugal), Lecture Notes in Computer Science volume 11800, pages 196-213, Springer, October 2019.
[Author version on the CADP Web site] [Author version in HAL]

2018

Compositional Verification in Action
Hubert Garavel, Frédéric Lang, and Laurent Mounier
In Essays Dedicated to Susanne Graf on the occasion of Her 60th Birthday, part of proceedings of the 23rd International Conference on Formal Methods for Industrial Critical Systems FMICS'2018 (Maynooth, Ireland), Lecture Notes in Computer Science volume 11119, pages 189-210, Springer, September 2018.
[Author version on the CADP Web site] [Author version in HAL]

2017

	From LOTOS to LNT Hubert Garavel, Frédéric Lang, and Wendelin Serwe ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the occasion of His 60th Birthday (Twente, The Netherlands), Lecture Notes in Computer Science volume 10500, pages 3-26, Springer, October 2017. [Author version on the CADP Web site] [Author version in HAL]
	The ContextAct@A4H Real-Life Dataset of Daily-Living Activities - Activity Recognition Using Model Checking Paula Lago, Frédéric Lang, Claudia Roncancio, Claudia Jiménez-Guarìn, Radu Mateescu, and Nicolas Bonnefond In Patrick Brézillon, Roy Turner, and Carlo Penco (editors), Proceedings of the 10th International and Interdisciplinary Conference on Modeling and Using Context CONTEXT-17 (Paris, France), Lecture Notes in Computer Science volume 10257, pages 175-188, Springer, June 2017. [Author version in HAL]
	Automatic Distributed Code Generation from Formal Models of Asynchronous Processes Interacting by Multiway Rendezvous Hugues Evrard and Frédéric Lang Journal of Logical and Algebraic Methods in Programming 88:121-153, Elsevier 2017. [Author version on the CADP Web site] [Author version in HAL]

2016

	Formal Modeling and Verification of GALS Systems Using GRL and CADP Fatma Jebali, Frédéric Lang, and Radu Mateescu Formal Aspects of Computing 28(5):767-804, 2016. [Author version on the CADP Web site] [Author version in HAL]
	Verification of EB3 Specifications Using CADP Dimitris Vekris, Frédéric Lang, Catalin Dima, and Radu Mateescu Formal Aspects of Computing 28(1):145-178, 2016. [Author version on the CADP Web site] [Author version in HAL]
	Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS'2014) Frédéric Lang and Francesco Flammini Science of Computer Programming, Special Issue on Formal Methods for Industrial Critical Systems (FMICS'2014), volume 118, Elsevier, March 2016. [Author version in HAL]

2015

Compositional Verification of Asynchronous Concurrent Systems Using CADP
Hubert Garavel, Frédéric Lang, and Radu Mateescu
Acta Informatica, Special Issue on Combining Compositionality and Concurrency: Part 2, 52(4-5):337-392, 2015.
[Author version on the CADP Web site] [Author version in HAL]

Automatic Distributed Code Generation from Formal Models of Asynchronous Concurrent Processes
Hugues Evrard and Frédéric Lang
In Marco Aldinucci, Masoud Daneshtalab, Ville Leppänen, and Johan Lilius (editors), Proceedings of the 23rd Euromicro International Conference on Parallel, Distributed and Network-based Processing, Special Session on Formal Approaches to Parallel and Distributed Systems PDP/4PAD'2015 (Turku, Finland), IEEE, March 2015.
[Author version on the CADP Web site] [Author version in HAL]

2014

	GRL: a Specification Language for Globally Asynchronous Locally Synchronous Systems Fatma Jebali, Frédéric Lang and Radu Mateescu Proceedings of the 16th International Conference on Formal Engineering Methods ICFEM'2014 (Luxembourg), Lecture Notes in Computer Science volume 8829, pages 219-234, Springer, November 2014. [Author version on the CADP Web site] [Author version in HAL]
	GRL: a Specification Language for Globally Asynchronous Locally Synchronous Systems (Syntax and Formal Semantics) Fatma Jebali, Frédéric Lang and Radu Mateescu Inria Research Report number RR-8527, April 2014. Companion report of the ICFEM'2014 paper, containing the full syntax and semantics of the language GRL.
	Proceedings of the 19th International Workshop on Formal Methods for Industrial Critical Systems FMICS 2014 Frédéric Lang and Francesco Flammini (editors) Lecture Notes in Computer Science volume 8718, Springer, September 2014.
	Modélisation et validation formelle de systèmes globalement asynchrones et localement synchrones Fatma Jebali, Mouna Tka Mnad, Christophe Deleuze, Frédéric Lang, Radu Mateescu, and Ioannis Parissis In Actes de la conférence Approches Formelles dans l'Assistance au Développement de Logiciels AFADL'2014 (Paris, France), June 2014. [Author version in HAL]

2013

	Partial Model Checking Using Networks of Labelled Transition Systems and Boolean Equation Systems Frédéric Lang and Radu Mateescu In Logical Methods in Computer Science 9(4), October 2013. Extended version of TACAS'2012 paper. [Author version on the CADP Web site] [Author version in HAL]
	Formal Verification of Distributed Branching Multiway Synchronization Protocols Hugues Evrard and Frédéric Lang In Dirk Beyer and Michele Boreale (editors), Proceedings of the IFIP Joint International Conference on Formal Techniques for Distributed Systems FORTE/FMOODS'2013 (Florence, Italy), Lecture Notes in Computer Science volume 7892, pages 146-160, Springer, June 2013. [Author version on the CADP Web site] [Author version in HAL]
	Verification of EB3 Specifications Using CADP Dimitris Vekris, Frédéric Lang, Catalin Dima, and Radu Mateescu In Einar Broch Johnsen and Luigia Petre (editors), Proceedings of the 10th International Conference on integrated Formal Methods iFM'2013 (Turku, Finland), Lecture Notes in Computer Science volume 7940, pages 61-76, Springer, June 2013. [Author version on the CADP Web site] [Author version in HAL]
	Composition and Abstraction of Logical Regulatory Modules: Application to Multicellular Systems Nuno Mendes, Frédéric Lang, Yves-Stan Le Cornec, Radu Mateescu, Grégory Batt, and Claudine Chaouiya In Bioinformatics, 29(6): 749-757, Oxford University Press, March 2013. [Author version on the CADP Web site] [Author version in HAL]
	CADP 2011: A Toolbox for the Construction and Analysis of Distributed Processes Hubert Garavel, Frédéric Lang, Radu Mateescu, and Wendelin Serwe In International Journal on Software Tools for Technology Transfer STTT, 15(2):89-107, Springer, March 2013. [Author version on the CADP Web site] [Author version in HAL]

2012

	On Explicit Substitution with Names Kristoffer Rose, Roel Bloo, and Frédéric Lang In Journal of Automated Reasoning JAR, Maribel Fernández and Christian Urban (editors), Special Issue on Theory and Applications of Abstraction, Substitution and Naming, 49(2):275-300, Springer, July 2012. [Author version in HAL]
	Partial Model Checking Using Networks of Labelled Transition Systems and Boolean Equation Systems Frédéric Lang and Radu Mateescu In Cormac Flanagan and Barbara König (editors), Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS'2012 (Tallinn, Estonia), Lecture Notes in Computer Science volume 7214, pages 141-156, Springer, March 2012. [Author version on the CADP Web site] [Author version in HAL]
	CADP Tutorial (CADP : une boîte à outils pour la conception et l'analyse de systèmes distribés) Hubert Garavel, Frédéric Lang, Radu Mateescu, Gwen Salaün, and Wendelin Serwe In Actes des 11èmes Jourées Francophones sur les Approches Formelles dans l'Assistance au Développement de Logiciels AFADL'2012 (Grenoble, France), January 2012.

2011

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), Lecture Notes in Computer Science volume 6603, pages 111-126, Springer, March 2011.
[Author version on the CADP Web site] [Author version in HAL]

CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes
Hubert Garavel, Frédéric Lang, Radu Mateescu, and Wendelin Serwe
In Parosh Aziz Abdulla and K. Rustan M. Leino (editors), Proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS'2011 (Saarbrücken, Germany), Lecture Notes in Computer Science volume 6605, pages 372-387, Springer, March 2011.
[Author version on the CADP Web site] [Author version in HAL]

2010

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 Tiziana Margaria and Bernhard Steffen (editors), Proceedings of the 4th International Symposium On Leveraging Applications of Formal Methods ISOLA'2010 (Heraclion, Crete), Lecture Notes in Computer Science volume 6416, pages 128-142, Springer, October 2010.
[Author version on the CADP Web site] [Author version in HAL]

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, 22(6):681-711, Springer, November 2010.
[Author version on the CADP Web site] [Author version in HAL]

2009

	Partial Order Reductions Using Compositional Confluence Detection Frédéric Lang and Radu Mateescu In Ana Cavalcanti and Dennis Dams (editors), Proceedings of the 16th International Symposium on Formal Methods FM'2009 (Eindhoven, the Netherlands), Lecture Notes in Computer Science volume 5850, pages 157-172, Springer, November 2009. [Author version on the CADP Web site] [Author version in HAL]
	Présentation des 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, and François Vernadat In Actes de la conférence Neptune (Paris, France), May 2009. [Author version on the VASY Web site] [Author version in HAL]
	Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format Jan Stoecker, Frédéric Lang, and Hubert Garavel In Michael Leuschel and Heike Wehrheim (editors), Proceedings of the 7th International Conference on Integrated Formal Methods IFM'2009 (Düsseldorf, Germany), Lecture Notes in Computer Science volume 5423, pages 88-102, Springer, February 2009. [Author version on the VASY Web site] [Author version in HAL]

2008

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.
[Author version on the CADP Web site] [Author version in HAL]

2007

	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. [Author version in HAL]
	CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes Hubert Garavel, Frédéric Lang, Radu Mateescu, and Wendelin Serwe In Werner Damm and Holger Hermanns (editors), Proceedings of the 19th International Conference on Computer Aided Verification CAV'2007 (Berlin, Germany), Lecture Notes in Computer Science volume 4590, pages 158-163, Springer, July 2007. [Author version on the CADP Web site] [Author version in HAL]
	Translating FSP into LOTOS and Networks of Automata Gwen Salaün, Jeff Kramer, Frédéric Lang, and Jeff Magee In Jim Davies and Jeremy Gibbons (editors), Proceedings of the 6th International Conference on Integrated Formal Methods IFM'2007 (Oxford, United Kingdom), Lecture Notes in Computer Science volume 4591, pages 558-578, Springer, July 2007. [Author version on the CADP Web site] [Author version in HAL]
	Explaining the Lazy Krivine Machine Using Explicit Substitution and Addresses Frédéric Lang In Journal on Higher Order and Symbolic Computation HOSC, 20(3): 257-270, Kluwer, June 2007. [Author version in HAL]

2006

Refined Interfaces for Compositional Verification
Frédéric Lang
In Elie Najm, Jean-François Pradat-Peyre, and Véronique Donzeau-Gouge (editors), Proceedings of the 26th International Conference on Formal Methods for Networked and Distributed Systems FORTE'2006 (Paris, France), Lecture Notes in Computer Science volume 4229, pages 159-174, Springer, September 2006.
[Author version on the CADP Web site] [Author version in HAL]

2005

Exp.Open 2.0: A Flexible Tool Integrating Partial Order, Compositional, and On-the-fly Verification Methods
Frédéric Lang
In Judi Romijn, Graeme Smith, and Jaco van de Pol (editors) Proceedings of the 5th International Conference on Integrated Formal Methods IFM'2005 (Eindhoven, The Netherlands), Lecture Notes in Computer Science volume 3771, pages 70-88, Springer, November 2005.
[Author version on the CADP Web site] [Author version in HAL]

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), Electronic Notes on Theoretical Computer Science 127(5): 57-82, Elsevier, April 2005.
[Author version in HAL]

2003

Compositional Verification Using CADP of the ScalAgent Deployment Protocol for Software Components
Frédéric Tronel, Frédéric Lang, and Hubert Garavel
In Elie Najm, Uwe Nestmann, and Perdita Stevens (editors), Proceedings of the 6th International Conference on Formal Methods for Open Object-based Distributed Systems FMOODS'2003 (Paris, France), Lecture Notes in Computer Science volume 2884, pages 244-260, Springer, November 2003.
[Author version on the CADP Web site] [Author version in HAL]

Calculating Tau-Confluence Compositionally
Gordon Pace, Frédéric Lang, and Radu Mateescu
In Warren A. Hunt Jr. and Fabio Somenzi (editors), Proceedings of the 15th International Conference on Computer Aided Verification CAV'2003 (Boulder, Colorado, USA), Lecture Notes in Computer Science volume 2725, pages 446-459, Springer, July 2003.
[Author version on the CADP Web site] [Author version in HAL]

2002

	NTIF: A General Symbolic Model for Communicating Sequential Processes with Data Hubert Garavel and Frédéric Lang In Doron Peled and Moshe Y. Vardi (editors), Proceedings of the 22nd International Conference on Formal Techniques for Networked and Distributed Systems FORTE'2002 (Houston, Texas, USA), Lecture Notes in Computer Science volume 2529, pages 276-291, Springer, November 2002. [Author version on the CADP Web site] [Author version in HAL]
	Compositional Verification Using SVL Scripts Frédéric Lang In Joost-Pieter Katoen and Perdita Stevens (editors), Proceedings of the International Conference on Tools and Algorithms for Construction and Analysis of Systems TACAS'2002 (Grenoble, France), Lecture Notes in Computer Science volume 2280, pages 465-469, Springer, April 2002. [Author version on the CADP Web site]
	Compiler Construction Using LOTOS NT Hubert Garavel, Frédéric Lang, and Radu Mateescu In R. Nigel Horspool (editor), Proceedings of the 11th International Conference on Compiler Construction CC'2002 (Grenoble, France), Lecture Notes in Computer Science volume 2304, pages 9-13, Springer, April 2002. [Author version on the CADP Web site]
	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. [Author version on the CADP Web site]

2001

SVL: a Scripting Language for Compositional Verification
Hubert Garavel and Frédéric Lang
In Myungchul Kim, Byoungmoon Chin, Sungwon Kang, and Danhyung Lee (editors), Proceedings of the 21st International Conference on Formal Techniques for Networked and Distributed Systems FORTE'2001 (Cheju Island, Korea), IFIP Conference Proceedings volume 197, pages 377-394, Kluwer, August 2001.
[Author version on the CADP Web site] [Author version in HAL]

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.
[Author version in HAL]

2000

On Strong Normalisation of Explicit Substitution Calculi
Frédéric Lang and Pierre Lescanne
In Journal on Functional and Logic Programming JFLP, 2000(7), European Association for Programming Languages and Systems, 2000.
[Author version as LIP research report]

1999

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 Jeannette M. Wing, Jim Woodcock, and Jim Davies (editors), Proceedings of the 1st World Congress on Formal Methods in the Development of Computing Systems FM'1999 (Toulouse, France), Lecture Notes on Computer Science volume 1709, pages 963-982, Springer, September 1999.
[Author version as LIP research report]

1998

	Modèles de la beta-réduction pour les implantations Frédéric Lang Phd thesis of Ecole Normale Supérieure (ENS) de Lyon, December 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.

1994

Une machine à environnement avec partage, la UP-machine
Frédéric Lang
Master thesis of Université Henri Poincaré, Nancy 1, September 1994.

Last updated: 2024/06/04 09:55:00