Travelled to:1 × Belgium
1 × Italy
1 × Poland
1 × Portugal
1 × Spain
1 × The Netherlands
Collaborated with:H.R.Andersen S.M.Burns G.Behrmann K.G.Larsen J.Lind-Nielsen P.F.Williams J.B.Møller J.Lichtenberg K.J.Kristoffersen
Talks about:diagram (3) use (3) composit (2) express (2) boolean (2) analysi (2) system (2) verif (2) state (2) event (2)
Person: Henrik Hulgaard
DBLP: Hulgaard:Henrik
Contributed to:
2001
199919991998
1997
1995Wrote 6 papers:
- TACAS-2001-WilliamsAH #diagrams #satisfiability #using
- Satisfiability Checking Using Boolean Expression Diagrams (PFW, HRA, HH), pp. 39–51.
- CSL-1999-MollerLAH #diagrams #difference
- Difference Decision Diagrams (JBM, JL, HRA, HH), pp. 111–125.
- TACAS-1999-BehrmannLAHL #composition #reuse #usability #using #verification
- Verification of Hierarchical State/Event Systems Using Reusability and Compositionality (GB, KGL, HRA, HH, JLN), pp. 163–177.
- TACAS-1998-Lind-NielsenABHKL #analysis #composition #dependence #scalability #using #verification
- Verification of Large State/Event Systems Using Compositionality and Dependency Analysis (JLN, HRA, GB, HH, KJK, KGL), pp. 201–216.
- LICS-1997-AndersenH #diagrams
- Boolean Expression Diagrams (HRA, HH), pp. 88–98.
- CAV-1995-HulgaardB #analysis #performance #petri net
- Efficient Timing Analysis of a Class of Petri Nets (HH, SMB), pp. 423–436.