Travelled to:1 × Belgium
1 × Denmark
1 × Poland
1 × Portugal
1 × Spain
1 × USA
1 × United Kingdom
2 × Italy
2 × The Netherlands
3 × France
Collaborated with:H.Hulgaard ∅ M.Mendler J.Lind-Nielsen G.Winskel J.Staunstrup N.Maretti B.Vergauwen G.Behrmann K.G.Larsen E.R.v.d.Meer A.Wasowski P.F.Williams C.Stirling J.B.Møller J.Lichtenberg K.J.Kristoffersen
Talks about:check (7) system (5) composit (4) model (4) use (4) diagram (3) boolean (3) verif (3) state (3) event (3)
Person: Henrik Reif Andersen
DBLP: Andersen:Henrik_Reif
Contributed to:
2006
2001
1999
199919991998
1997199719951995
1994199419921991
19951997Wrote 16 papers:
- SAC-2006-MeerWA #bound #composition #interactive #performance
- Efficient interactive configuration of unbounded modular systems (ERvdM, AW, HRA), pp. 409–414.
- TACAS-2001-WilliamsAH #diagrams #satisfiability #using
- Satisfiability Checking Using Boolean Expression Diagrams (PFW, HRA, HH), pp. 39–51.
- CAV-1999-Lind-NielsenA #model checking
- Stepwise CTL Model Checking of State/Event Systems (JLN, HRA), pp. 316–327.
- 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.
- TACAS-1997-AndersenSM #model checking
- Partial Model Checking with ROBDDs (HRA, JS, NM), pp. 35–49.
- CAV-1995-AndersenV #behaviour #fixpoint #performance #using
- Efficient Checking of Behavioural Relations and Modal Assertions using Fixed-Point Inversion (HRA, BV), pp. 142–154.
- LICS-1995-Andersen #model checking
- Partial Model Checking (HRA), pp. 398–407.
- ESOP-1994-AndersenM #algebra #multi
- An Asynchronous Algebra with Multiple Clocks (HRA, MM), pp. 58–73.
- LICS-1994-AndersenSW #calculus #composition #proving #μ-calculus
- A Compositional Proof System for the Modal μ-Calculus (HRA, CS, GW), pp. 144–153.
- ESOP-1992-Andersen #graph #model checking
- Model Checking and Boolean Graphs (HRA), pp. 1–19.
- CAV-1991-AndersenW #composition
- Compositional Checking of Satisfaction (HRA, GW), pp. 24–36.
- TAPSOFT-1995-AndersenM #algebra #case study #process
- Describing a Signal Analyzer in the Process Algebra PMC - A Case Study (HRA, MM), pp. 620–635.
- TAPSOFT-1997-AndersenSM #comparison #composition #verification
- A Comparison of Modular Verification Techniques (HRA, JS, NM), pp. 550–564.