 |
 |
 |
 |
|
|
||
|---|---|---|
|
inria-00528571v1
Communication dans un congrès
Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné et al. Combination of Abstractions in the ASTRÉE Static Analyzer Okada, Mitsu and Satoh, Ichir. the 11th Annual Asian Computing Science Conference - ASIAN'06, Dec 2006, Tokyo, Japan. Springer, 4435, pp.272-300, 2006, Lecture Notes in Computer Science; Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues. <10.1007/978-3-540-77505-8_23> |
||
|
inria-00528632v1
Communication dans un congrès
Julien Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne et al. Static Analysis by Abstract Interpretation of Embedded Critical Software Augusti Canal. the 3rd IEEE International workshop UML and Formal Methods, Nov 2010, Shangai, China. 2010 |
||
|
inria-00528600v1
Communication dans un congrès
Daniel Kästner, Stephan Wilhelm, Stefana Nenova, Patrick Cousot, Radhia Cousot et al. Astree: Proving the Absence of Runtime Errors 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> |
||
|
inria-00528611v1
Communication dans un congrès
Julien Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne et al. Static Analysis and Verification of Aerospace Software by Abstract Interpretation 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> |
||
|
tel-00136630v1
Thèse
Antoine Miné. Weakly Relational Numerical Abstract Domains Software Engineering [cs.SE]. Ecole Polytechnique X, 2004. English |
||
|
inria-00072955v1
Rapport
Antoine Miné, Fabrice Neyret. Perlin Textures in Real Time using OpenGL [Research Report] RR-3713, INRIA. 1999, pp.18 |
||
|
inria-00528442v1
Chapitre d'ouvrage
Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne et al. Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software Mogensen, T. and Schmidt, D.A. and Sudborough, I.H. The Essence of Computation: Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones, 2566, Springer, pp.85-108, 2002, Lecture Notes in Computer Science, <10.1007/3-540-36377-7_5> |
||
|
inria-00528590v1
Communication dans un congrès
Olivier Bouissou, Eric Conquet, Patrick Cousot, Radhia Cousot, Jérôme Feret et al. Space Software Validation using Abstract Interpretation The International Space System Engineering Conference : Data Systems in Aerospace - DASIA 2009, May 2009, Istambul, Turkey. European Space Agency, pp.1-7, 2009 |
||
|
hal-00785604v1
Communication dans un congrès
Marie Pelleau, Antoine Miné, Charlotte Truchet, Frédéric Benhamou. A Constraint Solver based on Abstract Domains 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> |
||
|
inria-00636877v1
Chapitre d'ouvrage
Julien Bertrane, Jérôme Feret, Patrick Cousot, Radhia Cousot, Antoine Miné et al. L'analyseur statique Astrée 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 |
||
|
inria-00528582v1
Article dans une revue
Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné et al. Why does Astrée scale up? 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> |
||
|
|
||