Search Sciweavers | Sciweavers

3342 search results - page 30 / 669

» Automating Abstract Interpretation

146

click to vote

HYBRID
1994
Springer

79views Control Systems» more HYBRID 1994»

A Note on Abstract Interpretation Strategies for Hybrid Automata

15 years 10 months ago

Download mtc.epfl.ch

Thomas A. Henzinger, Pei-Hsin Ho

claim paper

Read More »

130

click to vote

PEPM
1993
ACM

95views Software Engineering» more PEPM 1993»

Improving Abstract Interpretations by Combining Domains

15 years 10 months ago

Download www.csse.monash.edu.au

Michael Codish, Anne Mulkers, Maurice Bruynooghe, ...

claim paper

Read More »

128

Voted

AMAST
2006
Springer

115views Software Engineering» more AMAST 2006»

Opaque Predicates Detection by Abstract Interpretation

15 years 10 months ago

Download profs.sci.univr.it

Mila Dalla Preda, Matias Madou, Koen De Bosschere,...

claim paper

Read More »

119

click to vote

BIRTHDAY
2006
Springer

90views Applied Computing» more BIRTHDAY 2006»

Grammar Analysis and Parsing by Abstract Interpretation

15 years 10 months ago

Download www.di.ens.fr

Patrick Cousot, Radhia Cousot

claim paper

Read More »

129

Voted

BIRTHDAY
2003
Springer

114views Applied Computing» more BIRTHDAY 2003»

Verification by Abstract Interpretation

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers