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

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..

5

Alltag – Normierung ist Ausgrenzung:

, In: Access for All,

Reinhard, Tobias - p. 120-133 , 2009

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

6

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..

7

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..

8

Virtuelle Produktion – Die Virtual Production Intelligence ..:

, In: Exploring Virtuality,

Schilberg, Daniel ; Meisen, Tobias ; Reinhard, Rudolf - p. 93-110 , 2013

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

9

Virtuelle Produktionssysteme:

, In: Integrative Produktionstechnik für Hochlohnländer,

Apel, Markus ; Arping, Tim ; Bagcivan, Nazlim... - p. 257-464 , 2011

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

10

Enabling Untrained Users to Shape Real-World Robot Behavior..:

, In: Proceedings of the 2024 International Symposium on Technological Advances in Human-Robot Interaction,

Weike, Michel ; Ruske, Kai ; Gerndt, Reinhard. - p. 38-46 , 2024

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

11

Improved Sensor Error Definitions for Reliability Analysis ..:

, In: 2023 7th International Conference on System Reliability and Safety (ICSRS),

Qiu, Minhao ; Bazan, Peter ; Antesberger, Tobias. - p. 149-158 , 2023

Link: https://doi.org/10.1109/..

12

Wachau World Heritage Site: A Diverse Riverine Landscape:

, In: World Geomorphological Landscapes; Landscapes and Landforms of Austria,

Riedl, Doris ; Roetzel, Reinhard ; Pöppl, Ronald E.. - p. 163-178 , 2022

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

13

Digital platforms and trading companies: the evolution of t..:

, In: Handbook on Digital Business Ecosystems,

Schütte, Reinhard ; Wulfert, Tobias , 2022

Link: https://doi.org/10.4337/..

14

Smart City Experience – Von isolierten Services zu Smart Se..:

, In: Forum Dienstleistungsmanagement; Smart Services,

Schütte, Reinhard ; Muschkiet, Michel ; Wulfert, Tobias - p. 309-334 , 2022

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

15

An industrial case study for performance evaluation of hard..:

, In: 2022 International Conference on Electrical, Computer, Communications and Mechatronics Engineering (ICECCME),

Funda, Christoph ; Konheiser, Tobias ; Herpel, Thomas.. - p. 1-7 , 2022

Link: https://doi.org/10.1109/..