 | 2009 |
|---|
| 7 |       | Jesse D. Bingham,
John Erickson,
Gaurav Singh,
Flemming Andersen:
Industrial strength refinement checking.
FMCAD 2009: 180-183 |
| 2007 |
|---|
| 6 | | Kris Tiri,
Onur Aciiçmez,
Michael Neve,
Flemming Andersen:
An Analytical Model for Time-Driven Cache Attacks.
FSE 2007: 399-413 |
| 2000 |
|---|
| 5 | | Jason Baumgartner,
Anson Tripp,
Adnan Aziz,
Vigyan Singhal,
Flemming Andersen:
An Abstraction Algorithm for the Verification of Generalized C-Slow Designs.
CAV 2000: 5-19 |
| 1995 |
|---|
| 4 | | Flemming Andersen,
Ulla Binau,
Karsten Nyblad,
Kim Dam Petersen,
Jimmi S. Pettersson:
The HOL-UNITY Verification System.
TAPSOFT 1995: 795-796 |
| 1994 |
|---|
| 3 | | Flemming Andersen,
Kim Dam Petersen,
Jimmi S. Pettersson:
A Graphical Tool for Proving Unity Progress.
TPHOLs 1994: 17-32 |
| 1993 |
|---|
| 2 | | Flemming Andersen,
Kim Dam Petersen,
Jimmi S. Pettersson:
Program Verification using HOL-UNITY.
HUG 1993: 1-15 |
| 1991 |
|---|
| 1 |  | Flemming Andersen,
Kim Dam Petersen:
Recursive Boolean Functions in HOL.
TPHOLs 1991: 367-377 |
Data released under the ODC-BY 1.0 license — See also our legal information page