Patrick Cousot
#9,763
Most Influential Person Now
French computer scientist
Patrick Cousot's AcademicInfluence.com Rankings
Patrick Cousotmathematics Degrees
Mathematics
#2499
World Rank
#3852
Historical Rank
Measure Theory
#607
World Rank
#840
Historical Rank
Download Badge
Computer Science Mathematics
Patrick Cousot's Degrees
- PhD Computer Science Université Paris Cité
- Masters Mathematics Université Paris Cité
Similar Degrees You Can Earn
Why Is Patrick Cousot Influential?
(Suggest an Edit or Addition)According to Wikipedia, Patrick Cousot is a French computer scientist, currently Silver Professor of Computer Science at the Courant Institute of Mathematical Sciences, New York University, USA. Before he was Professor at the École Normale Supérieure , Paris, France, the École Polytechnique, Palaiseau, France and the University of Metz, France and a Research Scientist at the French National Center for Scientific Research at the Joseph Fourier University, Grenoble, France.
Patrick Cousot's Published Works
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
Published Works
- Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints (1977) (6767)
- Systematic design of program analysis frameworks (1979) (1765)
- Automatic discovery of linear restraints among variables of a program (1978) (1757)
- Abstract Interpretation Frameworks (1992) (787)
- A static analyzer for large safety-critical software (2003) (743)
- Abstract Interpretation and Application to Logic Programs (1992) (703)
- Static determination of dynamic properties of programs (1976) (613)
- Comparing the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation (1992) (516)
- The ASTREÉ Analyzer (2005) (433)
- Constructive design of a hierarchy of semantics of a transition system by abstract interpretation (2002) (268)
- Semantic foundations of program analysis (1981) (260)
- Constructive versions of tarski's fixed point theorems (1979) (258)
- Proving Program Invariance and Termination by Parametric Abstraction, Lagrangian Relaxation and Semidefinite Programming (2005) (223)
- Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software (2002) (217)
- Static Determination of Dynamic Properties of Recursive Procedures (1977) (217)
- Inductive definitions, semantics and abstract interpretations (1992) (209)
- Types as abstract interpretations (1997) (206)
- Systematic design of program transformation frameworks by abstract interpretation (2002) (178)
- Abstract interpretation (1996) (177)
- Modular Static Program Analysis (2002) (171)
- Achievements and Perspectives (2000) (169)
- Abstract Interpretation Based Formal Methods and Future Challenges (2001) (163)
- The calculational design of a generic abstract interpreter (1999) (158)
- Higher-order abstract interpretation (and application to comportment analysis generalizing strictness, termination, projection and PER analysis of functional languages) (1994) (154)
- A parametric segmentation functor for fully automatic and scalable array content analysis (2011) (154)
- Combination of Abstractions in the ASTRÉE Static Analyzer (2006) (144)
- Formal language, grammar and set-constraint-based program analysis by abstract interpretation (1995) (142)
- Temporal abstract interpretation (2000) (137)
- An abstract interpretation-based framework for software watermarking (2004) (131)
- Andromeda: Accurate and Scalable Security Analysis of Web Applications (2013) (130)
- Automatic synthesis of optimal invariant assertions: Mathematical foundations (1977) (127)
- Methods and Logics for Proving Programs (1990) (125)
- Why does Astrée scale up? (2009) (111)
- Refining Model Checking by Abstract Interpretation (2004) (92)
- A Sound Floating-Point Polyhedra Abstract Domain (2008) (86)
- Probabilistic Abstract Interpretation (2012) (86)
- Static Analysis and Verification of Aerospace Software by Abstract Interpretation (2010) (82)
- Software engineering and formal methods (2008) (81)
- Static determination of dynamic properties of generalized type unions (1977) (80)
- Automatic Inference of Necessary Preconditions (2013) (77)
- An abstract interpretation framework for termination (2012) (76)
- Varieties of Static Analyzers: A Comparison with ASTREE (2007) (75)
- Basic concepts of abstract interpretation (2004) (74)
- The ASTR ´ EE Analyzer (2005) (67)
- Verification by Abstract Interpretation (2003) (64)
- Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships (2009) (62)
- Compositional and Inductive Semantic Definitions in Fixpoint, Equational, Constraint, Closure-condition, Rule-based and Game-Theoretic Form (1995) (59)
- Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software, invited chapter (2002) (57)
- Precondition Inference from Intermittent Assertions and Application to Contracts on Collections (2011) (52)
- Semantic Analysis of Communicating Sequential Processes (Shortened Version) (1980) (50)
- Partial Completeness of Abstract Fixpoint Checking (2000) (50)
- Invariance proof methods and analysis techniques for parallel programs (1984) (49)
- Fixpoint-Guided Abstraction Refinements (2007) (43)
- A gentle introduction to formal verification of computer systems by abstract interpretation (2010) (41)
- Abstract interpretation: past, present and future (2014) (40)
- Astrée: Proving the Absence of Runtime Errors (2010) (40)
- The Reduced Product of Abstract Domains and the Combination of Decision Procedures (2011) (40)
- Space Software Validation using Abstract Interpretation (2009) (39)
- Static analysis by abstract interpretation of embedded critical software (2010) (36)
- Ogre and Pythia: an invariance proof method for weak consistency models (2017) (34)
- On Abstraction in Software Verification (2002) (32)
- A Scalable Segmented Decision Tree Abstract Domain (2010) (31)
- Theories, solvers and static analysis by abstract interpretation (2012) (30)
- A constructive characterization of the lattices of all retractions, pre-closure, quasi-closure and closure operators on a complete lattice (1979) (29)
- Program analysis: the abstract interpretation perspective (1997) (29)
- Proving the absence of run-time errors in safety-critical avionics code (2007) (28)
- Introduction to abstract interpretation (1998) (28)
- The Verification Grand Challenge and Abstract Interpretation (2005) (28)
- Galois Connection Based Abstract Interpretations for Strictness Analysis (Invited Paper) (1993) (27)
- Compositional separate modular static analysis of programs by abstract interpretation (2001) (26)
- An Abstract Domain to Discover Interval Linear Equalities (2010) (25)
- Induction principles for proving invariance properties of programs (1982) (25)
- Taking Static Analysis to the Next Level: Proving the Absence of Run-Time Errors and Data Races with Astrée (2016) (25)
- Integrating Physical Systems in the Static Analysis of Embedded Control Software (2005) (24)
- Abstracting Induction by Extrapolation and Interpolation (2015) (23)
- An abstract interpretation framework for refactoring with application to extract methods with contracts (2012) (23)
- Syntax and semantics of the weak consistency model specification language cat (2016) (23)
- Verification of Embedded Software: Problems and Perspectives (2001) (22)
- Bi-inductive structural semantics (2009) (22)
- Program analysis: the abstract interpretation perspective (1996) (21)
- Abstract interpretation based program testing (2000) (21)
- Formal Verification by Abstract Interpretation (2012) (20)
- 'A la Floyd' induction principles for proving inevitability properties of programs (1986) (20)
- Parsing as abstract interpretation of grammar semantics (2003) (20)
- Partial Completeness of Abstract Fixpoint Checking (Invited paper) (2000) (19)
- Invited Talk: Higher Order Abstract Interpretation (and Application to Comportment Analysis Generalizing Strictness, Termination, Projection, and PER Analysis. (1994) (19)
- Abstract interpretation: Achievements and perspectives (2000) (18)
- Linear Absolute Value Relation Analysis (2011) (18)
- Automatic Verification by Abstract Interpretation (2002) (15)
- Program Analysis Is Harder Than Verification: A Computability Perspective (2018) (15)
- Grammar Analysis and Parsing by Abstract Interpretation (2006) (14)
- A galois connection calculus for abstract interpretation (2014) (14)
- A Binary Decision Tree Abstract Domain Functor (2015) (14)
- A Language Independent Proof of the Soundness and Completeness of Generalized Hoare Logic (1989) (14)
- Abstract interpretation of algebraic polynomial systems (1997) (14)
- Interprétation Abstraite (1999) (13)
- Abstract Interpretation Based Static Analysis Parameterized by Semantics (1997) (11)
- "A la Burstall" Intermittent Assertions Induction Principles for Proving Inevitable Ability Properties of Programs (1993) (11)
- Relational Abstract Interpretation of Higher Order Functional Programs (extended abstract) (1991) (11)
- Logical Abstract Domains and Interpretations (2010) (11)
- Grammar semantics, analysis and parsing by abstract interpretation (2011) (10)
- Sometime = always + recursion ≡ always on the equivalence of the intermittent and invariant assertions methods for proving inevitability properties of programs (1987) (10)
- Finding All Potential Run-Time Errors and Data Races in Automotive Software (2017) (9)
- Interpretation abstraite (in French) (2000) (9)
- Programming Languages: Implementations, Logics, and Programs (1997) (9)
- Abstract Interpretation of Logic Programs (1991) (9)
- Syntax and analytic semantics of LISA (2016) (9)
- Logical and Operational Methods in the Analysis of Programs and Systems (1996) (8)
- Abstract Semantic Dependency (2019) (8)
- Parallel combination of abstract interpretation and model-based automatic analysis of software (1997) (8)
- A semantic integrated development environment (2012) (8)
- Contract Precondition Inference from Intermittent Assertions on Collections (2011) (8)
- Abstract Interpretation of Algebraic Polynomial Systems (Extended Abstract) (1997) (7)
- Abstract Interpretation: Theory and Practice (2002) (7)
- Abstract interpretation of resolution-based semantics (2009) (7)
- CONSTRUCTIVE VERSIONS OF TARSKΓS FIXED POINT THEOREMS (1979) (6)
- The Role of Abstract Interpretation in Formal Methods (2007) (6)
- Directions for research in approximate system analysis (1999) (6)
- Syntactic and Semantic Soundness of Structural Dataflow Analysis (2019) (6)
- A²I: abstract² interpretation (2019) (6)
- Calculational Design of a Regular Model Checker by Abstract Interpretation (2019) (5)
- On Fixpoint/Iteration/Variant Induction Principles for Proving Total Correctness of Programs with Denotational Semantics (2019) (5)
- A Case Study in Abstract Interpretation Based Program Transformation: Blocking Command Elimination (2001) (4)
- Verifying Numerical Programs via Iterative Abstract Testing (2019) (4)
- Avionic Software Verification by Abstract Interpretation (2007) (4)
- Concurrency with Weak Memory Models (Dagstuhl Seminar 16471) (2016) (3)
- Static analysis : 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001 : proceedings (2001) (3)
- Proceedings of the Third International Workshop on Static Analysis (1993) (3)
- Completeness in Abstract Interpretation (1995) (3)
- Preliminary Proceedings of the Workshop on Geometry and Topology in Concurrency Theory GETCO ’ 01 Aalborg , Denmark , August 25 , 2001 (2001) (3)
- Constructing program invariance proof methods (1980) (3)
- Responsibility Analysis by Abstract Interpretation (2019) (3)
- Proceedings of the workshop on geometry and topology in concurrency theory, GETCO '01 (2001) (2)
- Bi-inductive Structural Semantics: (Extended Abstract) (2007) (2)
- Verification by abstract interpretation, soundness and abstract induction (2015) (2)
- A Framework for Combining Algebraic and Logical Abstract Interpretations (2010) (1)
- Design of Syntactic Program Transformations by Abstract Interpretation of Semantic Transformations (2001) (1)
- The Systematic Design of Responsibility Analysis by Abstract Interpretation (2021) (1)
- « Abstract Interpretation – based Formal Verification of Complex Computer Systems » (2005) (1)
- Report on Dagstuhl seminar 9535 on abstract interpretation, Wadern, Germany, August 28-September 1 1995 (1995) (1)
- Automatic Large-Scale Software Verification by Abstract Interpretation (2012) (1)
- Framework for Termination (1)
- AT utorial on Abstract Interpretation (2005) (1)
- Automatic Veri cation by Abstract Interpretation (1)
- The Scientific Work of Reinhard Wilhelm (2006) (1)
- Interpretation of Graphs (2019) (0)
- Lecture 6. Abstract Interpretation (2014) (0)
- New Results - Underapproximation for Precondition Inference (2011) (0)
- Abstract Interpretation: From 0, 1, To ∞ (2022) (0)
- A Galois Connection Calculus for Abstract Interpretation ( Auxiliary Materials ) (2014) (0)
- Dynamic interval analysis by abstract interpretation (2021) (0)
- Interpretation of Algebraic Polynomial Systems ( Extended Abstract ) (2005) (0)
- Automatic Verification of Avionic Synchronous Safety Critical Embedded Software (2004) (0)
- A device and method for signing, marking and computer programs authenticification (2001) (0)
- ETH Workshop on Software Correctness and Reliability (2015) (0)
- Preliminary Version Bi-inductive Structural Semantics ( Extended Abstract ) (2007) (0)
- Software - The AstréeA Static Analyzer of Asynchronous Software (2011) (0)
- The Symbolic Term Abstract Domain (2020) (0)
- Parsing as Abstrac tI nterpretation of Grammar Semantics (2001) (0)
- Abstract Interpretation (Dagstuhl Seminar 9535) (2021) (0)
- On Various Abstract Understandings of Abstract Interpretation (2015) (0)
- POPL ’ 15 PC Workshop (2014) (0)
- Geometry and Topology in Concurrency and Distributed Computing (2004) (0)
- Session details: Session 12 (2007) (0)
- Next Generation Static Software Analysis Tools (Dagstuhl Seminar 14352) (2014) (0)
- Acknowledgement to referees (2004) (0)
- A Workshop on Robustness , Abstractions and Computations (2004) (0)
- Logic in program analysis and verification ∗ (2020) (0)
- Acm Workshop on Strategic Directions in Computing Research the Abstract Interpretation Perspective Program Analysis Position Statement: 1. Situation of Program Analysis 1.1 Deenition 1.2 from Programs to Systems (1996) (0)
- An Introduction to a Mathematical Theory of Global Program Analysis (1977) (0)
- Premieres lecons de programmation en Turbo Pascal (in French) (1991) (0)
- Proceedings of the 3rd international workshop on static analysis, WSA '93, Padova, Italy, September 22-24 1993 (1993) (0)
- An Example of Theoretical Application : Semantics of the Eager –-calculus (2007) (0)
- The analytic semantics of weakly consistent parallelism (2016) (0)
- Asynchronous Correspondences Between Hybrid Trajectory Semantics (2022) (0)
- Semantic Dependency (2019) (0)
- Preliminary Proceedings of the Workshop on Geometry and Topology in Concurrency GETCO ’ 05 San Francisco , California , USA , August 21 , 2005 (2005) (0)
- Proceedings of the 2nd Workshop on Geometric and Topological Methods in Concurrency Theory, GETCO 2000, ENTCS vol. 39(2) (2000) (0)
- Construction of invariance proof methods for parallel programs with sequential consistency (2015) (0)
- Session details: Static analysis (2006) (0)
- VALIDATION USING ABSTRACT INTERPRETATION (2009) (0)
- Based Static Analysis Parameterized by Semantics (1999) (0)
- New Results - Shared-memory parallelism (2015) (0)
- Critical Survey of Selected Papers (0)
- Static analysis : Third International Workshop, WSA '93, Padova, Italy, September 22-24, 1993 : proceedings (1993) (0)
- Proceedings of the workshop on geometry and topology in concurrency theory, GETCO '00, August 21 2000 (2000) (0)
This paper list is powered by the following services:
Other Resources About Patrick Cousot
What Schools Are Affiliated With Patrick Cousot?
Patrick Cousot is affiliated with the following schools:
