Antónia Lopes

2014
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.
2013
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.
2012
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.
2011
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.
Lopes, A. (2011).  Formal modelling of service-oriented systems. Model and Data Engineering. 3–3.
Rosa, L., Rodrigues L., & Lopes A. (2011).  Goal-oriented self-management of in-memory distributed data grid platforms. Cloud Computing Technology and Science (CloudCom), 2011 IEEE Third International Conference on. 587–591.
Fiadeiro, J. Luiz, & Lopes A. (2011).  An interface theory for service-oriented design. Fundamental Approaches to Software Engineering. 18–33.
Crispim, P., Lopes A., & Vasconcelos V. T. (2011).  Runtime Verification for Generic Classes with ConGu 2. Formal Methods: Foundations and Applications. 33–48.
Fiadeiro, J., Lopes A., Bocchi L., & Abreu J. (2011).  The Sensoria reference modelling language. Rigorous software engineering for service-oriented systems. 61–114.
Galhardas, H., Lopes A., & Santos E. (2011).  Support for user involvement in data cleaning. Data Warehousing and Knowledge Discovery. 136–151.
Cámara, J., de Lemos R., Ghezzi C., & Lopes A. (2011).  Workshop on assurances for self-adaptive systems (ASAS 2011). Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering. 516–517.

Pages