Sciweavers

4340 search results - page 34 / 868

» Formal Methods and Cryptography

105

Voted

SAS
2010
Springer

148views Formal Methods» more SAS 2010»

Small Formulas for Large Programs: On-Line Constraint Simplification in Scalable Static Analysis

15 years 1 months ago

Small Formulas for Large Programs: On-Line Constraint Simplification in Scalable Static Analysis

Download www.stanford.edu

Isil Dillig, Thomas Dillig, Alex Aiken

claim paper

Read More »

103

Voted

MEMOCODE
2010
IEEE

176views Formal Methods» more MEMOCODE 2010»

Predictable multithreading of embedded applications using PRET-C

15 years 1 months ago

Predictable multithreading of embedded applications using PRET-C

Download www.ece.auckland.ac.nz

Sidharta Andalam, Partha S. Roop, Alain Girault

claim paper

Read More »

120

Voted

FORTE
2009

96views Formal Methods» more FORTE 2009»

A Type Graph Model for Java Programs

15 years 1 months ago

A Type Graph Model for Java Programs

Download eprints.eemcs.utwente.nl

Arend Rensink, Eduardo Zambon

claim paper

Read More »

106

ICFCA
2009
Springer

113views Formal Methods» more ICFCA 2009»

The Logic of Learning

15 years 1 months ago

The Logic of Learning

Download www.fi.muni.cz

Luc De Raedt

claim paper

Read More »

114

Voted

SBMF
2010
Springer

125views Formal Methods» more SBMF 2010»

Simulating Truly Concurrent CSP

14 years 10 months ago

Simulating Truly Concurrent CSP

Download www.iist.unu.edu

Moritz Kleine, J. W. Sanders

claim paper

Read More »

« Prev « First page 34 / 868 Last » Next »