Leopold Haller
|
Wolfson Building, Parks Road, Oxford OX1 3QD |
Interests
Abstract Interpretation, Satisfiability
Selected Publications
| Numeric Bounds Analysis with Conflict−Driven Learning Vijay D'Silva‚ Leopold Haller‚ Daniel Kroening and Michael Tautschnig In TACAS. 2012. |
| Strengthening Induction−Based Race Checking with Lightweight Static Analysis Alastair F. Donaldson‚ Leopold Haller and Daniel Kroening In VMCAI. Pages 169−183. 2011. |
| Software Verification Using k−Induction Alastair F. Donaldson‚ Leopold Haller‚ Daniel Kroening and Philipp Ruemmer In SAS. Springer. 2011. |
Info
|
Themes |
|
|
Activities |
|
|
Supervisor |
|
