1689 search results - page 20 / 338 » Refining abstract interpretations |
135
click to vote
ICALP
2011
Springer
14 years 5 months ago
2011
Springer
act Interpretation SILVIA CRAFA FRANCESCO RANZATO University of Padova, Italy We show how bisimulation equivalence and simulation preorder on probabilistic LTSs (PLTSs), namely the...
125
Voted
TCS
2008
15 years 1 months ago
2008
Interpretation and Types for Systems Biology Fran
117
click to vote
IPL
2010
15 years 10 days ago
2010
model checking via abstract interpretation N. De Francesco, G. Lettieri∗ , L. Martini, G. Vaglini Universit`a di Pisa, Dipartimento di Ingegneria dell’Informazione, sez. Inform...
64
Voted
EMSOFT
2003
Springer
15 years 7 months ago
2003
Springer
act Interpretation John Regehr Alastair Reid Kirk Webb University of Utah
103
Voted
SAS
1992
Springer
15 years 6 months ago
1992
Springer
Interpretation to Floating point Arithmetic Yamine A