Radhia Cousot - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 60 from 60

2015

Static Analysis and Verification of Aerospace Software by Abstract InterpretationJulien Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival. FTPL, 2(2-3):71-190, 2015. [doi]

2014

A galois connection calculus for abstract interpretationPatrick Cousot, Radhia Cousot. POPL 2014: 3-4 [doi]

Abstract interpretation: past, present and futurePatrick Cousot, Radhia Cousot. csl 2014: 2 [doi]

2013

Automatic Inference of Necessary PreconditionsPatrick Cousot, Radhia Cousot, Manuel Fähndrich, Francesco Logozzo. vmcai 2013: 128-148 [doi]

Andromeda: Accurate and Scalable Security Analysis of Web ApplicationsOmer Tripp, Marco Pistoia, Patrick Cousot, Radhia Cousot, Salvatore Guarnieri. FASE 2013: 210-225 [doi]

2012

2011

Static analysis by abstract interpretation of embedded critical softwareJulien Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival. sigsoft, 36(1):1-8, 2011. [doi]

Grammar semantics, analysis and parsing by abstract interpretationPatrick Cousot, Radhia Cousot. TCS, 412(44):6135-6192, 2011. [doi]

Precondition Inference from Intermittent Assertions and Application to Contracts on CollectionsPatrick Cousot, Radhia Cousot, Francesco Logozzo. vmcai 2011: 150-168 [doi]

A parametric segmentation functor for fully automatic and scalable array content analysisPatrick Cousot, Radhia Cousot, Francesco Logozzo. POPL 2011: 105-118 [doi]

The Reduced Product of Abstract Domains and the Combination of Decision ProceduresPatrick Cousot, Radhia Cousot, Laurent Mauborgne. fossacs 2011: 456-472 [doi]

2010

A gentle introduction to formal verification of computer systems by abstract interpretationPatrick Cousot, Radhia Cousot. In Javier Esparza, Bernd Spanfelner, Orna Grumberg, editors, Logics and Languages for Reliability and Security. Volume 25 of NATO Science for Peace and Security Series - D: Information and Communication Security, pages 1-29, IOS Press, 2010. [doi]

A Scalable Segmented Decision Tree Abstract DomainPatrick Cousot, Radhia Cousot, Laurent Mauborgne. BIRTHDAY 2010: 72-95 [doi]

Logical Abstract Domains and InterpretationsPatrick Cousot, Radhia Cousot, Laurent Mauborgne. BIRTHDAY 2011: 48-71 [doi]

2009

Bi-inductive structural semanticsPatrick Cousot, Radhia Cousot. iandc, 207(2):258-283, 2009. [doi]

Why does AstrÃ©e scale up?Patrick Cousot, Radhia Cousot, JÃ©rÃ´me Feret, Laurent Mauborgne, Antoine MinÃ©, Xavier Rival. fmsd, 35(3):229-264, 2009. [doi]

Abstract interpretation of resolution-based semanticsPatrick Cousot, Radhia Cousot, Roberto Giacobazzi. TCS, 410(46):4724-4746, 2009. [doi]

Astree: Nachweis der Abwesenheit von LaufzeitDaniel 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. stt, 29(3), 2009. [doi]

2008

Abstract Interpretation of Non-monotone Bi-inductive Semantic DefinitionsRadhia Cousot. vmcai 2008: 1-3 [doi]

2007

Bi-inductive Structural Semantics: (Extended Abstract)Patrick Cousot, Radhia Cousot. ENTCS, 192(1):29-44, 2007. [doi]

Varieties of Static Analyzers: A Comparison with ASTREEPatrick Cousot, Radhia Cousot, Jérôme Feret, Antoine Miné, Laurent Mauborgne, David Monniaux, Xavier Rival. tase 2007: 3-20 [doi]

2006

Grammar Analysis and Parsing by Abstract InterpretationPatrick Cousot, Radhia Cousot. birthday 2007: 175-200 [doi]

Combination of Abstractions in the ASTRÉE Static AnalyzerPatrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival. asian 2008: 272-300 [doi]

2005

Static Analysis Symposium 2003Radhia Cousot. SCP, 58(1-2):1-2, 2005. [doi]

The ASTREÉ AnalyzerPatrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival. ESOP 2005: 21-30 [doi]

2004

An abstract interpretation-based framework for software watermarkingPatrick Cousot, Radhia Cousot. POPL 2004: 173-185 [doi]

Basic concepts of abstract interpretationPatrick Cousot, Radhia Cousot. ifip 2004: 359-366

2003

A static analyzer for large safety-critical softwareBruno Blanchet, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival. PLDI 2003: 196-207 [doi]

Parsing as abstract interpretation of grammar semanticsPatrick Cousot, Radhia Cousot. TCS, 290(1):531-544, 2003.

2002

2001

A Case Study in Abstract Interpretation Based Program Transformation: Blocking Command EliminationPatrick Cousot, Radhia Cousot. ENTCS, 45:41-64, 2001. [doi]

Verification of Embedded Software: Problems and PerspectivesPatrick Cousot, Radhia Cousot. emsoft 2001: 97-113 [doi]

2000

Temporal Abstract InterpretationPatrick Cousot, Radhia Cousot. POPL 2000: 12-25 [doi]

1999

Refining Model Checking by Abstract InterpretationPatrick Cousot, Radhia Cousot. ASE, 6(1):69-95, 1999.

1997

Abstract Interpretation of Algebraic Polynomial Systems (Extended Abstract)Patrick Cousot, Radhia Cousot. amast 1997: 138-154

1995

Formal Language, Grammar and Set-Constraint-Based Program Analysis by Abstract InterpretationPatrick Cousot, Radhia Cousot. fpca 1995: 170-181

Compositional and Inductive Semantic Definitions in Fixpoint, Equational, Constraint, Closure-condition, Rule-based and Game-Theoretic FormPatrick Cousot, Radhia Cousot. cav 1995: 293-308

1994

Invited Talk: Higher Order Abstract Interpretation (and Application to Comportment Analysis Generalizing Strictness, Termination, Projection, and PER AnalysisPatrick Cousot, Radhia Cousot. iccl 1994: 95-112

1993

A la Burstall Intermittent Assertions Induction Principles for Proving Inevitable Ability Properties of ProgramsPatrick Cousot, Radhia Cousot. TCS, 120(1):123-155, 1993.

Galois Connection Based Abstract Interpretations for Strictness Analysis (Invited Paper)Patrick Cousot, Radhia Cousot. ershov 1993: 98-127

1992

Abstract Interpretation FrameworksPatrick Cousot, Radhia Cousot. logcom, 2(4):511-547, 1992.

Abstract Interpretation and Application to Logic ProgramsPatrick Cousot, Radhia Cousot. jlp, 13(2&3):103-179, 1992.

Inductive Definitions, Semantics and Abstract InterpretationPatrick Cousot, Radhia Cousot. POPL 1992: 83-94

Comparing the Galois Connection and Widening/Narrowing Approaches to Abstract InterpretationPatrick Cousot, Radhia Cousot. plilp 1992: 269-295

1991

Comparison of the Galois Connection and Widening/Narrowing Approaches to Abstract InterpretationPatrick Cousot, Radhia Cousot. SAS 1991: 107-110

Relational Abstract Interpretation of Higher Order Functional Programs (extended abstract)Patrick Cousot, Radhia Cousot. SAS 1991: 33-36

1989

A Language Independent Proof of the Soundness and Completeness of Generalized Hoare LogicPatrick Cousot, Radhia Cousot. iandc, 80(2):165-191, February 1989.

1987

Sometime = Always + Recursion = Always on the Equivalence of the Intermittent and Invariant Assertions Methods for Proving Inevitability Properties of ProgramsPatrick Cousot, Radhia Cousot. ACTA, 24(1):1-31, 1987.

1980

Semantic Analysis of Communicating Sequential Processes (Shortened Version)Patrick Cousot, Radhia Cousot. icalp 1980: 119-133

1979

Systematic Design of Program Analysis FrameworksPatrick Cousot, Radhia Cousot. POPL 1979: 269-282 [doi]

1977

Automatic synthesis of optimal invariant assertions: Mathematical foundationsPatrick Cousot, Radhia Cousot. sigart, 64:1-12, 1977. [doi]

Static Determination of Dynamic Properties of Generalized Type UnionsPatrick Cousot, Radhia Cousot. ldrs 1977: 77-94

Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of FixpointsPatrick Cousot, Radhia Cousot. POPL 1977: 238-252

Static Determination of Dynamic Properties of Recursive ProceduresPatrick Cousot, Radhia Cousot. ifip2 1978: 237-278

Sign in or sign up to see more results.

runs on WebDSL