Jakob Lichtenberg

According to our database, Jakob Lichtenberg authored at least 7 papers between 1999 and 2020.

Collaborative distances:

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

2020

Angelic Checking within Static Driver Verifier: Towards high-precision defects without (modeling) cost.

Shuvendu K. Lahiri, Akash Lal, Sridhar Gopinath, Alexander Nutz, Vladimir Levin, Rahul Kumar, Nate Deisinger, Jakob Lichtenberg, Chetan Bansal

Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020

2016

Static Analysis Using the Cloud.

Rahul Kumar, Chetan Bansal, Jakob Lichtenberg

Proceedings of the First International Workshop on Formal Methods for and on the Cloud, 2016

CloudSDV Enabling Static Driver Verifier Using Microsoft Azure.

Rahul Kumar, Thomas Ball, Jakob Lichtenberg, Nate Deisinger, Apoorv Upreti, Chetan Bansal

Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

2010

The Static Driver Verifier Research Platform.

Thomas Ball, Ella Bounimova, Vladimir Levin, Rahul Kumar, Jakob Lichtenberg

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

2006

Thorough static analysis of device drivers.

Thomas Ball, Ella Bounimova, Byron Cook, Vladimir Levin, Jakob Lichtenberg, Con McGarvey, Bohus Ondrusek, Sriram K. Rajamani, Abdullah Ustuner

Proceedings of the 2006 EuroSys Conference, Leuven, Belgium, April 18-21, 2006, 2006

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