1. Fuzzy Propositional Configuration Logics;International Journal of Foundations of Computer Science;2023-07-10
2. Self-Adaptation in Industry: A Survey;ACM Transactions on Autonomous and Adaptive Systems;2023-05-28
3. Architecture-Based Uncertainty Impact Analysis to Ensure Confidentiality;2023 IEEE/ACM 18th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS);2023-05
4. ExTrA: Explaining architectural design tradeoff spaces via dimensionality reduction;Journal of Systems and Software;2023-04
5. Model‐checking‐driven explorative testing of CRDT designs and implementations;Journal of Software: Evolution and Process;2023-03-15