Publications of Frédéric Lang

Frederic Lang, Radu Mateescu, Franco Mazzanti. Compositional Verification of Concurrent Systems by Combining Bisimulations. Formal Methods in System Design, Springer Verlag, 2021. ⟨hal-03159616⟩

Sander de Putter, Frédéric Lang, Anton Wijs. Compositional model checking with divergence preserving branching bisimilarity is lively. Science of Computer Programming, Elsevier, 2020, 196, pp.102493. ⟨10.1016/j.scico.2020.102493⟩. ⟨hal-02890800⟩

Hugues Evrard, Frédéric Lang. Automatic Distributed Code Generation from Formal Models of Asynchronous Processes Interacting by Multiway Rendezvous. Journal of Logical and Algebraic Methods in Programming, Elsevier, 2017, 88, pp.33. ⟨10.1016/j.jlamp.2016.09.002⟩. ⟨hal-01412911⟩

Fatma Jebali, Frédéric Lang, Radu Mateescu. Formal Modelling and Verification of GALS Systems Using GRL and CADP. Formal Aspects of Computing, Springer Verlag, 2016, 28 (5), pp.767-804. ⟨10.1007/s00165-016-0373-3⟩. ⟨hal-01290449⟩

Hubert Garavel, Frédéric Lang, Radu Mateescu. Compositional Verification of Asynchronous Concurrent Systems using CADP. Acta Informatica, Springer Verlag, 2015, 52 (4), pp.56. ⟨10.1007/s00236-015-0226-1⟩. ⟨hal-01247507⟩

Nuno D Mendes, Frédéric Lang, Yves-Stan Le Cornec, Radu Mateescu, Grégory Batt, et al.. Composition and abstraction of logical regulatory modules: application to multicellular systems. Bioinformatics, Oxford University Press (OUP), 2013, 29 (6), pp.749-757. ⟨10.1093/bioinformatics/btt033⟩. ⟨hal-00785564⟩

Hubert Garavel, Frédéric Lang, Radu Mateescu, Wendelin Serwe. CADP 2011: A Toolbox for the Construction and Analysis of Distributed Processes. International Journal on Software Tools for Technology Transfer, Springer Verlag, 2013, 15 (2), pp.89-107. ⟨10.1007/s10009-012-0244-z⟩. ⟨hal-00715056⟩

Frederic Lang, Radu Mateescu. Partial Model Checking using Networks of Labelled Transition Systems and Boolean Equation Systems. Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2013, 9 (4). ⟨hal-00872181⟩

Kristoffer H. Rose, Roel Bloo, Frederic Lang. On Explicit Substitution with Names. Journal of Automated Reasoning, Springer Verlag, 2012, Special Issue: Theory and Applications of Abstraction, Substitution and Naming, 49 (2), pp.275-300. ⟨10.1007/s10817-011-9222-5⟩. ⟨hal-00763399⟩

Frédéric Lang, Gwen Salaün, Rémi Hérilier, Jeff Kramer, Jeff Magee. Translating FSP into LOTOS and Networks of Automata. Formal Aspects of Computing, Springer Verlag, 2010, 22, pp.681-711. ⟨hal-00533808⟩

Frederic Lang. Explaining the lazy Krivine machine using explicit substitution and addresses. Higher-Order and Symbolic Computation, Springer Verlag, 2007. ⟨inria-00198756⟩

Frédéric Lang, Radu Mateescu, Franco Mazzanti. Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities. TACAS 2020 - Tools and Algorithms for the Construction and Analysis of Systems, Apr 2020, Dublin, Ireland. pp.57-76, ⟨10.1007/978-3-030-45237-7_4⟩. ⟨hal-02555692⟩

Viet Anh Nguyen, Eric Jenn, Wendelin Serwe, Frederic Lang, Radu Mateescu. Using Model Checking to Identify Timing Interferences on Multicore Processors. ERTS 2020 - 10th European Congress on Embedded Real Time Software and Systems, Jan 2020, Toulouse, France. pp.1-10. ⟨hal-02462085⟩

Luca Di Stefano, Frédéric Lang, Wendelin Serwe. Combining SLiVER with CADP to Analyze Multi-agent Systems. COORDINATION 2020 - 22nd IFIP WG 6.1 International Conference on Coordination Models and Languages, Jun 2020, La Valetta, Malta. pp.370-385, ⟨10.1007/978-3-030-50029-0_23⟩. ⟨hal-02890401⟩

Hubert Garavel, Frédéric Lang, Laurent Mounier. Compositional Verification in Action. FMICS 2018 - 23rd International Conference on Formal Methods for Industrial Critical Systems, Sep 2018, Maynooth, Ireland. pp.189-210, ⟨10.1007/978-3-030-00244-2_13⟩. ⟨hal-01890246⟩

Paula Lago, Frederic Lang, Claudia Roncancio, Claudia Jiménez-Guarín, Radu Mateescu, et al.. The ContextAct@A4H real-life dataset of daily-living activities Activity recognition using model checking. 10th International and Interdisciplinary Conference - CONTEXT 2017, Jun 2017, Paris, France. pp.175-188, ⟨10.1007/978-3-319-57837-8_14⟩. ⟨hal-01551418⟩

Hugues Evrard, Frédéric Lang. Automatic Distributed Code Generation from Formal Models of Asynchronous Concurrent Processes. 23rd Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP 2015), Mar 2015, Turku, Finland. ⟨hal-01086522⟩

Fatma Jebali, Mouna Tka Mnad, Christophe Deleuze, Frédéric Lang, Radu Mateescu, et al.. Modélisation et validation formelle de systèmes globalement asynchrones et localement synchrones. Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2014, Paris, France. pp.97--102. ⟨hal-01007674⟩

Fatma Jebali, Frédéric Lang, Radu Mateescu. GRL: A Specification Language for Globally Asynchronous Locally Synchronous Systems. Proceedings of the 16th International Conference on Formal Engineering Methods (ICFEM’14), Nov 2014, Luxembourg, Luxembourg. pp.219-234, ⟨10.1007/978-3-319-11737-9_15⟩. ⟨hal-01082348⟩

Hugues Evrard, Frédéric Lang. Formal Verification of Distributed Branching Multiway Synchronization Protocols. 15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2013, Florence, Italy. pp.146-160. ⟨hal-00818788⟩

Dimitris Vekris, Frédéric Lang, Catalin Dima, Radu Mateescu. Verification of EB3 Specifications Using CADP. iFM 2013 - 10th International Conference on integrated Formal Methods, Jun 2013, Turku, Finland. ⟨10.1007/978-3-642-38613-8_5⟩. ⟨hal-00768310v4⟩

Frédéric Lang, Radu Mateescu. Partial Model Checking using Networks of Labelled Transition Systems and Boolean Equation Systems. Tools and Algorithms for the Construction and Analysis of Systems, Mar 2012, Tallinn, Estonia. ⟨hal-00684471⟩

Pepijn Crouzen, Frédéric Lang. Smart Reduction. Proceedings of Fundamental Approaches to Software Engineering (FASE'2011), Mar 2011, Saarbrucken, Germany. pp.111-126. ⟨inria-00572535⟩

Hubert Garavel, Frédéric Lang, Radu Mateescu, Wendelin Serwe. CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes. Tools and Algorithms for the Construction and Analysis of Systems - TACAS 2011, Mar 2011, Saabrucken, Germany. ⟨inria-00583776⟩

Nicolas Coste, Hubert Garavel, Holger Hermanns, Frédéric Lang, Radu Mateescu, et al.. Ten Years of Performance Evaluation for Concurrent Systems Using CADP. 4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation ISoLA 2010, Oct 2010, Amirandes, Heraclion, Greece. pp.128-142. ⟨inria-00532914⟩

Charles André, Mariano Belaunde, Bernard Berthomieu, Christian Brunette, Agusti Canals, et al.. Présentation des résultats du projet OpenEmbeDD. Neptune, May 2009, Paris, France. ⟨inria-00381639⟩

Frédéric Lang, Radu Mateescu. Partial Order Reductions using Compositional Confluence Detection. 16th International Symposium on Formal Methods FM'2009, Nov 2009, Eindhoven, Netherlands. ⟨inria-00423583⟩

Bernard Berthomieu, Jean-Paul Bodeveix, Patrick Farail, M Filali, Hubert Garavel, et al.. Fiacre: an Intermediate Language for Model Verification in the Topcased Environment. 4th European Congress ERTS Embedded Real Time Software (ERTS 2008), Jan 2008, Toulouse, France. 8p. ⟨inria-00262442⟩

Sandro Spina, Gordon Pace, Frederic Lang. Automatic Interface Generation for Compositional Verification. CSAW, Nov 2007, Valletta, Malta. ⟨inria-00357623⟩

Hubert Garavel, Frédéric Lang, Radu Mateescu, Wendelin Serwe. CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes. Computer Aided Verification (CAV'2007), Jul 2007, Berlin, Germany. pp.158-163. ⟨inria-00189021⟩

Gwen Salaun, Jeff Kramer, Frederic Lang, Jeff Magee. Translating FSP into LOTOS and Networks of Automata. 6th International Conference on Integrated Formal Methods IFM'2007, Jul 2007, Oxford, United Kingdom. ⟨inria-00198731⟩

Dan Dougherty, Pierre Lescanne, Luigi Liquori, Frédéric Lang. Addressed Term Rewriting Systems: Syntax, Semantics, and Pragmatics [Extended Abstract]. Proceedings of the 2nd International Workshop on Term Graph Rewriting (TERMGRAPH 2004), Oct 2004, Rome, Italy. pp.57-82, ⟨10.1016/j.entcs.2004.12.042⟩. ⟨hal-01149607⟩

Daniel J. Dougherty, Frederic Lang, Pierre Lescanne, Luigi Liquori, Kristoffer Rose. A Generic Object-Calculus Based on Addressed Term Rewriting Systems. Proceedings of the Fourth Workshop on Explicit Substitutions Theory and Applications (WESTAPP '01), May 2001, Utrecht, Netherlands. pp.6-25. ⟨hal-01152576⟩

Frédéric Lang, Pierre Lescanne, Luigi Liquori. A framework for defining Object-Calculi [extended abstract]. FM’99 — Formal Methods World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume II, Sep 1999, Toulouse, France. pp.963-982, ⟨10.1007/3-540-48118-4⟩. ⟨hal-01153772⟩

Hubert Garavel, Frédéric Lang, Radu Mateescu, Gwen Salaün, Wendelin Serwe. CADP: A Toolbox for the Construction and Analysis of Distributed Processes. FM - 18th International Symposium on Formal Methods - 2012, Aug 2012, Paris, France. ⟨hal-00764932⟩

Hubert Garavel, Frédéric Lang, Radu Mateescu, Gwen Salaün, Wendelin Serwe. CADP : une boîte à outils pour la conception et l'analyse de systèmes distribués. Approches Formelles dans l'Assistance au Développement de Logiciels, Jan 2012, Grenoble, France. 2012. ⟨hal-00667288⟩

Hubert Garavel, Frédéric Lang, Wendelin Serwe. From LOTOS to LNT. Joost-Pieter Katoen; Rom Langerak; Arend Rensink. ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday, 10500, Springer, pp.3-26, 2017, Lecture Notes in Computer Science, 978-3-319-68270-9. ⟨10.1007/978-3-319-68270-9_1⟩. ⟨hal-01621670⟩

Frédéric Lang, Francesco Flammini. Preface to the Special issue on Formal Methods for Industrial Critical Systems (FMICS'2014). France. Science of Computer Programming, 118, Elsevier, pp.1-2, 2016, Special Issue on Formal Methods for Industrial Critical Systems (FMICS'2014), ⟨10.1016/j.scico.2016.01.004⟩. ⟨hal-01271895⟩

Frédéric Lang, Francesco Flammini. Formal Methods for Industrial Critical Systems: Proceedings of the 19th International Conference on Formal Methods for Industrial Critical Systems. France. 2014. ⟨hal-01272604⟩

Fatma Jebali, Frédéric Lang, Eric Léo, Radu Mateescu. Formal Modeling and Verification of GALS Systems Using GRL and CADP. 2014. ⟨hal-01082950⟩

Hubert Garavel, Frédéric Lang, Radu Mateescu. Compositional Verification of Asynchronous Concurrent Systems using CADP (extended version). [Research Report] RR-8708, INRIA Grenoble - Rhône-Alpes. 2015. ⟨hal-01138749⟩

Fatma Jebali, Frédéric Lang, Radu Mateescu. GRL: A Specification Language for Globally Asynchronous Locally Synchronous Systems (Syntax and Formal Semantics). [Research Report] RR-8527, INRIA. 2014. ⟨hal-00983711v3⟩

Frederic Lang, Radu Mateescu. Partial Order Reductions using Compositional Confluence Detection. [Research Report] RR-7078, INRIA. 2009, pp.28. ⟨inria-00428955⟩

Jan Stöcker, Frederic Lang, Hubert Garavel. Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format. [Research Report] RR-6950, INRIA. 2009, pp.27. ⟨inria-00391024⟩

Frederic Lang. Refined Interfaces for Compositional Verification. [Research Report] RR-5996, INRIA. 2006, pp.22. ⟨inria-00106312v2⟩

Frédéric Lang. Exp.Open 2.0: A Flexible Tool Integrating Partial Order, Compositional, and On-the-fly Verification Methods. RR-5673, INRIA. 2005, pp.21. ⟨inria-00070339⟩

Frédéric Tronel, Frédéric Lang, Hubert Garavel. Compositional Verification using CADP of the ScalAgent Deployment Protocol for Software Components. RR-5012, INRIA. 2003. ⟨inria-00071572⟩

Gordon Pace, Frédéric Lang, Radu Mateescu. Calculating tau-Confluence Compositionally. RR-4918, INRIA. 2003. ⟨inria-00071661⟩

Hubert Garavel, Frédéric Lang. NTIF: A General Symbolic Model for Communicating Sequential Processes with Data. [Research Report] RR-4666, INRIA. 2002. ⟨inria-00071919⟩

Dan Dougherty, Frédéric Lang, Pierre Lescanne, Luigi Liquori, Kristoffer Rose. A Generic Object-Calculus Based on Addressed Term Rewriting Systems. [Research Report] RR-4549, LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy; INRIA. 2002, pp.49. ⟨inria-00072039⟩

Hubert Garavel, Frédéric Lang. SVL : a Scripting Language for Compositional Verification. [Research Report] RR-4223, INRIA. 2001. ⟨inria-00072396⟩

Hubert Garavel, Frédéric Lang, Radu Mateescu. An overview of CADP 2001. [Research Report] RT-0254, INRIA. 2001, pp.15. ⟨inria-00069920⟩