Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Radhia Cousot" ( http://dblp.L3S.de/Authors/Radhia_Cousot )

URL (Homepage):  http://www.enseignement.polytechnique.fr/profs/informatique/Radhia.Cousot/  Author page on DBLP  Author page in RDF  Community of Radhia Cousot in ASPL-2

Publication years (Num. hits)
1977-1994 (15) 1995-2003 (15) 2004-2010 (18) 2011-2012 (6)
Publication types (Num. hits)
article(16) incollection(1) inproceedings(33) proceedings(4)
Venues (Conferences, Journals, ...)
POPL(8) Theor. Comput. Sci.(4) SAS(3) VMCAI(3) CAV(2) Electr. Notes Theor. Comput. S...(2) Inf. Comput.(2) JTASPEFT/WSA(2) ACM SIGSOFT Software Engineeri...(1) Acta Inf.(1) AMAST(1) ASIAN(1) Autom. Softw. Eng.(1) CC(1) CoRR(1) EMSOFT(1) More (+10 of total 36)
Authors
Radhia Cousot(54) Patrick Cousot(48) Laurent Mauborgne(11) Antoine Miné(8) Jérôme Feret(8) Xavier Rival(8) David Monniaux(6) Bruno Blanchet(3) Francesco Logozzo(2) David A. Schmidt(1) Julien Bertrane(1) Matthieu Martel(1) Roberto Giacobazzi(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 24 occurrences of 21 keywords
Results
Found 54 publication records. Showing 54 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Patrick Cousot, Radhia Cousot An abstract interpretation framework for termination. Search on Bibsonomy POPL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Patrick Cousot, Radhia Cousot Grammar semantics, analysis and parsing by abstract interpretation. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Julien Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival Static analysis by abstract interpretation of embedded critical software. Search on Bibsonomy ACM SIGSOFT Software Engineering Notes The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Patrick Cousot, Radhia Cousot, Francesco Logozzo A parametric segmentation functor for fully automatic and scalable array content analysis. Search on Bibsonomy POPL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Patrick Cousot, Radhia Cousot, Francesco Logozzo Precondition Inference from Intermittent Assertions and Application to Contracts on Collections. Search on Bibsonomy VMCAI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Patrick Cousot, Radhia Cousot, Laurent Mauborgne The Reduced Product of Abstract Domains and the Combination of Decision Procedures. Search on Bibsonomy FOSSACS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Patrick Cousot, Radhia Cousot A gentle introduction to formal verification of computer systems by abstract interpretation. Search on Bibsonomy Logics and Languages for Reliability and Security The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Patrick Cousot, Radhia Cousot, Laurent Mauborgne A Scalable Segmented Decision Tree Abstract Domain. Search on Bibsonomy Essays in Memory of Amir Pnueli The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Patrick Cousot, Radhia Cousot, Laurent Mauborgne Logical Abstract Domains and Interpretations. Search on Bibsonomy The Future of Software Engineering The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Radhia Cousot, Matthieu Martel (eds.) Static Analysis - 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings Search on Bibsonomy SAS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Patrick Cousot, Radhia Cousot, Roberto Giacobazzi Abstract interpretation of resolution-based semantics. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Patrick Cousot, Radhia Cousot Bi-inductive structural semantics. Search on Bibsonomy Inf. Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival Why does Astrée scale up? Search on Bibsonomy Formal Methods in System Design The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Radhia Cousot Abstract Interpretation of Non-monotone Bi-inductive Semantic Definitions. Search on Bibsonomy VMCAI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Patrick Cousot, Radhia Cousot Bi-inductive Structural Semantics: (Extended Abstract). Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Bruno 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 Search on Bibsonomy CoRR The full citation details ... 2007 DBLP  BibTeX  RDF
1Patrick Cousot, Radhia Cousot, Jérôme Feret, Antoine Miné, Laurent Mauborgne, David Monniaux, Xavier Rival Varieties of Static Analyzers: A Comparison with ASTREE. Search on Bibsonomy TASE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival Combination of Abstractions in the ASTRÉE Static Analyzer. Search on Bibsonomy ASIAN The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Patrick Cousot, Radhia Cousot Grammar Analysis and Parsing by Abstract Interpretation. Search on Bibsonomy Program Analysis and Compilation The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Radhia Cousot Static Analysis Symposium 2003. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Radhia Cousot (eds.) Verification, Model Checking, and Abstract Interpretation, 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings Search on Bibsonomy VMCAI The full citation details ... 2005 DBLP  BibTeX  RDF
1Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival The ASTREÉ Analyzer. Search on Bibsonomy ESOP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Patrick Cousot, Radhia Cousot An abstract interpretation-based framework for software watermarking. Search on Bibsonomy POPL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF software authorship, stegoanalyst, stegoattacks, stegokey, stegomark, stegosignature, validation watermarking, authentication, static analysis, abstract interpretation, steganography, fingerprinting, identification, copyrights protection, trustworthiness, obfuscation, intellectual property protection, software watermarking, tamper-proofing
1Patrick Cousot, Radhia Cousot Basic concepts of abstract interpretation. Search on Bibsonomy IFIP Congress Topical Sessions The full citation details ... 2004 DBLP  BibTeX  RDF
1Patrick Cousot, Radhia Cousot Parsing as abstract interpretation of grammar semantics. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Bruno 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. Search on Bibsonomy PLDI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF verification, real-time, static analysis, embedded, abstract interpretation, floating point, safety-critical software, reactive, abstract domains
1Radhia Cousot (eds.) Static Analysis, 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003, Proceedings Search on Bibsonomy SAS The full citation details ... 2003 DBLP  BibTeX  RDF
1Patrick Cousot, Radhia Cousot Systematic design of program transformation frameworks by abstract interpretation. Search on Bibsonomy POPL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Patrick Cousot, Radhia Cousot Modular Static Program Analysis. Search on Bibsonomy CC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Bruno 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. Search on Bibsonomy The Essence of Computation The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Patrick Cousot, Radhia Cousot On Abstraction in Software Verification. Search on Bibsonomy CAV The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Patrick Cousot, Radhia Cousot A Case Study in Abstract Interpretation Based Program Transformation: Blocking Command Elimination. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Patrick Cousot, Radhia Cousot Verification of Embedded Software: Problems and Perspectives. Search on Bibsonomy EMSOFT The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Patrick Cousot, Radhia Cousot Temporal Abstract Interpretation. Search on Bibsonomy POPL The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Patrick Cousot, Radhia Cousot Refining Model Checking by Abstract Interpretation. Search on Bibsonomy Autom. Softw. Eng. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Patrick Cousot, Radhia Cousot Abstract Interpretation of Algebraic Polynomial Systems (Extended Abstract). Search on Bibsonomy AMAST The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Radhia Cousot, David A. Schmidt (eds.) Static Analysis, Third International Symposium, SAS'96, Aachen, Germany, September 24-26, 1996, Proceedings Search on Bibsonomy SAS The full citation details ... 1996 DBLP  BibTeX  RDF
1Patrick Cousot, Radhia Cousot Formal Language, Grammar and Set-Constraint-Based Program Analysis by Abstract Interpretation. Search on Bibsonomy FPCA The full citation details ... 1995 DBLP  BibTeX  RDF
1Patrick Cousot, Radhia Cousot Compositional and Inductive Semantic Definitions in Fixpoint, Equational, Constraint, Closure-condition, Rule-based and Game-Theoretic Form. Search on Bibsonomy CAV The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Patrick Cousot, Radhia Cousot Invited Talk: Higher Order Abstract Interpretation (and Application to Comportment Analysis Generalizing Strictness, Termination, Projection, and PER Analysis. Search on Bibsonomy ICCL The full citation details ... 1994 DBLP  BibTeX  RDF
1Patrick Cousot, Radhia Cousot "A la Burstall" Intermittent Assertions Induction Principles for Proving Inevitable Ability Properties of Programs. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Patrick Cousot, Radhia Cousot Galois Connection Based Abstract Interpretations for Strictness Analysis (Invited Paper). Search on Bibsonomy Formal Methods in Programming and Their Applications The full citation details ... 1993 DBLP  DOI  BibTeX  RDF Relational semantics, Dependence-free and dependence-sensitive analysis, Widening, Abstract interpretation, Galois connection, Strictness analysis
1Patrick Cousot, Radhia Cousot Abstract Interpretation and Application to Logic Programs. Search on Bibsonomy J. Log. Program. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Patrick Cousot, Radhia Cousot Abstract Interpretation Frameworks. Search on Bibsonomy J. Log. Comput. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Patrick Cousot, Radhia Cousot Inductive Definitions, Semantics and Abstract Interpretation. Search on Bibsonomy POPL The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Patrick Cousot, Radhia Cousot Comparing the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation. Search on Bibsonomy PLILP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Patrick Cousot, Radhia Cousot Comparison of the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation. Search on Bibsonomy JTASPEFT/WSA The full citation details ... 1991 DBLP  BibTeX  RDF
1Patrick Cousot, Radhia Cousot Relational Abstract Interpretation of Higher Order Functional Programs (extended abstract). Search on Bibsonomy JTASPEFT/WSA The full citation details ... 1991 DBLP  BibTeX  RDF
1Patrick Cousot, Radhia Cousot A Language Independent Proof of the Soundness and Completeness of Generalized Hoare Logic Search on Bibsonomy Inf. Comput. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
1Patrick Cousot, Radhia Cousot Sometime = Always + Recursion = Always on the Equivalence of the Intermittent and Invariant Assertions Methods for Proving Inevitability Properties of Programs. Search on Bibsonomy Acta Inf. The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Patrick Cousot, Radhia Cousot Semantic Analysis of Communicating Sequential Processes (Shortened Version). Search on Bibsonomy ICALP The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
1Patrick Cousot, Radhia Cousot Systematic Design of Program Analysis Frameworks. Search on Bibsonomy POPL The full citation details ... 1979 DBLP  DOI  BibTeX  RDF
1Patrick Cousot, Radhia Cousot Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. Search on Bibsonomy POPL The full citation details ... 1977 DBLP  DOI  BibTeX  RDF
1Patrick Cousot, Radhia Cousot Static Determination of Dynamic Properties of Generalized Type Unions. Search on Bibsonomy Language Design for Reliable Software The full citation details ... 1977 DBLP  BibTeX  RDF
Displaying result #1 - #54 of 54 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.