2007 |
6 | EE | 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 |