Personensuche
X
?
Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing ,
1
An Efficient Black-Box Support of Advanced Coverage Criteri..:
, In:
?
2023 International Conference on Machine Learning and Cybernetics (ICMLC) ,
2
Robust Bayesian Abstraction of Neural Networks:
, In:
?
Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation ,
3
Symbolic Abstract Heaps for Polymorphic Information-Flow Gu..:
, In:
?
Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software ,
4
A hot method for synthesising cool controllers:
, In:
?
Proceedings of the 2011 SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems ,
10