Tobias Reinhard

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