Frederic Lang

58
Documents

Publications

Publications

Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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 Batt et al.

Bioinformatics, 2013, 29 (6), pp.749-757. ⟨10.1093/bioinformatics/btt033⟩

Article dans une revue hal-00785564v1
Deposit thumbnail

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
Deposit thumbnail

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

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
Deposit thumbnail

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
Deposit thumbnail

Explaining the lazy Krivine machine using explicit substitution and addresses

Frederic Lang

Higher-Order and Symbolic Computation, 2007

Article dans une revue inria-00198756v1
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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 Mateescu et 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
Deposit thumbnail

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
Deposit thumbnail

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 et 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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

Ten Years of Performance Evaluation for Concurrent Systems Using CADP

Nicolas Coste , Hubert Garavel , Holger Hermanns , Frédéric Lang , Radu Mateescu et 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
Deposit thumbnail

Présentation des résultats du projet OpenEmbeDD

Charles André , Mariano Belaunde , Bernard Berthomieu , Christian Brunette , Agusti Canals et al.

Neptune, May 2009, Paris, France

Communication dans un congrès inria-00381639v1
Deposit thumbnail

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
Deposit thumbnail

Fiacre: an Intermediate Language for Model Verification in the Topcased Environment

Bernard Berthomieu , Jean-Paul Bodeveix , Patrick Farail , M Filali , Hubert Garavel et 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
Deposit thumbnail

Automatic Interface Generation for Compositional Verification

Sandro Spina , Gordon Pace , Frederic Lang

CSAW, Nov 2007, Valletta, Malta

Communication dans un congrès inria-00357623v1
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

Refined Interfaces for Compositional Verification

Frederic Lang

[Research Report] RR-5996, INRIA. 2006, pp.22

Rapport (rapport de recherche) inria-00106312v2
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

Calculating tau-Confluence Compositionally

Gordon Pace , Frédéric Lang , Radu Mateescu

RR-4918, INRIA. 2003

Rapport inria-00071661v1
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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