E-LIB Suche - Ergebnisse für: Reinhard, Tobias

1

Completeness Thresholds for Memory Safety of Array Traversi..:

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

Reinhard, Tobias ; Fasse, Justus ; Jacobs, Bart - p. 47-54 , 2023

Link: https://dl.acm.org/doi/1..

2

Ghost Signals: Verifying Termination of Busy Waiting:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Reinhard, Tobias ; Jacobs, Bart - p. 27-50 , 2021

Link: https://doi.org/10.1007/..

3

A separation logic to verify termination of busy-waiting fo..:

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

Reinhard, Tobias ; Timany, Amin ; Jacobs, Bart - p. 26-32 , 2020

Link: https://dl.acm.org/doi/1..

4

Bone erosion scoring for rheumatoid arthritis with deep con..:

Rohrbach, Janick ; Reinhard, Tobias ; Sick, Beate.
Computers & Electrical Engineering. 78 (2019) - p. 472-481 , 2019

Link: https://doi.org/10.1016/..

5

Static latency tracking with placement types:

, In: Companion Proceedings for the ISSTA/ECOOP 2018 Workshops,

Weisenburger, Pascal ; Reinhard, Tobias ; Salvaneschi, Guido - p. 34-36 , 2018

Link: https://dl.acm.org/doi/1..

6

Polycomb repressor complex 1 promotes gene silencing throug..:

Benitz, Simone ; Regel, Ivonne ; Reinhard, Tobias...
Oncotarget. 7 (2015) 10 - p. 11424-11433 , 2015

Link: https://doi.org/10.18632..

7

Epigenetic changes mediated by the polycomb repressor compl..:

Benitz, Simone ; Regel, Ivonne ; Reinhard, Tobias...
Pancreatology. 15 (2015) 3 - p. S44 , 2015

Link: https://doi.org/10.1016/..

8

Epigenetic changes mediated by the polycomb repressor compl..:

Benitz, Simone ; Regel, Ivonne ; Popp, Anna...
Pancreatology. 14 (2014) 3 - p. S64 , 2014

Link: https://doi.org/10.1016/..

9

Alltag – Normierung ist Ausgrenzung:

, In: Access for All,

Reinhard, Tobias - p. 120-133 , 2009

Link: https://doi.org/10.1007/..

10

Tool support for the navigation in graphical models:

, In: Proceedings of the 30th international conference on Software engineering,

Reinhard, Tobias ; Meier, Silvio ; Stoiber, Reinhard.. - p. 823-826 , 2008

Link: https://dl.acm.org/doi/1..

11

Modeling and Evolving Crosscutting Concerns in ADORA:

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

Meier, Silvio ; Reinhard, Tobias ; Stoiber, Reinhard. - p. 3 ff. , 2007

Link: https://dl.acm.org/doi/1..

12

Synergistic effects of antiwear and friction modifier addit..:

Eickworth, Jennifer ; Aydin, Enes ; Dienwiebel, Martin...
Industrial Lubrication and Tribology. 72 (2020) 8 - p. 1019-1025 , 2020

Link: https://doi.org/10.1108/..

13

Completeness Thresholds for Memory Safety of Array Traversi..:

Reinhard, Tobias ; Fasse, Justus ; Jacobs, Bart
http://arxiv.org/abs/2305.03606. , 2023

Link: http://arxiv.org/abs/230..

14

Completeness Thresholds for Memory Safety: Unbounded Guaran..:

Reinhard, Tobias ; Fasse, Justus ; Jacobs, Bart
http://arxiv.org/abs/2309.09731. , 2023

Link: http://arxiv.org/abs/230..

15

Completeness Thresholds for Memory Safety of Array Traversi..:

Reinhard, Tobias
http://arxiv.org/abs/2211.11885. , 2022

Link: http://arxiv.org/abs/221..