
Frederic Lang
56
Documents
Publications
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-03869922
v1
|
|
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-03485114
v1
|
|
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-02555692
v1
|
|
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-02462085
v1
|
|
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-02890401
v1
|
|
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-01890246
v1
|
|
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-01551418
v1
|
|
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-01086522
v1
|
|
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-01007674
v1
|
|
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-01082348
v2
|
|
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-00818788
v1
|
|
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-00768310
v4
|
|
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-00684471
v1
|
|
Smart ReductionProceedings of Fundamental Approaches to Software Engineering (FASE'2011), Mar 2011, Saarbrucken, Germany. pp.111-126
Communication dans un congrès
inria-00572535
v1
|
|
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-00583776
v1
|
|
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-00532914
v1
|
|
Présentation des résultats du projet OpenEmbeDDNeptune, May 2009, Paris, France
Communication dans un congrès
inria-00381639
v1
|
|
Partial Order Reductions using Compositional Confluence Detection16th International Symposium on Formal Methods FM'2009, Nov 2009, Eindhoven, Netherlands
Communication dans un congrès
inria-00423583
v1
|
|
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-00262442
v1
|
|
Automatic Interface Generation for Compositional VerificationCSAW, Nov 2007, Valletta, Malta
Communication dans un congrès
inria-00357623
v1
|
|
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-00189021
v1
|
|
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-00198731
v1
|
|
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-01149607
v1
|
|
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-01152576
v1
|
|
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-01153772
v1
|
|
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-00764932
v1
|
|
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-00667288
v1
|
|
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-03920338
v1
|
|
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-01621670
v1
|
|
Formal Modeling and Verification of GALS Systems Using GRL and CADP2014
Pré-publication, Document de travail
hal-01082950
v1
|
Chargement...
Chargement...