Dídac Gil de la Iglesia

A survey of formal methods in self-adaptive systems

Danny Weyns, M. Usman Iftikhar, Dídac Gil de la Iglesia et al. · 2012 · 166 citations

MAPE-K Formal Templates to Rigorously Design Behaviors for Self-Adaptive Systems

Dídac Gil de la Iglesia, Danny Weyns · ACM Transactions on Autonomous and Adaptive Systems · 2015 · 162 citations

Engineering, Templates Comprise, Software Engineering +19

A Self-Adaptive Multi-Agent System Approach for Collaborative Mobile Learning

Dídac Gil de la Iglesia, Juan Felipe Calderón, Danny Weyns et al. · IEEE Transactions on Learning Technologies · 2014 · 34 citations · Full text

Engineering, Education, Mobile Collaboration +16

Guaranteeing robustness in a mobile learning application using formally verified MAPE loops

Dídac Gil de la Iglesia, Danny Weyns · Software Engineering for Adaptive and Self-Managing Systems · 2013 · 15 citations

Engineering, Verification, Robustness Testing +26

Enhancing Mobile Learning Activities by the Use of Mobile Virtual Devices -- Some Design and Implementation Issues

Dídac Gil de la Iglesia, Jesper Andersson, Marcelo Milrad · 2010 · 10 citations

Virtual Environments, Mobile Interaction, Education +18