Access content directly

Frederic Lang

56
Documents

Publications

Image document

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⟩
Journal articles hal-04103681v1
Image document

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⟩
Journal articles hal-03159616v2
Image document

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⟩
Journal articles hal-02890800v1
Image document

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⟩
Journal articles hal-01412911v1
Image document

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⟩
Journal articles 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⟩
Journal articles hal-01247507v1
Image document

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
Bioinformatics, 2013, 29 (6), pp.749-757. ⟨10.1093/bioinformatics/btt033⟩
Journal articles hal-00785564v1
Image document

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⟩
Journal articles hal-00715056v1
Image document

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)
Journal articles 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⟩
Journal articles hal-00763399v1
Image document

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
Journal articles hal-00533808v1
Image document

Explaining the lazy Krivine machine using explicit substitution and addresses

Frederic Lang
Higher-Order and Symbolic Computation, 2007
Journal articles inria-00198756v1
Image document

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⟩
Conference papers hal-03869922v1
Image document

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⟩
Conference papers hal-03485114v1
Image document

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⟩
Conference papers hal-02890401v1
Image document

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
Conference papers hal-02462085v1
Image document

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⟩
Conference papers hal-02555692v1
Image document

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⟩
Conference papers hal-01890246v1
Image document

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
10th International and Interdisciplinary Conference - CONTEXT 2017, Jun 2017, Paris, France. pp.175-188, ⟨10.1007/978-3-319-57837-8_14⟩
Conference papers hal-01551418v1
Image document

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
Conference papers hal-01086522v1
Image document

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
Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2014, Paris, France. pp.97--102
Conference papers hal-01007674v1
Image document

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⟩
Conference papers hal-01082348v2
Image document

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
Conference papers hal-00818788v1
Image document

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⟩
Conference papers hal-00768310v4
Image document

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
Conference papers hal-00684471v1
Image document

Smart Reduction

Pepijn Crouzen , Frédéric Lang
Proceedings of Fundamental Approaches to Software Engineering (FASE'2011), Mar 2011, Saarbrucken, Germany. pp.111-126
Conference papers inria-00572535v1
Image document

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
Conference papers inria-00583776v1
Image document

Ten Years of Performance Evaluation for Concurrent Systems Using CADP

Nicolas Coste , Hubert Garavel , Holger Hermanns , Frédéric Lang , Radu Mateescu
4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation ISoLA 2010, Oct 2010, Amirandes, Heraclion, Greece. pp.128-142
Conference papers inria-00532914v1
Image document

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
Conference papers inria-00423583v1
Image document

Présentation des résultats du projet OpenEmbeDD

Charles André , Mariano Belaunde , Bernard Berthomieu , Christian Brunette , Agusti Canals
Neptune, May 2009, Paris, France
Conference papers inria-00381639v1
Image document

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

Bernard Berthomieu , Jean-Paul Bodeveix , Patrick Farail , M Filali , Hubert Garavel
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
Conference papers inria-00262442v1
Image document

Automatic Interface Generation for Compositional Verification

Sandro Spina , Gordon Pace , Frederic Lang
CSAW, Nov 2007, Valletta, Malta
Conference papers inria-00357623v1
Image document

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
Conference papers inria-00189021v1
Image document

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
Conference papers inria-00198731v1
Image document

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⟩
Conference papers hal-01149607v1
Image document

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
Conference papers hal-01152576v1
Image document

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⟩
Conference papers hal-01153772v1
Image document

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
Documents associated with scientific events hal-00667288v1
Image document

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
Documents associated with scientific events hal-00764932v1
Image document

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⟩
Book sections hal-03920338v1
Image document

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⟩
Book sections hal-01621670v1
Image document

Compositional Verification of Priority Systems using Sharp Bisimulation

Luca Di Stefano , Frédéric Lang
[Research Report] INRIA. 2022, pp.1-32
Reports hal-03640683v1
Image document

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
Reports hal-01138749v1
Image document

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
Reports hal-00983711v3
Image document

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
Reports inria-00391024v1
Image document

Partial Order Reductions using Compositional Confluence Detection

Frederic Lang , Radu Mateescu
[Research Report] RR-7078, INRIA. 2009, pp.28
Reports inria-00428955v1
Image document

Refined Interfaces for Compositional Verification

Frederic Lang
[Research Report] RR-5996, INRIA. 2006, pp.22
Reports inria-00106312v2
Image document

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
Reports inria-00070339v1
Image document

Calculating tau-Confluence Compositionally

Gordon Pace , Frédéric Lang , Radu Mateescu
RR-4918, INRIA. 2003
Reports inria-00071661v1
Image document

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
Reports inria-00071572v1
Image document

NTIF: A General Symbolic Model for Communicating Sequential Processes with Data

Hubert Garavel , Frédéric Lang
[Research Report] RR-4666, INRIA. 2002
Reports inria-00071919v1
Image document

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
Reports inria-00072039v1
Image document

SVL : a Scripting Language for Compositional Verification

Hubert Garavel , Frédéric Lang
[Research Report] RR-4223, INRIA. 2001
Reports inria-00072396v1
Image document

An overview of CADP 2001

Hubert Garavel , Frédéric Lang , Radu Mateescu
[Research Report] RT-0254, INRIA. 2001, pp.15
Reports inria-00069920v1