Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Reinhard, Tobias
15  Ergebnisse:
Buchkapitel (Online) X
englisch X
Personensuche X
?
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

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

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

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

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

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

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/..
 
?
8

Improving the User Experience for Manual Data Labeling usin..:

, In: 2022 IEEE International Conference on Consumer Electronics (ICCE),
Beitz, Bernard ; Roth, Robert ; Haser, Jutta.. - p. 1-4 , 2022
Link: https://doi.org/10.1109/..
 
?
9

Exploring the impact of scenario and distance information o..:

, In: 2022 48th Euromicro Conference on Software Engineering and Advanced Applications (SEAA),
Qiu, Minhao ; Antesberger, Tobias ; Bock, Florian. - p. 322-329 , 2022
Link: https://doi.org/10.1109/..
 
?
10

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/..
 
?
11

SoundsRide: Affordance-Synchronized Music Mixing for In-Car..:

, In: The 34th Annual ACM Symposium on User Interface Software and Technology,
Kari, Mohamed ; Grosse-Puppendahl, Tobias ; Jagaciak, Alexander... - p. 118-133 , 2021
Link: https://dl.acm.org/doi/1..
 
?
12

Co-simulation of MATLAB and ANSYS for ultrasonic wire bondi..:

, In: 2020 21st International Conference on Thermal, Mechanical and Multi-Physics Simulation and Experiments in Microelectronics and Microsystems (EuroSimE),
Schemmel, Reinhard ; Krieger, Viktor ; Hemsel, Tobias. - p. 1-11 , 2020
Link: https://doi.org/10.1109/..
 
?
13

Numerical and statistical investigation of weld formation i..:

, In: 2018 7th Electronic System-Integration Technology Conference (ESTC),
Dymel, Collin ; Eichwald, Paul ; Schemmel, Reinhard... - p. 1-6 , 2018
Link: https://doi.org/10.1109/..
 
?
14

List of Contributors:

, In: Industrial Agents,
Asenjo, Juan L. ; Barata, José ; Bergenti, Federico... - p. xvii-xx , 2015
Link: https://doi.org/10.1016/..
 
?
15

Integration of flexray into the SDL-model-driven developmen..:

, In: Proceedings of the 6th international conference on System analysis and modeling: about models,
Braun, Tobias ; Gotzhein, Reinhard ; Wiebel, Matthias - p. 56-71 , 2010
Link: https://dl.acm.org/doi/1..
 
1-15