Personensuche
X
?
Proceedings of the 36th International Conference on Software Engineering ,
1
ConLock: a constraint-based approach to dynamic checking on..:
, In:
?
Proceedings of the International Workshop on Innovative Software Development Methodologies and Practices ,
2
Toward a methodology to expose partially fixed concurrency ..:
, In:
?
Proceedings of the 18th ACM SIGPLAN symposium on Principles and practice of parallel programming ,
3
TeamWork : synchronizing threads globally to detect real..:
, In:
?
Communications in Computer and Information Science; Information Systems Security and Privacy ,
4
ICScope: Detecting and Measuring Vulnerable ICS Devices Exp..:
, In:
?
Proceedings of the 16th ACM / IEEE International Symposium on Empirical Software Engineering and Measurement ,
5
PG-VulNet: Detect Supply Chain Vulnerabilities in IoT Devic..:
, In:
?
2019 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computing, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovation (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI) ,
6