Jesper B. Møller

Publication Activity (10 Years)

Years Active: 1999-2002
Publications (10 Years): 0

Publications

Jesper B. Møller
DDDLIB: A Library for Solving Quantified Difference Inequalities. CADE (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)
Jesper B. Møller, Jakob Lichtenberg, Henrik Reif Andersen, Henrik Hulgaard
Difference Decision Diagrams. CSL (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)