Search for persons
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:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
2
Ghost Signals: Verifying Termination of Busy Waiting:
, In:
?
Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs ,
3
A separation logic to verify termination of busy-waiting fo..:
, In:
?
Companion Proceedings for the ISSTA/ECOOP 2018 Workshops ,
4
Static latency tracking with placement types:
, In:
?
Proceedings of the 30th international conference on Software engineering ,
6
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 ,
7
Modeling and Evolving Crosscutting Concerns in ADORA:
, In:
?
Proceedings of the 2024 International Symposium on Technological Advances in Human-Robot Interaction ,
10
Enabling Untrained Users to Shape Real-World Robot Behavior..:
, In:
?
2023 7th International Conference on System Reliability and Safety (ICSRS) ,
11
Improved Sensor Error Definitions for Reliability Analysis ..:
, In:
?
2022 International Conference on Electrical, Computer, Communications and Mechatronics Engineering (ICECCME) ,
12
An industrial case study for performance evaluation of hard..:
, In:
?
2nd International Conference on Advanced Joining Processes (AJP 2021); Proceedings in Engineering Mechanics ,
13
Model-Based Joining Process Design for the Body Shop Proces..:
, In:
?
World Geomorphological Landscapes; Landscapes and Landforms of Austria ,
14
Wachau World Heritage Site: A Diverse Riverine Landscape:
, In:
?
2022 IEEE International Conference on Consumer Electronics (ICCE) ,
15