Henrik Reif Andersen

Henrik Reif Andersen, Tarik Hadzic, David Pisinger: Interactive Cost Configuration Over Decision Diagrams. J. Artif. Intell. Res. (JAIR) 37: 99-139 (2010)

Esben Rune Hansen, Henrik Reif Andersen: Interactive Configuration with Regular String Constraints. AAAI 2007: 217-223

Henrik Reif Andersen, Tarik Hadzic, John N. Hooker, Peter Tiedemann: A Constraint Store Based on Multivalued Decision Diagrams. CP 2007: 118-132

Tarik Hadzic, Andrzej Wasowski, Henrik Reif Andersen: Techniques for Efficient Interactive Configuration of Distribution Networks. IJCAI 2007: 100-105

Sathiamoorthy Subbarayan, Henrik Reif Andersen: Backtracking Procedures for Hypertree, HyperSpread and Connected Hypertree Decomposition of CSPs. IJCAI 2007: 180-185

Tarik Hadzic, Rune M. Jensen, Henrik Reif Andersen: Calculating Valid Domains for BDD-Based Interactive Configuration. CoRR abs/0704.1394 (2007)

Henrik Reif Andersen, Kåre J. Kristoffersen: Temporal Runtime Verification using Monadic Difference Logic. CoRR abs/0705.4604 (2007)

Peter Tiedemann, Henrik Reif Andersen, Rasmus Pagh: Generic Global Constraints based on MDDs. CoRR abs/cs/0702170 (2007)

Tarik Hadzic, Henrik Reif Andersen: A BDD-Based Polytime Algorithm for Cost-Bounded Interactive Configuration. AAAI 2006: 62-67

Peter Tiedemann, Tarik Hadzic, Thomas Stuart Henney, Henrik Reif Andersen: Interactive Distributed Configuration. CP 2006: 761-765

Erik Roland van der Meer, Andrzej Wasowski, Henrik Reif Andersen: Efficient interactive configuration of unbounded modular systems. SAC 2006: 409-414

Peter Tiedemann, Henrik Reif Andersen, Rasmus Pagh: A Generic Global Constraint based on MDDs. CoRR abs/cs/0611141 (2006)

Esben Rune Hansen, Henrik Reif Andersen: Interactive Configuration by Regular String Constraints. CoRR abs/cs/0612068 (2006)

Tarik Hadzic, Henrik Reif Andersen: Interactive Reconfiguration in Power Supply Restoration. CP 2005: 767-771

Kåre J. Kristoffersen, Christian Pedersen, Henrik Reif Andersen: Runtime Verification of Timed LTL using Disjunctive Normalized Equation Systems. Electr. Notes Theor. Comput. Sci. 89(2): 210-225 (2003)

Poul Frederick Williams, Henrik Reif Andersen, Henrik Hulgaard: Satisfiability checking using Boolean Expression Diagrams. STTT 5(1): 4-14 (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: 147-151

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 in System Design 21(2): 225-244 (2002)

Henrik Reif Andersen, Henrik Hulgaard: Boolean Expression Diagrams. Inf. Comput. 179(2): 194-212 (2002)

Jesper B. Møller, Henrik Hulgaard, Henrik Reif Andersen: Symbolic model checking of timed guarded commands using difference decision diagrams. J. Log. Algebr. Program. 52-53: 53-77 (2002)

Jesper B. Møller, Henrik Hulgaard, Henrik Reif Andersen: Timed Verification of Asynchronous Circuits. Concurrency and Hardware Design 2002: 274-312

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 in System Design 18(1): 5-23 (2001)

Poul Frederick Williams, Henrik Reif Andersen, Henrik Hulgaard: Satisfiability Checking Using Boolean Expression Diagrams. TACAS 2001: 39-51

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. IEEE Computer 33(5): 68-75 (2000)

Jesper B. Møller, Jakob Lichtenberg, Henrik Reif Andersen, Henrik Hulgaard: Fully Symbolic Model Checking of Timed Systems using Difference Decision Diagrams. Electr. Notes Theor. Comput. Sci. 23(2): 88-107 (1999)

Henrik Reif Andersen, Jørn Lind-Nielsen: Partial Model Checking of Modal Equations: A Survey. STTT 2(3): 242-259 (1999)

Henrik Hulgaard, Poul Frederick Williams, Henrik Reif Andersen: Equivalence checking of combinational circuits using Boolean expression diagrams. IEEE Trans. on CAD of Integrated Circuits and Systems 18(7): 903-917 (1999)

Jørn Lind-Nielsen, Henrik Reif Andersen: Stepwise CTL Model Checking of State/Event Systems. CAV 1999: 316-327

Jesper B. Møller, Jakob Lichtenberg, Henrik Reif Andersen, Henrik Hulgaard: Difference Decision Diagrams. CSL 1999: 111-125

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: 163-177

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: 201-216

Henrik Reif Andersen, Simon Mørk, Morten Ulrik Sørensen: A Universal Reactive Machine. CONCUR 1997: 89-103

Henrik Reif Andersen, Henrik Hulgaard: Boolean Expression Diagrams (Extended Abstract). LICS 1997: 88-98

Henrik Reif Andersen, Jørgen Staunstrup, Niels Maretti: Partial Model Checking with ROBDDs. TACAS 1997: 35-49

Henrik Reif Andersen, Jørgen Staunstrup, Niels Maretti: A Comparison of Modular Verification Techniques. TAPSOFT 1997: 550-564

Henrik Reif Andersen, Bart Vergauwen: Efficient Checking of Behavioural Relations and Modal Assertions using Fixed-Point Inversion. CAV 1995: 142-154

Henrik Reif Andersen: Partial Model Checking (Extended Abstract). LICS 1995: 398-407

Henrik Reif Andersen, Michael Mendler: Describing a Signal Analyzer in the Process Algebra PMC - A Case Study. TAPSOFT 1995: 620-635

Henrik Reif Andersen: Model Checking and Boolean Graphs. Theor. Comput. Sci. 126(1): 3-30 (1994)

Henrik Reif Andersen, Michael Mendler: An Asynchronous Algebra with Multiple Clocks. ESOP 1994: 58-73

Henrik Reif Andersen: On Model Checking Infinite-State Systems. LFCS 1994: 8-17

Henrik Reif Andersen, Colin Stirling, Glynn Winskel: A Compositional Proof System for the Modal mu-Calculus. LICS 1994: 144-153

Henrik Reif Andersen, Glynn Winskel: Compositional Checking of Satsfaction. Formal Methods in System Design 1(4): 323-354 (1992)

Henrik Reif Andersen: Model Checking and Boolean Graphs. ESOP 1992: 1-19

Henrik Reif Andersen, Glynn Winskel: Compositional Checking of Satisfaction. CAV 1991: 24-36