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, ⟨10.1007/978-3-031-24950-1_8⟩
Communication dans un congrès
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⟩
Communication dans un congrès
hal-03485114v1
|
|
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⟩
Communication dans un congrès
hal-02890401v1
|
|
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
Communication dans un congrès
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⟩
Communication dans un congrès
hal-02555692v1
|
|
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⟩
Communication dans un congrès
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⟩
Communication dans un congrès
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
Communication dans un congrès
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
Communication dans un congrès
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⟩
Communication dans un congrès
hal-01082348v2
|
|
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
Communication dans un congrès
hal-00818788v1
|
|
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⟩
Communication dans un congrès
hal-00768310v4
|
|
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
Communication dans un congrès
hal-00684471v1
|
|
Smart ReductionProceedings 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 ProcessesTools 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 CADP4th 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 OpenEmbeDDNeptune, May 2009, Paris, France
Communication dans un congrès
inria-00381639v1
|
|
Partial Order Reductions using Compositional Confluence Detection16th 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 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
Communication dans un congrès
inria-00262442v1
|
|
Automatic Interface Generation for Compositional VerificationCSAW, Nov 2007, Valletta, Malta
Communication dans un congrès
inria-00357623v1
|
|
CADP 2006: A Toolbox for the Construction and Analysis of Distributed ProcessesComputer Aided Verification (CAV'2007), Jul 2007, Berlin, Germany. pp.158-163
Communication dans un congrès
inria-00189021v1
|
|
Translating FSP into LOTOS and Networks of Automata6th International Conference on Integrated Formal Methods IFM'2007, Jul 2007, Oxford, United Kingdom
Communication dans un congrès
inria-00198731v1
|
|
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⟩
Communication dans un congrès
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
Communication dans un congrès
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⟩
Communication dans un congrès
hal-01153772v1
|
|
CADP: A Toolbox for the Construction and Analysis of Distributed ProcessesFM - 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ésApproches Formelles dans l'Assistance au Développement de Logiciels, Jan 2012, Grenoble, France. 2012
Document associé à des manifestations scientifiques
hal-00667288v1
|
Formal Methods for Industrial Critical Systems2014
Ouvrages
hal-01272604v1
|
|
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⟩
Chapitre d'ouvrage
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⟩
Chapitre d'ouvrage
hal-01621670v1
|
|
Formal Modeling and Verification of GALS Systems Using GRL and CADP2014
Pré-publication, Document de travail
hal-01082950v1
|