Frederic Lang

Publications

Article dans une revue (12)

Compositional verification of priority systems using sharp bisimulation Luca Di Stefano,Frédéric Lang Formal Methods in System Design, 2024, 62, pp.1-40. ⟨10.1007/s10703-023-00422-1⟩ Article dans une revue hal-04103681v1
Compositional Verification of Concurrent Systems by Combining Bisimulations Frederic Lang,Radu Mateescu,Franco Mazzanti Formal Methods in System Design, 2021, ⟨10.1007/s10703-021-00360-w⟩ Article dans une revue hal-03159616v2
Compositional model checking with divergence preserving branching bisimilarity is lively Sander de Putter,Frédéric Lang,Anton Wijs Science of Computer Programming, 2020, 196, pp.102493. ⟨10.1016/j.scico.2020.102493⟩ Article dans une revue hal-02890800v1
Automatic Distributed Code Generation from Formal Models of Asynchronous Processes Interacting by Multiway Rendezvous Hugues Evrard,Frédéric Lang Journal of Logical and Algebraic Methods in Programming, 2017, 88, pp.33. ⟨10.1016/j.jlamp.2016.09.002⟩ Article dans une revue hal-01412911v1
Formal Modelling and Verification of GALS Systems Using GRL and CADP Fatma Jebali,Frédéric Lang,Radu Mateescu Formal Aspects of Computing, 2016, 28 (5), pp.767-804. ⟨10.1007/s00165-016-0373-3⟩ Article dans une revue hal-01290449v1
Compositional Verification of Asynchronous Concurrent Systems using CADP Hubert Garavel,Frédéric Lang,Radu Mateescu Acta Informatica, 2015, 52 (4), pp.56. ⟨10.1007/s00236-015-0226-1⟩ Article dans une revue hal-01247507v1
Partial Model Checking using Networks of Labelled Transition Systems and Boolean Equation Systems Frederic Lang,Radu Mateescu Logical Methods in Computer Science, 2013, 9 (4) Article dans une revue hal-00872181v1
CADP 2011: A Toolbox for the Construction and Analysis of Distributed Processes Hubert Garavel,Frédéric Lang,Radu Mateescu,Wendelin Serwe International Journal on Software Tools for Technology Transfer, 2013, 15 (2), pp.89-107. ⟨10.1007/s10009-012-0244-z⟩ Article dans une revue hal-00715056v1
Composition and abstraction of logical regulatory modules: application to multicellular systems Nuno D Mendes,Frédéric Lang,Yves-Stan Le Cornec,Radu Mateescu,Grégory Battet al. Bioinformatics, 2013, 29 (6), pp.749-757. ⟨10.1093/bioinformatics/btt033⟩ Article dans une revue hal-00785564v1
On Explicit Substitution with Names Kristoffer H. Rose,Roel Bloo,Frederic Lang Journal of Automated Reasoning, 2012, Special Issue: Theory and Applications of Abstraction, Substitution and Naming, 49 (2), pp.275-300. ⟨10.1007/s10817-011-9222-5⟩ Article dans une revue istex hal-00763399v1
Translating FSP into LOTOS and Networks of Automata Frédéric Lang,Gwen Salaün,Rémi Hérilier,Jeff Kramer,Jeff Magee Formal Aspects of Computing, 2010, 22, pp.681-711 Article dans une revue hal-00533808v1
Explaining the lazy Krivine machine using explicit substitution and addresses Frederic Lang Higher-Order and Symbolic Computation, 2007 Article dans une revue inria-00198756v1

Communication dans un congrès (27)

GIVUP: Automated Generation and Verification of Textual Process Descriptions Quentin Nivon,Gwen Salaün,Frédéric Lang FSE 2025 - 33rd ACM International Conference on the Foundations of Software Engineering, Jun 2025, Trondheim, Norway. pp.1-5, ⟨10.1145/3696630.3728593⟩ Communication dans un congrès hal-05131967v1
Blockchain as a Service for Electronic Health Records Suraj Gupta,Frédéric Lang,Umar Ozeer,Gwen Salaün ICDH 2025 - IEEE International Conference on Digital Health, Jul 2025, Helsinki, Finland. pp.91-101, ⟨10.1109/ICDH67620.2025.00022⟩ Communication dans un congrès hal-05393417v1
Compositional Verification of Stigmergic Collective Systems Luca Di Stefano,Frederic Lang VMCAI 2023 - 24th International Conference on Verification, Model Checking and Abstract Interpretation, Jan 2023, Boston, United States. pp.1-22, ⟨10.1007/978-3-031-24950-1_8⟩ Communication dans un congrès hal-03869922v1
Is CADP an Applicable Formal Method? Hubert Garavel,Frederic Lang,Radu Mateescu,Wendelin Serwe AppFM 2021 - 1st International Workshop on Applicable Formal Methods, Nov 2021, Bejing, China. ⟨10.48550/arXiv.2111.08203⟩ Communication dans un congrès hal-03485114v1
Using Model Checking to Identify Timing Interferences on Multicore Processors Viet Anh Nguyen,Eric Jenn,Wendelin Serwe,Frederic Lang,Radu Mateescu ERTS 2020 - 10th European Congress on Embedded Real Time Software and Systems, Jan 2020, Toulouse, France. pp.1-10 Communication dans un congrès hal-02462085v1
Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities Frédéric Lang,Radu Mateescu,Franco Mazzanti 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⟩ Communication dans un congrès hal-02555692v1
Combining SLiVER with CADP to Analyze Multi-agent Systems Luca Di Stefano,Frédéric Lang,Wendelin Serwe 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⟩ Communication dans un congrès hal-02890401v1
Compositional Verification in Action Hubert Garavel,Frédéric Lang,Laurent Mounier 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⟩ Communication dans un congrès hal-01890246v1
The ContextAct@A4H real-life dataset of daily-living activities Activity recognition using model checking Paula Lago,Frederic Lang,Claudia Roncancio,Claudia Jiménez-Guarín,Radu Mateescuet al. 10th International and Interdisciplinary Conference - CONTEXT 2017, Jun 2017, Paris, France. pp.175-188, ⟨10.1007/978-3-319-57837-8_14⟩ Communication dans un congrès hal-01551418v1
Automatic Distributed Code Generation from Formal Models of Asynchronous Concurrent Processes Hugues Evrard,Frédéric Lang 23rd Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP 2015), Mar 2015, Turku, Finland Communication dans un congrès hal-01086522v1
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 Mateescuet al. Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2014, Paris, France. pp.97--102 Communication dans un congrès hal-01007674v1
GRL: A Specification Language for Globally Asynchronous Locally Synchronous Systems Fatma Jebali,Frédéric Lang,Radu Mateescu 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⟩ Communication dans un congrès hal-01082348v2
Formal Verification of Distributed Branching Multiway Synchronization Protocols Hugues Evrard,Frédéric Lang 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 Communication dans un congrès hal-00818788v1
Verification of EB3 Specifications Using CADP Dimitris Vekris,Frédéric Lang,Catalin Dima,Radu Mateescu iFM 2013 - 10th International Conference on integrated Formal Methods, Jun 2013, Turku, Finland. ⟨10.1007/978-3-642-38613-8_5⟩ Communication dans un congrès hal-00768310v4
Partial Model Checking using Networks of Labelled Transition Systems and Boolean Equation Systems Frédéric Lang,Radu Mateescu Tools and Algorithms for the Construction and Analysis of Systems, Mar 2012, Tallinn, Estonia Communication dans un congrès hal-00684471v1
Smart Reduction Pepijn Crouzen,Frédéric Lang Proceedings of Fundamental Approaches to Software Engineering (FASE'2011), Mar 2011, Saarbrucken, Germany. pp.111-126 Communication dans un congrès inria-00572535v1
CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes Hubert Garavel,Frédéric Lang,Radu Mateescu,Wendelin Serwe Tools and Algorithms for the Construction and Analysis of Systems - TACAS 2011, Mar 2011, Saabrucken, Germany Communication dans un congrès inria-00583776v1
Ten Years of Performance Evaluation for Concurrent Systems Using CADP Nicolas Coste,Hubert Garavel,Holger Hermanns,Frédéric Lang,Radu Mateescuet al. 4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation ISoLA 2010, Oct 2010, Amirandes, Heraclion, Greece. pp.128-142 Communication dans un congrès inria-00532914v1
Présentation des résultats du projet OpenEmbeDD Charles André,Mariano Belaunde,Bernard Berthomieu,Christian Brunette,Agusti Canalset al. Neptune, May 2009, Paris, France Communication dans un congrès inria-00381639v1
Partial Order Reductions using Compositional Confluence Detection Frédéric Lang,Radu Mateescu 16th International Symposium on Formal Methods FM'2009, Nov 2009, Eindhoven, Netherlands Communication dans un congrès inria-00423583v1
Fiacre: an Intermediate Language for Model Verification in the Topcased Environment Bernard Berthomieu,Jean-Paul Bodeveix,Patrick Farail,M Filali,Hubert Garavelet al. 4th European Congress ERTS Embedded Real Time Software (ERTS 2008), SEE : Société de l'électricité, de l'électronique et des technologies de l'information et de la communication; 3AF : Association Aéronautique et Astronautique de France, Jan 2008, Toulouse, France. pp.1-8 Communication dans un congrès inria-00262442v1
Automatic Interface Generation for Compositional Verification Sandro Spina,Gordon Pace,Frederic Lang CSAW, Nov 2007, Valletta, Malta Communication dans un congrès inria-00357623v1
Translating FSP into LOTOS and Networks of Automata Gwen Salaun,Jeff Kramer,Frederic Lang,Jeff Magee 6th International Conference on Integrated Formal Methods IFM'2007, Jul 2007, Oxford, United Kingdom Communication dans un congrès inria-00198731v1
CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes Hubert Garavel,Frédéric Lang,Radu Mateescu,Wendelin Serwe Computer Aided Verification (CAV'2007), Jul 2007, Berlin, Germany. pp.158-163 Communication dans un congrès inria-00189021v1
Addressed Term Rewriting Systems: Syntax, Semantics, and Pragmatics [Extended Abstract] Dan Dougherty,Pierre Lescanne,Luigi Liquori,Frédéric Lang 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⟩ Communication dans un congrès hal-01149607v1
A Generic Object-Calculus Based on Addressed Term Rewriting Systems Daniel J. Dougherty,Frederic Lang,Pierre Lescanne,Luigi Liquori,Kristoffer Rose Proceedings of the Fourth Workshop on Explicit Substitutions Theory and Applications (WESTAPP '01), May 2001, Utrecht, Netherlands. pp.6-25 Communication dans un congrès hal-01152576v1
A framework for defining Object-Calculi [extended abstract] Frédéric Lang,Pierre Lescanne,Luigi Liquori 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⟩ Communication dans un congrès hal-01153772v1

Document associé à des manifestations scientifiques (2)

CADP: A Toolbox for the Construction and Analysis of Distributed Processes Hubert Garavel,Frédéric Lang,Radu Mateescu,Gwen Salaün,Wendelin Serwe FM - 18th International Symposium on Formal Methods - 2012, Aug 2012, Paris, France Document associé à des manifestations scientifiques hal-00764932v1
CADP : une boîte à outils pour la conception et l'analyse de systèmes distribués Hubert Garavel,Frédéric Lang,Radu Mateescu,Gwen Salaün,Wendelin Serwe Approches Formelles dans l'Assistance au Développement de Logiciels, Jan 2012, Grenoble, France. 2012 Document associé à des manifestations scientifiques hal-00667288v1

Ouvrages (1)

Formal Methods for Industrial Critical Systems Frédéric Lang,Francesco Flammini 2014 Ouvrages hal-01272604v1

Chapitre d'ouvrage (2)

Equivalence Checking 40 Years After: A Review of Bisimulation Tools Hubert Garavel,Frédéric Lang A Journey from Process Algebra via Timed Automata to Model Learning, 13560, Springer Nature Switzerland; Springer Nature Switzerland, pp.213-265, 2022, Lecture Notes in Computer Science, ⟨10.1007/978-3-031-15629-8_13⟩ Chapitre d'ouvrage hal-03920338v1
From LOTOS to LNT Hubert Garavel,Frédéric Lang,Wendelin Serwe 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⟩ Chapitre d'ouvrage hal-01621670v1

Pré-publication, Document de travail (1)

Formal Modeling and Verification of GALS Systems Using GRL and CADP Fatma Jebali,Frédéric Lang,Eric Léo,Radu Mateescu 2014 Pré-publication, Document de travail hal-01082950v1

Rapport (13)

Compositional Verification of Priority Systems using Sharp Bisimulation Luca Di Stefano,Frédéric Lang [Research Report] INRIA. 2022, pp.1-32 Rapport (rapport de recherche) hal-03640683v1
Compositional Verification of Asynchronous Concurrent Systems using CADP (extended version) Hubert Garavel,Frédéric Lang,Radu Mateescu [Research Report] RR-8708, INRIA Grenoble - Rhône-Alpes. 2015 Rapport (rapport de recherche) hal-01138749v1
GRL: A Specification Language for Globally Asynchronous Locally Synchronous Systems (Syntax and Formal Semantics) Fatma Jebali,Frédéric Lang,Radu Mateescu [Research Report] RR-8527, INRIA. 2014 Rapport (rapport de recherche) hal-00983711v3
Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format Jan Stöcker,Frederic Lang,Hubert Garavel [Research Report] RR-6950, INRIA. 2009, pp.27 Rapport (rapport de recherche) inria-00391024v1
Partial Order Reductions using Compositional Confluence Detection Frederic Lang,Radu Mateescu [Research Report] RR-7078, INRIA. 2009, pp.28 Rapport (rapport de recherche) inria-00428955v1
Refined Interfaces for Compositional Verification Frederic Lang [Research Report] RR-5996, INRIA. 2006, pp.22 Rapport (rapport de recherche) inria-00106312v2
Exp.Open 2.0: A Flexible Tool Integrating Partial Order, Compositional, and On-the-fly Verification Methods Frédéric Lang RR-5673, INRIA. 2005, pp.21 Rapport inria-00070339v1
Compositional Verification using CADP of the ScalAgent Deployment Protocol for Software Components Frédéric Tronel,Frédéric Lang,Hubert Garavel RR-5012, INRIA. 2003 Rapport inria-00071572v1
Calculating tau-Confluence Compositionally Gordon Pace,Frédéric Lang,Radu Mateescu RR-4918, INRIA. 2003 Rapport inria-00071661v1
NTIF: A General Symbolic Model for Communicating Sequential Processes with Data Hubert Garavel,Frédéric Lang [Research Report] RR-4666, INRIA. 2002 Rapport (rapport de recherche) inria-00071919v1
A Generic Object-Calculus Based on Addressed Term Rewriting Systems Dan Dougherty,Frédéric Lang,Pierre Lescanne,Luigi Liquori,Kristoffer Rose [Research Report] RR-4549, LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy; INRIA. 2002, pp.49 Rapport (rapport de recherche) inria-00072039v1
SVL : a Scripting Language for Compositional Verification Hubert Garavel,Frédéric Lang [Research Report] RR-4223, INRIA. 2001 Rapport (rapport de recherche) inria-00072396v1
An overview of CADP 2001 Hubert Garavel,Frédéric Lang,Radu Mateescu [Research Report] RT-0254, INRIA. 2001, pp.15 Rapport (rapport de recherche) inria-00069920v1