 |
 |
 |
 |
|
|
||
|---|---|---|
|
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> |
||
|
hal-00930096v1
Communication dans un congrès
Omer Tripp, Marco Pistoia, Patrick Cousot, Radhia Cousot, Salvatore Guarnieri. Andromeda: Accurate and Scalable Security Analysis of Web Applications 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> |
||
|
hal-00930103v1
Communication dans un congrès
Patrick Cousot, Radhia Cousot. A galois connection calculus for abstract interpretation 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> |
||
|
hal-00930070v1
Communication dans un congrès
Patrick Cousot, Radhia Cousot, Manuel Fähndrich, Francesco Logozzo. Automatic Inference of Necessary Preconditions 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> |
||
|
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 |
||
|
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> |
||
|
|
||