Volume 36, Issue 2

June 2010

Special Section on 'Analogue Verification'

5 articles in this issue

On simulation-based probabilistic model checking of mixed-analog circuits
Edmund Clarke
Alexandre Donzé
Axel Legay
OriginalPaper 08 July 2009 Pages: 97 - 113
Analog property checkers: a DDR2 case study
Kevin D. Jones
Victor Konrad
Dejan Ničković
OriginalPaper 02 October 2009 Pages: 114 - 130
Advanced methods for equivalence checking of analog circuits with strong nonlinearities
Sebastian Steinhorst
Lars Hedrich
OriginalPaper 02 October 2009 Pages: 131 - 147
Simple concurrent garbage collection almost without synchronization
Wim H. Hesselink
M. I. Lali
OriginalPaper 12 September 2009 Pages: 148 - 166
Causal semantics for the algebra of connectors
Simon Bliudze
Joseph Sifakis
OriginalPaper 15 April 2010 Pages: 167 - 194

Search