Radhia Cousot - RankMe

66 papers A* 14A 2B 11Misc 2Journal 17Unranked 19

Year	Rank	Type	Title / Venue / Authors
2015	J	`jnl`	Static Analysis and Verification of Aerospace Software by Abstract Interpretation. Found. Trends Program. Lang. Julien Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival
2014	A*	`conf`	A Galois connection calculus for abstract interpretation. POPL Patrick Cousot, Radhia Cousot
2014	—	`conf`	Abstract interpretation: past, present and future. CSL-LICS Patrick Cousot, Radhia Cousot
2013	B	`conf`	Andromeda: Accurate and Scalable Security Analysis of Web Applications. FASE Omer Tripp, Marco Pistoia, Patrick Cousot, Radhia Cousot, Salvatore Guarnieri
2013	B	`conf`	Automatic Inference of Necessary Preconditions. VMCAI Patrick Cousot, Radhia Cousot, Manuel Fähndrich, Francesco Logozzo
2013	A*	`ed.`	The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013 POPL Roberto Giacobazzi, Radhia Cousot
2012	—	`conf`	A semantic integrated development environment. SPLASH Francesco Logozzo, Michael Barnett, Manuel Fähndrich, Patrick Cousot, Radhia Cousot
2012	A	`conf`	An abstract interpretation framework for refactoring with application to extract methods with contracts. OOPSLA Patrick Cousot, Radhia Cousot, Francesco Logozzo, Michael Barnett
2012	A*	`conf`	An abstract interpretation framework for termination. POPL Patrick Cousot, Radhia Cousot
2012	J	`jnl`	Theories, solvers and static analysis by abstract interpretation. J. ACM Patrick Cousot, Radhia Cousot, Laurent Mauborgne
2011	A*	`conf`	A parametric segmentation functor for fully automatic and scalable array content analysis. POPL Patrick Cousot, Radhia Cousot, Francesco Logozzo
2011	J	`jnl`	Grammar semantics, analysis and parsing by abstract interpretation. Theor. Comput. Sci. Patrick Cousot, Radhia Cousot
2011	B	`conf`	Precondition Inference from Intermittent Assertions and Application to Contracts on Collections. VMCAI Patrick Cousot, Radhia Cousot, Francesco Logozzo
2011	J	`jnl`	Static analysis by abstract interpretation of embedded critical software. ACM SIGSOFT Softw. Eng. Notes Julien Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival
2011	B	`conf`	The Reduced Product of Abstract Domains and the Combination of Decision Procedures. FoSSaCS Patrick Cousot, Radhia Cousot, Laurent Mauborgne
2010	—	`conf`	A Scalable Segmented Decision Tree Abstract Domain. Essays in Memory of Amir Pnueli Patrick Cousot, Radhia Cousot, Laurent Mauborgne
2010	—	`ch.`	A gentle introduction to formal verification of computer systems by abstract interpretation. Logics and Languages for Reliability and Security Patrick Cousot, Radhia Cousot
2010	—	`conf`	Logical Abstract Domains and Interpretations. The Future of Software Engineering Patrick Cousot, Radhia Cousot, Laurent Mauborgne
2010	B	`ed.`	Static Analysis - 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings SAS Radhia Cousot, Matthieu Martel
2009	J	`jnl`	Abstract interpretation of resolution-based semantics. Theor. Comput. Sci. Patrick Cousot, Radhia Cousot, Roberto Giacobazzi
2009	J	`jnl`	Astree: Nachweis der Abwesenheit von Laufzeit. Softwaretechnik-Trends 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
2009	J	`jnl`	Bi-inductive structural semantics. Inf. Comput. Patrick Cousot, Radhia Cousot
2009	J	`jnl`	Why does Astrée scale up? Formal Methods Syst. Des. Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival
2008	B	`conf`	Abstract Interpretation of Non-monotone Bi-inductive Semantic Definitions. VMCAI Radhia Cousot
2007	J	`jnl`	A Static Analyzer for Large Safety-Critical Software CoRR Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival
2007	—	`conf`	Bi-inductive Structural Semantics: (Extended Abstract). SOS@LICS/ICALP Patrick Cousot, Radhia Cousot
2007	Misc	`conf`	Varieties of Static Analyzers: A Comparison with ASTREE. TASE Patrick Cousot, Radhia Cousot, Jérôme Feret, Antoine Miné, Laurent Mauborgne, David Monniaux, Xavier Rival
2006	—	`conf`	Combination of Abstractions in the ASTRÉE Static Analyzer. ASIAN Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival
2006	—	`conf`	Grammar Analysis and Parsing by Abstract Interpretation. Program Analysis and Compilation Patrick Cousot, Radhia Cousot
2005	J	`jnl`	Static Analysis Symposium 2003. Sci. Comput. Program. Radhia Cousot
2005	A	`conf`	The ASTREÉ Analyzer. ESOP Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival
2005	B	`ed.`	Verification, Model Checking, and Abstract Interpretation, 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings VMCAI Radhia Cousot
2004	A*	`conf`	An abstract interpretation-based framework for software watermarking. POPL Patrick Cousot, Radhia Cousot
2004	—	`conf`	Basic concepts of abstract interpretation. IFIP Congress Topical Sessions Patrick Cousot, Radhia Cousot
2003	A*	`conf`	A static analyzer for large safety-critical software. PLDI Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival
2003	J	`jnl`	Parsing as abstract interpretation of grammar semantics. Theor. Comput. Sci. Patrick Cousot, Radhia Cousot
2003	B	`ed.`	Static Analysis, 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003, Proceedings SAS Radhia Cousot
2002	—	`conf`	Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software. The Essence of Computation Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival
2002	B	`conf`	Modular Static Program Analysis. CC Patrick Cousot, Radhia Cousot
2002	A*	`conf`	On Abstraction in Software Verification. CAV Patrick Cousot, Radhia Cousot
2002	A*	`conf`	Systematic design of program transformation frameworks by abstract interpretation. POPL Patrick Cousot, Radhia Cousot
2001	B	`conf`	A Case Study in Abstract Interpretation Based Program Transformation: Blocking Command Elimination. MFPS Patrick Cousot, Radhia Cousot
2001	Misc	`conf`	Verification of Embedded Software: Problems and Perspectives. EMSOFT Patrick Cousot, Radhia Cousot
2000	A*	`conf`	Temporal Abstract Interpretation. POPL Patrick Cousot, Radhia Cousot
1999	J	`jnl`	Refining Model Checking by Abstract Interpretation. Autom. Softw. Eng. Patrick Cousot, Radhia Cousot
1997	—	`conf`	Abstract Interpretation of Algebraic Polynomial Systems (Extended Abstract). AMAST Patrick Cousot, Radhia Cousot
1996	B	`ed.`	Static Analysis, Third International Symposium, SAS'96, Aachen, Germany, September 24-26, 1996, Proceedings SAS Radhia Cousot, David A. Schmidt
1995	A*	`conf`	Compositional and Inductive Semantic Definitions in Fixpoint, Equational, Constraint, Closure-condition, Rule-based and Game-Theoretic Form. CAV Patrick Cousot, Radhia Cousot
1995	—	`conf`	Formal Language, Grammar and Set-Constraint-Based Program Analysis by Abstract Interpretation. FPCA Patrick Cousot, Radhia Cousot
1994	—	`conf`	Invited Talk: Higher Order Abstract Interpretation (and Application to Comportment Analysis Generalizing Strictness, Termination, Projection, and PER Analysis. ICCL Patrick Cousot, Radhia Cousot
1993	J	`jnl`	"A la Burstall" Intermittent Assertions Induction Principles for Proving Inevitable Ability Properties of Programs. Theor. Comput. Sci. Patrick Cousot, Radhia Cousot
1993	—	`conf`	Galois Connection Based Abstract Interpretations for Strictness Analysis (Invited Paper). Formal Methods in Programming and Their Applications Patrick Cousot, Radhia Cousot
1992	J	`jnl`	Abstract Interpretation Frameworks. J. Log. Comput. Patrick Cousot, Radhia Cousot
1992	J	`jnl`	Abstract Interpretation and Application to Logic Programs. J. Log. Program. Patrick Cousot, Radhia Cousot
1992	—	`conf`	Comparing the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation. PLILP Patrick Cousot, Radhia Cousot
1992	A*	`conf`	Inductive Definitions, Semantics and Abstract Interpretation. POPL Patrick Cousot, Radhia Cousot
1991	—	`conf`	Comparison of the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation. JTASPEFT/WSA Patrick Cousot, Radhia Cousot
1991	—	`conf`	Relational Abstract Interpretation of Higher Order Functional Programs (extended abstract). JTASPEFT/WSA Patrick Cousot, Radhia Cousot
1989	J	`jnl`	A Language Independent Proof of the Soundness and Completeness of Generalized Hoare Logic Inf. Comput. Patrick Cousot, Radhia Cousot
1987	J	`jnl`	Sometime = Always + Recursion = Always on the Equivalence of the Intermittent and Invariant Assertions Methods for Proving Inevitability Properties of Programs. Acta Informatica Patrick Cousot, Radhia Cousot
1980	A*	`conf`	Semantic Analysis of Communicating Sequential Processes (Shortened Version). ICALP Patrick Cousot, Radhia Cousot
1979	A*	`conf`	Systematic Design of Program Analysis Frameworks. POPL Patrick Cousot, Radhia Cousot
1977	A*	`conf`	Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. POPL Patrick Cousot, Radhia Cousot
1977	—	`conf`	Automatic synthesis of optimal invariant assertions: Mathematical foundations. Artificial Intelligence and Programming Languages Patrick Cousot, Radhia Cousot
1977	—	`conf`	Static Determination of Dynamic Properties of Generalized Type Unions. Language Design for Reliable Software Patrick Cousot, Radhia Cousot
1977	—	`conf`	Static Determination of Dynamic Properties of Recursive Procedures. Formal Description of Programming Concepts Patrick Cousot, Radhia Cousot