BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Andersen:Henrik_Reif

Contributed to:

SAC 20062006
TACAS 20012001
CAV 19991999
CSL 19991999
TACAS 19991999
TACAS 19981998
LICS 19971997
TACAS 19971997
CAV 19951995
LICS 19951995
ESOP 19941994
LICS 19941994
ESOP 19921992
CAV 19911991
TAPSOFT CAAP/FASE 19951995
TAPSOFT CAAP/FASE 19971997

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.