 |
 |
 |
 |
|
|
|
|---|---|---|
|
hal-01272604v1
Direction d'ouvrage, Proceedings
Frederic Lang, Francesco Flammini. Formal Methods for Industrial Critical Systems France. 2014 |
||
|
inria-00428955v1
Rapport
Frederic Lang, Radu Mateescu. Partial Order Reductions using Compositional Confluence Detection [Research Report] RR-7078, INRIA. 2009, pp.28 |
||
|
inria-00189021v1
Communication dans un congrès
Hubert Garavel, Frederic 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 |
||
|
hal-01152576v1
Communication dans un congrès
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-01412911v1
Article dans une revue
Hugues Evrard, Frederic Lang. Automatic Distributed Code Generation from Formal Models of Asynchronous Processes Interacting by Multiway Rendezvous Journal of Logical and Algebraic Methods in Programming, Elsevier, 2017, 88, pp.33. <10.1016/j.jlamp.2016.09.002> |
||
|
hal-01086522v1
Communication dans un congrès
Hugues Evrard, Frederic 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-01153772v1
Communication dans un congrès
Frederic 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-00983711v3
Rapport
Fatma Jebali, Frederic Lang, Radu Mateescu. GRL: A Specification Language for Globally Asynchronous Locally Synchronous Systems (Syntax and Formal Semantics) [Research Report] RR-8527, INRIA. 2014 |
||
|
hal-00667288v1
Documents associés à des manifestations scientifiques -- Hal-inria+
Hubert Garavel, Frederic 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 |
||
|
inria-00072396v1
Rapport
Hubert Garavel, Frederic Lang. SVL : a Scripting Language for Compositional Verification [Research Report] RR-4223, INRIA. 2001 |
||
|
hal-01271895v1
Direction d'ouvrage, Proceedings
Frederic 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> |
||
|
inria-00423583v1
Communication dans un congrès
Frederic Lang, Radu Mateescu. Partial Order Reductions using Compositional Confluence Detection 16th International Symposium on Formal Methods FM'2009, Nov 2009, Eindhoven, Netherlands. 2009 |
||
|
hal-01149607v1
Communication dans un congrès
Dan Dougherty, Pierre Lescanne, Luigi Liquori, Frederic 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> |
||
|
inria-00583776v1
Communication dans un congrès
Hubert Garavel, Frederic 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-00532914v1
Communication dans un congrès
Nicolas Coste, Hubert Garavel, Holger Hermanns, Frederic 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 |
||
|
hal-00684471v1
Communication dans un congrès
Frederic 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 |
||
|
inria-00572535v1
Communication dans un congrès
Pepijn Crouzen, Frederic 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 |
||
|
hal-01007674v1
Communication dans un congrès
Fatma Jebali, Mouna Tka Mnad, Christophe Deleuze, Frederic 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 |
||
|
inria-00357623v1
Communication dans un congrès
Sandro Spina, Gordon Pace, Frederic Lang. Automatic Interface Generation for Compositional Verification CSAW, Nov 2007, Valletta, Malta. 2007 |
||
|
inria-00106312v2
Rapport
Frederic Lang. Refined Interfaces for Compositional Verification [Research Report] RR-5996, INRIA. 2006, pp.22 |
||
|
inria-00262442v1
Communication dans un congrès
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 |
||
|
hal-00764932v1
Documents associés à des manifestations scientifiques -- Hal-inria+
Hubert Garavel, Frederic 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 |
||
|
inria-00070339v1
Rapport
Frederic Lang. Exp.Open 2.0: A Flexible Tool Integrating Partial Order, Compositional, and On-the-fly Verification Methods RR-5673, INRIA. 2005, pp.21 |
||
|
hal-00768310v4
Communication dans un congrès
Dimitris Vekris, Frederic 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-00818788v1
Communication dans un congrès
Hugues Evrard, Frederic 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 |
||
|
inria-00069920v1
Rapport
Hubert Garavel, Frederic Lang, Radu Mateescu. An overview of CADP 2001 [Research Report] RT-0254, INRIA. 2001, pp.15 |
||
|
inria-00071661v1
Rapport
Gordon Pace, Frederic Lang, Radu Mateescu. Calculating tau-Confluence Compositionally RR-4918, INRIA. 2003 |
||
|
inria-00071919v1
Rapport
Hubert Garavel, Frederic Lang. NTIF: A General Symbolic Model for Communicating Sequential Processes with Data [Research Report] RR-4666, INRIA. 2002 |
||
|
hal-01082348v2
Communication dans un congrès
Fatma Jebali, Frederic 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> |
||
|
|
|