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) |