• Selected Publications (Chronological order) (By topic) (Google scholar)

    • 2012

      • An Abstract Interpretation Framework for Termination. Patrick Cousot and Radhia Cousot. In Conference Record of the 39th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, Philadelphia, PA, USA, January 25-27, 2012. Pages 245-258, ACM Press, New York.


    • 2011

      • A Parametric Segmentation Functor for Fully Automatic and Scalable Array Content Analysis. Patrick Cousot, Radhia Cousot, and Francesco Logozzo. In Conference Record of the 38th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, Austin, TX, USA, January 26-28, 2011. Pages 105-118, ACM Press, New York.

      • Precondition Inference from Intermittent Assertions and Application to Contracts on Collections. Patrick Cousot, Radhia Cousot, and Francesco Logozzo. In Proceedings of the 9th International Conference on Verification, Model Checking, and Abstract Interpretation, R. Jhala, D. Schmidt (Eds), Austin, TX, USA, January 26-28, 2011. Lecture Notes in Computer Science, Volume 6538, Pages 150-168, Springer 2011.

      • The reduced product of abstract domains and the combination of decision procedures. Patrick Cousot, Radhia Cousot, and Laurent Mauborgne. In Proceedings of the 14th International Conference on Fondations of Software Science and Computation Structures, M. Hofmann (Ed.), Saarbrücken, Germany, March 26 - April 3, 2011. Lecture Notes in Computer Science, Volume 6604, Pages 456-472, Springer, 2011.

      • Static Analysis by Abstract Interpretation of Embedded Critical Software. Julien Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, and Xavier Rival. In ACM Software Engineering Notes, Volume 36, Issue 1, Pages 1-8, January 2011.

      • L'analyseur statique Astrée. Julien Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, and Xavier Rival. In Utilisations industrielles des techniques formelles : interprétation abstraite, J.-L. Boulanger (Ed.), Hermès - Lavoisier, 2011.

      • Grammar semantics, analysis and parsing by abstract interpretation. Patrick Cousot and Radhia Cousot. In Theoretical Computer Science, Volume 412, Issue 44, Pages 6135-6192. Elsevier, 2011.


    • 2010

      • A Scalable Segmented Decision Tree Abstract Domain. Patrick Cousot, Radhia Cousot, and Laurent Mauborgne. In Time for Verification, Essays in Memory of Amir Pnueli, Z. Manna, D. Peled (Eds). Lecture Notes in Computer Science 6200, Pages 72-95, Springer 2010.

      • Static Analysis and Verification of Aerospace Software by Abstract Interpretation. Julien Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, and Xavier Rival. In AIAA Infotech@Aerospace 2010, American Institute of Aeronautics and Astronautics. Atlanta, Georgia, April 20-22, 2010.

      • Astrée: Proving the Absence of Runtime Errors. Daniel Kästner, Stephan Wilhelm, Stefana Nenova, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, and Xavier Rival. In Proc. of the Embedded Real Time Software and Systems (ERTS2 2010). Toulouse, France, May 19-21, 2010.

      • A gentle introduction to formal verification of computer systems by abstract interpretation. Patrick Cousot and Radhia Cousot. In Logics and Languages for Reliability and Security, J. Esparza, B. Spanfelner, & O. Grumberg (Eds), NATO Science for Peace and Security Series - D: Information and Communication Security, IOS Press, Volume 25, Pages 1-29, 2010.

      • Static Analysis. Radhia Cousot and Matthieu Martel (Eds). 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Lecture Notes in Computer Science , Vol. 6337, 2010.

      • Static Analysis by Abstract Interpretation of Embedded Critical Software. Julien Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, and Xavier Rival. In Third IEEE International workshop UML and Formal Methods. Shanghai, China, 16 November 2010.

      • Logical Abstract Domains and Interpretations. Patrick Cousot, Radhia Cousot, and Laurent Mauborgne. In The Future of Software Engineering, S. Nanz (Ed.), Pages 48-71. Springer, 2010.


    • 2009

      • Bi-inductive Structural Semantics. Patrick Cousot and Radhia Cousot. In Information and computation 207(2):258-283, February 2009.

      • Abstract interpretation of resolution-based semantics. Patrick Cousot, Radhia Cousot, and Roberto Giacobazzi. In Abstract Interpretation and Logic Programming: In honor of professor Giorgio Levi, M. Falaschi, M. Gabbrielli, and C. Palamidessi (Eds), Theoretical Computer Science, Volume 410, Issue 46, Pages 4724-4746, November 2009, Elsevier.

      • Abstraction and approximation in abstract interpretation. Radhia Cousot. In International Workshop on Abstractions for Petri Nets and Other Models of Concurrency, APNOC'09, Paris, France, June 22, 2009.

      • Astrée: Nachweis der Abwesenheit von Laufzeitfehlern. Daniel Kästner, Christian Ferdinand, Stephan Wilhelm, Stefana Nevona, Olha Honcharova, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival, and Élodie-Jane Sims. In Workshop Entwicklung zuverlässiger Software-Systeme. Regensburg, Germany, June 18, 2009.

      • Why does Astrée scale up? Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, and Xavier Rival. In Formal Methods in System Design, Volume 35, Number 3, Pages 229-264. Springer, December, 2009.

      • Space Software Validation using Abstract Interpretation. Olivier Bouissou, Éric Conquet, Patrick Cousot, Radhia Cousot, Jérôme Feret, Khalil Ghorbal, Éric Goubault, David Lesens, Laurent Mauborgne, Antoine Miné, Sylvie Putot, Xavier Rival, and Michel Turin. In Proc. of the Int. Space System Engineering Conf., Data Systems in Aerospace (DASIA 2009). Istambul, Turkey, May 2009, 7 pages. ESA.


    • 2008

      • Abstract Interpretation of Non-monotone Bi-inductive Semantic Definitions. Radhia Cousot. In Proceedings of the 9th International Conference on Verification, Model Checking, and Abstract Interpretation, F. Logozzo, D. Peled, L. Zuck (Eds), San Francisco, USA, January 7-9, 2008. Lecture Notes in Computer Science 4905 Springer 2008.


    • 2007

      • Bi-inductive Structural Semantics: (Extended Abstract). Patrick Cousot and Radhia Cousot. In Proceedings of the Fourth Workshop on Structural Operational Semantics (SOS 2007). Electronic Notes in Theoretical Computer Science, Volume 192, Issue 1, 24 October 2007, Pages 29-44.

      • Varieties of Static Analyzers: A Comparison with ASTRÉE. Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux and Xavier Rival. First IEEE & IFIP International Symposium on ``Theoretical Aspects of Software Engineering'', TASE'07, Shanghai, China, 6-8 June 2007, pp. 3-17.


    • 2006

      • Grammar Analysis and Parsing by Abstract Interpretation. Patrick Cousot and Radhia Cousot. In Program Analysis and Compilation, Theory and Practice: Essays dedicated to Reinhard Wilhelm, T. Reps, M. Sagiv and J. Bauer (Eds), Lecture Notes in Computer Science 4444, pp. 178-203, Springer, 2006.

      • Combination of Abstractions in the ASTRÉE Static Analyzer. Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux and Xavier Rival. In 11th Annual Asian Computing Science Conference (ASIAN'06), National Center of Sciences, Tokyo, Japan, December 6-8, 2006. LNCS 4435, Springer-Verlag, Berlin, pp. 272-300.


    • 2005

      • The ASTRÉE Analyzer. Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux and Xavier Rival. In Proceedings of Programming Languages and Systems, 14th European Symposium on Programming, ESOP 2005, Shmuel Sagiv (Ed.), Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, April 4-8, 2005, Edinburgh, UK. Lecture Notes in Computer Science 3444, pp. 21-30, Springer.

      • Special Issue: Selected Papers from the Static Analysis Symposium SAS 2003. Radhia Cousot (Ed.). Science of Computer Programming, Volume 58, Issues 1-2, October 2005.

      • Verification, Model Checking, and Abstract Interpretation. Radhia Cousot (Ed.). 6th International Conference VMCAI 2005, Paris, France, January 17-19, 2005. Lecture Notes in Computer Science, Vol. 3385, 2005.


    • 2004

      • An Abstract Interpretation-Based Framework for Software Watermarking. Patrick Cousot and Radhia Cousot. In Conference Record of the 31st ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, Venice, Italy, January 14-16, 2004. ACM Press, New York, pp. 173-185.

      • Basic Concepts of Abstract Interpretation. Patrick Cousot and Radhia Cousot. In Building the Information Society , René Jacquard (Ed.), Kluwer Academic Publishers, pp. 359-366, 2004.


    • 2003

      • A Static Analyzer for Large Safety-Critical Software. Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux and Xavier Rival. In PLDI 2003 - ACM SIGPLAN-SIGSOFT Conference on Programming Language Design and Implementation , June 7-14, 2003, San Diego, California, USA, pp. 196-207, ACM.

      • Parsing as Abstract Interpretation of Grammar Semantics. Patrick Cousot and Radhia Cousot. In Theoretical Computer Science 290:531-544 (2003). Elsevier.

      • Static Analysis. Radhia Cousot (Ed.). 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Lecture Notes in Computer Science , Vol. 2694, 2003.


    • 2002

      • Systematic Design of Program Transformation Frameworks by Abstract Interpretation. Patrick Cousot and Radhia Cousot. In Conference Record of the 29th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, Portland, OR, USA, January 16-18, 2002. ACM Press, New York, pp. 178-190.

      • Modular Static Program Analysis. Patrick Cousot and Radhia Cousot. In CC 2002 - International Conference on Compiler Construction, R. Nigel Horspool (E.), Lecture Notes in Computer Science 2304, April 6-14, 2002, Grenoble, France, pp. 159-178, Springer.

      • On Abstraction in Software Verification. Patrick Cousot and Radhia Cousot. Proceedings of the 14th International Conference on Computer Aided Verification, CAV 2002, Copenhagen, Denmark, July 2002 Ed Brinksma and Kim Guldstrand Larsen (Eds), Lecture Notes in Computer Science, LNCS 2404, Springer-Verlag Berlin Heidelberg, 2002.

      • Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software. Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux and Xavier Rival. In The Essence of Computation: Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones, T. Mogensen, D.A. Schmidt and I.H. Sudborough (Eds), Lecture Notes in Computer Science 2566, pp. 85-108, Springer-Verlag, Berlin, October 2002.


    • 2001

      • Abstract interpretation based transition compression transformation. Radhia Cousot. In Special session honoring Neil Jones, 17th Workshop on the Mathematical Foundations of Programming Semantics, Aarhus, Denmark, May 23-26, 2001.

      • A Case Study in Abstract Interpretation Based Program Transformation: Blocking Command Elimination. Patrick Cousot and Radhia Cousot. In Electronic Notes in Theoretical Computer Science 45, pages 41-64, 2001.

      • Compositional Separate Modular Static Analysis of Programs by Abstract Interpretation. Patrick Cousot and Radhia Cousot. Proceedings of the Second International Conference on Advances in Infrastructure for E-Business, E-Science and E-Education on the Internet, SSGRR 2001 Compact disk, L'Aquila, Roma, Italy, 6-12 August, 2001.

      • Verification of Embedded Software: Problems and Perspectives. Patrick Cousot and Radhia Cousot. In EMSOFT 2001: First Workshop on Embedded Software, October, 8-10, 2001, Lake Tahoe, California, Thomas A. Henzinger and Christoph M. Kirsch (Eds), Lecture Notes in Computer Science 2211, pp. 97-113. Springer.


    • 2000

      • Temporal Abstract Interpretation. Patrick Cousot and Radhia Cousot. In Conference Record of the 27th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, Boston, MA, USA, January 19-21, 2000. ACM Press, New York, pp. 12-25.

      • Abstract Interpretation Based Program Testing. Patrick Cousot and Radhia Cousot. Proceedings of the SSGRR 2000 Computer & eBusiness International Conference, Compact disk paper 248 and electronic proceedings http://www.ssgrr.it/en/ssgrr2000/proceedings.htm, L'Aquila, Rome, Italy, July 31-August 6, 2000.


    • 1999

      • Refining Model Checking by Abstract Interpretation. Patrick Cousot and Radhia Cousot. Automated Software Engineering Journal, special issue on Automated Software Analysis 6(1):69-95, 1999.

      • Special Issue: Selected Papers from the Static Analysis Symposium SAS 1996. Radhia Cousot and David A. Schmidt (Eds). Science of computer programming, Vol. 35, no. 2-3, 1999.


    • 1997

      • Parallel Combination of Abstract Interpretation and Model-Based Automatic Analysis of Software. Patrick Cousot and Radhia Cousot. In Proceedings of the first ACM SIGPLAN workshop on Automatic Analysis of Software, AAS'97 , R. Cleaveland & D. Jackson (Eds), Paris, France, pages 91-98, 14 January 1997.

      • Abstract Interpretation of Algebraic Polynomial Systems. Patrick Cousot and Radhia Cousot. In M. Johnson, editor, Proceedings of the Sixth International Conference on Algebraic Methodology and Software Technology, AMAST'97, Sydney, Australia, Lecture Notes in Computer Science 1349, pages 138-154. Springer-Verlag, Berlin, 13-18 December 1997.


    • 1996

      • Static Analysis. Radhia Cousot and David A. Schmidt (Eds). 3rd International Symposium, SAS 1996, Aachen, Germany, September 24-26, 1996. Lecture Notes in Computer Science , Vol. 1145, 1996.


    • 1995

      • Formal Language, Grammar and Set-Constraint-Based Program Analysis by Abstract Interpretation. Patrick Cousot and Radhia Cousot. In Conference Record of FPCA '95 SIGACT-SIGPLAN Conference on Functional Programming and Computer Architecture, pages 170-181, La Jolla, California, 25-28 June 1995. ACM Press, New York.

      • Compositional and Inductive Semantic Definitions in Fixpoint, Equational, Constraint, Closure-condition, Rule-based and Game Theoretic Form. Patrick Cousot and Radhia Cousot. In Conference on Computer-Aided Verification, 7th International Conference, CAV '95, P. Wolper (Ed.), Liège, Belgium. Lecture Notes in Computer Science 939, pages 293-308. Springer-Verlag, Berlin, Germany, July 3-5, 1995.


    • 1994

      • Higher-order abstract interpretation (and application to comportment analysis generalizing strictness, termination, projection and PER analysis of functional languages). Patrick Cousot and Radhia Cousot. In Proceedings of the 1994 International Conference on Computer Languages, ICCL'94, Toulouse, France, pages 95-112. IEEE Computer Society Press, Los Alamitos, California, U.S.A., May 16-19, 1994.

      • Abstract interpretation of functional languages. Patrick Cousot and Radhia Cousot. In Atlantique Workshop on Semantics-Based Program Manipulation, Portland, Oregon, January 19-21, 1994.

      • Forward and backward strictness analysis by abstract interpretation of a relational semantics. Patrick Cousot and Radhia Cousot. Rapport de recherche RR/94/05, Laboratoire d'Informatique, École Polytechnique, February 1994.


    • 1993

      • Galois connection based abstract interpretations for strictness analysis. Patrick Cousot and Radhia Cousot. In D. Bjorner, M. Broy, & I.V. Pottosin, editors, Proceedings of the International Conference on Formal Methods in Programming and their Applications, FMPA'93 Academgorodok, Novosibirsk, Russia. Lecture Notes in Computer Science 735, pages 98-127. Springer-Verlag, Berlin, Germany, June 28-July 2, 1993.

      • ‘À la Burstall’ intermittent assertions induction principles for proving inevitability properties of programs. Patrick Cousot and Radhia Cousot. Theoret. Comput. Sci. 120(1):123-155, 1993.


    • 1992

      • Inductive definitions, semantics and abstract interpretation. Patrick Cousot and Radhia Cousot. Conference Record of the 19th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, pages 83-94, Albuquerque, New Mexico, January 1992. ACM Press, New York.

      • Abstract interpretation and application to logic programs. Patrick Cousot and Radhia Cousot. Journal of Logic Programming, 13(2-3):103-179, 1992.

      • Abstract interpretation frameworks. Patrick Cousot and Radhia Cousot. Journal of Logic and Computation, 2(4):511-547, August 1992.

      • Comparing the Galois connection and widening/narrowing approaches to abstract interpretation. Patrick Cousot and Radhia Cousot. Programming Language Implementation and Logic Programming, Proceedings of the Fourth International Symposium, PLILP'92, Leuven, Belgium, 13-17 August 1992, Lecture Notes in Computer Science 631, pages 269-295. Springer-Verlag, Berlin, Germany, 1992.


    • 1991

      • Relational abstract interpretation of higher-order functional programs. Patrick Cousot and Radhia Cousot. Actes JTASPEFL'91, Bordeaux, 9-11 octobre 1991, in BIGRE, no 74, pages 33-36, IRISA, Rennes, France, 1991.

      • Comparison of the Galois connection and widening/narrowing approaches to abstract interpretation. Patrick Cousot and Radhia Cousot. Actes JTASPEFL'91, Bordeaux, 9-11 octobre 1991, in BIGRE, no 74, pages 107-110, IRISA, Rennes, France, 1991.

      • Premières leçons de programmation en Turbo-Pascal. Laurent Cousot, Patrick Cousot, Radhia Cousot and Thibault Cousot. McGraw-Hill, 297 pages. Paris, 1991.


    • 1989

      • A language independent proof of the soundness and completeness of generalized Hoare logic. Patrick Cousot and Radhia Cousot. Information and Computation, Volume 80, Issue 2, February 1989, Pages 165-191.


    • 1988

      • A language independent proof of the soundness and completeness of generalized Hoare logic. Patrick Cousot and Radhia Cousot. In Information and computation 80(2):165-191, 1989.


    • 1987

      • Sometime = Always + Recursion ≡ Always, On the Equivalence of the Intermittent and Invariant Assertions Methods for Proving Inevitability Properties of Programs. Patrick Cousot and Radhia Cousot. Acta Informatica 24, 1-31, 1987.


    • 1985

      • Fondements des méthodes de preuve d'invariance et de fatalité de programmes parallèles. Radhia Cousot. Thèse ès Sciences Mathématiques, Institut national polytechnique de Lorraine, Nancy, France, 15 November 1985.

      • ‘À la Floyd’ induction principles for proving inevitability properties of programs. Patrick Cousot and Radhia Cousot. In Algebraic methods in semantics, M. Nivat and J. Reynolds (Eds.), Cambridge University Press, Cambridge, UK, pp. 277-312, December 1985.

      • Principe des Méthodes de Preuve de Propriétés d'Invariance et de Fatalité des Programmes Parallèles (Principle of invariance and inevitability proof methods of concurrent programs). Patrick Cousot and Radhia Cousot. In « Parallélisme, communication et synchronisation », J.-P. Verjus et G. Roucairol (Eds.), Éditions du CNRS, Paris, pp. 129-149, 1985, ISBN 2-222-03672-0.


    • 1984

      • Invariance Proof Methods and Analysis Techniques For Parallel Programs. Patrick Cousot and Radhia Cousot. In A.W. Biermann, G. Guiho & Y. Kodratoff, editors, Automatic Program Construction Techniques, Ch. 12, pages 243-271. Macmillan, New York, 1984.


    • 1983

        • “À la Burstall” induction principles for proving inevitability properties of programs. Patrick Cousot and Radhia Cousot. In Research Report LRIM-83-08, University Paul Verlaine of Metz, November 1983.


    • 1982

      • Constructive design of program proof methods. Patrick Cousot and Radhia Cousot. In CNRS NSF Seminar on Algebraic Methods in Programming, Fontainebleau, June 8-15, 1982.

      • Induction principles for proving invariance properties of programs. Patrick Cousot and Radhia Cousot. In Tools and Notions for Program Construction: an Advanced Course, D. Néel (Ed.), Cambridge University Press, Cambridge, UK, pp. 75-119, August 1982.


    • 1981

      • Proving invariance properties of parallel programs by backward induction. Radhia Cousot. Research report No LRIM-82-02, Laboratoire de Recherche en Informatique, Université De Metz, March 1981.


    • 1980

      • Semantic analysis of communicating sequential processes. Patrick Cousot and Radhia Cousot. Seventh International Colloquium on Automata, Languages and Programming, Noordwijerhout, The Netherlands, 14-18 July 1980, Lecture Notes in Computer Science 85, pages 119-133. Springer-Verlag, Berlin, 1980.

      • Reasoning about program invariance proof methods. Patrick Cousot and Radhia Cousot. Research report No CRIN-80-P050, Centre de Recherche en Informatique, Université Henri Poincaré, Nancy, 1980.

      • Constructing program invariance proof methods. Patrick Cousot and Radhia Cousot. In International Workshop on Program Construction, Château de Bonas, Castera-Verduzan, France, pages 13:1-21, September 8-12, 1980.


    • 1979

      • Systematic Design of Program Analysis Frameworks. Patrick Cousot and Radhia Cousot. In Conference Record of the Sixth Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, pages 269-282, San Antonio, Texas, 1979. ACM Press, New York.

      • Constructive Versions of Tarski's Fixed Point Theorems. Patrick Cousot and Radhia Cousot. Pacific Journal of Mathematics, Vol. 82, No. 1, 1979, pp. 43-57.

      • A constructive characterization of the lattices of all retractions, pre-closure, quasi-closure and closure operators on a complete lattice. Patrick Cousot and Radhia Cousot. Portugaliæ Mathematica, 38(2):185-198, 1979.


    • 1978

      • Static determination of dynamic properties of recursive procedures. Patrick Cousot and Radhia Cousot. In Formal Description of Programming Concepts, E.J. Neuhold, (Ed.), pages 237-277. North-Holland Publishing Company 1978.


    • 1977

      • Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. Patrick Cousot and Radhia Cousot. In Conference Record of the Sixth Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, pages 238-252, Los Angeles, California, 1977. ACM Press, New York.

      • Static determination of dynamic properties of generalized type unions. Patrick Cousot and Radhia Cousot. In Proceedings of ACM Conference on Language Design for Reliable Software, D. Wortman (Ed.), March 28-30, 1977, Raleigh, NC, USA. SIGPLAN Notices, Vol. 12, Nb 3, March 1977, pages 77-94.

      • Static determination of dynamic properties of recursive procedures. Patrick Cousot and Radhia Cousot. In IFIP Conference on Formal Description of Programming Concepts, St-Andrews, N.B., Canada, August 1977.

      • Automatic synthesis of optimal invariant assertions: mathematical foundations. Patrick Cousot and Radhia Cousot. In Proceedings of the ACM Symposium on Artificial Intelligence & Programming Languages, 1977, Rochester, NY, USA. SIGPLAN Notices, Vol. 12, Nb 8, 15-17 August 1977, pages 1-12; SIGART Newsletter, No. 64, 15-17 August 1977, pages 1-12; ACM Press, New York.

      • Towards a Universal Model for Static Analysis of Programs. Patrick Cousot and Radhia Cousot. Unpublished manuscript, Laboratoire IMAG, University of Grenoble, France. 90 pages. January 1977.

      • Fixed Point Approach to the Approximate Semantic Analysis of Programs. Patrick Cousot and Radhia Cousot. Unpublished manuscript, Laboratoire IMAG, University of Grenoble, France. 48 pages. June 1977.


    • 1976

      • Static Determination of Dynamic Properties of Programs. Patrick Cousot and Radhia Cousot. In Proceedings of the second international symposium on Programming, B. Robinet (Ed), Paris, France, pages 106-130, April 13-15 1976, Dunod, Paris.


    • 1975

      • Static Verification of Dynamic Type Properties of Variables. Patrick Cousot and Radhia Cousot. Research Report R.R. 25, Laboratoire IMAG, University of Grenoble, France. 18 pages. November 1975.

      • Vérification statique de la cohérence dynamique des programmes. Patrick Cousot and Radhia Cousot. In Rapport du contrat IRIA SESORI 75-035, Laboratoire IMAG, University of Grenoble, France. 125 pages. 23 September 1975.

    • Selected Software

      • Astrée — A Static Analyzer of Real-Time Embedded Software
        & AstréeA — A Static Analyzer of Real-Time Asynchronous Embedded Software

      • Arrayal — An abstract domain library functor for array content static analysis by parametric segmentation. Patrick Cousot, Radhia Cousot and Francesco Logozzo. 2009. — Included in the MSR CCCheck (aka Clousot), a language agnostic abstract interpretation-based static contract analyzer and checker for .NET.

    Email: radhia[point]cousot[arobase]ens [point]fr
    Address: École Normale Supérieure, 45 rue d'Ulm, 75230 Paris Cedex 05, France

Radhia Cousot's homepage

  • Home
  • Publications & Software
  • Grants
  • Teaching
  • Contact