|
СТ |
The Verification Grand Challenge and Abstract Interpretation |
2008 |
Cousot P. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
03.10.2008 |
|
СТ |
Proving Program Invariance and Termination by Parametric Abstraction, Lagrangian Relaxation and Semidefinite Programming |
2005 |
Cousot P. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
23.03.2005 |
|
СТ |
An Abstract Interpretation-Based Framework for Software Watermarking |
2004 |
Cousot P., Cousot R. |
|
|
|
POPL 2004 |
09.06.2004 |
|
СТ |
Verification by Abstract Interpretation |
2003 |
Cousot P. |
|
|
|
Lecture Notes in Computer Science |
26.03.2004 |
|
СТ |
Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software |
2002 |
Blanchet B., Cousot P., Cousot R., Feret J., Mauborgne L., Mine A., Monniaux D., Rival X. |
|
|
|
Lecture Notes in Computer Science |
14.02.2003 |
|
СТ |
Automatic Verification by Abstract Interpretation |
2003 |
Cousot P. |
|
|
|
Lecture Notes in Computer Science |
31.01.2003 |
|
СТ |
On Abstraction in Software Verification |
2002 |
Cousot P., Cousot R. |
|
|
|
Lecture Notes in Computer Science |
31.08.2002 |
|
СТ |
Modular Static Program Analysis |
2002 |
Cousot P., Cousot R. |
|
|
|
Lecture Notes in Computer Science |
27.04.2002 |
|
СТ |
Design of Syntactic Program Transformations by Abstract Interpretation of Semantic Transformations |
2001 |
Cousot P. |
|
|
|
Lecture Notes in Computer Science |
08.11.2001 |
|
СТ |
Verification of Embedded Software: Problems and Perspectives |
2001 |
Cousot P., Cousot R. |
|
|
|
Lecture Notes in Computer Science |
03.11.2001 |
|
СТ |
Abstract Interpretation Based Formal Methods and Future Challenges |
2001 |
Cousot P. |
|
|
|
Lecture Notes in Computer Science |
04.04.2001 |
|
СТ |
Temporal Abstract Interpretation |
2000 |
Cousot P., Cousot R. |
|
|
|
Papers Presented at the 27th ACM SIGPLAN-SIGACT Symp. on Pinciples of Programming Languages |
05.06.2000 |
|
СТ |
Program Analysis: The Abstract Interpretation Perspective |
1997 |
Cousot P. |
|
|
|
SIGPLAN Notices |
15.04.1998 |
|
СТ |
Methods and Logics for Proving Programs |
1994 |
Cousot P. |
|
|
|
Handbook of Theoretical Computer Science. Formal Models and Semantics. Volume B |
27.01.1998 |
|
СТ |
Compositional and Inductive Semantic Definitions in Fixpoint, Equational, Constraint, Closure-condition, Rule-based and Game-Theoretic Form |
1995 |
Cousot P., Cousot R. |
|
|
|
Lecture Notes in Computer Science |
27.07.1995 |
|
СТ |
Automatic Discovery of Linear Restraints Among Variables of a Program |
1978 |
Cousot P., Halbwachs N. |
|
|
|
Proc. of Conf. Record of the Fifth Annual ACM Symp. on Principles of Programming Languages |
06.04.1994 |
|
СТ |
Galois Connection Based Abstract Interpretations for Strictness Analysis |
1993 |
Cousot P., Cousot R. |
|
|
|
Lecture Notes in Computer Science |
20.11.1993 |
|
П |
Inductive Definitions, Semantics and Abstract Interpretation |
1991 |
Cousot P., Cousot R. |
|
|
Ecole Polytechnique |
Theoretical Computer Science |
23.10.1992 |
|
П |
Abstract Interpretation and Application to Logic Programs |
1992 |
Cousot P., Cousot R. |
|
|
Ecole Polytechnique |
|
23.10.1992 |
|
П |
Abstract Interpretation Framework |
1992 |
Cousot P., Cousot R. |
|
|
Ecole Polytechnique |
|
23.10.1992 |
|
СТ |
Comparing the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation |
1992 |
Cousot P., Cousot R. |
|
|
|
Lecture Notes in Computer Science |
13.10.1992 |
|
СТ |
Relational Abstract Interpretation of Higher Order Functional Programs (extended abstract) |
1991 |
Cousot P., Cousot R. |
|
|
|
BIGRE |
11.12.1991 |
|
СТ |
Comparison of the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation (extended abstract) |
1991 |
Cousot P., Cousot R. |
|
|
|
BIGRE |
11.12.1991 |
