Tobias Isenberg

According to our database, Tobias Isenberg authored at least 9 papers between 2013 and 2019.

Collaborative distances:

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

2019

When Are Software Verification Results Valid for Approximate Hardware?

Tobias Isenberg, Marie-Christine Jakobs, Felix Pauck, Heike Wehrheim

Proceedings of the Tests and Proofs - 13th International Conference, 2019

2018

Validity of Software Verification Results on Approximate Hardware.

Tobias Isenberg, Marie-Christine Jakobs, Felix Pauck, Heike Wehrheim

IEEE Embed. Syst. Lett., 2018

2017

Proof-Carrying Hardware via Inductive Invariants.

Tobias Isenberg, Marco Platzner, Heike Wehrheim, Tobias Wiersema

ACM Trans. Design Autom. Electr. Syst., 2017

Incremental Inductive Verification of Parameterized Timed Systems.

Tobias Isenberg

ACM Trans. Embed. Comput. Syst., 2017

2016

Induction-based Verification of Timed Systems.

Tobias Isenberg

PhD thesis, 2016

Deriving approximation tolerance constraints from verification runs.

Tobias Isenberg, Marie-Christine Jakobs, Felix Pauck, Heike Wehrheim

CoRR, 2016

2014

Proof-Carrying Hardware via IC3.

Tobias Isenberg, Heike Wehrheim

CoRR, 2014

Timed Automata Verification via IC3 with Zones.

Tobias Isenberg, Heike Wehrheim

Proceedings of the Formal Methods and Software Engineering, 2014

2013

Bounded Model Checking of Graph Transformation Systems via SMT Solving.

Tobias Isenberg, Dominik Steenken, Heike Wehrheim

Proceedings of the Formal Techniques for Distributed Systems, 2013