Peter Lamborn

Publication Activity (10 Years)

Years Active: 2003-2008
Publications (10 Years): 0

Publications

Peter Lamborn, Eric A. Hansen
Layered Duplicate Detection in External-Memory Model Checking. SPIN (2008)
Peter Lamborn, Michael D. Jones
January: A Parallel Algorithm for Bug Hunting Based on Insect Behavior. PPSN (2006)
Kevin D. Seppi, Michael D. Jones, Peter Lamborn
Guided Model Checking with a Bayesian Meta-heuristic. Fundam. Informaticae 70 (1-2) (2006)
Kevin D. Seppi, Michael D. Jones, Peter Lamborn
Guided Model Checking with a Bayesian Meta-heuristic. ACSD (2004)
Michael D. Jones, Eric Mercer, Tonglaga Bao, Rahul Kumar, Peter Lamborn
Benchmarking Explicit State Parallel Model Checkers. Electron. Notes Theor. Comput. Sci. 89 (1) (2003)