1. Decomposition of Reliability Requirements for Self-Adaptive Systems Using the NFR Framework;Proceedings of the 20th Brazilian Symposium on Information Systems;2024-05-20
2. Formal Verification of Nonfunctional Requirements of Overall Instrumentation and Control Architectures;IEEE Open Journal of the Industrial Electronics Society;2024
3. Requirements Composition;Requirements Engineering: Laying a Firm Foundation;2022
4. Model-Based Evaluation of Vulnerabilities in Software Systems;Proceedings of the 24th ACM International Systems and Software Product Line Conference - Volume B;2020-10-19
5. Software Product Line Engineering;Proceedings of the 23rd International Systems and Software Product Line Conference - Volume A;2019-09-09