Peter Lamborn

Publications 2004-0101 Guided Model Checking with a Bayesian Metaheuristic

K. Seppi, Michael D. Jones, Peter Lamborn, 2018 .

Guided model checking with a Bayesian meta-heuristic

Michael D. Jones, Kevin D. Seppi, Peter Lamborn, 2004, Proceedings. Fourth International Conference on Application of Concurrency to System Design, 2004. ACSD 2004..

January: A Parallel Algorithm for Bug Hunting Based on Insect Behavior

Michael D. Jones, Peter Lamborn, Michael D. Jones, 2006, PPSN.

January: Search Based On Social Insect Behavior

Peter Lamborn, Peter Lamborn, 2005 .

Data fusion on a distributed heterogeneous sensor network

P. J. Williams, Pamela J. Williams, Peter Lamborn, 2006, SPIE Defense + Commercial Sensing.

Layered Duplicate Detection in External-Memory Model Checking

Eric A. Hansen, Peter Lamborn, E. Hansen, 2008, SPIN.