HVC 2008
Online First™Reducing the size of resolution proofs in linear time
Omer Bar-Ilan, Oded Fuhrmann, Shlomo Hoory, Ohad Shacham and Ofer Strichman
Online First™, 24 August 2010
HVC 2008
Online First™Evaluating workloads using comparative functional coverage
Yoram Adler, Dale Blue, Thomas Conti, Richard Prewitt and Shmuel Ur
Online First™, 6 August 2010
SPIN 2009
Online First™Using model checking to identify errors in intrusion detection signatures
Sebastian Schmerl, Michael Vogel and Hartmut König
Online First™, 16 July 2010
Regular Paper
Online First™Path-oriented bounded reachability analysis of composed linear hybrid systems
Lei Bu and Xuandong Li
Online First™, 18 June 2010
VSTTE 2008
Online First™Towards an industrial grade IVE for Java and next generation research platform for JML
Patrice Chalin, Robby, Perry R. James, Jooyong Lee and George Karabotsos
Online First™, 14 June 2010
HVC 2008
Online First™A uniform approach to three-valued semantics for μ-calculus on abstractions of hybrid automata
K. Bauer, R. Gentilini and K. Schneider
Online First™, 21 May 2010
SPIN 2009
Online First™A decision procedure for detecting atomicity violations for communicating processes with locks
Nicholas Kidd, Peter Lammich, Tayssir Touili and Thomas Reps
Online First™, 20 May 2010
HVC 2008
Online First™Automatic boosting of cross-product coverage using Bayesian networks
Dorit Baras, Shai Fine, Laurent Fournier, Dan Geiger and Avi Ziv
Online First™, 15 May 2010
SPIN 09
Online First™Symbolic analysis via semantic reinterpretation
Junghee Lim, Akash Lal and Thomas Reps
Online First™, 14 May 2010
SPIN 09
Online First™Probabilistic reachability for parametric Markov models
Ernst Moritz Hahn, Holger Hermanns and Lijun Zhang
Online First™, 7 April 2010