Tobias Reinhard

According to our database, Tobias Reinhard authored at least 17 papers between 2006 and 2024.

Collaborative distances:

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

2024

Semi-Automated Modular Formal Verification of Critical Software: Liveness and Completeness Thresholds.

Tobias Reinhard

CoRR, 2024

2023

Completeness Thresholds for Memory Safety: Unbounded Guarantees via Bounded Proofs (Extended Abstract).

Tobias Reinhard, Justus Fasse, Bart Jacobs

CoRR, 2023

Completeness Thresholds for Memory Safety of Array Traversing Programs.

Tobias Reinhard, Justus Fasse, Bart Jacobs

Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2023

2022

Completeness Thresholds for Memory Safety: Early Preliminary Report.

Tobias Reinhard

CoRR, 2022

2021

Ghost Signals: Verifying Termination of Busy Waiting - Verifying Termination of Busy Waiting.

Tobias Reinhard, Bart Jacobs

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

Ghost Signals: Verifying Termination of Busy-Waiting.

Tobias Reinhard, Bart Jacobs

CoRR, 2020

A Core Calculus for Static Latency Tracking with Placement Types.

Tobias Reinhard

CoRR, 2020

A Separation Logic to Verify Termination of Busy-Waiting for Abrupt Program Exit: Technical Report.

Tobias Reinhard, Amin Timany, Bart Jacobs

CoRR, 2020

A separation logic to verify termination of busy-waiting for abrupt program exit.

Tobias Reinhard, Amin Timany, Bart Jacobs

Proceedings of the FTfJP 2020: Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs, 2020

2019

Bone erosion scoring for rheumatoid arthritis with deep convolutional neural networks.

Janick Rohrbach, Tobias Reinhard, Beate Sick, Oliver Dürr

Comput. Electr. Eng., 2019

2018

Static latency tracking with placement types.

Pascal Weisenburger, Tobias Reinhard, Guido Salvaneschi

Proceedings of the Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, 2018

2011

Complexity management in graphical models.

Tobias Reinhard

PhD thesis, 2011

2008

Visualization Support for Software Product Line Modeling.

Reinhard Stoiber, Tobias Reinhard, Martin Glinz

Proceedings of the Software Product Lines, 12th International Conference, 2008

Tool support for the navigation in graphical models.

Tobias Reinhard, Silvio Meier, Reinhard Stoiber, Christina Cramer, Martin Glinz

Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

2007

Modeling and Evolving Crosscutting Concerns in ADORA.

Silvio Meier, Tobias Reinhard, Reinhard Stoiber, Martin Glinz

Proceedings of the Early Aspects at ICSE: Workshops in Aspect-Oriented Requirements Engineering and Architecture Design, 2007

2006

Aspect-Oriented Modeling with Integrated Object Models.

Silvio Meier, Tobias Reinhard, Christian Seybold, Martin Glinz

Proceedings of the Modellierung 2006, 2006

Human-Friendly Line Routing for Hierarchical Diagrams.

Tobias Reinhard, Christian Seybold, Silvio Meier, Martin Glinz, Nancy Merlo-Schett

Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 2006