A symbolic approach to Bernstein expansion for program analysis and optimizationCLAUSS, Philippe; TCHOUPAEVA, Irina.Lecture notes in computer science. 2004, pp 120-133, issn 0302-9743, isbn 3-540-21297-3, 14 p.Conference Paper

Learning general graphplan memos through static domain analysisAFZAL UPAL, M.Lecture notes in computer science. 2003, pp 510-514, issn 0302-9743, isbn 3-540-40300-0, 5 p.Conference Paper

Context inference for static analysis of java card object sharingCAROMEL, Denis; HENRIO, Ludovic; SERPETTE, Bernard et al.Lecture notes in computer science. 2001, pp 43-57, issn 0302-9743, isbn 3-540-42610-8Conference Paper

Static analysis (13th international symposium, SAS 2006, Seoul, Korea, August 29-31, 2006)Yi, Kwangkeun.Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-37756-5, 1Vol, XIII-442 p, isbn 3-540-37756-5Conference Proceedings

SAS 2004 : static analysis (Verona, 26-28 August 2004)Giacobazzi, Roberto.Lecture notes in computer science. 2004, issn 0302-9743, isbn 3-540-22791-1, XI, 392 p, isbn 3-540-22791-1Conference Proceedings

Analyse statique de la terminaison des règles actives basée sur la notion de chemin maximal = Static analysis of termination of active rules based on the notion of maximal pathCouchot, Alain; Slissenko, Anatol.2001, 177 p.Thesis

Automated Code Review Tools for SecurityMCGRAW, Gary.Computer (Long Beach, CA). 2008, Vol 41, Num 12, pp 108-111, issn 0018-9162, 4 p.Article

Lookahead wideningGOPAN, Denis; REPS, Thomas.Lecture notes in computer science. 2006, pp 452-466, issn 0302-9743, isbn 3-540-37406-X, 1Vol, 15 p.Conference Paper

L'efficacité de l'élimination des défauts du logicielJONES, Capers.Génie logiciel (1995). 2011, Num 99, pp 2-5, issn 1265-1397, 4 p.Article

A Few Billion Lines of Code Later Using Static Analysis to Find Bugs in the Real WorldBESSEY, A. L; BLOCK, Ken; CHELF, Ben et al.Communications of the ACM. 2010, Vol 53, Num 2, pp 66-75, issn 0001-0782, 10 p.Article

SAS 2005 : static analysis (London, 7-9 September 2005)Hankin, Chris; Siveroni, Igor.Lecture notes in computer science. 2005, issn 0302-9743, isbn 3-540-28584-9, X, 367 p, isbn 3-540-28584-9Conference Proceedings

Pruning interference and ready dependence for slicing concurrent Java programsVENKATESH PRASAD RANGANATH; HATCLIFF, John.Lecture notes in computer science. 2004, pp 39-56, issn 0302-9743, isbn 3-540-21297-3, 18 p.Conference Paper

Parameterizing a groundness analysis of logic programsLUNJIN LU.Lecture notes in computer science. 2001, pp 146-164, issn 0302-9743, isbn 3-540-42314-1Conference Paper

Efficient computation of parameterized pointer information for interprocedural analysesDONGLIN LIANG; HARROLD, Mary Jean.Lecture notes in computer science. 2001, pp 279-298, issn 0302-9743, isbn 3-540-42314-1Conference Paper

Software That Checks Software: The Impact of PC-lintGIMPEL, James.IEEE software. 2014, Vol 31, Num 1, pp 15-19, issn 0740-7459, 5 p.Article

Osculating thevenin model for predicting delay and slew of capacitively characterized cellsSHEEHAN, Bernard N.Design automation conference. 2002, pp 866-869, isbn 1-58113-461-4, 4 p.Conference Paper

Higher-precision groundness analysisCODISH, Michael; GENAIM, Samir; SØNDERGAARD, Harald et al.Lecture notes in computer science. 2001, pp 135-149, issn 0302-9743, isbn 3-540-42935-2Conference Paper

Static analysis of exception handling in AdaSCHAEFER, C. F; BUNDY, G. N.Software, practice & experience. 1993, Vol 23, Num 10, pp 1157-1174, issn 0038-0644Article

Types abstraits et bases de données : formalisation de la notion de partage et analyse statique des contraintes d'intégrité = Abstract data types and databases: formalization of the notion of partition and static analysis of integrity contraintsSALES, Ana Maria.1984, 210 pThesis

An abstract interpretation framework for analysing mobile ambientsLEVI, Francesca; MAFFEIS, Sergio.Lecture notes in computer science. 2001, pp 395-411, issn 0302-9743, isbn 3-540-42314-1Conference Paper

Modélisation et vérifications comportementales = Behavioural modeling and verificationCICCHETTI, R; PONCELET, P; TEISSEIRE, M et al.INFORSID. Congrès. 1996, pp 407-425, isbn 2-906855-12-XConference Paper

Analyse linéaire et non-linéaire de plaques et coques par éléments finis en statistique et en dynamique sur micro-ordinateurHan, Woo-Suck; Gueury, Michel.1989, 160 p.Thesis

THREE SOURCES OF CRITERION VARIANCE: STATIC DIMENSIONALITY, DYNAMIC DIMENSIONALITY, AND INDIVIDUAL DIMENSIONALITY = TROIS SOURCES DE VARIANCE DES CRITERES: LA DIMENSION STATIQUE, LA DIMENSION DYNAMIQUE, ET LA DIMENSION INDIVIDUELLEINN A; HULIN CL.1972; ORGANIZ. BEHAV. HUM. PERFORM.; U.S.A.; DA. 1972; VOL. 8; NO 1; PP. 58-83; BIBL. 12 REF.Article

STATIC ANALYSIS = ANALYSE STATIQUE1974; IN: INT. CONF. VEH. STRUCT. MECH. FINITE ELEM. APPL. VEH. DES.; DETROIT, MICH.; 1974; NEW YORK; SOC. AUTOM. ENG.; DA. 1974; PP. 39-80; BIBL. DISSEM.Conference Paper

PROPRIETES DE CORRELATION DES SEGMENTS A M CONSEQUENCESVARAKIN LE; VOLKOV LN.1973; RADIOTEKHNIKA; S.S.S.R.; DA. 1973; VOL. 28; NO 2; PP. 23-28; BIBL. 5 REF.Serial Issue