Tobias Reinhard
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
2007–2023
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | PLDI | Completeness Thresholds for Memory Safety of Array Traversing Programs. | Tobias Reinhard, Justus Fasse, Bart Jacobs |
| 2021 | CAV | Ghost Signals: Verifying Termination of Busy Waiting - Verifying Termination of Busy Waiting. | Tobias Reinhard, Bart Jacobs |
| 2020 | ECOOP | A separation logic to verify termination of busy-waiting for abrupt program exit. | Tobias Reinhard, Amin Timany, Bart Jacobs |
| 2018 | ISSTA | Static latency tracking with placement types. | Pascal Weisenburger, Tobias Reinhard, Guido Salvaneschi |
| 2008 | ICSE | Tool support for the navigation in graphical models. | Tobias Reinhard, Silvio Meier, Reinhard Stoiber, Christina Cramer, Martin Glinz |
| 2008 | SPLC | Visualization Support for Software Product Line Modeling. | Reinhard Stoiber, Tobias Reinhard, Martin Glinz |
| 2007 | ICSE | Modeling and Evolving Crosscutting Concerns in ADORA. | Silvio Meier, Tobias Reinhard, Reinhard Stoiber, Martin Glinz |