Abstract interpretation for improving WAM codeBALDAN, D; FILE, G.Lecture notes in computer science. 1997, issn 0302-9743, isbn 3-540-63468-1, p. 364Conference Paper

Widening operators for powerset domains : Recent advances in hardware verificationBAGNARA, Roberto; HILL, Patricia M; ZAFFANELLA, Enea et al.International journal on software tools for technology transfer (Print). 2006, Vol 8, Num 4-5, pp 449-466, issn 1433-2779, 18 p.Conference Paper

Symbolic implementation of the best transformerREPS, Thomas; SAGIV, Mooly; YORSH, Greta et al.Lecture notes in computer science. 2004, pp 252-266, issn 0302-9743, isbn 3-540-20803-8, 15 p.Conference Paper

Pattern-based abstraction for verifying secrecy in protocolsBOZGA, L; LAKHNECH, Y; PERIN, M et al.International journal on software tools for technology transfer (Print). 2006, Vol 8, Num 1, pp 57-76, issn 1433-2779, 20 p.Conference Paper

Combining norms to prove terminationGENAIM, Samir; CODISH, Michael; GALLAGHER, John et al.Lecture notes in computer science. 2002, pp 126-138, issn 0302-9743, isbn 3-540-43631-6Conference Paper

Intelligent tutors for all : The constraint-based approach : Intelligent educational systemsMITROVIC, Antonija; MARTIN, Brent; SURAWEERA, Pramuditha et al.IEEE intelligent systems. 2007, Vol 22, Num 4, pp 38-45, issn 1541-1672, 8 p.Article

Membrane computing : Power, efficiency, applicationsPAUN, Gheorghe.Lecture notes in computer science. 2005, pp 396-407, issn 0302-9743, isbn 3-540-26179-6, 12 p.Conference Paper

Automatic verification by abstract interpretationCOUSOT, Patrick.Lecture notes in computer science. 2003, pp 20-24, issn 0302-9743, isbn 3-540-00348-7, 5 p.Conference Paper

Model composition for scheduling analysis in platform designRICHTER, Kai; ZIEGENBEIN, Dirk; JERSAK, Marek et al.Design automation conference. 2002, pp 287-292, isbn 1-58113-461-4, 6 p.Conference Paper

Can abstract interpretation become a mainstream compiler technology?HARRISON, L.Lecture notes in computer science. 1997, issn 0302-9743, isbn 3-540-63468-1, p. 395Conference Paper

Software model checking with abstraction refinementPODELSKI, Andreas.Lecture notes in computer science. 2003, pp 1-3, issn 0302-9743, isbn 3-540-00348-7, 3 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

Behavior-based model constructionSTEFFEN, Bernhard; HUNGAR, Hardi.Lecture notes in computer science. 2003, pp 5-19, issn 0302-9743, isbn 3-540-00348-7, 15 p.Conference Paper

Optimising active database rules by partial evaluation and abstract interpretationBAILEY, James; POULOVASSILIS, Alexandra; COURTENAGE, Simon et al.Lecture notes in computer science. 2002, pp 300-317, issn 0302-9743, isbn 3-540-44080-1, 18 p.Conference Paper

Transformation based communication and clock domain refinement for system designSANDER, Ingo; JANTSCH, Axel.Design automation conference. 2002, pp 281-286, isbn 1-58113-461-4, 6 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

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

Verification, model checking, and abstract interpretation (7th international conference, VMCAI 2006, Charleston SC, USA, January 8-10, 2006)Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-31139-4, 1Vol, XI-442 p, isbn 3-540-31139-4Conference Proceedings

Data dependences as abstract interpretationsTZOLOVSKI, S.Lecture notes in computer science. 1997, issn 0302-9743, isbn 3-540-63468-1, p. 366Conference Paper

Abstract specialization and its applicationsPUEBLA, German; HERMENEGILDO, Manuel.ACM SIGPLAN notices. 2003, Vol 38, Num 10, pp 269-283, issn 1523-2867, 15 p.Conference Paper

SubPolyhedra: a family of numerical abstract domains for the (more) scalable inference of linear inequalitiesLAVIRON, Vincent; LOGOZZO, Francesco.International journal on software tools for technology transfer (Print). 2011, Vol 13, Num 6, pp 585-601, issn 1433-2779, 17 p.Article

Abstract non-interference: Parameterizing non-interference by abstract interpretationGIACOBAZZI, Roberto; MASTROENI, Isabella.ACM SIGPLAN notices. 2004, Vol 39, Num 1, pp 186-197, issn 1523-2867, 12 p.Conference Paper

An empirical study on classification methods for alarms from a bug-finding static C analyzerYI, Kwangkeun; CHOI, Hosik; KIM, Jaehwang et al.Information processing letters. 2007, Vol 102, Num 2-3, pp 118-123, issn 0020-0190, 6 p.Article

Proof-carrying code from certified abstract interpretation and fixpoint compressionBESSON, Frédéric; JENSEN, Thomas; PICHARDIE, David et al.Theoretical computer science. 2006, Vol 364, Num 3, pp 273-291, issn 0304-3975, 19 p.Conference Paper

Decomposing Bytecode Verification by Abstract InterpretationBERNARDESCHI, C; DE FRANCESCO, N; LETTIERI, G et al.ACM transactions on programming languages and systems. 2009, Vol 31, Num 1, issn 0164-0925, 3:1-3:63Article