Sciweavers

3 search results - page 1 / 1

» An Appreciation of the Work of Reinhard Wilhelm

151

BIRTHDAY
2006
Springer

194views Applied Computing» more BIRTHDAY 2006»

An Appreciation of the Work of Reinhard Wilhelm

15 years 9 months ago

An Appreciation of the Work of Reinhard Wilhelm

Download www.model.in.tum.de

Thomas W. Reps, Mooly Sagiv, Jörg Bauer

claim paper

Read More »

123

ISSTA
2000
ACM

79views Software Engineering» more ISSTA 2000»

Putting static analysis to work for verification: A case study

15 years 10 months ago

Putting static analysis to work for verification: A case study

Download rw4.cs.uni-saarland.de

Tal Lev-Ami, Thomas W. Reps, Shmuel Sagiv, Reinhar...

claim paper

Read More »

155

CAV
2004
Springer

159views Hardware» more CAV 2004»

Static Program Analysis via 3-Valued Logic

15 years 11 months ago

Static Program Analysis via 3-Valued Logic

Download www.cs.wisc.edu

This paper reviews the principles behind the paradigm of “abstract interpretation via § -valued logic,” discusses recent work to extend the approach, and summarizes ongoing re...

Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm

claim paper

Read More »

« Prev « First page 1 / 1 Last » Next »