Skip to contents

Cousot, Radhia [Editor] ; SAS 10 2003 San Diego, Calif

Static analysis : 10th international symposium ; proceedings

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2003

Published in: Lecture notes in computer science ; 2694
Cousot, Radhia [Editor] ; VMCAI 6 2005 Paris

Verification, model checking, and abstract interpretation : 6th international conference, VMCAI 2005, Paris, France, January 17 - 19, 2005 ; proceedings

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2005

Published in: Lecture notes in computer science ; 3385
Cousot, Radhia [Editor] ; SAS 3 1996 Aachen

Static analysis : third International Symposium, SAS '96, Aachen, Germany, September 24 - 26, 1996; proceedings

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1996

Published in: Lecture notes in computer science ; 1145
Cousot, Radhia [Editor]; Martel, Matthieu [Other] ; SAS 17 2010 Perpignan

Static analysis : 17th international symposium, SAS 2010, Perpignan, France, September 14-16, 2010 ; proceedings

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2010

Published in: Lecture notes in computer science ; 6337
Cousot, Radhia [Author] ; Martel, Matthieu [Editor]

Static Analysis : 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2010

Published in: Lecture notes in computer science ; 6337
Cousot, Radhia [Author]

Proceedings of the 6th international conference on Verification, Model Checking, and Abstract Interpretation

View online
Schließen

Access

... to E-book via ACM Digital Library

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer-Verlag, 2005

Published in: ACM Conferences - ACM Digital Library
Cousot, Radhia [Author]

Proceedings of the 10th international conference on Static analysis

View online
Schließen

Access

... to E-book via ACM Digital Library

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer-Verlag, 2003

Published in: ACM Conferences - ACM Digital Library
Cousot, Radhia [Author]

Static Analysis : 10th International Symposium, SAS 2003 San Diego, CA, USA, June 11–13, 2003 Proceedings

View online
Schließen

Access

... to E-book via DOI (Volltext)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2003

Published in: Lecture notes in computer science ; 2694
Cousot, Radhia [Author] ; Schmidt, David A. [Other]

Static Analysis : Third International Symposium, SAS '96, Aachen, Germany, September 24 - 26, 1996. Proceedings

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 1996

Published in: Lecture notes in computer science ; 1145
Cousot, Radhia [Other]

Verification, Model Checking, and Abstract Interpretation (vol. # 3385) : 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2005

Published in: Lecture notes in computer science ; 3385
Cousot, Radhia [Other] ; SAS 3 1996 Aachen

Static analysis : third international symposium, SAS '96 ; Aachen, Germany, September 24 - 26, 1996 ; proceedings

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin [u.a.]: Springer, 1996 ; Online-Ausg., Berlin [u.a.]: Springer, 2006

Published in: Lecture notes in computer science ; 114500
Camporesi, Ferdinanda [Author] ; Paris Sciences et Lettres (ComUE) [Contributor]; Feret, Jérôme [Contributor]; Cousot, Radhia [Contributor]

Formal and exact reduction for differential models of signalling pathways in rule-based languages ; Réduction formelle et exacte de modèles différentiels de voies de signalisation en Kappa

View online
Schließen

Links

... to thesis

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

theses.fr, 2017-01-23
Urban, Caterina [Author] ; Paris, Ecole normale supérieure [Contributor]; Miné, Antoine [Contributor]; Cousot, Radhia [Contributor]

Static analysis by abstract interpretation of functional temporal properties of programs ; Analyse statique par interprétation abstraite de propriétés temporelles fonctionnelles des programmes

View online
Schließen

Links

... to thesis

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

theses.fr, 2015-07-09
Cousot, Radhia

Session details: Keynote address

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Association for Computing Machinery (ACM), 2013

Published in: ACM SIGPLAN Notices, 48 (2013) 1
Cousot, Radhia

Session details: Shape analysis

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Association for Computing Machinery (ACM), 2011

Published in: ACM SIGPLAN Notices, 46 (2011) 1
Cousot, Radhia

Static Analysis Symposium 2003

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 2005

Published in: Science of Computer Programming, 58 (2005) 1-2, Seite 1-2
Cousot, Patrick; Cousot, Radhia

An abstract interpretation framework for termination

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Association for Computing Machinery (ACM), 2012

Published in: ACM SIGPLAN Notices, 47 (2012) 1, Seite 245-258
Cousot, Patrick`; Cousot, Radhia

A galois connection calculus for abstract interpretation

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Association for Computing Machinery (ACM), 2014

Published in: ACM SIGPLAN Notices, 49 (2014) 1, Seite 3-4
Cousot, Patrick; Cousot, Radhia

Bi-inductive structural semantics

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 2009

Published in: Information and Computation, 207 (2009) 2, Seite 258-283
Cousot, Patrick; Cousot, Radhia

Grammar semantics, analysis and parsing by abstract interpretation

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 2011

Published in: Theoretical Computer Science, 412 (2011) 44, Seite 6135-6192

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication