default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRadhia Cousot
Person information
- affiliation: ENS Paris, France
- award (2013): Programming Languages Achievement Award
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2015
[j16]Julien Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival:
Static Analysis and Verification of Aerospace Software by Abstract Interpretation. Found. Trends Program. Lang. 2(2-3): 71-190 (2015)- 2014
- [c43]Patrick Cousot, Radhia Cousot:
Abstract interpretation: past, present and future. CSL-LICS 2014: 2:1-2:10 - [c42]Patrick Cousot, Radhia Cousot:
A Galois connection calculus for abstract interpretation. POPL 2014: 3-4 - 2013
- [c41]Omer Tripp, Marco Pistoia, Patrick Cousot, Radhia Cousot, Salvatore Guarnieri:
Andromeda: Accurate and Scalable Security Analysis of Web Applications. FASE 2013: 210-225 - [c40]Patrick Cousot, Radhia Cousot, Manuel Fähndrich, Francesco Logozzo:
Automatic Inference of Necessary Preconditions. VMCAI 2013: 128-148 - [e5]Roberto Giacobazzi, Radhia Cousot:
The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013. ACM 2013, ISBN 978-1-4503-1832-7 [contents] - 2012
- [j15]Patrick Cousot, Radhia Cousot, Laurent Mauborgne:
Theories, solvers and static analysis by abstract interpretation. J. ACM 59(6): 31:1-31:56 (2012) - [c39]Francesco Logozzo, Michael Barnett, Manuel Fähndrich, Patrick Cousot, Radhia Cousot:
A semantic integrated development environment. SPLASH 2012: 15-16 - [c38]Patrick Cousot, Radhia Cousot, Francesco Logozzo, Michael Barnett:
An abstract interpretation framework for refactoring with application to extract methods with contracts. OOPSLA 2012: 213-232 - [c37]Patrick Cousot, Radhia Cousot:
An abstract interpretation framework for termination. POPL 2012: 245-258 - 2011
- [j14]Julien Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival:
Static analysis by abstract interpretation of embedded critical software. ACM SIGSOFT Softw. Eng. Notes 36(1): 1-8 (2011) - [j13]Patrick Cousot, Radhia Cousot:
Grammar semantics, analysis and parsing by abstract interpretation. Theor. Comput. Sci. 412(44): 6135-6192 (2011) - [c36]Patrick Cousot, Radhia Cousot, Laurent Mauborgne:
The Reduced Product of Abstract Domains and the Combination of Decision Procedures. FoSSaCS 2011: 456-472 - [c35]Patrick Cousot, Radhia Cousot, Francesco Logozzo:
A parametric segmentation functor for fully automatic and scalable array content analysis. POPL 2011: 105-118 - [c34]Patrick Cousot, Radhia Cousot, Francesco Logozzo:
Precondition Inference from Intermittent Assertions and Application to Contracts on Collections. VMCAI 2011: 150-168 - 2010
- [c33]Patrick Cousot, Radhia Cousot, Laurent Mauborgne:
Logical Abstract Domains and Interpretations. The Future of Software Engineering 2010: 48-71 - [c32]Patrick Cousot, Radhia Cousot, Laurent Mauborgne:
A Scalable Segmented Decision Tree Abstract Domain. Essays in Memory of Amir Pnueli 2010: 72-95 - [p1]Patrick Cousot, Radhia Cousot:
A gentle introduction to formal verification of computer systems by abstract interpretation. Logics and Languages for Reliability and Security 2010: 1-29 - [e4]Radhia Cousot, Matthieu Martel:
Static Analysis - 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings. Lecture Notes in Computer Science 6337, Springer 2010, ISBN 978-3-642-15768-4 [contents]
2000 – 2009
- 2009
- [j12]Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival:
Why does Astrée scale up? Formal Methods Syst. Des. 35(3): 229-264 (2009) - [j11]Patrick Cousot, Radhia Cousot:
Bi-inductive structural semantics. Inf. Comput. 207(2): 258-283 (2009) - [j10]Daniel Kästner, Christian Ferdinand, Stephan Wilhelm, Stefana Nenova, Olha Honcharova, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival, Élodie-Jane Sims:
Astree: Nachweis der Abwesenheit von Laufzeit. Softwaretechnik-Trends 29(3) (2009) - [j9]Patrick Cousot, Radhia Cousot, Roberto Giacobazzi:
Abstract interpretation of resolution-based semantics. Theor. Comput. Sci. 410(46): 4724-4746 (2009) - 2008
- [c31]Radhia Cousot:
Abstract Interpretation of Non-monotone Bi-inductive Semantic Definitions. VMCAI 2008: 1-3 - 2007
- [c30]Patrick Cousot, Radhia Cousot, Jérôme Feret, Antoine Miné, Laurent Mauborgne, David Monniaux
, Xavier Rival:
Varieties of Static Analyzers: A Comparison with ASTREE. TASE 2007: 3-20 - [c29]Patrick Cousot, Radhia Cousot:
Bi-inductive Structural Semantics: (Extended Abstract). SOS@LICS/ICALP 2007: 29-44 - [i1]Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival:
A Static Analyzer for Large Safety-Critical Software. CoRR abs/cs/0701193 (2007) - 2006
- [c28]Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival:
Combination of Abstractions in the ASTRÉE Static Analyzer. ASIAN 2006: 272-300 - [c27]Patrick Cousot, Radhia Cousot:
Grammar Analysis and Parsing by Abstract Interpretation. Program Analysis and Compilation 2006: 175-200 - 2005
- [j8]Radhia Cousot:
Static Analysis Symposium 2003. Sci. Comput. Program. 58(1-2): 1-2 (2005) - [c26]Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival:
The ASTREÉ Analyzer. ESOP 2005: 21-30 - [e3]Radhia Cousot:
Verification, Model Checking, and Abstract Interpretation, 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings. Lecture Notes in Computer Science 3385, Springer 2005, ISBN 3-540-24297-X [contents] - 2004
- [c25]Patrick Cousot, Radhia Cousot:
Basic concepts of abstract interpretation. IFIP Congress Topical Sessions 2004: 359-366 - [c24]Patrick Cousot, Radhia Cousot:
An abstract interpretation-based framework for software watermarking. POPL 2004: 173-185 - 2003
- [j7]Patrick Cousot, Radhia Cousot:
Parsing as abstract interpretation of grammar semantics. Theor. Comput. Sci. 290(1): 531-544 (2003) - [c23]Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival:
A static analyzer for large safety-critical software. PLDI 2003: 196-207 - [e2]Radhia Cousot:
Static Analysis, 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003, Proceedings. Lecture Notes in Computer Science 2694, Springer 2003, ISBN 3-540-40325-6 [contents] - 2002
- [c22]Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival:
Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software. The Essence of Computation 2002: 85-108 - [c21]Patrick Cousot, Radhia Cousot:
On Abstraction in Software Verification. CAV 2002: 37-56 - [c20]Patrick Cousot, Radhia Cousot:
Modular Static Program Analysis. CC 2002: 159-178 - [c19]Patrick Cousot, Radhia Cousot:
Systematic design of program transformation frameworks by abstract interpretation. POPL 2002: 178-190 - 2001
- [c18]Patrick Cousot, Radhia Cousot:
Verification of Embedded Software: Problems and Perspectives. EMSOFT 2001: 97-113 - [c17]Patrick Cousot, Radhia Cousot:
A Case Study in Abstract Interpretation Based Program Transformation: Blocking Command Elimination. MFPS 2001: 41-64 - 2000
- [c16]Patrick Cousot, Radhia Cousot:
Temporal Abstract Interpretation. POPL 2000: 12-25
1990 – 1999
- 1999
- [j6]Patrick Cousot, Radhia Cousot:
Refining Model Checking by Abstract Interpretation. Autom. Softw. Eng. 6(1): 69-95 (1999) - 1997
- [c15]Patrick Cousot, Radhia Cousot:
Abstract Interpretation of Algebraic Polynomial Systems (Extended Abstract). AMAST 1997: 138-154 - 1996
- [e1]Radhia Cousot, David A. Schmidt:
Static Analysis, Third International Symposium, SAS'96, Aachen, Germany, September 24-26, 1996, Proceedings. Lecture Notes in Computer Science 1145, Springer 1996, ISBN 3-540-61739-6 [contents] - 1995
- [c14]Patrick Cousot, Radhia Cousot:
Compositional and Inductive Semantic Definitions in Fixpoint, Equational, Constraint, Closure-condition, Rule-based and Game-Theoretic Form. CAV 1995: 293-308 - [c13]Patrick Cousot, Radhia Cousot:
Formal Language, Grammar and Set-Constraint-Based Program Analysis by Abstract Interpretation. FPCA 1995: 170-181 - 1994
- [c12]Patrick Cousot, Radhia Cousot:
Invited Talk: Higher Order Abstract Interpretation (and Application to Comportment Analysis Generalizing Strictness, Termination, Projection, and PER Analysis. ICCL 1994: 95-112 - 1993
- [j5]Patrick Cousot, Radhia Cousot:
"A la Burstall" Intermittent Assertions Induction Principles for Proving Inevitable Ability Properties of Programs. Theor. Comput. Sci. 120(1): 123-155 (1993) - [c11]Patrick Cousot, Radhia Cousot:
Galois Connection Based Abstract Interpretations for Strictness Analysis (Invited Paper). Formal Methods in Programming and Their Applications 1993: 98-127 - 1992
- [j4]Patrick Cousot, Radhia Cousot:
Abstract Interpretation and Application to Logic Programs. J. Log. Program. 13(2&3): 103-179 (1992) - [j3]Patrick Cousot, Radhia Cousot:
Abstract Interpretation Frameworks. J. Log. Comput. 2(4): 511-547 (1992) - [c10]Patrick Cousot, Radhia Cousot:
Comparing the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation. PLILP 1992: 269-295 - [c9]Patrick Cousot, Radhia Cousot:
Inductive Definitions, Semantics and Abstract Interpretation. POPL 1992: 83-94 - 1991
- [c8]Patrick Cousot, Radhia Cousot:
Relational Abstract Interpretation of Higher Order Functional Programs (extended abstract). JTASPEFT/WSA 1991: 33-36 - [c7]Patrick Cousot, Radhia Cousot:
Comparison of the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation. JTASPEFT/WSA 1991: 107-110
1980 – 1989
- 1989
- [j2]Patrick Cousot, Radhia Cousot:
A Language Independent Proof of the Soundness and Completeness of Generalized Hoare Logic. Inf. Comput. 80(2): 165-191 (1989) - 1987
- [j1]Patrick Cousot, Radhia Cousot:
Sometime = Always + Recursion = Always on the Equivalence of the Intermittent and Invariant Assertions Methods for Proving Inevitability Properties of Programs. Acta Informatica 24(1): 1-31 (1987) - 1980
- [c6]Patrick Cousot, Radhia Cousot:
Semantic Analysis of Communicating Sequential Processes (Shortened Version). ICALP 1980: 119-133
1970 – 1979
- 1979
- [c5]Patrick Cousot, Radhia Cousot:
Systematic Design of Program Analysis Frameworks. POPL 1979: 269-282 - 1977
- [c4]Patrick Cousot, Radhia Cousot:
Static Determination of Dynamic Properties of Recursive Procedures. Formal Description of Programming Concepts 1977: 237-278 - [c3]Patrick Cousot, Radhia Cousot:
Static Determination of Dynamic Properties of Generalized Type Unions. Language Design for Reliable Software 1977: 77-94 - [c2]Patrick Cousot, Radhia Cousot:
Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. POPL 1977: 238-252 - [c1]Patrick Cousot, Radhia Cousot:
Automatic synthesis of optimal invariant assertions: Mathematical foundations. Artificial Intelligence and Programming Languages 1977: 1-12
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-02 21:01 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
