| 2008 |
|---|
| 5 | EE | Peter Lamborn,
Eric A. Hansen:
Layered Duplicate Detection in External-Memory Model Checking.
SPIN 2008: 160-175 |
| 2006 |
|---|
| 4 | EE | Peter Lamborn,
Michael Jones:
January: A Parallel Algorithm for Bug Hunting Based on Insect Behavior.
PPSN 2006: 731-740 |
| 3 | EE | Kevin D. Seppi,
Michael Jones,
Peter Lamborn:
Guided Model Checking with a Bayesian Meta-heuristic.
Fundam. Inform. 70(1-2): 111-126 (2006) |
| 2004 |
|---|
| 2 | EE | Kevin D. Seppi,
Michael Jones,
Peter Lamborn:
Guided Model Checking with a Bayesian Meta-heuristic.
ACSD 2004: 217-226 |
| 2003 |
|---|
| 1 | EE | Michael Jones,
Eric Mercer,
Tonglaga Bao,
Rahul Kumar,
Peter Lamborn:
Benchmarking Explicit State Parallel Model Checkers.
Electr. Notes Theor. Comput. Sci. 89(1): (2003) |
