Henrik Hulgaard

2003
23	EE	Poul Frederick Williams, Henrik Reif Andersen, Henrik Hulgaard: Satisfiability checking using Boolean Expression Diagrams. STTT 5(1): 4-14 (2003)
2002
22	EE	Jesper B. Møller, Henrik Hulgaard, Henrik Reif Andersen: Timed Verification of Asynchronous Circuits. Concurrency and Hardware Design 2002: 274-312
21		Gerd Behrmann, Kim Guldstrand Larsen, Henrik Reif Andersen, Henrik Hulgaard, Jørn Lind-Nielsen: Verification of Hierarchical State/Event Systems using Reusability and Compositionality. Formal Methods in System Design 21(2): 225-244 (2002)
20	EE	Henrik Reif Andersen, Henrik Hulgaard: Boolean Expression Diagrams. Inf. Comput. 179(2): 194-212 (2002)
19	EE	Jesper B. Møller, Henrik Hulgaard, Henrik Reif Andersen: Symbolic model checking of timed guarded commands using difference decision diagrams. J. Log. Algebr. Program. 52-53: 53-77 (2002)
2001
18	EE	Poul Frederick Williams, Henrik Reif Andersen, Henrik Hulgaard: Satisfiability Checking Using Boolean Expression Diagrams. TACAS 2001: 39-51
17		Jørn Lind-Nielsen, Henrik Reif Andersen, Henrik Hulgaard, Gerd Behrmann, Kåre J. Kristoffersen, Kim Guldstrand Larsen: Verification of Large State/Event Systems Using Compositionality and Dependency Analysis. Formal Methods in System Design 18(1): 5-23 (2001)
2000
16	EE	Jørgen Staunstrup, Henrik Reif Andersen, Henrik Hulgaard, Jørn Lind-Nielsen, Kim Guldstrand Larsen, Gerd Behrmann, Kåre J. Kristoffersen, Arne Skou, Henrik Leerberg, Niels Bo Theilgaard: Practical Verification of Embedded Software. IEEE Computer 33(5): 68-75 (2000)
15	EE	Henrik Hulgaard, Tod Amon: Symbolic timing analysis of asynchronous systems. IEEE Trans. on CAD of Integrated Circuits and Systems 19(10): 1093-1104 (2000)
1999
14	EE	Tod Amon, Henrik Hulgaard: Symbolic Time Separation of Events. ASYNC 1999: 83-93
13		Jesper B. Møller, Jakob Lichtenberg, Henrik Reif Andersen, Henrik Hulgaard: Difference Decision Diagrams. CSL 1999: 111-125
12	EE	Gerd Behrmann, Kim Guldstrand Larsen, Henrik Reif Andersen, Henrik Hulgaard, Jørn Lind-Nielsen: Verification of Hierarchical State/Event Systems Using Reusability and Compositionality. TACAS 1999: 163-177
11	EE	Jesper B. Møller, Jakob Lichtenberg, Henrik Reif Andersen, Henrik Hulgaard: Fully Symbolic Model Checking of Timed Systems using Difference Decision Diagrams. Electr. Notes Theor. Comput. Sci. 23(2): (1999)
10	EE	Henrik Hulgaard, Poul Frederick Williams, Henrik Reif Andersen: Equivalence checking of combinational circuits using Boolean expression diagrams. IEEE Trans. on CAD of Integrated Circuits and Systems 18(7): 903-917 (1999)
1998
9	EE	Fen Jin, Henrik Hulgaard, Eduard Cerny: Maximum Time Separation of Events in Cyclic Systems with Linear and Latest Timing Constraints. FMCAD 1998: 167-184
8	EE	Jørn Lind-Nielsen, Henrik Reif Andersen, Gerd Behrmann, Henrik Hulgaard, Kåre J. Kristoffersen, Kim Guldstrand Larsen: Verification of Large State/Event Systems Using Compositionality and Dependency Analysis. TACAS 1998: 201-216
1997
7	EE	Henrik Reif Andersen, Henrik Hulgaard: Boolean Expression Diagrams (Extended Abstract). LICS 1997: 88-98
6		Henrik Hulgaard, Steven M. Burns: Bounded Delay Timing Analysis of a Class of CSP Programs. Formal Methods in System Design 11(3): 265-294 (1997)
1995
5		Henrik Hulgaard, Steven M. Burns: Efficient Timing Analysis of a Class of Petri Nets. CAV 1995: 423-436
4	EE	Henrik Hulgaard, Steven M. Burns, Tod Amon, Gaetano Borriello: An Algorithm for Exact Bounds on the Time Separation of Events in Concurrent Systems. IEEE Trans. Computers 44(11): 1306-1317 (1995)
1993
3	EE	Henrik Hulgaard, Steven M. Burns, Tod Amon, Gaetano Borriello: Practical applications of an efficient time separation of events algorithm. ICCAD 1993: 146-151
2		Tod Amon, Henrik Hulgaard, Steven M. Burns, Gaetano Borriello: An Algorithm for Exact Bounds on the Time Separation of Events in Concurrent Systems. ICCD 1993: 166-173
1991
1		Henrik Hulgaard, Per H. Christensen, Jørgen Staunstrup: Synthesizing Delay Insensitive Circuits from Verified Programs. Research Directions in High-Level Parallel Programming Languages 1991: 326-337

Coauthor Index

1	Tod Amon	[2] [3] [4] [14] [15]
2	Henrik Reif Andersen	[7] [8] [10] [11] [12] [13] [16] [17] [18] [19] [20] [21] [22] [23]
3	Gerd Behrmann	[8] [12] [16] [17] [21]
4	Gaetano Borriello	[2] [3] [4]
5	Steven M. Burns	[2] [3] [4] [5] [6]
6	Eduard Cerny	[9]
7	Per H. Christensen	[1]
8	Fen Jin	[9]
9	Kåre J. Kristoffersen	[8] [16] [17]
10	Kim Guldstrand Larsen	[8] [12] [16] [17] [21]
11	Henrik Leerberg	[16]
12	Jakob Lichtenberg	[11] [13]
13	Jørn Lind-Nielsen	[8] [12] [16] [17] [21]
14	Jesper B. Møller	[11] [13] [19] [22]
15	Arne Skou	[16]
16	Jørgen Staunstrup	[1] [16]
17	Niels Bo Theilgaard	[16]
18	Poul Frederick Williams	[10] [18] [23]

Colors in the list of coauthors