Search for persons
X
?
2023 27th International Conference on Engineering of Complex Computer Systems (ICECCS) ,
1
Reliability Analysis of Architectural Safeguards for AI-ena..:
, In:
?
2023 IEEE International Conference on Quantum Software (QSW) ,
2
QIn: Enabling Formal Methods to Deal with Quantum Circuits:
, In:
?
2023 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW) ,
3
Experiences in Quantum Software Engineering:
, In:
?
Companion of the 2023 ACM/SPEC International Conference on Performance Engineering ,
4
Design-time Performability Evaluation of Runtime Adaptation..:
, In:
?
Companion of the 2022 ACM/SPEC International Conference on Performance Engineering ,
5
Design-time Performability Optimization of Runtime Adaptati..:
, In:
?
2022 IEEE International Conference on Quantum Software (QSW) ,
6
Fault-tolerant Hybrid Quantum Software Systems:
, In:
?
2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS) ,
7
Design-Time Validation of Runtime Reconfiguration Strategie..:
, In:
?
2020 IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) ,
8
Towards Classes of Architectural Dependability Assurance fo..:
, In:
?
Proceedings of the IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems ,
9
Towards classes of architectural dependability assurance fo..:
, In:
?
Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design ,
10