Cousot, Radhia.
Cousot, Radhia, 1947-2014
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
Radhia Cousot informaticienne française
VIAF ID: 8096894 (Personal)
Permalink: http://viaf.org/viaf/8096894
Preferred Forms
-
100 1 _ ‡a Cousot, Radhia
-
100 1 _ ‡a Cousot, Radhia
-
100 1 _ ‡a Cousot, Radhia
-
100 1 _ ‡a Cousot, Radhia
-
100 1 _ ‡a Cousot, Radhia
-
100 1 0
‡a
Cousot, Radhia
-
100 1 _
‡a
Cousot, Radhia
(sparse)
-
100 1 _
‡a
Cousot, Radhia
-
100 1 _ ‡a Cousot, Radhia
-
100 1 _
‡a
Cousot, Radhia,
‡d
1947-2014
-
100 1 _ ‡a Cousot, Radhia.
-
100 0 _
‡a
Radhia Cousot
‡c
informaticienne française
4xx's: Alternate Name Forms (7)
Works
| Title | Sources |
|---|---|
| ANALYSE STATIQUE DES SYSTEMES DYNAMIQUES DE GRAPHES DANS LES LANGAGES NON TYPES |
|
| Comparing the Galois connection and wideningnarrowing approaches to abstract interpretation |
|
| Fondements des méthodes de preuve d'invariance et de fatalité de programmes parallèles |
|
| Formal and exact reduction for differential models of signalling pathways in rule-based languages |
|
| Inductive definitions, semantics and abstract interpretation |
|
| Modular static analysis of object-oriented languages. |
|
| Pointer analysis and separation logic. |
|
| Raffinement d'analyses statiques par interprétation abstraite |
|
| Réduction formelle et exacte de modèles différentiels de voies de signalisation en Kappa. |
|
| SAS'96 |
|
| Static analysis : 10th international symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003 |
|
| Static analysis : third international symposium, SAS '96, Aachen, Germany, September 24-26, 1996 : proceedings |
|
| Static analysis via abstract interpretation of multithreader programs. |
|
| Verification, model checking, and abstract interpretation : 6th international conference, VMCAI 2005, Paris, France, January 17-19, 2005 : proceedings |
|
| Verification of VHDL descriptions by abstracts interpretation. |
|
| Vérification par interprétation abstraite guidée par une propriété temporelle |
|
