Tobias Isenberg

Publication Activity (10 Years)

Years Active: 2013-2019
Publications (10 Years): 6

Top Topics

Vlsi Implementation

Hardware Software

Top Venues

ACM Trans. Embed. Comput. Syst.

IEEE Embed. Syst. Lett.

University of Paderborn, Germany (PHD)

Education History

University of Paderborn, Germany

PHD

Publications

Tobias Isenberg, Marie-Christine Jakobs, Felix Pauck, Heike Wehrheim
When Are Software Verification Results Valid for Approximate Hardware? TAP@FM (2019)
Tobias Isenberg, Marie-Christine Jakobs, Felix Pauck, Heike Wehrheim
Validity of Software Verification Results on Approximate Hardware. IEEE Embed. Syst. Lett. 10 (1) (2018)
Tobias Isenberg
Incremental Inductive Verification of Parameterized Timed Systems. ACM Trans. Embed. Comput. Syst. 16 (2) (2017)
Tobias Isenberg, Marco Platzner, Heike Wehrheim, Tobias Wiersema
Proof-Carrying Hardware via Inductive Invariants. ACM Trans. Design Autom. Electr. Syst. 22 (4) (2017)
Tobias Isenberg, Marie-Christine Jakobs, Felix Pauck, Heike Wehrheim
Deriving approximation tolerance constraints from verification runs. CoRR (2016)
Tobias Isenberg
Incremental Inductive Verification of Parameterized Timed Systems. ACSD (2015)
Tobias Isenberg, Heike Wehrheim
Timed Automata Verification via IC3 with Zones. ICFEM (2014)
Tobias Isenberg, Heike Wehrheim
Proof-Carrying Hardware via IC3. CoRR (2014)
Tobias Isenberg, Dominik Steenken, Heike Wehrheim
Bounded Model Checking of Graph Transformation Systems via SMT Solving. FMOODS/FORTE (2013)