Henrik Reif Andersen

According to our database, Henrik Reif Andersen authored at least 42 papers between 1991 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

Interactive Cost Configuration Over Decision Diagrams.

Henrik Reif Andersen, Tarik Hadzic, David Pisinger

J. Artif. Intell. Res., 2010

2007

Generic Global Constraints based on MDDs

Peter Tiedemann, Henrik Reif Andersen, Rasmus Pagh

CoRR, 2007

Temporal Runtime Verification using Monadic Difference Logic

Henrik Reif Andersen, Kåre J. Kristoffersen

CoRR, 2007

Calculating Valid Domains for BDD-Based Interactive Configuration

Tarik Hadzic, Rune Møller Jensen, Henrik Reif Andersen

CoRR, 2007

Backtracking Procedures for Hypertree, HyperSpread and Connected Hypertree Decomposition of CSPs.

Sathiamoorthy Subbarayan, Henrik Reif Andersen

Proceedings of the IJCAI 2007, 2007

Techniques for Efficient Interactive Configuration of Distribution Networks.

Tarik Hadzic, Andrzej Wasowski, Henrik Reif Andersen

Proceedings of the IJCAI 2007, 2007

A Constraint Store Based on Multivalued Decision Diagrams.

Henrik Reif Andersen, Tarik Hadzic, John N. Hooker, Peter Tiedemann

Proceedings of the Principles and Practice of Constraint Programming, 2007

Interactive Configuration with Regular String Constraints.

Esben Rune Hansen, Henrik Reif Andersen

Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006

Interactive Configuration by Regular String Constraints

Esben Rune Hansen, Henrik Reif Andersen

CoRR, 2006

A Generic Global Constraint based on MDDs

Peter Tiedemann, Henrik Reif Andersen, Rasmus Pagh

CoRR, 2006

Efficient interactive configuration of unbounded modular systems.

Erik Roland van der Meer, Andrzej Wasowski, Henrik Reif Andersen

Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

Interactive Distributed Configuration.

Peter Tiedemann, Tarik Hadzic, Thomas Stuart Henney, Henrik Reif Andersen

Proceedings of the Principles and Practice of Constraint Programming, 2006

A BDD-Based Polytime Algorithm for Cost-Bounded Interactive Configuration.

Tarik Hadzic, Henrik Reif Andersen

Proceedings of the Proceedings, 2006

2005

Interactive Reconfiguration in Power Supply Restoration.

Tarik Hadzic, Henrik Reif Andersen

Proceedings of the Principles and Practice of Constraint Programming, 2005

2003

Satisfiability checking using Boolean Expression Diagrams.

Poul Frederick Williams, Henrik Reif Andersen, Henrik Hulgaard

Int. J. Softw. Tools Technol. Transf., 2003

Runtime Verification of Timed LTL using Disjunctive Normalized Equation Systems.

Kåre J. Kristoffersen, Christian Pedersen, Henrik Reif Andersen

Proceedings of the Third Workshop on Run-time Verification, 2003

Using Configuration Technology as the Core of a Legal Decision Support System.

Erik Roland van der Meer, I. S. Henriksen, Henrik Reif Andersen

Proceedings of the 9th International Conference on Artificial Intelligence and Law, 2003

2002

Symbolic model checking of timed guarded commands using difference decision diagrams.

Jesper B. Møller, Henrik Hulgaard, Henrik Reif Andersen

J. Log. Algebraic Methods Program., 2002

Boolean Expression Diagrams.

Henrik Reif Andersen, Henrik Hulgaard

Inf. Comput., 2002

Verification of Hierarchical State/Event Systems using Reusability and Compositionality.

Gerd Behrmann, Kim Guldstrand Larsen, Henrik Reif Andersen, Henrik Hulgaard, Jørn Lind-Nielsen

Formal Methods Syst. Des., 2002

Timed Verification of Asynchronous Circuits.

Jesper B. Møller, Henrik Hulgaard, Henrik Reif Andersen

Proceedings of the Concurrency and Hardware Design, Advances in Petri Nets, 2002

2001

Verification of Large State/Event Systems Using Compositionality and Dependency Analysis.

Jørn Lind-Nielsen, Henrik Reif Andersen, Henrik Hulgaard, Gerd Behrmann, Kåre J. Kristoffersen, Kim Guldstrand Larsen

Formal Methods Syst. Des., 2001

2000

Practical Verification of Embedded Software.

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

Computer, 2000

1999

Equivalence checking of combinational circuits using Boolean expression diagrams.

Henrik Hulgaard, Poul Frederick Williams, Henrik Reif Andersen

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1999

Partial Model Checking of Modal Equations: A Survey.

Henrik Reif Andersen, Jørn Lind-Nielsen

Int. J. Softw. Tools Technol. Transf., 1999

Fully Symbolic Model Checking of Timed Systems using Difference Decision Diagrams.

Jesper B. Møller, Jakob Lichtenberg, Henrik Reif Andersen, Henrik Hulgaard

Proceedings of the First International Workshop on Symbolic Model Checking, 1999

Equivalence checking of hierarchical combinational circuits.

Poul Frederick Williams, Henrik Hulgaard, Henrik Reif Andersen

Proceedings of the 6th IEEE International Conference on Electronics, Circuits and Systems, 1999

Difference Decision Diagrams.

Jesper B. Møller, Jakob Lichtenberg, Henrik Reif Andersen, Henrik Hulgaard

Proceedings of the Computer Science Logic, 13th International Workshop, 1999

Stepwise CTL Model Checking of State/Event Systems.

Jørn Lind-Nielsen, Henrik Reif Andersen

Proceedings of the Computer Aided Verification, 11th International Conference, 1999

1997

A Comparison of Modular Verification Techniques.

Henrik Reif Andersen, Jørgen Staunstrup, Niels Maretti

Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997

Partial Model Checking with ROBDDs.

Henrik Reif Andersen, Jørgen Staunstrup, Niels Maretti

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1997

Boolean Expression Diagrams (Extended Abstract).

Henrik Reif Andersen, Henrik Hulgaard

Proceedings of the Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, Warsaw, Poland, June 29, 1997

A Universal Reactive Machine.

Henrik Reif Andersen, Simon Mørk, Morten Ulrik Sørensen

Proceedings of the CONCUR '97: Concurrency Theory, 1997

1995

Describing a Signal Analyzer in the Process Algebra PMC - A Case Study.

Henrik Reif Andersen, Michael Mendler

Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995

Partial Model Checking (Extended Abstract)

Henrik Reif Andersen

Proceedings of the Proceedings, 1995

Efficient Checking of Behavioural Relations and Modal Assertions using Fixed-Point Inversion.

Henrik Reif Andersen, Bart Vergauwen

Proceedings of the Computer Aided Verification, 1995

1994

Model Checking and Boolean Graphs.

Henrik Reif Andersen

Theor. Comput. Sci., 1994

A Compositional Proof System for the Modal mu-Calculus

Henrik Reif Andersen, Colin Stirling, Glynn Winskel

Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), 1994

On Model Checking Infinite-State Systems.

Henrik Reif Andersen

Proceedings of the Logical Foundations of Computer Science, Third International Symposium, 1994

An Asynchronous Algebra with Multiple Clocks.

Henrik Reif Andersen, Michael Mendler

Proceedings of the Programming Languages and Systems, 1994

1992

Compositional Checking of Satsfaction.

Henrik Reif Andersen, Glynn Winskel

Formal Methods Syst. Des., 1992

1991

Compositional Checking of Satisfaction.

Henrik Reif Andersen, Glynn Winskel

Proceedings of the Computer Aided Verification, 3rd International Workshop, 1991