Jakob Lichtenberg

Publication Activity (10 Years)

Years Active: 1999-2020
Publications (10 Years): 3

Top Topics

Cloud Computing

Static Analysis

Symbolic Execution

Top Venues

Publications

Shuvendu K. Lahiri, Akash Lal, Sridhar Gopinath, Alexander Nutz, Vladimir Levin, Rahul Kumar, Nate Deisinger, Jakob Lichtenberg, Chetan Bansal
Angelic Checking within Static Driver Verifier: Towards high-precision defects without (modeling) cost. FMCAD (2020)
Rahul Kumar, Chetan Bansal, Jakob Lichtenberg
Static Analysis Using the Cloud. iFMCloud@IFM (2016)
Rahul Kumar, Thomas Ball, Jakob Lichtenberg, Nate Deisinger, Apoorv Upreti, Chetan Bansal
CloudSDV Enabling Static Driver Verifier Using Microsoft Azure. IFM (2016)
Thomas Ball, Ella Bounimova, Vladimir Levin, Rahul Kumar, Jakob Lichtenberg
The Static Driver Verifier Research Platform. CAV (2010)
Thomas Ball, Ella Bounimova, Byron Cook, Vladimir Levin, Jakob Lichtenberg, Con McGarvey, Bohus Ondrusek, Sriram K. Rajamani, Abdullah Ustuner
Thorough static analysis of device drivers. EuroSys (2006)
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)