Frederic Lang
56
Documents
Publications
|
Compositional Verification of Stigmergic Collective SystemsVMCAI 2023 - 24th International Conference on Verification, Model Checking and Abstract Interpretation, Jan 2023, Boston, United States. pp.1-22
Conference papers
hal-03869922v1
|
|
Is CADP an Applicable Formal Method?AppFM 2021 - 1st International Workshop on Applicable Formal Methods, Nov 2021, Bejing, China. ⟨10.48550/arXiv.2111.08203⟩
Conference papers
hal-03485114v1
|
|
Using Model Checking to Identify Timing Interferences on Multicore ProcessorsERTS 2020 - 10th European Congress on Embedded Real Time Software and Systems, Jan 2020, Toulouse, France. pp.1-10
Conference papers
hal-02462085v1
|
|
Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong ModalitiesTACAS 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
|
|
Combining SLiVER with CADP to Analyze Multi-agent SystemsCOORDINATION 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
|
|
Compositional Verification in ActionFMICS 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
|
|
The ContextAct@A4H real-life dataset of daily-living activities Activity recognition using model checking10th 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
|
|
Automatic Distributed Code Generation from Formal Models of Asynchronous Concurrent Processes23rd Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP 2015), Mar 2015, Turku, Finland
Conference papers
hal-01086522v1
|
|
Modélisation et validation formelle de systèmes globalement asynchrones et localement synchronesApproches Formelles dans l'Assistance au Développement de Logiciels, Jun 2014, Paris, France. pp.97--102
Conference papers
hal-01007674v1
|
|
GRL: A Specification Language for Globally Asynchronous Locally Synchronous SystemsProceedings 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
|
|
Verification of EB3 Specifications Using CADPiFM 2013 - 10th International Conference on integrated Formal Methods, Jun 2013, Turku, Finland. ⟨10.1007/978-3-642-38613-8_5⟩
Conference papers
hal-00768310v4
|
|
Formal Verification of Distributed Branching Multiway Synchronization Protocols15th 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
|
|
Partial Model Checking using Networks of Labelled Transition Systems and Boolean Equation SystemsTools and Algorithms for the Construction and Analysis of Systems, Mar 2012, Tallinn, Estonia
Conference papers
hal-00684471v1
|
|
CADP 2010: A Toolbox for the Construction and Analysis of Distributed ProcessesTools and Algorithms for the Construction and Analysis of Systems - TACAS 2011, Mar 2011, Saabrucken, Germany
Conference papers
inria-00583776v1
|
|
Smart ReductionProceedings of Fundamental Approaches to Software Engineering (FASE'2011), Mar 2011, Saarbrucken, Germany. pp.111-126
Conference papers
inria-00572535v1
|
|
Ten Years of Performance Evaluation for Concurrent Systems Using CADP4th 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
|
|
Présentation des résultats du projet OpenEmbeDDNeptune, May 2009, Paris, France
Conference papers
inria-00381639v1
|
|
Partial Order Reductions using Compositional Confluence Detection16th International Symposium on Formal Methods FM'2009, Nov 2009, Eindhoven, Netherlands
Conference papers
inria-00423583v1
|
|
Fiacre: an Intermediate Language for Model Verification in the Topcased Environment4th 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
|
|
Translating FSP into LOTOS and Networks of Automata6th International Conference on Integrated Formal Methods IFM'2007, Jul 2007, Oxford, United Kingdom
Conference papers
inria-00198731v1
|
|
CADP 2006: A Toolbox for the Construction and Analysis of Distributed ProcessesComputer Aided Verification (CAV'2007), Jul 2007, Berlin, Germany. pp.158-163
Conference papers
inria-00189021v1
|
|
Automatic Interface Generation for Compositional VerificationCSAW, Nov 2007, Valletta, Malta
Conference papers
inria-00357623v1
|
|
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⟩
Conference papers
hal-01149607v1
|
|
A Generic Object-Calculus Based on Addressed Term Rewriting SystemsProceedings of the Fourth Workshop on Explicit Substitutions Theory and Applications (WESTAPP '01), May 2001, Utrecht, Netherlands. pp.6-25
Conference papers
hal-01152576v1
|
|
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⟩
Conference papers
hal-01153772v1
|
|
CADP: A Toolbox for the Construction and Analysis of Distributed ProcessesFM - 18th International Symposium on Formal Methods - 2012, Aug 2012, Paris, France
Documents associated with scientific events
hal-00764932v1
|
|
CADP : une boîte à outils pour la conception et l'analyse de systèmes distribuésApproches Formelles dans l'Assistance au Développement de Logiciels, Jan 2012, Grenoble, France. 2012
Documents associated with scientific events
hal-00667288v1
|
|
Equivalence Checking 40 Years After: A Review of Bisimulation ToolsA 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
|
|
From LOTOS to LNTJoost-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
|
|
Formal Modeling and Verification of GALS Systems Using GRL and CADP2014
Preprints, Working Papers, ...
hal-01082950v1
|