Human-Friendly Line Routing for Hierarchical Diagrams. - Tobias Reinhard; Christian Seybold; Silvio Meier; Martin Glinz; Nancy Merlo-Schett (ASE, 2006)

Aspect-Oriented Modeling with Integrated Object Models. - Silvio Meier; Tobias Reinhard; Christian Seybold; Martin Glinz (Modellierung, 2006)

Modeling and Evolving Crosscutting Concerns in ADORA. - Silvio Meier; Tobias Reinhard; Reinhard Stoiber; Martin Glinz (EA@ICSE, 2007)

Tool support for the navigation in graphical models. - Tobias Reinhard; Silvio Meier; Reinhard Stoiber; Christina Cramer; Martin Glinz (ICSE, 2008)

Visualization Support for Software Product Line Modeling. - Reinhard Stoiber; Tobias Reinhard; Martin Glinz (SPLC (2), 2008)

Complexity management in graphical models. - Tobias Reinhard (2011)

Static latency tracking with placement types. - Pascal Weisenburger; Tobias Reinhard; Guido Salvaneschi (ISSTA/ECOOP Workshops, 2018)

Bone erosion scoring for rheumatoid arthritis with deep convolutional neural networks. - Janick Rohrbach; Tobias Reinhard; Beate Sick; Oliver Dürr (Comput. Electr. Eng., 2019)

A separation logic to verify termination of busy-waiting for abrupt program exit. - Tobias Reinhard; Amin Timany; Bart Jacobs 002 (FTfJP@ECOOP, 2020)

A Separation Logic to Verify Termination of Busy-Waiting for Abrupt Program Exit: Technical Report. - Tobias Reinhard; Amin Timany; Bart Jacobs 002 (CoRR, 2020)

A Core Calculus for Static Latency Tracking with Placement Types. - Tobias Reinhard (CoRR, 2020)

Ghost Signals: Verifying Termination of Busy-Waiting. - Tobias Reinhard; Bart Jacobs 002 (CoRR, 2020)

Ghost Signals: Verifying Termination of Busy Waiting - Verifying Termination of Busy Waiting. - Tobias Reinhard; Bart Jacobs 002 (CAV (2), 2021)

Completeness Thresholds for Memory Safety: Early Preliminary Report. - Tobias Reinhard (CoRR, 2022)

Completeness Thresholds for Memory Safety of Array Traversing Programs. - Tobias Reinhard; Justus Fasse; Bart Jacobs 002 (SOAP@PLDI, 2023)

Completeness Thresholds for Memory Safety: Unbounded Guarantees via Bounded Proofs (Extended Abstract). - Tobias Reinhard; Justus Fasse; Bart Jacobs 002 (CoRR, 2023)

Semi-Automated Modular Formal Verification of Critical Software: Liveness and Completeness Thresholds. - Tobias Reinhard (CoRR, 2024)