Personensuche
X
?
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering ,
5
Detecting Atomicity Violations in Interrupt-Driven Programs..:
, In:
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
10
PIChecker: A POR and Interpolation based Verifier for Concu..:
, In:
?
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering ,
12
Prioritized Constraint-Aided Dynamic Partial-Order Reductio:
, In:
?
2021 Smart City Challenges & Outcomes for Urban Transformation (SCOUT) ,
15