Flemming Andersen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2000–2009
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2009 | FMCAD | Industrial strength refinement checking. | Jesse D. Bingham, John Erickson, Gaurav Singh, Flemming Andersen |
| 2007 | FSE | An Analytical Model for Time-Driven Cache Attacks. | Kris Tiri, Onur Aciimez, Michael Neve, Flemming Andersen |
| 2000 | CAV | An Abstraction Algorithm for the Verification of Generalized C-Slow Designs. | Jason Baumgartner, Anson Tripp, Adnan Aziz, Vigyan Singhal, Flemming Andersen |