dblp.uni-trier.dewww.uni-trier.de

Henrik Reif Andersen

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
44 Esben Rune Hansen, Henrik Reif Andersen: Interactive Configuration with Regular String Constraints. AAAI 2007: 217-223
43EEHenrik Reif Andersen, Tarik Hadzic, John N. Hooker, Peter Tiedemann: A Constraint Store Based on Multivalued Decision Diagrams. CP 2007: 118-132
42EETarik Hadzic, Andrzej Wasowski, Henrik Reif Andersen: Techniques for Efficient Interactive Configuration of Distribution Networks. IJCAI 2007: 100-105
41EESathiamoorthy Subbarayan, Henrik Reif Andersen: Backtracking Procedures for Hypertree, HyperSpread and Connected Hypertree Decomposition of CSPs. IJCAI 2007: 180-185
40EETarik Hadzic, Rune M. Jensen, Henrik Reif Andersen: Calculating Valid Domains for BDD-Based Interactive Configuration CoRR abs/0704.1394: (2007)
39EEHenrik Reif Andersen, Kåre J. Kristoffersen: Temporal Runtime Verification using Monadic Difference Logic CoRR abs/0705.4604: (2007)
38EEPeter 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
36EEPeter Tiedemann, Tarik Hadzic, Thomas Stuart Henney, Henrik Reif Andersen: Interactive Distributed Configuration. CP 2006: 761-765
35EEErik Roland van der Meer, Andrzej Wasowski, Henrik Reif Andersen: Efficient interactive configuration of unbounded modular systems. SAC 2006: 409-414
34EEPeter Tiedemann, Henrik Reif Andersen, Rasmus Pagh: A Generic Global Constraint based on MDDs CoRR abs/cs/0611141: (2006)
33EEEsben Rune Hansen, Henrik Reif Andersen: Interactive Configuration by Regular String Constraints CoRR abs/cs/0612068: (2006)
2005
32EETarik 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
30EEKå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)
29EEPoul Frederick Williams, Henrik Reif Andersen, Henrik Hulgaard: Satisfiability checking using Boolean Expression Diagrams. STTT 5(1): 4-14 (2003)
2002
28EEJesper 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)
26EEHenrik Reif Andersen, Henrik Hulgaard: Boolean Expression Diagrams. Inf. Comput. 179(2): 194-212 (2002)
25EEJesper 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
24EEPoul 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
22EEJø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
21EEJø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
19EEGerd 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
18EEJesper 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)
17EEHenrik 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)
16EEHenrik Reif Andersen, Jørn Lind-Nielsen: Partial Model Checking of Modal Equations: A Survey. STTT 2(3): 242-259 (1999)
1998
15EEJø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
13EEHenrik 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

Coauthor Index

1Gerd Behrmann [15] [19] [22] [23] [27]
2Tarik Hadzic [32] [36] [37] [40] [42] [43]
3Esben Rune Hansen [33] [44]
4Thomas Stuart Henney [36]
5I. S. Henriksen [31]
6John N. Hooker [43]
7Henrik Hulgaard [13] [15] [17] [18] [19] [20] [22] [23] [24] [25] [26] [27] [28] [29]
8Rune M. Jensen [40]
9Kåre J. Kristoffersen [15] [22] [23] [30] [39]
10Kim Guldstrand Larsen [15] [19] [22] [23] [27]
11Henrik Leerberg [22]
12Jakob Lichtenberg [18] [20]
13Jørn Lind-Nielsen [15] [16] [19] [21] [22] [23] [27]
14Niels Maretti [11] [12]
15Erik Roland van der Meer [31] [35]
16Michael Mendler [7] [8]
17Jesper B. Møller [18] [20] [25] [28]
18Simon Mørk [14]
19Rasmus Pagh [34] [38]
20Christian Pedersen [30]
21Arne Skou [22]
22Morten Ulrik Sørensen [14]
23Jørgen Staunstrup [11] [12] [22]
24Colin Stirling [5]
25Sathiamoorthy Subbarayan [41]
26Niels Bo Theilgaard [22]
27Peter Tiedemann [34] [36] [38] [43]
28Bart Vergauwen [10]
29Andrzej Wasowski [35] [42]
30Poul Frederick Williams [17] [24] [29]
31Glynn Winskel [1] [2] [5]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)