Nombre de documents

46

Publications de Frédéric Lang


Article dans une revue9 documents

Communication dans un congrès19 documents

  • Paula Lago, Frederic Lang, Claudia Roncancio, Claudia Jiménez-Guarín, Radu Mateescu, et al.. The ContextAct@A4H real-life dataset of daily-living activities Activity recognition using model checking. Patrick Brézillon; Roy Turner; Carlo Penco. 10th International and Interdisciplinary Conference - CONTEXT 2017, Jun 2017, Paris, France. Springer Verlag, Modeling and Using Context, 10257, pp.175-188, 2017, Lecture Notes in Computer Science. 〈http://context17.lip6.fr/〉. 〈10.1007/978-3-319-57837-8_14〉. 〈hal-01551418〉
  • Hugues Evrard, Frédéric Lang. Automatic Distributed Code Generation from Formal Models of Asynchronous Concurrent Processes. 23rd Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP 2015), Mar 2015, Turku, Finland. 2015, 〈http://www.pdp2015.org〉. 〈hal-01086522〉
  • Fatma Jebali, Mouna Tka Mnad, Christophe Deleuze, Frédéric Lang, Radu Mateescu, et al.. Modélisation et validation formelle de systèmes globalement asynchrones et localement synchrones. Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2014, Paris, France. pp.97--102, 2014. 〈hal-01007674〉
  • Fatma Jebali, Frédéric Lang, Radu Mateescu. GRL: A Specification Language for Globally Asynchronous Locally Synchronous Systems. Stephan Merz; Jun Pang. Proceedings of the 16th International Conference on Formal Engineering Methods (ICFEM’14), Nov 2014, Luxembourg, Luxembourg. Springer, 8829, pp.219-234, 2014, Lecture Notes in Computer Science. 〈http://link.springer.com/book/10.1007/978-3-319-11737-9〉. 〈10.1007/978-3-319-11737-9_15〉. 〈hal-01082348〉
  • Hugues Evrard, Frédéric Lang. Formal Verification of Distributed Branching Multiway Synchronization Protocols. Dirk Beyer; Michele Boreale. 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. Springer, Lecture Notes in Computer Science, LNCS-7892, pp.146-160, 2013, Formal Techniques for Distributed Systems. 〈hal-00818788〉
  • Dimitris Vekris, Frédéric Lang, Catalin Dima, Radu Mateescu. Translating EB3 to LNT for verification with CADP. iFM - 10th International Conference on integrated Formal Methods - 2013, Jun 2013, Turku, Finland. 2013. 〈hal-00768310v4〉
  • Frédéric Lang, Radu Mateescu. Partial Model Checking using Networks of Labelled Transition Systems and Boolean Equation Systems. Cormac Flanagan and Barbara König. Tools and Algorithms for the Construction and Analysis of Systems, Mar 2012, Tallinn, Estonia. Springer, 2012. 〈hal-00684471〉
  • Pepijn Crouzen, Frédéric Lang. Smart Reduction. Dimitra Giannakopoulou and Fernando Orejas. Proceedings of Fundamental Approaches to Software Engineering (FASE'2011), Mar 2011, Saarbrucken, Germany. Springer Verlag, 6603, pp.111-126, 2011, Lecture Notes in Computer Science. 〈inria-00572535〉
  • Hubert Garavel, Frédéric Lang, Radu Mateescu, Wendelin Serwe. CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes. Tools and Algorithms for the Construction and Analysis of Systems - TACAS 2011, Mar 2011, Saabrucken, Germany. 2011. 〈inria-00583776〉
  • Nicolas Coste, Hubert Garavel, Holger Hermanns, Frédéric Lang, Radu Mateescu, et al.. Ten Years of Performance Evaluation for Concurrent Systems Using CADP. Tiziana Margaria and Bernhard Steffen. 4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation ISoLA 2010, Oct 2010, Amirandes, Heraclion, Greece. 6416, pp.128-142, 2010. 〈inria-00532914〉
  • Frédéric Lang, Radu Mateescu. Partial Order Reductions using Compositional Confluence Detection. 16th International Symposium on Formal Methods FM'2009, Nov 2009, Eindhoven, Netherlands. 2009. 〈inria-00423583〉
  • Charles André, Mariano Belaunde, Bernard Berthomieu, Christian Brunette, Agusti Canals, et al.. Présentation des résultats du projet OpenEmbeDD. Pierre Bazex and Agusti Canals and Thierry Millan. Neptune, May 2009, Paris, France. Revue Génie Logiciel - AFCET, 2009. 〈inria-00381639〉
  • Bernard Berthomieu, Jean-Paul Bodeveix, Patrick Farail, Mamoun Filali, Hubert Garavel, et al.. Fiacre: an Intermediate Language for Model Verification in the Topcased Environment. ERTS 2008, Jan 2008, Toulouse, France. 2008. 〈inria-00262442〉
  • Hubert Garavel, Frédéric Lang, Radu Mateescu, Wendelin Serwe. CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes. Werner Damm and Holger Hermanns. Computer Aided Verification (CAV'2007), Jul 2007, Berlin, Germany. 4590, pp.158-163, 2007, Lecture Notes in Computer Science. 〈inria-00189021〉
  • Sandro Spina, Gordon Pace, Frederic Lang. Automatic Interface Generation for Compositional Verification. CSAW, Nov 2007, Valletta, Malta. 2007. 〈inria-00357623〉
  • Gwen Salaun, Jeff Kramer, Frederic Lang, Jeff Magee. Translating FSP into LOTOS and Networks of Automata. 6th International Conference on Integrated Formal Methods IFM'2007, Jul 2007, Oxford, United Kingdom. 2007. 〈inria-00198731〉
  • Dan Dougherty, Pierre Lescanne, Luigi Liquori, Frédéric Lang. Addressed Term Rewriting Systems: Syntax, Semantics, and Pragmatics [Extended Abstract]. Elsevier. Proceedings of the 2nd International Workshop on Term Graph Rewriting (TERMGRAPH 2004), Oct 2004, Rome, Italy. Elsevier, Electronic Notes in Theoretical Computer Science, 127 (Issue 5), pp.57-82, 2005, 〈10.1016/j.entcs.2004.12.042〉. 〈hal-01149607〉
  • Daniel J. Dougherty, Frederic Lang, Pierre Lescanne, Luigi Liquori, Kristoffer Rose. A Generic Object-Calculus Based on Addressed Term Rewriting Systems. Proceedings of the Fourth Workshop on Explicit Substitutions Theory and Applications (WESTAPP '01), May 2001, Utrecht, Netherlands. University of Utrecht, Institute of Philosophy, Logic Group Preprint series, pp.6-25, Logic Group Preprint series. 〈hal-01152576〉
  • Frédéric Lang, Pierre Lescanne, Luigi Liquori. A framework for defining Object-Calculi [extended abstract]. Jeannette M. Wing and Jim Woodcock and Jim Davies. 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. Springer Verlag, 1709, pp.963-982, 1999, Lecture Notes in Computer Science. 〈10.1007/3-540-48118-4〉. 〈hal-01153772〉

Document associé à des manifestations scientifiques2 documents

  • Hubert Garavel, Frédéric Lang, Radu Mateescu, Gwen Salaün, Wendelin Serwe. CADP: A Toolbox for the Construction and Analysis of Distributed Processes. FM - 18th International Symposium on Formal Methods - 2012, Aug 2012, Paris, France. 〈hal-00764932〉
  • Hubert Garavel, Frédéric Lang, Radu Mateescu, Gwen Salaün, Wendelin Serwe. CADP : une boîte à outils pour la conception et l'analyse de systèmes distribués. Approches Formelles dans l'Assistance au Développement de Logiciels, Jan 2012, Grenoble, France. 2012. 〈hal-00667288〉

Chapitre d'ouvrage1 document

  • Hubert Garavel, Frédéric Lang, Wendelin Serwe. From LOTOS to LNT. 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, 〈10.1007/978-3-319-68270-9_1〉. 〈hal-01621670〉

Direction d'ouvrage, Proceedings, Dossier2 documents

  • Frédéric Lang, Francesco Flammini. Preface to the Special issue on Formal Methods for Industrial Critical Systems (FMICS'2014). France. 118, Elsevier, 2016, Special Issue on Formal Methods for Industrial Critical Systems (FMICS'2014), 〈10.1016/j.scico.2016.01.004〉. 〈hal-01271895〉
  • Frédéric Lang, Francesco Flammini. Formal Methods for Industrial Critical Systems: Proceedings of the 19th International Conference on Formal Methods for Industrial Critical Systems. France. 2014. 〈hal-01272604〉

Pré-publication, Document de travail1 document

  • Fatma Jebali, Frédéric Lang, Eric Léo, Radu Mateescu. Formal Modeling and Verification of GALS Systems Using GRL and CADP. 2014. 〈hal-01082950〉

Rapport12 documents

  • Hubert Garavel, Frédéric Lang, Radu Mateescu. Compositional Verification of Asynchronous Concurrent Systems using CADP (extended version). [Research Report] RR-8708, INRIA Grenoble - Rhône-Alpes. 2015. 〈hal-01138749〉
  • Fatma Jebali, Frédéric Lang, Radu Mateescu. GRL: A Specification Language for Globally Asynchronous Locally Synchronous Systems (Syntax and Formal Semantics). [Research Report] RR-8527, INRIA. 2014. 〈hal-00983711v3〉
  • Jan Stöcker, Frederic Lang, Hubert Garavel. Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format. [Research Report] RR-6950, INRIA. 2009, pp.27. 〈inria-00391024〉
  • Frederic Lang, Radu Mateescu. Partial Order Reductions using Compositional Confluence Detection. [Research Report] RR-7078, INRIA. 2009, pp.28. 〈inria-00428955〉
  • Frederic Lang. Refined Interfaces for Compositional Verification. [Research Report] RR-5996, INRIA. 2006, pp.22. 〈inria-00106312v2〉
  • Frédéric Lang. Exp.Open 2.0: A Flexible Tool Integrating Partial Order, Compositional, and On-the-fly Verification Methods. RR-5673, INRIA. 2005, pp.21. 〈inria-00070339〉
  • Frédéric Tronel, Frédéric Lang, Hubert Garavel. Compositional Verification using CADP of the ScalAgent Deployment Protocol for Software Components. RR-5012, INRIA. 2003. 〈inria-00071572〉
  • Gordon Pace, Frédéric Lang, Radu Mateescu. Calculating tau-Confluence Compositionally. RR-4918, INRIA. 2003. 〈inria-00071661〉
  • Hubert Garavel, Frédéric Lang. NTIF: A General Symbolic Model for Communicating Sequential Processes with Data. [Research Report] RR-4666, INRIA. 2002. 〈inria-00071919〉
  • Dan Dougherty, Frédéric Lang, Pierre Lescanne, Luigi Liquori, Kristoffer Rose. A Generic Object-Calculus Based on Addressed Term Rewriting Systems. [Research Report] RR-4549, LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy; INRIA. 2002, pp.49. 〈inria-00072039〉
  • Hubert Garavel, Frédéric Lang, Radu Mateescu. An overview of CADP 2001. [Research Report] RT-0254, INRIA. 2001, pp.15. 〈inria-00069920〉
  • Hubert Garavel, Frédéric Lang. SVL : a Scripting Language for Compositional Verification. [Research Report] RR-4223, INRIA. 2001. 〈inria-00072396〉