Personensuche
X
?
Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis ,
1
Completeness Thresholds for Memory Safety of Array Traversi..:
, In:
?
Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs ,
2
A separation logic to verify termination of busy-waiting fo..:
, In:
?
Companion Proceedings for the ISSTA/ECOOP 2018 Workshops ,
3
Static latency tracking with placement types:
, In:
?
Proceedings of the 30th international conference on Software engineering ,
4
Tool support for the navigation in graphical models:
, In:
?
Proceedings of the Early Aspects at ICSE: Workshops in Aspect-Oriented Requirements Engineering and Architecture Design ,
5
Modeling and Evolving Crosscutting Concerns in ADORA:
, In:
?
Proceedings of the 2024 International Symposium on Technological Advances in Human-Robot Interaction ,
6
Enabling Untrained Users to Shape Real-World Robot Behavior..:
, In:
?
2023 7th International Conference on System Reliability and Safety (ICSRS) ,
7
Improved Sensor Error Definitions for Reliability Analysis ..:
, In:
?
2022 IEEE International Conference on Consumer Electronics (ICCE) ,
8
Improving the User Experience for Manual Data Labeling usin..:
, In:
?
2022 48th Euromicro Conference on Software Engineering and Advanced Applications (SEAA) ,
9
Exploring the impact of scenario and distance information o..:
, In:
?
2022 International Conference on Electrical, Computer, Communications and Mechatronics Engineering (ICECCME) ,
10
An industrial case study for performance evaluation of hard..:
, In:
?
The 34th Annual ACM Symposium on User Interface Software and Technology ,
11
SoundsRide: Affordance-Synchronized Music Mixing for In-Car..:
, In:
?
2020 21st International Conference on Thermal, Mechanical and Multi-Physics Simulation and Experiments in Microelectronics and Microsystems (EuroSimE) ,
12
Co-simulation of MATLAB and ANSYS for ultrasonic wire bondi..:
, In:
?
2018 7th Electronic System-Integration Technology Conference (ESTC) ,
13
Numerical and statistical investigation of weld formation i..:
, In:
?
Proceedings of the 6th international conference on System analysis and modeling: about models ,
15