Publications

"Unveiling and reasoning about co-change dependencies" Proceedings of the 15th International Conference on Modularity (MODULARITY'16) , (2016).
"Modelling and Analysing Contextual Failures for Dependability Requirements" 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2014) , (2014).
"Automating Resource Selection and Configuration in Inter-clouds through a Software Product Line Method" IEEE 8th International Conference on Cloud Computing (CLOUD 2015) , (2015).
"GODA: A Goal-Oriented Requirements Engineering Framework for Runtime Dependability Analysis. Information and Software Technology" Information and Software Technology , (2016).
"Modeling and Verification for Probabilistic Properties in Software Product Lines" IEEE 16th International Symposium on High Assurance Systems Engineering (HASE), , (2015).

see more