Papers on verification
|
|
Partial Model Checking using Networks of Labelled Transition Systems and Boolean Equation Systems
Frédéric Lang and Radu Mateescu In Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS'2012 (Talinn, Estonia), 2012. |
|
Smart Reduction
Pepijn Crouzen and Frédéric Lang In Proceedings of the 14th International Conference on Fundamental Approaches to Software Engineering FASE'2011 (Saarbrücken, Germany), 2011. |
|
CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes
Hubert Garavel, Frédéric Lang, Radu Mateescu, and Wendelin Serwe In Proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS'2011 (Saarbrücken, Germany), 2011. |
|
Ten Years of Performance Evaluation for Concurrent Systems using CADP
Nicolas Coste, Hubert Garavel, Holger Hermanns, Frédéric Lang, Radu Mateescu, and Wendelin Serwe In Proceedings of the 4th International Symposium On Leveraging Applications of Formal Methods ISOLA'2010 (Heraclion, Crete), 2010. |
|
Translating FSP into LOTOS and Networks of Automata
Frédéric Lang, Gwen Salaün, Rémi Hérilier, Jeff Kramer, and Jeff Magee Formal Aspects on Computing, volume 22, number 6, pages 681-711, November 2010. |
|
Partial Order Reductions using Compositional Confluence Detection
Frédéric Lang and Radu Mateescu In Proceedings of the 16th International Symposium on Formal Methods FM'2009 (Eindhoven, the Netherlands), 2009. |
|
Les résultats du projet OpenEmbeDD
Charles André, Mariano Belaunde, Bernard Berthomieu, Christian Brunette, Agusti Canals, Hubert Garavel, Susanne Graf, Frédéric Lang, Vincent Mahé, Michel Nakhlé, Rémi Schnekenburger, Robert De Simone, Jean-Pierre Talpin, François Vernadat In Actes de la conférence Neptune (Paris, France), 2009. |
|
Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format
Jan Stoecker, Frédéric Lang, and Hubert Garavel In Proceedings of the 7th International Conference on Integrated Formal Methods IFM'2009 (Düsseldorf, Germany), 2009. |
|
Verifying Dynamic Properties of Industrial Critical Systems Using TOPCASED/FIACRE
Bernard Berthomieu, Hubert Garavel, Frédéric Lang, and François Vernadat In European Research Consortium for Informatics and Mathematics (ERCIM) News number 75, 2008 |
|
FIACRE: An Intermediate Language for Model Verification in the TopCased Environment
Bernard Berthomieu, Jean-Paul Bodeveix, Patrick Farail, Mamoun Filali, Hubert Garavel, Pierre Gaufillet, Frédéric Lang, and François Vernadat In Proceedings of the 4th European Congress on Embedded Real Time Software ERTS'2008 (Toulouse, France), 2008 |
|
Automatic Interface Generation for Compositional Verication
Sandro Spina, Gordon Pace, and Frédéric Lang In Proceedings of the 5th Computer Science Annual Workshop CSAW'2007 (Valetta, Malta), 2007 |
|
CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes
Hubert Garavel, Frédéric Lang, Radu Mateescu, and Wendelin Serwe In Proceedings of the 19th International Conference on Computer Aided Verification CAV'2007 (Berlin, Germany), 2007 |
|
Translating FSP into LOTOS and Networks of Automata
Gwen Salaün, Jeff Kramer, Frédéric Lang, and Jeff Magee In Proceedings of the 6th International Conference on Integrated Formal Methods IFM'2007 (Oxford, United Kingdom), 2007 |
|
Refined interfaces for compositional verification
Frédéric Lang In Proceedings of the 26th International Conference on Formal Methods for Networked and Distributed Systems FORTE'2006 (Paris, France), 2006 |
|
Exp.Open 2.0: A Flexible Tool Integrating Partial Order, Compositional, and On-the-fly Verification Methods
Frédéric Lang In Proceedings of the 5th International Conference on Integrated Formal Methods IFM'2005 (Eindhoven, The Netherlands), 2005 |
|
Compositional Verification using CADP of the ScalAgent Deployment Protocol for Software Components
Frédéric Tronel, Frédéric Lang, and Hubert Garavel In Proceedings of the 6th International Conference on Formal Methods for Open Object-based Distributed Systems FMOODS'2003 (Paris, France), 2003 |
|
Calculating tau-confluence compositionally
Gordon Pace, Frédéric Lang, and Radu Mateescu In Proceedings of the 15th International Conference on Computer Aided Verification CAV'2003 (Boulder, Colorado, USA), 2003 |
|
NTIF: A General Symbolic Model for Communicating Sequential Processes with Data
Hubert Garavel and Frédéric Lang In Proceedings of the 22nd International Conference on Formal Techniques for Networked and Distributed Systems FORTE'2002 (Houston, Texas, USA), 2002 |
|
Compositional Verification using SVL Scripts
Frédéric Lang In Proceedings of the International Conference on Tools and Algorithms for Construction and Analysis of Systems TACAS'2002 (Grenoble, France), 2002 |
|
Compiler Construction using LOTOS NT
Hubert Garavel, Frédéric Lang, and Radu Mateescu In Proceedings of the 11th International Conference on Compiler Construction CC'2002 (Grenoble, France), 2002 |
|
An overview of CADP 2001
Hubert Garavel, Frédéric Lang, and Radu Mateescu In European Association for Software Science and Technology (EASST) Newsletter volume 4, 2002 Also available as INRIA Technical Report number RT-254, 2001 |
|
SVL: a Scripting Language for Compositional Verification
Hubert Garavel and Frédéric Lang In Proceedings of the 21st International Conference on Formal Techniques for Networked and Distributed Systems FORTE'2001 (Cheju Island, Korea), 2001 |
Papers on rewriting
|
|
On explicit substitution with names
Kristoffer Rose, Roel Bloo, and Frédéric Lang In Journal of Atomated Reasoning JAR, 2011 |
|
Explaining the lazy Krivine machine using explicit substitution and addresses
Frédéric Lang In Journal on Higher Order and Symbolic Computation HOSC, 2007 |
|
Addressed Term Rewriting Systems: Syntax, Semantics, and Pragmatics (Extended Abstract)
Dan Dougherty, Frédéric Lang, Pierre Lescanne, and Luigi Liquori In Proceedings of the 2nd International Conference on Graph Transformation TERMGRAPH'2004 (Roma, Italy), 2004 |
|
A generic object-calculus based on Addressed Term Rewriting Systems
Dan Dougherty, Frédéric Lang, Pierre Lescanne, Luigi Liquori, and Kristoffer Rose In Proceedings of the 4th International Workshop on Explicit Substitutions: Theory and Applications to Programs and Proofs WESTAPP'2001 (Utrecht, The Netherlands), 2001 |
|
On strong normalisation of explicit
substitution calculi
Frédéric Lang and Pierre Lescanne In Journal on Functional and Logic Programming JFLP, 2000 |
|
Addressed Term Rewriting Systems
Dan Dougherty, Frédéric Lang, Pierre Lescanne, and Kristoffer Rose Research Report number RR1999-30 of Ecole Normale Supérieure (ENS) de Lyon, 1999 |
|
A Framework for Defining Object-Calculi
Frédéric Lang, Pierre Lescanne and Luigi Liquori In Proceedings of the 1st World Congress on Formal Methods in the Development of Computing Systems FM'1999 (Toulouse, France), 1999 |
|
Modèles de la beta-réduction
pour les implantations
Frédéric Lang Phd thesis of Ecole Normale Supérieure (ENS) de Lyon, 1998 |
|
Super-closures
Frédéric Lang, Zine-El-Abidine Benaissa, and Pierre Lescanne In Proceedings of the 1st Workshop on Principles of Abstract Machines WPAM'1998 (Pisa, Italy), 1998 |
|
Two Equivalent Calculi of Explicit Substitution...
Frédéric Lang and Kristoffer Rose In Proceedings of the 1st International Workshop on Explicit Substitutions: Theory and Applications to Programs and Proofs WESTAPP'1998 (Tsukuba, Japan), 1998 |
|
Une machine à environnement avec partage, la UP-machine
Frédéric Lang Master thesis of Université Henri Poicaré, Nancy 1, 1994 |