Bounded Model Checking of Graph Transformation Systems via SMT Solving. - Tobias Isenberg 002; Dominik Steenken; Heike Wehrheim (FMOODS/FORTE, 2013)

Timed Automata Verification via IC3 with Zones. - Tobias Isenberg 002; Heike Wehrheim (ICFEM, 2014)

Proof-Carrying Hardware via IC3. - Tobias Isenberg 002; Heike Wehrheim (CoRR, 2014)

Deriving approximation tolerance constraints from verification runs. - Tobias Isenberg 002; Marie-Christine Jakobs; Felix Pauck; Heike Wehrheim (CoRR, 2016)

Induction-based Verification of Timed Systems. - Tobias Isenberg 002 (2016)

Incremental Inductive Verification of Parameterized Timed Systems. - Tobias Isenberg 002 (ACM Trans. Embed. Comput. Syst., 2017)

Proof-Carrying Hardware via Inductive Invariants. - Tobias Isenberg 002; Marco Platzner; Heike Wehrheim; Tobias Wiersema (ACM Trans. Design Autom. Electr. Syst., 2017)

Validity of Software Verification Results on Approximate Hardware. - Tobias Isenberg 002; Marie-Christine Jakobs; Felix Pauck; Heike Wehrheim (IEEE Embed. Syst. Lett., 2018)

When Are Software Verification Results Valid for Approximate Hardware? - Tobias Isenberg 002; Marie-Christine Jakobs; Felix Pauck; Heike Wehrheim (TAP@FM, 2019)