Tobias Reinhard

ORCID

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 13

Top Venues

CoRR

CAV (2)

Comput. Electr. Eng.

ISSTA/ECOOP Workshops

University of Zurich (PHD)

Education History

University of Zurich

PHD

Publications

Tobias Reinhard
Semi-Automated Modular Formal Verification of Critical Software: Liveness and Completeness Thresholds. CoRR (2024)
Tobias Reinhard, Justus Fasse, Bart Jacobs
Completeness Thresholds for Memory Safety of Array Traversing Programs. CoRR (2023)
Tobias Reinhard, Justus Fasse, Bart Jacobs
Completeness Thresholds for Memory Safety: Unbounded Guarantees via Bounded Proofs (Extended Abstract). CoRR (2023)
Tobias Reinhard, Justus Fasse, Bart Jacobs
Completeness Thresholds for Memory Safety of Array Traversing Programs. SOAP@PLDI (2023)
Tobias Reinhard
Completeness Thresholds for Memory Safety: Early Preliminary Report. CoRR (2022)
Tobias Reinhard, Bart Jacobs
Ghost Signals: Verifying Termination of Busy Waiting - Verifying Termination of Busy Waiting. CAV (2) (2021)
Tobias Reinhard
A Core Calculus for Static Latency Tracking with Placement Types. CoRR (2020)
Tobias Reinhard, Amin Timany, Bart Jacobs
A Separation Logic to Verify Termination of Busy-Waiting for Abrupt Program Exit: Technical Report. CoRR (2020)
Tobias Reinhard, Amin Timany, Bart Jacobs
A Separation Logic to Verify Termination of Busy-Waiting for Abrupt Program Exit. CoRR (2020)
Tobias Reinhard, Bart Jacobs
Ghost Signals: Verifying Termination of Busy-Waiting. CoRR (2020)
Tobias Reinhard, Amin Timany, Bart Jacobs
A separation logic to verify termination of busy-waiting for abrupt program exit. FTfJP@ECOOP (2020)
Janick Rohrbach, Tobias Reinhard, Beate Sick, Oliver Dürr
Bone erosion scoring for rheumatoid arthritis with deep convolutional neural networks. Comput. Electr. Eng. 78 (2019)
Pascal Weisenburger, Tobias Reinhard, Guido Salvaneschi
Static latency tracking with placement types. ISSTA/ECOOP Workshops (2018)
Tobias Reinhard, Silvio Meier, Reinhard Stoiber, Christina Cramer, Martin Glinz
Tool support for the navigation in graphical models. ICSE (2008)
Reinhard Stoiber, Tobias Reinhard, Martin Glinz
Visualization Support for Software Product Line Modeling. SPLC (2) (2008)
Silvio Meier, Tobias Reinhard, Reinhard Stoiber, Martin Glinz
Modeling and Evolving Crosscutting Concerns in ADORA. EA@ICSE (2007)
Silvio Meier, Tobias Reinhard, Christian Seybold, Martin Glinz
Aspect-Oriented Modeling with Integrated Object Models. Modellierung (2006)
Tobias Reinhard, Christian Seybold, Silvio Meier, Martin Glinz, Nancy Merlo-Schett
Human-Friendly Line Routing for Hierarchical Diagrams. ASE (2006)

Tobias Reinhard.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Tobias Reinhard