Antónia Lopes

Martinez, R. Gil, Li Z., Lopes A., & Rodrigues L. (2017).  Augure: Proactive reconfiguration of cloud applications using heterogeneous resources. Network Computing and Applications (NCA), 2017 IEEE 16th International Symposium on. 1–8.
Martinez, R. Gil, Lopes A., & Rodrigues L. (2017).  Automated generation of policies to support elastic scaling in cloud environments. Proceedings of the Symposium on Applied Computing. 450–455.
Fiadeiro, J., Lopes A., Delahaye B., & Legay A. (2017).  Dynamic networks of heterogeneous timed machines. Mathematical Structures in Computer Science. 1–56.
Fiadeiro, J. L., & Lopes A. (2017).  Heterogeneous and asynchronous networks of timed systems. Theoretical Computer Science. 663, 1–33.
Fiadeiro, J., uţu I. Ţ., Lopes A., & Pavlovic D. (2017).  Logics for Actor Networks: A Case Study in Constrained Hybridization. International Workshop on Dynamic Logic. 98–114.
Lopes, A., & de Lemos R. (2017).  Software Architecture: 11th European Conference, ECSA 2017, Canterbury, UK, September 11-15, 2017, Proceedings. 10475,
Cámara, J., Lopes A., Garlan D., & Schmerl B. (2016).  Adaptation impact and environment models for architecture-based self-adaptive systems. Science of Computer Programming. 127, 50–75.
Fiadeiro, J. Luis, & Lopes A. (2014).  Heterogeneous and Asynchronous Networks of Timed Systems. Fundamental Approaches to Software Engineering. 79–93.
Delahaye, B., Fiadeiro J. Luiz, Legay A., & Lopes A. (2014).  Heterogeneous timed machines. Theoretical Aspects of Computing–ICTAC 2014. 115–132.
Moreno, J. Cámara, Lopes A., Garlan D., & Schmerl B. (2014).  Impact Models for Architecture-Based Self-adaptive Systems. Formal Aspects of Component Software. 89–107.
de Lemos, R., Ghezzi C., Lopes A., & (2013).  Assurances for Self-adaptive Systems: Principles, Models, and Techniques.
Brun, Y., Desmarais R., Geihs K., Litoiu M., Lopes A., Shaw M., et al. (2013).  A design space for self-adaptive systems. Software Engineering for Self-adaptive Systems II. 33–50.
Fiadeiro, J. Luiz, & Lopes A. (2013).  An interface theory for service-oriented design. Theor. Comput. Sci.. 503, 1–30.
Fiadeiro, J. Luiz, & Lopes A. (2013).  A model for dynamic reconfiguration in service-oriented architectures. Software & Systems Modeling. 12, 349–367.
Rosa, L., Rodrigues L., Lopes A., Hiltunen M., & Schlichting R. (2013).  Self-management of adaptable component-based applications. Software Engineering, IEEE Transactions on. 39, 403–421.
Rosa, L., Rodrigues L., & Lopes A. (2013).  Self-management of Distributed Systems Using High-Level Goal Policies. Software Engineering for Self-Adaptive Systems II. 162–190.
Delahaye, B\^ıt., Fiadeiro J. Luiz, Legay A., & Lopes A. (2013).  A timed component algebra for services. Formal Techniques for Distributed Systems. 242–257.
Cruz, N., & Miranda H. (2012).  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).
Lima, R., Baquero C., & Miranda H. (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).
Fiadeiro, J. Luiz, & Lopes A. (2012).  Consistency of service composition. Fundamental Approaches to Software Engineering. 63–77.
Fiadeiro, J., Lopes A., & Abreu J. (2012).  A formal model for service-oriented interactions. Science of Computer Programming. 77, 577–608.
Lopes, A., & Fiadeiro J. Luiz (2012).  A graph-based design framework for services. Graph Transformations. 1–19.
de Andrade, F. Rebello, Faria J. P., Lopes A., & Paiva A. C. R. (2012).  Specification-driven unit test generation for java generic classes. Integrated Formal Methods. 296–311.
Fiadeiro, J. Luiz, Lopes A., & Bocchi L. (2011).  An abstract model of service discovery and binding. Formal Aspects of Computing. 23, 433–463.
Galhardas, H., Lopes A., & Santos E. (2011).  Extending data cleaning graphs for supporting user involvement. Information Systems and Technologies (CISTI), 2011 6th Iberian Conference on. 1–6.