Didac Gil de la Iglesia
Didac Gil de la Iglesia
Palo Alto Networks
Verified email at
Cited by
Cited by
A survey of formal methods in self-adaptive systems
D Weyns, MU Iftikhar, D Gil de la Iglesia, T Ahmad
Proceedings of the Fifth International C* Conference on Computer Science and …, 2012
MAPE-K formal templates to rigorously design behaviors for self-adaptive systems
DGDL Iglesia, D Weyns
ACM Transactions on Autonomous and Adaptive Systems (TAAS) 10 (3), 1-31, 2015
Enhancing Mobile Learning Activities by the Use of Mobile Virtual Devices--Some Design and Implementation Issues
D Gil de la Iglesia, J Andersson, M Milrad
Intelligent Networking and Collaborative Systems (INCOS), 2010 2nd …, 2010
On the role of software process modeling in software ecosystem design
O Pettersson, M Svensson, D Gil, J Andersson, M Milrad
Proceedings of the Fourth European Conference on Software Architecture …, 2010
A self-adaptive multi-agent system approach for collaborative mobile learning
DG De La Iglesia, JF Calderón, D Weyns, M Milrad, M Nussbaum
IEEE Transactions on Learning Technologies 8 (2), 158-172, 2014
Providing Flexibility in Learning Activities Systems by Exploiting the Multiple Roles of Mobile Devices
D Gil de la Iglesia, O Pettersson
Wireless, Mobile and Ubiquitous Technologies in Education (WMUTE), 2010 6th …, 2010
Guaranteeing robustness in a mobile learning application using formally verified MAPE loops
DG De La Iglesia, D Weyns
2013 8th International Symposium on Software Engineering for Adaptive and …, 2013
Tangible and Wearable User Interfaces for Supporting Collaboration among Emergency Workers
D Cernea, S Mora, A Perez, A Ebert, A Kerren, M Divitini, ...
Collaboration and Technology, 192-199, 2012
On the Issue of Reusability and Adaptability in M-learning Systems
O Pettersson, D Gil
2010 6th IEEE International Conference on Wireless, Mobile, and Ubiquitous …, 2010
Trade-offs between pedagogical and technological design requirements affecting the robustness of a mobile learning activity
H Sollervall, D Gil, M Milrad, O Petersson, S Salavati, J Yau
Proceedings of The International Conference on Computers in Education, 2011
A Formal Approach for Designing Distributed Self-Adaptive Systems
D Gil de la Iglesia
Linnaeus University 171 (2014), 2014
Designing a didactical situation with mobile and web technologies
H Sollervall, DG de la Iglesia
CERME 9-Ninth Congress of the European Society for Research in Mathematics …, 2015
Towards a decentralized and self-adaptive system for m-learning applications
D Gil, J Andersson, M Milrad, H Sollervall
2012 IEEE Seventh International Conference on Wireless, Mobile and …, 2012
SA-MAS: Self-adaptation to enhance software qualities in multi-agent systems
D Gil de la Iglesia, D Weyns
12th International Conference on Autonomous Agents and Multiagent Systems …, 2013
MAPE-K Formal Templates for Self-Adaptive Systems: Specifications and Descriptions
D Gil de la Iglesia
Uncertainties in Mobile Learning applications: Software Architecture Challenges
D Gil de la Iglesia
Linnaeus University, 2012
Exploring new ways to support mobile collaboration through mobile virtual devices
D Gil de la Iglesia
1st Nordic Symposium on Technology Enhanced Learning, NORDITEL. Linneaus …, 2010
Combining web and mobile technologies to support sustainable activity design in education
DG De la Iglesia, H Sollervall, YR Delgado, CS Mazarico
Proceedings of the Orchestrated Collaborative Classroom Workshop 2015, 1-4, 2015
Designing with mobile technologies for enacting the learning of geometry
H Sollervall, D Gil de la Iglesia, M Milrad, A Peng, O Pettersson, ...
ICCE 19, Chiang Mai, Thailand, 305-312, 2011
Designing a decentralized distributed self-adaptive system in m-learning activities
DG de la Iglesia
2012 IEEE Seventh International Conference on Wireless, Mobile and …, 2012
The system can't perform the operation now. Try again later.
Articles 1–20