2007 | ||
---|---|---|
44 | Esben Rune Hansen, Henrik Reif Andersen: Interactive Configuration with Regular String Constraints. AAAI 2007: 217-223 | |
43 | EE | Henrik Reif Andersen, Tarik Hadzic, John N. Hooker, Peter Tiedemann: A Constraint Store Based on Multivalued Decision Diagrams. CP 2007: 118-132 |
42 | EE | Tarik Hadzic, Andrzej Wasowski, Henrik Reif Andersen: Techniques for Efficient Interactive Configuration of Distribution Networks. IJCAI 2007: 100-105 |
41 | EE | Sathiamoorthy Subbarayan, Henrik Reif Andersen: Backtracking Procedures for Hypertree, HyperSpread and Connected Hypertree Decomposition of CSPs. IJCAI 2007: 180-185 |
40 | EE | Tarik Hadzic, Rune M. Jensen, Henrik Reif Andersen: Calculating Valid Domains for BDD-Based Interactive Configuration CoRR abs/0704.1394: (2007) |
39 | EE | Henrik Reif Andersen, Kåre J. Kristoffersen: Temporal Runtime Verification using Monadic Difference Logic CoRR abs/0705.4604: (2007) |
38 | EE | Peter Tiedemann, Henrik Reif Andersen, Rasmus Pagh: Generic Global Constraints based on MDDs CoRR abs/cs/0702170: (2007) |
2006 | ||
37 | Tarik Hadzic, Henrik Reif Andersen: A BDD-Based Polytime Algorithm for Cost-Bounded Interactive Configuration. AAAI 2006 | |
36 | EE | Peter Tiedemann, Tarik Hadzic, Thomas Stuart Henney, Henrik Reif Andersen: Interactive Distributed Configuration. CP 2006: 761-765 |
35 | EE | Erik Roland van der Meer, Andrzej Wasowski, Henrik Reif Andersen: Efficient interactive configuration of unbounded modular systems. SAC 2006: 409-414 |
34 | EE | Peter Tiedemann, Henrik Reif Andersen, Rasmus Pagh: A Generic Global Constraint based on MDDs CoRR abs/cs/0611141: (2006) |
33 | EE | Esben Rune Hansen, Henrik Reif Andersen: Interactive Configuration by Regular String Constraints CoRR abs/cs/0612068: (2006) |
2005 | ||
32 | EE | Tarik Hadzic, Henrik Reif Andersen: Interactive Reconfiguration in Power Supply Restoration. CP 2005: 767-771 |
2003 | ||
31 | 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 | |
30 | EE | 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): (2003) |
29 | EE | Poul Frederick Williams, Henrik Reif Andersen, Henrik Hulgaard: Satisfiability checking using Boolean Expression Diagrams. STTT 5(1): 4-14 (2003) |
2002 | ||
28 | EE | Jesper B. Møller, Henrik Hulgaard, Henrik Reif Andersen: Timed Verification of Asynchronous Circuits. Concurrency and Hardware Design 2002: 274-312 |
27 | 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) | |
26 | EE | Henrik Reif Andersen, Henrik Hulgaard: Boolean Expression Diagrams. Inf. Comput. 179(2): 194-212 (2002) |
25 | EE | 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) |
2001 | ||
24 | EE | Poul Frederick Williams, Henrik Reif Andersen, Henrik Hulgaard: Satisfiability Checking Using Boolean Expression Diagrams. TACAS 2001: 39-51 |
23 | 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) | |
2000 | ||
22 | EE | 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) |
1999 | ||
21 | EE | Jørn Lind-Nielsen, Henrik Reif Andersen: Stepwise CTL Model Checking of State/Event Systems. CAV 1999: 316-327 |
20 | Jesper B. Møller, Jakob Lichtenberg, Henrik Reif Andersen, Henrik Hulgaard: Difference Decision Diagrams. CSL 1999: 111-125 | |
19 | EE | 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 |
18 | EE | 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): (1999) |
17 | EE | 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) |
16 | EE | Henrik Reif Andersen, Jørn Lind-Nielsen: Partial Model Checking of Modal Equations: A Survey. STTT 2(3): 242-259 (1999) |
1998 | ||
15 | EE | 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 |
1997 | ||
14 | Henrik Reif Andersen, Simon Mørk, Morten Ulrik Sørensen: A Universal Reactive Machine. CONCUR 1997: 89-103 | |
13 | EE | Henrik Reif Andersen, Henrik Hulgaard: Boolean Expression Diagrams (Extended Abstract). LICS 1997: 88-98 |
12 | Henrik Reif Andersen, Jørgen Staunstrup, Niels Maretti: Partial Model Checking with ROBDDs. TACAS 1997: 35-49 | |
11 | Henrik Reif Andersen, Jørgen Staunstrup, Niels Maretti: A Comparison of Modular Verification Techniques. TAPSOFT 1997: 550-564 | |
1995 | ||
10 | Henrik Reif Andersen, Bart Vergauwen: Efficient Checking of Behavioural Relations and Modal Assertions using Fixed-Point Inversion. CAV 1995: 142-154 | |
9 | Henrik Reif Andersen: Partial Model Checking (Extended Abstract) LICS 1995: 398-407 | |
8 | Henrik Reif Andersen, Michael Mendler: Describing a Signal Analyzer in the Process Algebra PMC - A Case Study. TAPSOFT 1995: 620-635 | |
1994 | ||
7 | Henrik Reif Andersen, Michael Mendler: An Asynchronous Algebra with Multiple Clocks. ESOP 1994: 58-73 | |
6 | Henrik Reif Andersen: On Model Checking Infinite-State Systems. LFCS 1994: 8-17 | |
5 | Henrik Reif Andersen, Colin Stirling, Glynn Winskel: A Compositional Proof System for the Modal mu-Calculus LICS 1994: 144-153 | |
4 | Henrik Reif Andersen: Model Checking and Boolean Graphs. Theor. Comput. Sci. 126(1): 3-30 (1994) | |
1992 | ||
3 | Henrik Reif Andersen: Model Checking and Boolean Graphs. ESOP 1992: 1-19 | |
2 | Henrik Reif Andersen, Glynn Winskel: Compositional Checking of Satsfaction. Formal Methods in System Design 1(4): 323-354 (1992) | |
1991 | ||
1 | Henrik Reif Andersen, Glynn Winskel: Compositional Checking of Satisfaction. CAV 1991: 24-36 |