Augure: Proactive reconfiguration of cloud applications using heterogeneous resources. Network Computing and Applications (NCA), 2017 IEEE 16th International Symposium on. 1–8.(2017).
Automated generation of policies to support elastic scaling in cloud environments. Proceedings of the Symposium on Applied Computing. 450–455.(2017).
Dynamic networks of heterogeneous timed machines. Mathematical Structures in Computer Science. 1–56.(2017).
Heterogeneous and asynchronous networks of timed systems. Theoretical Computer Science. 663, 1–33.(2017).
Logics for Actor Networks: A Case Study in Constrained Hybridization. International Workshop on Dynamic Logic. 98–114.(2017).
Adaptation impact and environment models for architecture-based self-adaptive systems. Science of Computer Programming. 127, 50–75.(2016).
Heterogeneous and Asynchronous Networks of Timed Systems. Fundamental Approaches to Software Engineering. 79–93.(2014).
Heterogeneous timed machines. Theoretical Aspects of Computing–ICTAC 2014. 115–132.(2014).
Impact Models for Architecture-Based Self-adaptive Systems. Formal Aspects of Component Software. 89–107.(2014).
A design space for self-adaptive systems. Software Engineering for Self-adaptive Systems II. 33–50.(2013).
An interface theory for service-oriented design. Theor. Comput. Sci.. 503, 1–30.(2013).
A model for dynamic reconfiguration in service-oriented architectures. Software & Systems Modeling. 12, 349–367.(2013).
Self-management of adaptable component-based applications. Software Engineering, IEEE Transactions on. 39, 403–421.(2013).
Self-management of Distributed Systems Using High-Level Goal Policies. Software Engineering for Self-Adaptive Systems II. 162–190.(2013).
A timed component algebra for services. Formal Techniques for Distributed Systems. 242–257.(2013).
Avaliação de um Sistema de Reputação e Incentivo. (Lopes, A., & Pereira J. Orlando, Ed.).Atas do 4o Simpósio de Informática (INForum 2012).(2012).
Comparação de Mecanismos de Cancelamento de Difusão. (Lopes, A., & Pereira J. Orlando, Ed.).Atas do 4o Simpósio de Informática (INForum 2012).(2012).
Consistency of service composition. Fundamental Approaches to Software Engineering. 63–77.(2012).
A formal model for service-oriented interactions. Science of Computer Programming. 77, 577–608.(2012).
A graph-based design framework for services. Graph Transformations. 1–19.(2012).
Specification-driven unit test generation for java generic classes. Integrated Formal Methods. 296–311.(2012).
An abstract model of service discovery and binding. Formal Aspects of Computing. 23, 433–463.(2011).
Extending data cleaning graphs for supporting user involvement. Information Systems and Technologies (CISTI), 2011 6th Iberian Conference on. 1–6.(2011).