Searching for authors named "Jakob Lichtenberg" – sorted by Relevance.
-
Fully Symbolic Model Checking of Timed Systems using Difference Decision Diagrams
- Jesper M#ller, Jakob Lichtenberg, Henrik R. Andersen, and Henrik Hulgaard The IT University
- Add To MetaCart
-
On the symbolic verification of timed systems
- On the Symbolic Verification of Timed Systems Jesper Møller Jakob Lichtenberg Henrik Reif
- Cited by 1 (0 self) – Add To MetaCart
-
Difference decision diagrams
- Difference Decision Diagrams Jesper Møller Jakob Lichtenberg Henrik Reif Andersen Henrik
- Cited by 32 (2 self) – Add To MetaCart
-
Thorough Static Analysis of Device Drivers
- , Vladimir Levin, Jakob Lichtenberg, Con McGarvey, Bohus Ondrusek, Sriram K. Rajamani, and Abdullah Ustuner
- Cited by 54 (9 self) – Add To MetaCart

