Вы здесь

Главная

Cousot R.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Relational Abstract Interpretation of Higher Order Functional Programs (extended abstract) 1991 Cousot P., Cousot R. BIGRE 11.12.1991
П Inductive Definitions, Semantics and Abstract Interpretation 1991 Cousot P., Cousot R. Ecole Polytechnique Theoretical Computer Science 23.10.1992
СТ Comparison of the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation (extended abstract) 1991 Cousot P., Cousot R. BIGRE 11.12.1991
П 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
П Abstract Interpretation and Application to Logic Programs 1992 Cousot P., Cousot R. Ecole Polytechnique 23.10.1992
СТ Galois Connection Based Abstract Interpretations for Strictness Analysis 1993 Cousot P., Cousot R. Lecture Notes in Computer Science 20.11.1993
СТ 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
СТ 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
СТ Verification of Embedded Software: Problems and Perspectives 2001 Cousot P., Cousot R. Lecture Notes in Computer Science 03.11.2001
СТ 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
СТ Modular Static Program Analysis 2002 Cousot P., Cousot R. Lecture Notes in Computer Science 27.04.2002
СТ On Abstraction in Software Verification 2002 Cousot P., Cousot R. Lecture Notes in Computer Science 31.08.2002
СТ An Abstract Interpretation-Based Framework for Software Watermarking 2004 Cousot P., Cousot R. POPL 2004 09.06.2004

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Static Analysis: Proc./Third International Symposium, SAS 96. Aachen,Germany,September 1996 1996 Lecture Notes in Computer Science
  1. Cousot R.
  2. Schmidt D. A.
 04.10.1996
СБ Static Analysis: Proc./10th Intern. Symp., SAS 2003, San Diego, CA, USA, June 2003 2003 Lecture Notes in Computer Science
  1. Cousot R.
 17.07.2003
СБ Verification, Model Checking and Abstract Interpretation: Proc./6th International Conference, VMCAI 2005. Paris, France, January 2005 2005 Lecture Notes in Computer Science
  1. Cousot R.
 23.03.2005
СБ Static Analysis: Proc./17th International Symposium, SAS 2010, Perpignan, France, September 2010 2010 Lecture Notes in Computer Science
  1. Cousot R.
  2. Martel M.
 26.10.2010