dblp.uni-trier.dewww.uni-trier.de

Flemming Andersen

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Onur Aciiçmez [6]
2Adnan Aziz [5]
3Jason Baumgartner [5]
4Ulla Binau [4]
5Michael Neve [6]
6Karsten Nyblad [4]
7Kim Dam Petersen [1] [2] [3] [4]
8Jimmi S. Pettersson [2] [3] [4]
9Vigyan Singhal [5]
10Kris Tiri [6]
11Anson Tripp [5]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)