SAS 2003 : state analysis (San Diego CA, 11-13 June 2003)Cousot, Radhia.Lecture notes in computer science. 2003, issn 0302-9743, isbn 3-540-40325-6, XIV, 503 p, isbn 3-540-40325-6Conference Proceedings

Efficient verification of halting properties for MPI programs with wildcard receivesSIEGEL, Stephen F.Lecture notes in computer science. 2005, pp 413-429, issn 0302-9743, isbn 3-540-24297-X, 17 p.Conference Paper

An overview of semantics for the validation of numerical programsMARTEL, Matthieu.Lecture notes in computer science. 2005, pp 59-77, issn 0302-9743, isbn 3-540-24297-X, 19 p.Conference Paper

Model checking for Process rewrite systems and a class of action-based regular propertiesBOZZELLI, Laura.Lecture notes in computer science. 2005, pp 282-297, issn 0302-9743, isbn 3-540-24297-X, 16 p.Conference Paper

Verification of an error correcting code by abstract interpretationHYMANS, Charles.Lecture notes in computer science. 2005, pp 330-345, issn 0302-9743, isbn 3-540-24297-X, 16 p.Conference Paper

Continuation-based partial evaluation without continuationsTHIEMANN, Peter.Lecture notes in computer science. 2003, pp 366-382, issn 0302-9743, isbn 3-540-40325-6, 17 p.Conference Paper

Abstract interpretation of programs as Markov decision processesMONNIAUX, David.Lecture notes in computer science. 2003, pp 237-254, issn 0302-9743, isbn 3-540-40325-6, 18 p.Conference Paper

Checking interference with fractional permissionsBOVLAND, John.Lecture notes in computer science. 2003, pp 55-72, issn 0302-9743, isbn 3-540-40325-6, 18 p.Conference Paper

Proving program invariance and termination by parametric abstraction, Lagrangian relaxation and semidefinite programmingCOUSOT, Patrick.Lecture notes in computer science. 2005, pp 1-24, issn 0302-9743, isbn 3-540-24297-X, 24 p.Conference Paper

Analyse statique des systèmes dynamiques de graphes dans les langages non typés = Static analysis of dynamic graph systems in untyped languagesVenet, Arnaud; Cousot, Radhia.1998, 112 p.Thesis

Special Issue on SAS'96: Selected Papers of the Third International Static Analysis Symposium (SAS'96)(24-26 September 1996, Aachen, Germany)COUSOT, Radhia; SCHMIDT, David.Science of computer programming. 1999, Vol 35, Num 2-3, issn 0167-6423, 172 p.Serial Issue

Grammar semantics, analysis and parsing by abstract interpretationCOUSOT, Patrick; COUSOT, Radhia.Theoretical computer science. 2011, Vol 412, Num 44, pp 6135-6192, issn 0304-3975, 58 p.Article

Cryptographic protocol analysis on real C codeGOUBAULT-LARRECQ, Jean; PARRENNES, Fabrice.Lecture notes in computer science. 2005, pp 363-379, issn 0302-9743, isbn 3-540-24297-X, 17 p.Conference Paper

Minimizing counterexample with unit core extraction and incremental SATSHENGYU SHEN; YING QIN; SIKUN LI et al.Lecture notes in computer science. 2005, pp 298-312, issn 0302-9743, isbn 3-540-24297-X, 15 p.Conference Paper

Client-driven pointer analysisGUYER, Samuel Z; LIN, Calvin.Lecture notes in computer science. 2003, pp 214-236, issn 0302-9743, isbn 3-540-40325-6, 23 p.Conference Paper

Type systems for distributed data sharingLIBLIT, Ben; AIKEN, Alex; YELICK, Katherine et al.Lecture notes in computer science. 2003, pp 273-294, issn 0302-9743, isbn 3-540-40325-6, 22 p.Conference Paper

Generalized lypestate checking for data structure consistencyLAM, Patrick; KUNCAK, Viktor; RINARD, Martin et al.Lecture notes in computer science. 2005, pp 430-447, issn 0302-9743, isbn 3-540-24297-X, 18 p.Conference Paper

Instantaneous termination in pure EsterelTARDIEU, Olivier; DE SIMONE, Robert.Lecture notes in computer science. 2003, pp 91-108, issn 0302-9743, isbn 3-540-40325-6, 18 p.Conference Paper

Weighted pushdown systems and their application to interprocedural dataflow analysisREPS, Thomas; SCHWOON, Stefan; JHA, Somesh et al.Lecture notes in computer science. 2003, pp 189-213, issn 0302-9743, isbn 3-540-40325-6, 25 p.Conference Paper

Efficiently verifiable conditions for deadlock-freedom of large concurrent programsATTIE, Paul C; CHOCKLER, Hana.Lecture notes in computer science. 2005, pp 465-481, issn 0302-9743, isbn 3-540-24297-X, 17 p.Conference Paper

Purity and side effect analysis for Java ProgramsSALCIANU, Alexandru; RINARD, Martin.Lecture notes in computer science. 2005, pp 199-215, issn 0302-9743, isbn 3-540-24297-X, 17 p.Conference Paper

A logic for analyzing abstractions of graph transformation systemsBALDAN, Paolo; KÖNIG, Barbara; KÖNIG, Bernhard et al.Lecture notes in computer science. 2003, pp 255-272, issn 0302-9743, isbn 3-540-40325-6, 18 p.Conference Paper

I/O efficient directed model checkingJABBAR, Shahid; EDELKAMP, Stefan.Lecture notes in computer science. 2005, pp 313-329, issn 0302-9743, isbn 3-540-24297-X, 17 p.Conference Paper

Computer-assisted verification of a protocol for certified emailABADI, Martin; BLANCHET, Bruno.Lecture notes in computer science. 2003, pp 316-335, issn 0302-9743, isbn 3-540-40325-6, 20 p.Conference Paper

Modular class analysis with DATALOGBESSON, Frédéric; JENSEN, Thomas.Lecture notes in computer science. 2003, pp 19-36, issn 0302-9743, isbn 3-540-40325-6, 18 p.Conference Paper