Search Sciweavers | Sciweavers

518 search results - page 1 / 104

» Abstract Interpretation-Based Protection

click to vote

VMCAI
2010
Springer

135views Software Engineering» more VMCAI 2010»

Abstract Interpretation-Based Protection

14 years 5 months ago

Download rosaec.snu.ac.kr

Roberto Giacobazzi

claim paper

Read More »

click to vote

ESOP
2007
Springer

94views Programming Languages» more ESOP 2007»

Small Witnesses for Abstract Interpretation-Based Proofs

14 years 5 months ago

Download www.irisa.fr

tnesses for Abstract Interpretation-based Proofs Fr´ed´eric Besson, Thomas Jensen, and Tiphaine Turpin IRISA/{Inria, CNRS, Universit´e de Rennes 1} Campus de Beaulieu, F-35042 R...

Frédéric Besson, Thomas P. Jensen, T...

claim paper

Read More »

click to vote

CP
2007
Springer

112views Artificial Intelligence» more CP 2007»

An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming

14 years 5 months ago

Download www.irisa.fr

Tristan Denmat, Arnaud Gotlieb, Mireille Ducass&ea...

claim paper

Read More »

click to vote

ESOP
2005
Springer

86views Programming Languages» more ESOP 2005»

Trace Partitioning in Abstract Interpretation Based Static Analyzers

14 years 4 months ago

Download www.di.ens.fr

Laurent Mauborgne, Xavier Rival

claim paper

Read More »

click to vote

DSN
2003
IEEE

137views Computer Networks» more DSN 2003»

An Abstract Interpretation-Based Timing Validation of Hard Real-Time Avionics Software

14 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers