| * | 2008 |
|---|
| 3 | EE | James Kapinski,
Alexandre Donzé,
Flavio Lerda,
Hitashyam Maka,
Silke Wagner,
Bruce H. Krogh:
Control software model checking using bisimulation functions for nonlinear systems.
CDC 2008: 4024-4029 |
| 2 | EE | Flavio Lerda,
James Kapinski,
Edmund M. Clarke,
Bruce H. Krogh:
Verification of Supervisory Control Software Using State Proximity and Merging.
HSCC 2008: 344-357 |
| 2003 |
|---|
| 1 | EE | James Kapinski,
Bruce H. Krogh,
Oded Maler,
Olaf Stursberg:
On Systematic Simulation of Open Continuous Systems.
HSCC 2003: 283-297 |
