Henrik Reif Andersen

47 papers A* 10A 9B 2C 1Misc 2Journal 17Unranked 6
YearRankTypeTitle / Venue / Authors
2014 J jnl
Interactive Cost Configuration Over Decision Diagrams.
CoRR
Henrik Reif Andersen, Tarik Hadzic, David Pisinger
2010 J jnl
Interactive Cost Configuration Over Decision Diagrams.
J. Artif. Intell. Res.
Henrik Reif Andersen, Tarik Hadzic, David Pisinger
2007 A conf
A Constraint Store Based on Multivalued Decision Diagrams.
CP
Henrik Reif Andersen, Tarik Hadzic, John N. Hooker, Peter Tiedemann
2007 A* conf
Backtracking Procedures for Hypertree, HyperSpread and Connected Hypertree Decomposition of CSPs.
IJCAI
Sathiamoorthy Subbarayan, Henrik Reif Andersen
2007 J jnl
Calculating Valid Domains for BDD-Based Interactive Configuration
CoRR
Tarik Hadzic, Rune Møller Jensen, Henrik Reif Andersen
2007 J jnl
Generic Global Constraints based on MDDs
CoRR
Peter Tiedemann, Henrik Reif Andersen, Rasmus Pagh
2007 A* conf
Interactive Configuration with Regular String Constraints.
AAAI
Esben Rune Hansen, Henrik Reif Andersen
2007 A* conf
Techniques for Efficient Interactive Configuration of Distribution Networks.
IJCAI
Tarik Hadzic, Andrzej Wasowski, Henrik Reif Andersen
2007 J jnl
Temporal Runtime Verification using Monadic Difference Logic
CoRR
Henrik Reif Andersen, Kåre J. Kristoffersen
2006 A* conf
A BDD-Based Polytime Algorithm for Cost-Bounded Interactive Configuration.
AAAI
Tarik Hadzic, Henrik Reif Andersen
2006 J jnl
A Generic Global Constraint based on MDDs
CoRR
Peter Tiedemann, Henrik Reif Andersen, Rasmus Pagh
2006 Misc conf
Efficient interactive configuration of unbounded modular systems.
SAC
Erik Roland van der Meer, Andrzej Wasowski, Henrik Reif Andersen
2006 J jnl
Interactive Configuration by Regular String Constraints
CoRR
Esben Rune Hansen, Henrik Reif Andersen
2006 A conf
Interactive Distributed Configuration.
CP
Peter Tiedemann, Tarik Hadzic, Thomas Stuart Henney, Henrik Reif Andersen
2005 A conf
Interactive Reconfiguration in Power Supply Restoration.
CP
Tarik Hadzic, Henrik Reif Andersen
2003 — conf
Runtime Verification of Timed LTL using Disjunctive Normalized Equation Systems.
RV@CAV
Kåre J. Kristoffersen, Christian Pedersen, Henrik Reif Andersen
2003 J jnl
Satisfiability checking using Boolean Expression Diagrams.
Int. J. Softw. Tools Technol. Transf.
Poul Frederick Williams, Henrik Reif Andersen, Henrik Hulgaard
2003 C conf
Using Configuration Technology as the Core of a Legal Decision Support System.
ICAIL
Erik Roland van der Meer, I. S. Henriksen, Henrik Reif Andersen
2002 J jnl
Boolean Expression Diagrams.
Inf. Comput.
Henrik Reif Andersen, Henrik Hulgaard
2002 J jnl
Symbolic model checking of timed guarded commands using difference decision diagrams.
J. Log. Algebraic Methods Program.
Jesper B. Møller, Henrik Hulgaard, Henrik Reif Andersen
2002 — conf
Timed Verification of Asynchronous Circuits.
Concurrency and Hardware Design
Jesper B. Møller, Henrik Hulgaard, Henrik Reif Andersen
2002 J jnl
Verification of Hierarchical State/Event Systems using Reusability and Compositionality.
Formal Methods Syst. Des.
Gerd Behrmann, Kim Guldstrand Larsen, Henrik Reif Andersen, Henrik Hulgaard, Jørn Lind-Nielsen
2001 A conf
Satisfiability Checking Using Boolean Expression Diagrams.
TACAS
Poul Frederick Williams, Henrik Reif Andersen, Henrik Hulgaard
2001 J jnl
Verification of Large State/Event Systems Using Compositionality and Dependency Analysis.
Formal Methods Syst. Des.
Jørn Lind-Nielsen, Henrik Reif Andersen, Henrik Hulgaard, Gerd Behrmann, Kåre J. Kristoffersen, Kim Guldstrand Larsen
2000 J jnl
Practical Verification of Embedded Software.
Computer
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
1999 B conf
Difference Decision Diagrams.
CSL
Jesper B. Møller, Jakob Lichtenberg, Henrik Reif Andersen, Henrik Hulgaard
1999 J jnl
Equivalence checking of combinational circuits using Boolean expression diagrams.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Henrik Hulgaard, Poul Frederick Williams, Henrik Reif Andersen
1999 — conf
Equivalence checking of hierarchical combinational circuits.
ICECS
Poul Frederick Williams, Henrik Hulgaard, Henrik Reif Andersen
1999 — conf
Fully Symbolic Model Checking of Timed Systems using Difference Decision Diagrams.
SMC@FLoC
Jesper B. Møller, Jakob Lichtenberg, Henrik Reif Andersen, Henrik Hulgaard
1999 J jnl
Partial Model Checking of Modal Equations: A Survey.
Int. J. Softw. Tools Technol. Transf.
Henrik Reif Andersen, Jørn Lind-Nielsen
1999 A* conf
Stepwise CTL Model Checking of State/Event Systems.
CAV
Jørn Lind-Nielsen, Henrik Reif Andersen
1999 A conf
Verification of Hierarchical State/Event Systems Using Reusability and Compositionality.
TACAS
Gerd Behrmann, Kim Guldstrand Larsen, Henrik Reif Andersen, Henrik Hulgaard, Jørn Lind-Nielsen
1998 A conf
Verification of Large State/Event Systems Using Compositionality and Dependency Analysis.
TACAS
Jørn Lind-Nielsen, Henrik Reif Andersen, Gerd Behrmann, Henrik Hulgaard, Kåre J. Kristoffersen, Kim Guldstrand Larsen
1997 — conf
A Comparison of Modular Verification Techniques.
TAPSOFT
Henrik Reif Andersen, Jørgen Staunstrup, Niels Maretti
1997 B conf
A Universal Reactive Machine.
CONCUR
Henrik Reif Andersen, Simon Mørk, Morten Ulrik Sørensen
1997 A* conf
Boolean Expression Diagrams (Extended Abstract).
LICS
Henrik Reif Andersen, Henrik Hulgaard
1997 A conf
Partial Model Checking with ROBDDs.
TACAS
Henrik Reif Andersen, Jørgen Staunstrup, Niels Maretti
1995 — conf
Describing a Signal Analyzer in the Process Algebra PMC - A Case Study.
TAPSOFT
Henrik Reif Andersen, Michael Mendler
1995 A* conf
Efficient Checking of Behavioural Relations and Modal Assertions using Fixed-Point Inversion.
CAV
Henrik Reif Andersen, Bart Vergauwen
1995 A* conf
Partial Model Checking (Extended Abstract)
LICS
Henrik Reif Andersen
1994 A* conf
A Compositional Proof System for the Modal mu-Calculus
LICS
Henrik Reif Andersen, Colin Stirling, Glynn Winskel
1994 A conf
An Asynchronous Algebra with Multiple Clocks.
ESOP
Henrik Reif Andersen, Michael Mendler
1994 J jnl
Model Checking and Boolean Graphs.
Theor. Comput. Sci.
Henrik Reif Andersen
1994 Misc conf
On Model Checking Infinite-State Systems.
LFCS
Henrik Reif Andersen
1992 J jnl
Compositional Checking of Satsfaction.
Formal Methods Syst. Des.
Henrik Reif Andersen, Glynn Winskel
1992 A conf
Model Checking and Boolean Graphs.
ESOP
Henrik Reif Andersen
1991 A* conf
Compositional Checking of Satisfaction.
CAV
Henrik Reif Andersen, Glynn Winskel