Flemming Andersen

According to our database, Flemming Andersen authored at least 9 papers between 1991 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

HyPFuzz: Formal-Assisted Processor Fuzzing.

Chen Chen, Rahul Kande, Nathan Nguyen, Flemming Andersen, Aakash Tyagi, Ahmad-Reza Sadeghi, Jeyavijayan Rajendran

Proceedings of the 32nd USENIX Security Symposium, 2023

2009

Industrial strength refinement checking.

Jesse D. Bingham, John Erickson, Gaurav Singh, Flemming Andersen

Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, 2009

2007

An Analytical Model for Time-Driven Cache Attacks.

Kris Tiri, Onur Aciiçmez, Michael Neve, Flemming Andersen

Proceedings of the Fast Software Encryption, 14th International Workshop, 2007

2001

MR-Based Statistical Atlas of the Göttingen Minipig Brain.

Hideaki Watanabe, Flemming Andersen, Claus Z. Simonsen, Stephen M. Evans, Albert Gjedde, Paul Cumming, DaNeX Study Group

NeuroImage, 2001

2000

An Abstraction Algorithm for the Verification of Generalized C-Slow Designs.

Jason Baumgartner, Anson Tripp, Adnan Aziz, Vigyan Singhal, Flemming Andersen

Proceedings of the Computer Aided Verification, 12th International Conference, 2000

1995

The HOL-UNITY Verification System.

Flemming Andersen, Ulla Binau, Karsten Nyblad, Kim Dam Petersen, Jimmi S. Pettersson

Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995

1994

A Graphical Tool for Proving Unity Progress.

Flemming Andersen, Kim Dam Petersen, Jimmi S. Pettersson

Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1994

1993

Program Verification using HOL-UNITY.

Flemming Andersen, Kim Dam Petersen, Jimmi S. Pettersson

Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1993

1991

Recursive Boolean Functions in HOL.

Flemming Andersen, Kim Dam Petersen

Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, 1991