Henrik Reif Andersen

Publication Activity (10 Years)

Years Active: 1991-2014
Publications (10 Years): 0

Top Topics

Decision Diagrams

Digital Circuits

Top Venues

Publications

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