Jesper B. Møller

According to our database, Jesper B. Møller authored at least 5 papers between 1999 and 2002.

Collaborative distances:

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

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

DDDLIB: A Library for Solving Quantified Difference Inequalities.

Jesper B. Møller

Proceedings of the Automated Deduction, 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

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

Difference Decision Diagrams.

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

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