Recursive Boolean Functions in HOL. - Flemming Andersen; Kim Dam Petersen (TPHOLs, 1991)

Program Verification using HOL-UNITY. - Flemming Andersen; Kim Dam Petersen; Jimmi S. Pettersson (HUG, 1993)

A Graphical Tool for Proving Unity Progress. - Flemming Andersen; Kim Dam Petersen; Jimmi S. Pettersson (TPHOLs, 1994)

The HOL-UNITY Verification System. - Flemming Andersen; Ulla Binau; Karsten Nyblad; Kim Dam Petersen; Jimmi S. Pettersson (TAPSOFT, 1995)

An Abstraction Algorithm for the Verification of Generalized C-Slow Designs. - Jason Baumgartner; Anson Tripp; Adnan Aziz; Vigyan Singhal; Flemming Andersen (CAV, 2000)

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)

An Analytical Model for Time-Driven Cache Attacks. - Kris Tiri; Onur Aciiçmez; Michael Neve; Flemming Andersen (FSE, 2007)

Industrial strength refinement checking. - Jesse D. Bingham; John Erickson; Gaurav Singh; Flemming Andersen (FMCAD, 2009)

HyPFuzz: Formal-Assisted Processor Fuzzing. - Chen Chen 125; Rahul Kande; Nathan Nguyen; Flemming Andersen; Aakash Tyagi; Ahmad-Reza Sadeghi; Jeyavijayan Rajendran (USENIX Security Symposium, 2023)