Sites Inria

English version

Equipe de recherche ABSTRACTION

Publications de l'équipe ABSTRACTION

2014

Article dans une revue

titre
Stochastic fragments: A framework for the exact reduction of the stochastic semantics of rule-based models
auteur
Jérôme Feret, Heinz Koeppl, Tatjana Petrov
article
International Journal of Software and Informatics (IJSI), ISCAS, 2014, Special issue of DCM'09, 7 (4), pp.527-604. <http://www.ijsi.org/ch/reader/view_abstract.aspx?file_no=i173&flag=1>
Accès au bibtex
BibTex

Communication dans un congrès

titre
A galois connection calculus for abstract interpretation
auteur
Patrick Cousot, Radhia Cousot
article
Suresh Jagannathan and Peter Sewell. POPL - 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - 2014, Jan 2014, San Diego, United States. ACM, pp.3-4, 2014, POPL'14. <10.1145/2535838.2537850>
Accès au bibtex
BibTex

Direction d'ouvrage, Proceedings

titre
Verification, Model Checking, and Abstract Interpretation
auteur
Kenneth Mcmillan, Xavier Rival
article
Kenneth McMillan and Xavier Rival. 8318, Springer, pp.493, 2014, 978-3-642-54012-7
Accès au bibtex
BibTex

Autre publication

titre
Automatic Inference of Ranking Functions by Abstract Interpretation
auteur
Caterina Urban
article
Student Poster Session, 41st Symposium on Principles of Programming Languages (POPL 2014). 2014
Accès au bibtex
BibTex

2013

Article dans une revue

titre
Backward under-approximations in numeric abstract domains to automatically infer sufficient program conditions
auteur
Antoine Miné
article
Science of Computer Programming, Elsevier, 2013, <http://www.sciencedirect.com/science/article/pii/S016764231300244X>. <10.1016/j.scico.2013.09.014>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00903628/file/journal_SCP_ok.pdf BibTex

Communication dans un congrès

titre
Context-sensitive flow analyses: a hierarchy of model reductions
auteur
Ferdinanda Camporesi, Jérôme Feret, Jonathan Hayman
article
Gupta, Ashutosh and Henzinger, Thomas A. CMSB - 11th Conference on Computational Methods in Systems Biology - 2013, Sep 2013, Klosterneuburg, Austria. Springer, 8130, pp.220-233, 2013, Lecture Notes in BioInformatics. <10.1007/978-3-642-40708-6_17>
Accès au bibtex
BibTex
titre
Modular Construction of Shape-Numeric Analyzers
auteur
Bor-Yuh Evan Chang, Xavier Rival
article
Anindya Banerjee and Olivier Danvy and Kyung-Goo Doh and John Hatcliff. Festschrift for Dave Schmidt, Sep 2013, Manhattan, Kansas, United States. EPTCS, 129, 2013, Festschrift for Dave Schmidt
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00926948/file/paper.pdf BibTex
titre
Piecewise-Defined Ranking Functions
auteur
Caterina Urban
article
Johannes Waldmann. 13th International Workshop on Termination, Aug 2013, Bertinoro, Italy. pp.69-73, 2013
Accès au bibtex
BibTex
titre
The Abstract Domain of Segmented Ranking Functions
auteur
Caterina Urban
article
Logozzo, Francesco and Fähndrich, Manuel. Static Analysis, 20th International Symposium,, Jun 2013, Seattle, United States. Springer, 7935, pp.43-62, 2013, Lecture Notes in Computer Science. <10.1007/978-3-642-38856-9_5>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00925670/file/SAS2013.pdf BibTex
titre
Filtered compression for Kappa
auteur
Jonathan Hayman
article
Jérôme Feret and Andre Levchenko. SASB - 4th INternational Workshop on Static Analysis and Systems Biology, Jun 2013, Seattle, United States. Elsevier, 2014, 4th International Workshop on Static Analysis and Systems Biology
Accès au bibtex
BibTex
titre
Un solveur de contraintes basé sur les domaines abstraits
auteur
Marie Pelleau, Antoine Miné, Charlotte Truchet, Frédéric Benhamou
article
9èmes Journées Francophones de Programmation par Contraintes, Jun 2013, Aix-en-Provence, France. pp.259-268, 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00925430/file/article-pelleau-jfpc2013.pdf BibTex
titre
A case for static analyzers in the cloud
auteur
Michael Barnett, Mehdi Bouaziz, Francesco Logozzo, Manuel Fähndrich
article
Miguel Gomez-Zamalloa and Germán Puebla. Bytecode - 8th Workshop on Bytecode Semantics, Verification, Analysis, and Transformation, Mar 2013, Rome, Italy. Elsevier, 2014, ENTCS; Bytecode Semantics, Verification, Analysis, and Transformation
Accès au bibtex
BibTex
titre
Pattern Graphs and Rule-Based Models: The Semantics of Kappa
auteur
Jonathan Hayman, Tobias Heindel
article
Frank Pfenning. FOSSACS - 16th International Conference on Foundations of Software Science and Computation Structures, Mar 2013, Rome, Italy. Springer, 7794, pp.1--16, 2013, Lecture Notes in Computer Science. <10.1007/978-3-642-37075-5>
Accès au bibtex
BibTex
titre
Andromeda: Accurate and Scalable Security Analysis of Web Applications
auteur
Omer Tripp, Marco Pistoia, Patrick Cousot, Radhia Cousot, Salvatore Guarnieri
article
Vittorio Cortellessa and Dániel Varró. FASE 2013 - International Conference Fundamental Approaches to Software Engineering, Mar 2013, Rome, Italy. Springer, 7793, pp.210-225, 2013, LNCS - Lecture Notes in Computer Science; Fundamental Approaches to Software Engineering. <10.1007/978-3-642-37057-1_15>
Accès au bibtex
BibTex
titre
Reduced Product Combination of Abstract Domains for Shapes
auteur
Antoine Toubhans, Bor-Yuh Evan Chang, Xavier Rival
article
Roberto Giacobazzi and Josh Berdine and Isabella Mastroeni. VMCAI 2013 : 14th International Conference on Verification, Model Checking and Abstract Interpretation, Jan 2013, Rome, Italy. Springer, 7737, pp.375-395, 2013, Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation. <10.1007/978-3-642-35873-9_23>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00760428/file/vmcai13.pdf BibTex
titre
Automatic Inference of Necessary Preconditions
auteur
Patrick Cousot, Radhia Cousot, Manuel Fähndrich, Francesco Logozzo
article
Roberto Giacobazzi and Josh Berdine and Isabella Mastroeni. VMCAI 2013 - 14th Conference on Verification, Model Checking and Abstract Interpretation, Jan 2013, Rome, Italy. Springer, 7737, pp.128-148, 2013, LNCS - Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation. <10.1007/978-3-642-35873-9_10>
Accès au bibtex
BibTex
titre
A Constraint Solver based on Abstract Domains
auteur
Marie Pelleau, Antoine Miné, Charlotte Truchet, Frédéric Benhamou
article
Roberto Giacobazzi and Josh Berdine and Isabella Mastroeni. VMCAI 2013 - 14th International Conference on Verification, Model Checking, and Abstract Interpretation, Jan 2013, Rome, Italy. Springer-Verlag, 7737, pp.434--454, 2013, Lecture Notes in Computer Science. <10.1007/978-3-642-35873-9_26>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00785604/file/Pelleau_Mine_Truchet_Benhamou.pdf BibTex

Direction d'ouvrage, Proceedings

titre
Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13
auteur
Roberto Giacobazzi, Radhia Cousot
article
Roberto Giacobazzi and Radhia Cousot. ACM, pp.574, 2013, 978-1-4503-2544-8
Accès au bibtex
BibTex

HDR

titre
Static analysis by abstract interpretation of concurrent programs
auteur
Antoine Miné
article
Performance [cs.PF]. Ecole Normale Supérieure de Paris - ENS Paris, 2013
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00903447/file/hdr-compact-col.pdf BibTex

Mémoire d'étudiant

titre
Implémentation du domaine asbtrait numérique TVPI pour APRON
auteur
Abdellatif Atki
article
Performance et fiabilité [cs.PF]. 2013
Accès au bibtex
BibTex
titre
Synchronisation de fils d'exécution en interprétation abstraite
auteur
Matthias Bry
article
Performance et fiabilité [cs.PF]. 2013
Accès au bibtex
BibTex

2012

Article dans une revue

titre
Static analysis of run-time errors in embedded real-time parallel C programs
auteur
Antoine Miné
article
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2012, 8 (1:26), pp.63. <10.2168/LMCS-8>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00748098/file/article-mine-LMCS12.pdf BibTex
titre
Lumpability Abstractions of Rule-based Systems
auteur
Jérôme Feret, Thomas Henzinger, Heinz Koeppl, Tatjana Petrov
article
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. <10.1016/j.tcs.2011.12.059>
Accès au bibtex
BibTex
titre
Combinatorial complexity and compositional drift in protein interaction networks.
auteur
Eric Deeds, Jean Krivine, Jérôme Feret, Vincent Danos, Walter Fontana
article
PLoS ONE, Public Library of Science, 2012, 7 (3), <10.1371/journal.pone.0032032>
Accès au bibtex
BibTex

Communication dans un congrès

titre
Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models
auteur
Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jonathan Hayman, Jean Krivine, Chris Thompson-Walsh, Glynn Winskel
article
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. FSTTCS 2012 - IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Dec 2012, Hyderabad, India. 18, pp.276-288, 2012, LIPIcs. <10.4230/LIPIcs.FSTTCS.2012.276>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00809065/file/fsttcs.pdf BibTex
titre
Hierarchical Shape Abstraction of Dynamic Structures in Static Blocks
auteur
Pascal Sotin, Xavier Rival
article
R. Jhala and A. Igarashi. APLAS 2012 - Asian Conference on Programming Languages And Software, Dec 2012, Kyoto, Japan. Springer, 7705, pp.131-147, 2012, Lecture Notes in Computer Science. <10.1007/978-3-642-35182-2_10>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00760427/file/aplas12.pdf BibTex
titre
Reconstructing Species-Based Dynamics from Reduced Stochastic Rule-Based Models.
auteur
Tatjana Petrov, Jérôme Feret, Heinz Koeppl
article
Christoph Laroque and Jan Himmelspach and Raghu Pasupathy and Oliver Rose and Adelinde M. Uhrmacher. WSC - Winter Simulation Conference - 2012, Dec 2012, Berlin, Germany. 2012, <http://www.informs-sim.org/wsc12papers/includes/files/inv180.pdf>
Accès au bibtex
BibTex
titre
Static Analysis by Abstract Interpretation of Sequential and Multi-Thread Programs
auteur
Antoine Miné
article
Pierre-Alain Reynier. 10th School of Modelling and Verifying Parallel Processes, Dec 2012, Marseille, France. 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00763076/file/paper_ok.pdf BibTex
titre
An Abstract Domain to Infer Types over Zones in Spreadsheets
auteur
Tie Cheng, Xavier Rival
article
Antoine Miné and David Schmidt. SAS'12 - 19th International Static Analysis Symposium, Sep 2012, Deauville, France. Springer, 7460, pp.94-110, 2012, Lecture notes in computer science; Static analysis. <10.1007/978-3-642-33125-1_9>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00760424/file/sas12.pdf BibTex
titre
Inferring sufficient conditions with backward polyhedral under-approximations
auteur
Antoine Miné
article
NSAD'12 - 4th International Workshop on Numerical and Symbolic Abstract Domains, Sep 2012, Deauville, France. Elsevier, pp.12, 2012, ENTCS
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00748095/file/article-mine-nsad12.pdf BibTex
titre
Abstract domains for bit-level machine integer and floating-point operations
auteur
Antoine Miné
article
WING'12 - 4th International Workshop on invariant Generation, Jun 2012, Manchester, United Kingdom. pp.16, 2012
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00748094/file/article-mine-wing12.pdf BibTex

Direction d'ouvrage, Proceedings

titre
Proceedings of the 19th International Static Analysis Symposium (SAS 2012)
auteur
Antoine Miné, David Schmidt
article
Antoine Miné and David Schmidt. 7460, Springer, pp.457, 2012, LNCS, 978-3-642-33124-4
Accès au bibtex
BibTex
titre
Proceedings of the 2nd International Workshop on Static Analysis and Systems Biology (SASB 2011)
auteur
Jérôme Feret, Andre Levchenko
article
Jérôme Feret and Andre Levchenko. 284, Elsevier, pp.137, 2012, Electronic Notes in Theoretical Computer Science
Accès au bibtex
BibTex

2011

Communication dans un congrès

titre
Formal Model Reduction
auteur
Jérôme Feret
article
Eran Yahav. Static Analysis Symposium, Sep 2011, Venice, Italy. 6887, pp.6, 2011, Lecture Notes in Computer Science. <10.1007/978-3-642-23702-7_5>
Accès au bibtex
BibTex
titre
Formal reduction for rule-based models
auteur
Ferdinanda Camporesi, Jérôme Feret
article
Michael Mislove and Joël Ouaknine. the 27th Conference on the Mathematical Foundations of Programming Semantics - MFPS 2011, May 2011, Pittsburgh, United States. Elsevier, 276, pp.29-59, 2011, Electronic Notes in Theoretical Computer Science; Proceedings of the 27th Conference on the Mathematical Foundations of Programming Semantics (MFPS 2011). <10.1016/j.entcs.2011.09.014>
Accès au bibtex
BibTex
titre
Static Analysis of Run-Time Errors in Embedded Critical Parallel C Programs
auteur
Antoine Miné
article
Gilles Barthe. ESOP'11 - 20th European Symposium on Programming, Mar 2011, Saarbrücken, Germany. Springer, 6602, pp.398-418, 2011, Lecture Notes in Computer Science; Programming Languages and Systems. <10.1007/978-3-642-19718-5_21>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00648038/file/paper.pdf BibTex
titre
Linear Absolute Value Relation Analysis
auteur
Liqian Chen, Patrick Cousot, Antoine Miné, Ji Wang
article
Gilles Barthe. ESOP 2011 : 20th European Symposium on Programming, Mar 2011, Saarbrücken, Germany. Springer, 6602, pp.156-175, 2011, Lecture Notes in Computer Science; Programming Languages and Systems. <10.1007/978-3-642-19718-5>
Accès au bibtex
BibTex
titre
A Parametric Segmentation Functor for Fully Automatic and Scalable Array Content Analysis
auteur
Patrick Cousot, Radhia Cousot, Francesco Logozzo
article
ACM Press. Proceedings of the 38$^}$ Annual ACM Symposium on Principles Of Programming Languages (POPL), Jan 2011, Austin, Texas, United States. 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00543874/file/POPL090-Cousot-Cousot-Logozzo.pdf BibTex
titre
Calling Context Abstraction with Shapes
auteur
Xavier Rival, Bor-Yuh Evan Chang
article
POPL'11 - 38th annual ACM SIGPLAN-SIGACT symposium on Principles Of Programming Languages 2011, Jan 2011, Austin, United States. ACM, pp.173-186, 2011, <10.1145/1925844.1926406>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00760421/file/popl11-stack.pdf BibTex
titre
Precondition Inference from Intermittent Assertions and Application to Contracts on Collections
auteur
Patrick Cousot, Radhia Cousot, Logozzo Francesco
article
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, 2011, Lecture Notes in Computer Science
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00543881/file/main.pdf BibTex

Chapitre d'ouvrage

titre
L'analyseur statique Astrée
auteur
Julien Bertrane, Jérôme Feret, Patrick Cousot, Radhia Cousot, Antoine Miné, Xavier Rival, Laurent Mauborgne
article
Jean-Louis Boulanger. Utilisations industrielles des techniques formelles : interprétation abstraite, Hermes-Lavoisier, pp.67--114, 2011, Informatique et systèmes d'information, 2-7462-3206-5
Accès au bibtex
BibTex

Direction d'ouvrage, Proceedings

titre
Proceedings of the 1st International Workshop on Static Analysis and Systems Biology (SASB 2010)
auteur
Jérôme Feret, Andre Levchenko
article
Jérôme Feret and Andre Levchenko. 272, Elsevier, pp.56, 2011, Electronic Notes in Theoretical Computer Science
Accès au bibtex
BibTex

2010

Article dans une revue

titre
Intrinsic Information carriers in combinatorial dynamical systems
auteur
Russ Harmer, Vincent Danos, Jérôme Feret, Jean Krivine, Walter Fontana
article
Chaos, American Institute of Physics, 2010, 20 (3), pp.037108. <10.1063/1.3491100>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00520128/file/Dan_etal10b.pdf BibTex

Communication dans un congrès

titre
Static Analysis by Abstract Interpretation of Embedded Critical Software
auteur
Julien Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival
article
Augusti Canal. the 3rd IEEE International workshop UML and Formal Methods, Nov 2010, Shangai, China. 2010
Accès au bibtex
BibTex
titre
Automatic reduction of stochastic rules-based models in a nutshell
auteur
Ferdinanda Camporesi, Jérôme Feret, Heinz Koeppl, Tatjana Petrov
article
T.E. Simos. International Conference of Numerical Analysis and Applied Mathematics - ICNAAM 2010, Sep 2010, Rhodos, Greece. American Institute of Physics, 1281(2), pp.1330-1334, 2010, American Institute of Physics conference proceedings; International Conference of Numerical Analysis and Applied Mathematics (ICNAAM 2010). <10.1063/1.3497965>
Accès au bibtex
BibTex
titre
Concrete Memory Models for Shape Analysis
auteur
Pascal Sotin, Bertrand Jeannet, Xavier Rival
article
NSAD'2010 - Second International Workshop on Numerical and Symbolic Abstract Domains, Sep 2010, Perpignan, France. Elsevier, 267, pp.139--150, 2010, <10.1016/j.entcs.2010.09.012>
Accès au bibtex
BibTex
titre
Lumpability Abstractions of Rule-based Systems
auteur
Jérôme Feret, Thomas Henzinger, Heinz Koeppl, Tatjana Petrov
article
Ciobanu, G. and Koutny, M. The 4th Workshop on Membrane Computing and Biologically Inspired Process Calculi - MeCBIC 2010, Aug 2010, Jena, Germany. Elsevier, 2010
Accès au bibtex
BibTex
titre
Fragments-based model reduction: some case studies
auteur
Jérôme Feret
article
Krivine, Jean and Troina, Angelo. First International Workshop on Interactions between Computer Science and Biology - CS2Bio 2010, Jun 2010, Amsterdam, Netherlands. Elsevier, 2010
Accès au bibtex
BibTex
titre
Astree: Proving the Absence of Runtime Errors
auteur
Daniel Kästner, Stephan Wilhelm, Stefana Nenova, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival
article
Laprie, J.C. Embedded real time software and systems - ERTS2 2010, May 2010, Toulouse, France. 2010, <http://www.erts2010.org/Site/0ANDGY78/Fichier/PAPIERS%20ERTS%202010/ERTS2010_0024_final.pdf>
Accès au bibtex
BibTex
titre
Combining Model Reductions
auteur
Ferdinanda Camporesi, Jérôme Feret, Heinz Koeppl, Tatjana Petrov
article
Michael Mislove and Peter Selinger. the 26th Conference on the Mathematical Foundations of Programming Semantics - MFPS 2010, May 2010, Ottawa, Canada. Elsevier, 265, pp.73--96, 2010, Electronic Notes in Theoretical Computer Science; Proceedings of the 26th Conference on the Mathematical Foundations of Programming Semantics (MFPS 2010). <10.1016/j.entcs.2010.08.006>
Accès au bibtex
BibTex
titre
Static Analysis and Verification of Aerospace Software by Abstract Interpretation
auteur
Julien Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival
article
American Institute of Aeronautics and Astronautics - AIAA Infotech@Aerospace 2010, Apr 2010, Atlanta, United States. American Institue of Aeronautics and Astronautics, 2010, <http://www.google.fr/url?sa=t&source=web&cd=2&sqi=2&ved=0CB4QFjAB&url=http%3A%2F%2Fpdf.aiaa.org%2Fpreview%2F2010%2FCDReadyMIAA10_2358%2FPV2010_3385.pdf&ei=1UvBTLLqEMGKswamv-S4CA&usg=AFQjCNFGH0_rG7PESuLq1mQXnbBFlLvSzw&sig2=Kk5dxWbo0c1XTGFijYp4xA>
Accès au bibtex
BibTex
titre
A Scalable Segmented Decision Tree Abstract Domain
auteur
Patrick Cousot, Radhia Cousot, Laurent Mauborgne
article
Z. Manna and D. Peled. Time for Verification, Essays in Memory of Amir Pnueli, Apr 2010, New York, United States. Springer-Verlag, 6200, pp.72-95, 2010, Lecture Notes in Computer Science; Time for Verification, Essays in Memory of Amir Pnueli
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00543632/file/segmentation.pdf BibTex
titre
Separating Shape Graphs
auteur
Vincent Laviron, Bor-Yuh Evan Chang, Xavier Rival
article
Springer. 19th European Symposium on Programming - ESOP 2010, Mar 2010, Paphos, Cyprus. 6012, pp.387-406, 2010, LNCS
Accès au bibtex
BibTex
titre
An Abstract Domain to Discover Interval Linear Equalities
auteur
Liqian Chen, Antoine Miné, Ji Wang, Patrick Cousot
article
11th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'10), Jan 2010, Spain. Springer, 5944, pp.112-128, 2010, LNCS
Accès au bibtex
BibTex
titre
Abstracting the differential semantics of rule-based models: exact and automated model reduction
auteur
Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine
article
Logic in Computer Science, 2010, Edinburgh, United Kingdom. pp.362-381, 2010, IEEE Computer Society
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00520112/file/Dan_etal10a.pdf BibTex

Chapitre d'ouvrage

titre
Rule Based Modeling and Model Refinement
auteur
Elaine Murphy, Vincent Danos, Jérôme Feret, Jean Krivine, Russell Harmer
article
H. Lodhi and S. Muggleton. Elements of Computational Systems Biology, John Wiley & Sons, pp.83--114, 2010, Wiley Book Series on Bioinformatics, 978-0470180938. <10.1002/9780470556757.ch4>
Accès au bibtex
BibTex
titre
A gentle introduction to formal verification of computer systems by abstract interpretation
auteur
Patrick Cousot, Radhia Cousot
article
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
https://hal.inria.fr/inria-00543886/file/CousotCousot-Marktoberdorf-2009.pdf BibTex
titre
Logical Abstract Domains and Interpretations
auteur
Patrick Cousot, Radhia Cousot, Laurent Mauborgne
article
Sebastian Nanz. The Future of Software Engineering, Springer-Verlag, pp.48-71, 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00543855/file/LogicalAbstractDomains.pdf BibTex

Direction d'ouvrage, Proceedings

titre
Proceedings of the Second International Workshop on Numerical and Symbolic Abstract Domains (NSAD 2010)
auteur
Antoine Miné, Enric Rodríguez-Carbonell
article
Antoine Miné and Enric Rodríguez Carbonell. 267, Elsevier, pp.150, 2010, ENTCS
Accès au bibtex
BibTex
titre
Static Analysis
auteur
Radhia Cousot, Matthieu Martel
article
France. LNCS (6337), Springer, 2010, 978-3-642-15768-4. <10.1007/978-3-642-15769-1>
Accès au bibtex
BibTex

Pré-publication, Document de travail

titre
A Framework for Combining Algebraic and Logical Abstract Interpretations
auteur
Patrick Cousot, Radhia Cousot, Laurent Mauborgne
article
2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00543890/file/LogicalAlgebraicAIreport.pdf BibTex

2009

Article dans une revue

titre
Why does Astrée scale up?
auteur
Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival
article
Formal Methods in System Design, Springer Verlag, 2009, Special issue on Numerical Software Verification, 35 (3), pp.229-264. <10.1007/s10703-009-0089-6>
Accès au bibtex
BibTex
titre
Rule-Based Modelling and Model Perturbation
auteur
Vincent Danos, Jérôme Feret, Walter Fontana, Russ Harmer, Jean Krivine
article
Transactions on Computational Systems Biology, Springer, 2009, Transactions on Computational Systems Biology XI, 5750, pp.116-137. <10.1007/978-3-642-04186-0_6>
Accès au bibtex
BibTex

Communication dans un congrès

titre
APRON: A Library of Numerical Abstract Domains for Static Analysis
auteur
Bertrand Jeannet, Antoine Miné
article
Ahmed Bouajjani and Oded Maler. CAV'2009 - Computer Aided Verification, Jun 2009, Grenoble, France. Springer, 5643, pp.661-667, 2009, Lecture Notes in Computer Science. <10.1007/978-3-642-02658-4_52>
Accès au bibtex
BibTex
titre
Astrée: Nachweis der Abwesenheit von Laufzeitfehlern.
auteur
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
article
Workshop "Entwicklung zuverlässiger Software-Systeme", Jun 2009, Regensburg, Germany. 2009
Accès au bibtex
BibTex
titre
Space Software Validation using Abstract Interpretation
auteur
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
article
The International Space System Engineering Conference : Data Systems in Aerospace - DASIA 2009, May 2009, Istambul, Turkey. European Space Agency, pp.1-7, 2009
Accès au bibtex
BibTex

2008

Communication dans un congrès

titre
Investigation of a biological repair scheme
auteur
Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine
article
Paun, G. the 9th Workshop on Membrane Computing - WMC9, Jul 2008, Edinburgh, United Kingdom. Springer, 5391, pp.1-12, 2009, Lecture Notes in Computer Science; Membrane Computing. <10.1007/978-3-540-95885-7_1>
Accès au bibtex
BibTex

Chapitre d'ouvrage

titre
Rule-based modelling and model perturbations
auteur
Vincent Danos, Jérôme Feret, Walter Fontana, Russ Harmer, Jean Krivine
article
Corrado Priami ; Ralph-Johan Back ; Ion Petre. Transactions on Computational Systems Biology XI, Springer, pp.116-137, 2008, Lecture Notes in Computer Science, 978-3-642-04186-0. <10.1007/978-3-642-04186-0_6>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00350299/file/var.pdf BibTex

2006

Communication dans un congrès

titre
Validation et Vérification Formelles de Systèmes Interactifs Multi-Modaux Fondées sur la Preuve.
auteur
Yamine Ait-Ameur, Idir Aït-Sadoune, Mickael Baron, Jean-Marc Mota
article
18es Conférence Francophone sur l'Interaction Homme-Machine (IHM 2006)., Apr 2006, Montréal, Canada. 133, pp.123-130, 2006, ACM International Conference Proceeding
Accès au bibtex
BibTex
titre
Étude et comparaison de scénarios de développements formels d'interfaces multi-modales fondés sur la preuve et le raffinement.
auteur
Yamine Aït-Ameur, Idir Aït-Sadoune, Mickael Baron
article
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, Maroc. Lavoisier, pp.578-588, 2006
Accès au bibtex
BibTex

Suivez Inria tout au long de son 50e anniversaire et au-delà !