Publications de l'équipe ABSTRACTION

2013

Communications avec actes

Titre

A constraint solver based on abstract domains

Auteurs

Marie Pelleau; Antoine Miné ; Charlotte Truchet; Fréderic Benhamou

Détail

VMCAI'13 - 14th International Conference on Verification, Model Checking, and Abstract Interpretation, Jan 2013, Rome, Italy. Springer, pp. 17, LNCS

Accès au bibtex

2012

Articles dans des revues avec comité de lecture

Titre

Static analysis of run-time errors in embedded real-time parallel C programs

Auteurs

Antoine Miné

Détail

Logical Methods in Computer Science, 2012, 8 (1:26), pp. 63

Accès au texte intégral et bibtex

Titre

Combinatorial complexity and compositional drift in protein interaction networks.

Auteurs

Eric Deeds ; Jean Krivine ; Jérôme Feret ; Vincent Danos ; Walter Fontana

Détail

PLoS ONE, Public Library of Science, 2012, 7 (3)

Accès au bibtex

Titre

Lumpability Abstractions of Rule-based Systems

Auteurs

Jérôme Feret ; Thomas Henzinger; Heinz Koeppl ; Tatjana Petrov

Détail

Theoretical Computer Science, Elsevier, 2012, Modelling and Analysis of Biological Systems -- Based on papers presented at the Workshop on Membrane Computing and Bio-logically Inspired Process Calculi (MeCBIC) held in 2008 (Iasi), 2009 (Bologna) and 2010 (Jena), 431, pp. 137-164

Accès au bibtex

Communications avec actes

Titre

Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models

Auteurs

Vincent Danos ; Jérôme Feret ; Walter Fontana ; Russ Harmer; Jonathan Hayman ; Jean Krivine ; Chris Thompson-Walsh; Glynn Winskel

Détail

Deepak D'Souza and Jaikumar Radhakrishnan and Kavitha Telikepalli. FSTTCS - 32nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science - 2012, Dec 2012, Hyderabad, India. LIPIcs, IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012)

Accès au bibtex

Titre

Inferring sufficient conditions with backward polyhedral under-approximations

Auteurs

Antoine Miné

Détail

NSAD'12 - 4th International Workshop on Numerical and Symbolic Abstract Domains, Sep 2012, Deauville, France. Elsevier, pp. 12, ENTCS

Accès au texte intégral et bibtex

Titre

Abstract domains for bit-level machine integer and floating-point operations

Auteurs

Antoine Miné

Détail

WING'12 - 4th International Workshop on invariant Generation, Jun 2012, Manchester, United Kingdom. pp. 16

Accès au texte intégral et bibtex

Conférences invitées

Titre

Reconstructing Species-Based Dynamics from Reduced Stochastic Rule-Based Models.

Auteurs

Tatjana Petrov ; Jérôme Feret ; Heinz Koeppl

Détail

Christoph Laroque and Jan Himmelspach and Raghu Pasupathy and Oliver Rose and Adelinde M. Uhrmacher. WSC - Winter Simulation Conference - 2012, Dec 2012, Berlin, Germany.

Accès au bibtex

Directions d'ouvrages

Titre

Proceedings of the 19th International Static Analysis Symposium (SAS 2012)

Auteurs

Antoine Miné ; David Schmidt

Détail

Antoine Miné and David Schmidt. 7460, Springer, pp. 457, Sep. 2012, LNCS, 978-3-642-33124-4

Accès au bibtex

Titre

Proceedings of the 2nd International Workshop on Static Analysis and Systems Biology (SASB 2011)

Auteurs

Jérôme Feret ; Andre Levchenko

Détail

Jérôme Feret and Andre Levchenko. 284, Elsevier, pp. 137, Jun. 2012, Electronic Notes in Theoretical Computer Science

Accès au bibtex

2011

Communications avec actes

Titre

Static Analysis of Run-Time Errors in Embedded Critical Parallel C Programs

Auteurs

Antoine Miné

Détail

Gilles Barthe. ESOP'11 - 20th European Symposium on Programming, Mar 2011, Saarbrücken, Germany. Springer, Programming Languages and Systems, 6602, pp. 398-418, Lecture Notes in Computer Science

Accès au texte intégral et bibtex

Titre

Linear Absolute Value Relation Analysis

Auteurs

Liqian Chen; Patrick Cousot; Antoine Miné ; Ji Wang

Détail

Gilles Barthe. ESOP 2011 : 20th European Symposium on Programming, Mar 2011, Saarbrücken, Germany. Springer, Programming Languages and Systems, 6602, pp. 156-175, Lecture Notes in Computer Science

Accès au bibtex

Titre

A Parametric Segmentation Functor for Fully Automatic and Scalable Array Content Analysis

Auteurs

Patrick Cousot; Radhia Cousot; Francesco Logozzo

Détail

ACM Press. Proceedings of the 38$^{\mathrm{th}}$ Annual ACM Symposium on Principles Of Programming Languages (POPL), Jan 2011, Austin, Texas, United States.

Accès au texte intégral et bibtex

Titre

Precondition Inference from Intermittent Assertions and Application to Contracts on Collections

Auteurs

Patrick Cousot; Radhia Cousot; Logozzo Francesco

Détail

Ranjit Jhala and David Schmidt. Proceedings of the 12th Conference on Verification, Model Checking and Abstract Interpretation (VMCAI'11), Jan 2011, Austin, Texas, United States. Springer-Verlag, Lecture Notes in Computer Science

Accès au texte intégral et bibtex

Conférences invitées

Titre

Formal reduction for rule-based models

Auteurs

Ferdinanda Camporesi; Jérôme Feret

Détail

Michael Mislove and Joël Ouaknine. the 27th Conference on the Mathematical Foundations of Programming Semantics - MFPS 2011, May 2011, Pittsburgh, United States. Elsevier, Proceedings of the 27th Conference on the Mathematical Foundations of Programming Semantics (MFPS 2011), 276, pp. 29-59, Electronic Notes in Theoretical Computer Science

Accès au bibtex

Titre

Formal Model Reduction

Auteurs

Jérôme Feret

Détail

Eran Yahav. Static Analysis Symposium, Sep 2011, Venice, Italy. 6887, pp. 6, Lecture Notes in Computer Science

Accès au bibtex

Chapitres d'ouvrages scientifiques

Titre

L'analyseur statique Astrée

Auteurs

Julien Bertrane ; Patrick Cousot ; Radhia Cousot ; Jérôme Feret ; Laurent Mauborgne ; Antoine Miné ; Xavier Rival

Détail

Jean-Louis Boulanger. Utilisation industrielles des techniques formelles : interprétation abstraite, Hermes Science, pp. 67-114, Jun. 2011, Informatique et systèmes d'information, 978-2746232068

Accès au bibtex

Titre

L'analyseur statique Astrée

Auteurs

Julien Bertrane; Jérôme Feret; Patrick Cousot; Radhia Cousot; Antoine Miné; Xavier Rival; Laurent Mauborgne

Détail

Jean-Louis Boulanger. Utilisations industrielles des techniques formelles : interprétation abstraite, Hermes-Lavoisier, pp. 67-114, Jun. 2011, 2-7462-3206-5

Accès au bibtex

Directions d'ouvrages

Titre

Proceedings of the 1st International Workshop on Static Analysis and Systems Biology (SASB 2010)

Auteurs

Jérôme Feret ; Andre Levchenko

Détail

Jérôme Feret and Andre Levchenko. 272, Elsevier, pp. 56, May. 2011, Electronic Notes in Theoretical Computer Science

Accès au bibtex

2010

Articles dans des revues avec comité de lecture

Titre

Intrinsic Information carriers in combinatorial dynamical systems

Auteurs

Russ Harmer; Vincent Danos; Jérôme Feret; Jean Krivine; Walter Fontana

Détail

Chaos, 2010, 20 (3), pp. 037108

Accès au texte intégral et bibtex

Communications avec actes

Titre

Concrete Memory Models for Shape Analysis

Auteurs

Pascal Sotin; Bertrand Jeannet; Xavier Rival

Détail

Second International Workshop onNumerical And Symbolic Abstract Domains - NSAD 2010, Sep 2010, Perpignan, France.

Accès au bibtex

Titre

Combining Model Reductions

Auteurs

Ferdinanda Camporesi; Jérôme Feret; Heinz Koeppl; Tatjana Petrov

Détail

Michael Mislove and Peter Selinger. the 26th Conference on the Mathematical Foundations of Programming Semantics - MFPS 2010, May 2010, Ottawa, Canada. Elsevier, Proceedings of the 26th Conference on the Mathematical Foundations of Programming Semantics (MFPS 2010), 265, pp. 73-96, Electronic Notes in Theoretical Computer Science

Accès au bibtex

Titre

Automatic reduction of stochastic rules-based models in a nutshell

Auteurs

Ferdinanda Camporesi; Jérôme Feret; Heinz Koeppl; Tatjana Petrov

Détail

T.E. Simos. International Conference of Numerical Analysis and Applied Mathematics - ICNAAM 2010, Sep 2010, Rhodos, Greece. American Institute of Physics, International Conference of Numerical Analysis and Applied Mathematics (ICNAAM 2010), 1281(2), pp. 1330-1334, American Institute of Physics conference proceedings

Accès au bibtex

Titre

A Scalable Segmented Decision Tree Abstract Domain

Auteurs

Patrick Cousot; Radhia Cousot; Laurent Mauborgne

Détail

Z. Manna and D. Peled. Time for Verification, Essays in Memory of Amir Pnueli, Apr 2010, New York, United States. Springer-Verlag, Time for Verification, Essays in Memory of Amir Pnueli, 6200, pp. 72-95, Lecture Notes in Computer Science

Accès au texte intégral et bibtex

Titre

Separating Shape Graphs

Auteurs

Vincent Laviron; Bor-Yuh Evan Chang; Xavier Rival

Détail

Springer. 19th European Symposium on Programming - ESOP 2010, Mar 2010, Paphos, Cyprus. 6012, pp. 387-406, LNCS

Accès au bibtex

Titre

An Abstract Domain to Discover Interval Linear Equalities

Auteurs

Liqian Chen; Antoine Miné; Ji Wang; Patrick Cousot

Détail

11th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'10), Jan 2010, Spain. Springer, 5944, pp. 112-128, LNCS

Accès au bibtex

Titre

Lumpability Abstractions of Rule-based Systems

Auteurs

Jérôme Feret; Thomas Henzinger; Heinz Koeppl; Tatjana Petrov

Détail

Ciobanu, G. and Koutny, M.. The 4th Workshop on Membrane Computing and Biologically Inspired Process Calculi - MeCBIC 2010, Aug 2010, Jena, Germany. Elsevier

Accès au bibtex

Titre

Astree: Proving the Absence of Runtime Errors

Auteurs

Daniel Kästner; Stephan Wilhelm; Stefana Nenova; Patrick Cousot; Radhia Cousot; Jérôme Feret; Laurent Mauborgne; Antoine Miné; Xavier Rival

Détail

Laprie, J.C.. Embedded real time software and systems - ERTS2 2010, May 2010, Toulouse, France.

Accès au bibtex

Titre

Static Analysis and Verification of Aerospace Software by Abstract Interpretation

Auteurs

Julien Bertrane; Patrick Cousot; Radhia Cousot; Jérôme Feret; Laurent Mauborgne; Antoine Miné; Xavier Rival

Détail

American Institute of Aeronautics and Astronautics - AIAA Infotech@Aerospace 2010, Apr 2010, Atlanta, United States. American Institue of Aeronautics and Astronautics

Accès au bibtex

Conférences invitées

Titre

Abstracting the differential semantics of rule-based models: exact and automated model reduction

Auteurs

Vincent Danos; Jérôme Feret; Walter Fontana; Russell Harmer; Jean Krivine

Détail

Logic in Computer Science, 2010, Edinburgh, United Kingdom. pp. 362-381, IEEE Computer Society

Accès au texte intégral et bibtex

Titre

Fragments-based model reduction: some case studies

Auteurs

Jérôme Feret

Détail

Krivine, Jean and Troina, Angelo. First International Workshop on Interactions between Computer Science and Biology - CS2Bio 2010, Jun 2010, Amsterdam, Netherlands. Elsevier

Accès au bibtex

Titre

Static Analysis by Abstract Interpretation of Embedded Critical Software

Auteurs

Julien Bertrane; Patrick Cousot; Radhia Cousot; Jérôme Feret; Laurent Mauborgne; Antoine Miné; Xavier Rival

Détail

Augusti Canal. the 3rd IEEE International workshop UML and Formal Methods, Nov 2010, Shangai, China.

Accès au bibtex

Chapitres d'ouvrages scientifiques

Titre

Rule Based Modeling and Model Refinement

Auteurs

Elaine Murphy; Vincent Danos; Jérôme Feret; Jean Krivine; Russell Harmer

Détail

H. Lodhi and S. Muggleton. Elements of Computational Systems Biology, John Wiley & Sons, pp. 83-114, 2010, Wiley Book Series on Bioinformatics, 978-0470180938

Accès au bibtex

Titre

Logical Abstract Domains and Interpretations

Auteurs

Patrick Cousot; Radhia Cousot; Laurent Mauborgne

Détail

Sebastian Nanz. The Future of Software Engineering, Springer-Verlag, pp. 48-71, 2010

Accès au texte intégral et bibtex

Titre

A gentle introduction to formal verification of computer systems by abstract interpretation

Auteurs

Patrick Cousot; Radhia Cousot

Détail

J.~Esparza and O.~Grumberg and M.~Broy. Logics and Languages for Reliability and Security, IOS Press, pp. 1-29, 2010, NATO Science Series III: Computer and Systems Sciences

Accès au texte intégral et bibtex

Directions d'ouvrages

Titre

Proceedings of the Second International Workshop on Numerical and Symbolic Abstract Domains (NSAD 2010)

Auteurs

Antoine Miné ; Enric Rodríguez-Carbonell

Détail

Antoine Miné and Enric Rodríguez Carbonell. 267, Elsevier, pp. 150, Oct. 2010, ENTCS

Accès au bibtex

Documents sans référence de publication

Titre

A Framework for Combining Algebraic and Logical Abstract Interpretations

Auteurs

Patrick Cousot; Radhia Cousot; Laurent Mauborgne

Détail

Sep. 2010

Accès au texte intégral et bibtex

2009

Articles dans des revues avec comité de lecture

Titre

Why does Astrée scale up?

Auteurs

Patrick Cousot; Radhia Cousot; Jérôme Feret; Laurent Mauborgne; Antoine Miné; Xavier Rival

Détail

Formal Methods in System Design, Springer, 2009, Special issue on Numerical Software Verification, 35 (3), pp. 229-264

Accès au bibtex

Titre

Rule-Based Modelling and Model Perturbation

Auteurs

Vincent Danos; Jérôme Feret; Walter Fontana; Russ Harmer; Jean Krivine

Détail

Transactions on Computational Systems Biology, Springer, 2009, Transactions on Computational Systems Biology XI, 5750, pp. 116-137

Accès au bibtex

Communications avec actes

Titre

Astrée: Nachweis der Abwesenheit von Laufzeitfehlern.

Auteurs

Daniel Kästner; Christian Ferdinand; Steplan Wilhelm; Stefana Nenova; Olha Honcharova; Patrick Cousot; Radhia Cousot; Jérôme Feret ; Laurent Mauborgne; Antoine Miné; Xavier Rival; Elodie-Jane Sims

Détail

Workshop "Entwicklung zuverlässiger Software-Systeme", Jun 2009, Regensburg, Germany.

Accès au bibtex

Titre

Investigation of a biological repair scheme

Auteurs

Vincent Danos; Jérôme Feret; Walter Fontana; Russell Harmer; Jean Krivine

Détail

Paun, G.. the 9th Workshop on Membrane Computing - WMC9, Jul 2008, Edinburgh, United Kingdom. Springer, Membrane Computing, 5391, pp. 1-12, 2009, Lecture Notes in Computer Science

Accès au bibtex

Titre

Space Software Validation using Abstract Interpretation

Auteurs

Olivier Bouissou; Eric Conquet; Patrick Cousot; Radhia Cousot; Jérôme Feret; Khalil Ghorbal; Eric Goubault; David Lesens; Laurent Mauborgne; Antoine Miné; Sylvie Putot; Xavier Rival; Michel Turin

Détail

The International Space System Engineering Conference : Data Systems in Aerospace - DASIA 2009, May 2009, Istambul, Turkey. European Space Agency, pp. 1-7

Accès au bibtex

2008

Documents sans référence de publication

Titre

Rule-based modelling and model perturbations

Auteurs

Vincent Danos; Jérôme Feret; Walter Fontana; Russ Harmer; Jean Krivine

Détail

Dec. 2008

Accès au texte intégral et bibtex

2006

Communications avec actes

Titre

Étude et comparaison de scénarios de développements formels d'interfaces multi-modales fondés sur la preuve et le raffinement.

Auteurs

Yamine Aït-Ameur; Idir Aït-Sadoune; Mickael Baron

Détail

6ème Conférence Francophone de Modélisation et Simulation. Modélisation, Optimisation et Simulation des Systèmes (MOSIM 2006) : Défis et Opportunités, Apr 2006, Rabat, Morocco. Lavoisier, pp. 578-588

Accès au bibtex

Titre

Validation et Vérification Formelles de Systèmes Interactifs Multi-Modaux Fondées sur la Preuve.

Auteurs

Yamine Ait-Ameur; Idir Aït-Sadoune; Mickael Baron; Jean-Marc Mota

Détail

18es Conférence Francophone sur l'Interaction Homme-Machine (IHM 2006)., Apr 2006, Montréal, Canada. 133, pp. 123-130, ACM International Conference Proceeding

Accès au bibtex