Flemming Andersen

Publication Activity (10 Years)

Years Active: 1991-2023
Publications (10 Years): 2

Top Topics

Formal Specification

Parallel Processing

Top Venues

USENIX Security Symposium

Publications

Chen Chen, Rahul Kande, Nathan Nyugen, Flemming Andersen, Aakash Tyagi, Ahmad-Reza Sadeghi, Jeyavijayan Rajendran
HyPFuzz: Formal-Assisted Processor Fuzzing. CoRR (2023)
Chen Chen, Rahul Kande, Nathan Nguyen, Flemming Andersen, Aakash Tyagi, Ahmad-Reza Sadeghi, Jeyavijayan Rajendran
HyPFuzz: Formal-Assisted Processor Fuzzing. USENIX Security Symposium (2023)
Jesse D. Bingham, John Erickson, Gaurav Singh, Flemming Andersen
Industrial strength refinement checking. FMCAD (2009)
Kris Tiri, Onur Aciiçmez, Michael Neve, Flemming Andersen
An Analytical Model for Time-Driven Cache Attacks. FSE (2007)
Hideaki Watanabe, Flemming Andersen, Claus Z. Simonsen, Stephen M. Evans, Albert Gjedde, Paul Cumming, DaNeX Study Group
MR-Based Statistical Atlas of the Göttingen Minipig Brain. NeuroImage 14 (5) (2001)
Jason Baumgartner, Anson Tripp, Adnan Aziz, Vigyan Singhal, Flemming Andersen
An Abstraction Algorithm for the Verification of Generalized C-Slow Designs. CAV (2000)
Flemming Andersen, Ulla Binau, Karsten Nyblad, Kim Dam Petersen, Jimmi S. Pettersson
The HOL-UNITY Verification System. TAPSOFT (1995)
Flemming Andersen, Kim Dam Petersen, Jimmi S. Pettersson
A Graphical Tool for Proving Unity Progress. TPHOLs (1994)
Flemming Andersen, Kim Dam Petersen, Jimmi S. Pettersson
Program Verification using HOL-UNITY. HUG (1993)
Flemming Andersen, Kim Dam Petersen
Recursive Boolean Functions in HOL. TPHOLs (1991)