Search for persons
X
?
Quantitative Evaluation of Systems; Lecture Notes in Computer Science ,
2
Probabilistic Counterexample Guidance for Safer Reinforceme..:
, In:
?
2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE) ,
3
Sibyl: Improving Software Engineering Tools with SMT Select..:
, In:
?
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering ,
5
Neural-Based Test Oracle Generation: A Large-Scale Evaluati..:
, In:
?
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering ,
6
Compositional Taint Analysis for Enforcing Security Policie..:
, In:
?
Service-Oriented Computing; Lecture Notes in Computer Science ,
7
Enhancing Performance Modeling of Serverless Functions via ..:
, In:
?
Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering ,
9
Input splitting for cloud-based static application security..:
, In:
?
Quantitative Evaluation of Systems; Lecture Notes in Computer Science ,
10
Service Demand Distribution Estimation for Microservices Us..:
, In:
?
Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering ,
12
Symbolic parallel adaptive importance sampling for probabil..:
, In:
?
2020 IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) ,
13
On the Probabilistic Analysis of Neural Networks:
, In:
?
Communications in Computer and Information Science; Software Architecture ,
14
Towards Coordinated Autoscaling and Application Brownout at..:
, In:
?
Proceedings of the IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems ,
15