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:
?
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 ,
5
Static latency tracking with placement types:
, In:
?
Proceedings of the 30th international conference on Software engineering ,
10
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 ,
11