Peter Lamborn

Background

About Peter Lamborn

Peter Lamborn. 2014 Efficient External-Memory Graph Search for Model Checking. Doctoral Dissertation, Mississippi State University, Department of Computer Science.Peter Lamborn. January: Search Based on Social Insect Behavior. MS Thesis, Brigham Young University, Department of Computer Science.Kevin Seppi, Michael Jones, and Peter Lamborn. “Guided Model Checking with a Bayesian Meta-heuristic.” In Fundamenta Informaticae, vol. 70, no. 1-2.Peter Lamborn and Eric Hansen."Layered Duplicate Detection in External-Memory Model Checking" In 15th International SPIN Workshop on Model Checking of Software, Los Angeles, CA.(Also appears in Lecture Notes in Computer Science, vol. 5156, Model Checking Software.)Peter Lamborn and Michael Jones. January: A Parallel Algorithm for Bug Hunting based on Insect Behavior. In Proceedings of Parallel Problem Solving from Nature, pp. 731-740, Reykjavik, Iceland.Peter Lamborn and Eric A. Hansen. “Memory-Efficient Graph Search in Planning and Model Checking.” In Proceedings of the Doctoral Consortium of the 16th International Conference on Automated Planning & Scheduling, Cumbria, UK.Peter Lamborn and Pamela Williams. “Data Fusion on a Distributed Heterogeneous Sensor Network.” In Proceedings of SPIE – Multisensor, Multisource Information Fusion: Architectures, Algorithms, and Applications, Orlando, FL.Kevin Seppi, Michael Jones, and Peter Lamborn. “Guided Model Checking with a Bayesian Meta-heuristic.” In Proc. of the 4th International Conference on Application of Concurrency to System Design (ACSD 2004), Hamilton, Canada.Michael Jones, Eric Mercer, Tonga Bao, Rahul Kumar, and Peter Lamborn. “Benchmarking Explicit State Parallel Model Checkers.” In Proceedings of the 2nd Workshop on Parallel and Distributed Model Checking, Boulder, CO.(Also appears in Electronic Notes in Theoretical Computing Science, vol. 89, no.