Antónia Lopes

2017
Martinez, R. Gil, Z. Li, A. Lopes, and L. Rodrigues, "Augure: Proactive reconfiguration of cloud applications using heterogeneous resources", Network Computing and Applications (NCA), 2017 IEEE 16th International Symposium on: IEEE, pp. 1–8, 2017.
Martinez, R. Gil, A. Lopes, and L. Rodrigues, "Automated generation of policies to support elastic scaling in cloud environments", Proceedings of the Symposium on Applied Computing: ACM, pp. 450–455, 2017.
Fiadeiro, J., A. Lopes, B. Delahaye, and A. Legay, "Dynamic networks of heterogeneous timed machines", Mathematical Structures in Computer Science: Cambridge University Press, pp. 1–56, 2017.
Fiadeiro, J. L., and A. Lopes, "Heterogeneous and asynchronous networks of timed systems", Theoretical Computer Science, vol. 663: Elsevier, pp. 1–33, 2017.
Fiadeiro, J., I. Ţ. uţu, A. Lopes, and D. Pavlovic, "Logics for Actor Networks: A Case Study in Constrained Hybridization", International Workshop on Dynamic Logic: Springer, pp. 98–114, 2017.
Lopes, A., and R. de Lemos, Software Architecture: 11th European Conference, ECSA 2017, Canterbury, UK, September 11-15, 2017, Proceedings, , vol. 10475: Springer, 2017.
2014
Fiadeiro, J. Luis, and A. Lopes, "Heterogeneous and Asynchronous Networks of Timed Systems", Fundamental Approaches to Software Engineering: Springer Berlin Heidelberg, pp. 79–93, 2014.
Delahaye, B., J. Luiz Fiadeiro, A. Legay, and A. Lopes, "Heterogeneous timed machines", Theoretical Aspects of Computing–ICTAC 2014: Springer International Publishing, pp. 115–132, 2014.
Moreno, J. Cámara, A. Lopes, D. Garlan, and B. Schmerl, "Impact Models for Architecture-Based Self-adaptive Systems", Formal Aspects of Component Software: Springer International Publishing, pp. 89–107, 2014.
2013
de Lemos, R., C. Ghezzi, A. Lopes, and , Assurances for Self-adaptive Systems: Principles, Models, and Techniques, : Springer Publishing Company, Incorporated, 2013.
Brun, Y., R. Desmarais, K. Geihs, M. Litoiu, A. Lopes, M. Shaw, and M. Smit, "A design space for self-adaptive systems", Software Engineering for Self-adaptive Systems II: Springer Berlin Heidelberg, pp. 33–50, 2013.
Fiadeiro, J. Luiz, and A. Lopes, "An interface theory for service-oriented design", Theor. Comput. Sci., vol. 503, pp. 1–30, 2013.
Fiadeiro, J. Luiz, and A. Lopes, "A model for dynamic reconfiguration in service-oriented architectures", Software & Systems Modeling, vol. 12, no. 2: Springer-Verlag, pp. 349–367, 2013.
Rosa, L., L. Rodrigues, A. Lopes, M. Hiltunen, and R. Schlichting, "Self-management of adaptable component-based applications", Software Engineering, IEEE Transactions on, vol. 39, no. 3: IEEE, pp. 403–421, 2013.
Rosa, L., L. Rodrigues, and A. Lopes, "Self-management of Distributed Systems Using High-Level Goal Policies", Software Engineering for Self-Adaptive Systems II: Springer Berlin Heidelberg, pp. 162–190, 2013.
Delahaye, B\^ıt., J. Luiz Fiadeiro, A. Legay, and A. Lopes, "A timed component algebra for services", Formal Techniques for Distributed Systems: Springer Berlin Heidelberg, pp. 242–257, 2013.
2012
Cruz, N., and H. Miranda, "Avaliação de um Sistema de Reputação e Incentivo", Atas do 4o Simpósio de Informática (INForum 2012): Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa, 2012.
Lima, R., C. Baquero, and H. Miranda, "Comparação de Mecanismos de Cancelamento de Difusão", Atas do 4o Simpósio de Informática (INForum 2012): Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa, 2012.
Fiadeiro, J. Luiz, and A. Lopes, "Consistency of service composition", Fundamental Approaches to Software Engineering: Springer Berlin Heidelberg, pp. 63–77, 2012.
Fiadeiro, J., A. Lopes, and J. Abreu, "A formal model for service-oriented interactions", Science of Computer Programming, vol. 77, no. 5: Elsevier, pp. 577–608, 2012.
Lopes, A., and J. Luiz Fiadeiro, "A graph-based design framework for services", Graph Transformations: Springer Berlin Heidelberg, pp. 1–19, 2012.
de Andrade, F. Rebello, J. P. Faria, A. Lopes, and A. C. R. Paiva, "Specification-driven unit test generation for java generic classes", Integrated Formal Methods: Springer Berlin Heidelberg, pp. 296–311, 2012.
2011
Fiadeiro, J. Luiz, A. Lopes, and L. Bocchi, "An abstract model of service discovery and binding", Formal Aspects of Computing, vol. 23, no. 4: Springer-Verlag, pp. 433–463, 2011.
Galhardas, H., A. Lopes, and E. Santos, "Extending data cleaning graphs for supporting user involvement", Information Systems and Technologies (CISTI), 2011 6th Iberian Conference on: IEEE, pp. 1–6, 2011.
Lopes, A., "Formal modelling of service-oriented systems", Model and Data Engineering: Springer Berlin Heidelberg, pp. 3–3, 2011.
Rosa, L., L. Rodrigues, and A. Lopes, "Goal-oriented self-management of in-memory distributed data grid platforms", Cloud Computing Technology and Science (CloudCom), 2011 IEEE Third International Conference on: IEEE, pp. 587–591, 2011.
Fiadeiro, J. Luiz, and A. Lopes, "An interface theory for service-oriented design", Fundamental Approaches to Software Engineering: Springer Berlin Heidelberg, pp. 18–33, 2011.
Crispim, P., A. Lopes, and V. T. Vasconcelos, "Runtime Verification for Generic Classes with ConGu 2", Formal Methods: Foundations and Applications: Springer Berlin Heidelberg, pp. 33–48, 2011.
Fiadeiro, J., A. Lopes, L. Bocchi, and J. Abreu, "The Sensoria reference modelling language", Rigorous software engineering for service-oriented systems: Springer Berlin Heidelberg, pp. 61–114, 2011.
Galhardas, H., A. Lopes, and E. Santos, "Support for user involvement in data cleaning", Data Warehousing and Knowledge Discovery: Springer Berlin Heidelberg, pp. 136–151, 2011.
Cámara, J., R. de Lemos, C. Ghezzi, and A. Lopes, "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: ACM, pp. 516–517, 2011.
2008
Santos, A. L., K. Koskimies, and A. Lopes, "Automated domain-specific modeling languages for generating framework-based applications", Software Product Line Conference, 2008. SPLC'08. 12th International: IEEE, pp. 149–158, 2008.
Bocchi, L., Y. Hong, A. Lopes, and J. Luiz Fiadeiro, "From BPEL to SRML: a formal transformational approach", Web services and formal methods: Springer Berlin Heidelberg, pp. 92–107, 2008.
Rosa, L., A. Lopes, and L. Rodrigues, "Modelling adaptive services for distributed systems", Proceedings of the 2008 ACM symposium on Applied computing: ACM, pp. 2174–2180, 2008.
Vasconcelos, V. T., I. Nunes, A. Lopes, N. Ramiro, and P. Crispim, "Monitoring java code using ConGu", WADT 2008 Preliminary Proceedings, pp. 61, 2008.
Vasconcelos, V. T., I. Nunes, A. Lopes, N. Ramiro, and P. Crispim, Runtime checking Java code using ConGu, : International Workshop on Advanced Software Development Tools and Techniques, 2008, 2008.
Bocchi, L., J. Luiz Fiadeiro, and A. Lopes, "Service-oriented modelling of automotive systems", Computer Software and Applications, 2008. COMPSAC'08. 32nd Annual IEEE International: IEEE, pp. 1059–1064, 2008.
Bocchi, L., J. Luiz Fiadeiro, and A. Lopes, "A use-case driven approach to formal service-oriented modelling", Leveraging Applications of Formal Methods, Verification and Validation: Springer Berlin Heidelberg, pp. 155–169, 2008.
2007
Fiadeiro, J. Luiz, and A. Lopes, "An algebraic semantics of event-based architectures", Mathematical Structures in Computer Science, vol. 17, no. 05: Cambridge University Press, pp. 1029–1073, 2007.
Fiadeiro, J. Luiz, A. Lopes, and L. Bocchi, "Algebraic semantics of service component modules", Recent Trends in Algebraic Development Techniques: Springer Berlin Heidelberg, pp. 37–55, 2007.
Rosa, L., L. Rodrigues, and A. Lopes, Appia to R-Appia: Refactoring a Protocol Composition Framework for Dynamic Reconfiguration, : Department of Informatics, University of Lisbon, 2007.
Rosa, L., L. Rodrigues, and A. Lopes, Building adaptive services for distributed systems, : Department of Informatics, University of Lisbon, 2007.
Rosa, L., L. Rodrigues, and A. Lopes, "Building adaptive systems with service composition frameworks", On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS: Springer Berlin Heidelberg, pp. 754–771, 2007.
Abreu, J., A. Caldeira, A. Lopes, I. Nunes, L. S. Reis, and V. T. Vasconcelos, Congu, Checking Java Classes Against Property-Driven Algebraic Specifications, : Department of Informatics, University of Lisbon, 2007.
Bocchi, L., L. Ferrari, J. Fiadeiro, A. Lopes, C. Start Date, DSIUF. PISA, ISTI. UNIBO, UEDIN. FFCUL, and TIL. ATX, "D1. 1. c: Prototype language for service modelling: primitives for service description", SENSORIA Deliverables Month, vol. 18, 2007.
Abreu, J., A. Caldeira, A. Lopes, I. Nunes, L. S. Reis, and V. T. Vasconcelos, DI–FCUL TR–07–7, : Citeseer, 2007.
Santos, A. L., K. Koskimies, and A. Lopes, Extending Object-Oriented Frameworks with Aspects for Enabling Automatic Support for Domain-Specic Modeling, : Department of Informatics, University of Lisbon, 2007.
Santos, A. L., A. Lopes, and K. Koskimies, "Framework specialization aspects", Proceedings of the 6th international conference on Aspect-oriented software development: ACM, pp. 14–24, 2007.
Rosa, L., L. Rodrigues, and A. Lopes, "A framework to support multiple reconfiguration strategies", Proceedings of the 1st international conference on Autonomic computing and communication systems: ICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering), pp. 15, 2007.
Dwyer, M. B., and A. Lopes, Fundamental Approaches to Software Engineering: 10th International Conference, FASE 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007: Proceedings, : Springer, 2007.
Carreira, P., H. Galhardas, A. Lopes, and J. Pereira, "One-to-many data transformations through data mappers", Data & Knowledge Engineering, vol. 62, no. 3: Elsevier, pp. 483–503, 2007.
Abreu, J., L. Bocchi, J. Luiz Fiadeiro, and A. Lopes, "Specifying and composing interaction protocols for service-oriented system modelling", Formal Techniques for Networked and Distributed Systems–FORTE 2007: Springer Berlin Heidelberg, pp. 358–373, 2007.
2006
Mocito, J., L. Rosa, N. Almeida, H. Miranda, L. Rodrigues, and A. Lopes, Context adaptation of the communication stack, : Taylor & Francis Group, 2006.
Santos, A. L., K. Koskimies, and A. Lopes, "A model-driven approach to variability management in product-line engineering", Nordic Journal of Computing, vol. 13, no. 3, pp. 196, 2006.
Santos, A. L., A. Lopes, K. Koskimies, and , "Modularizing framework hot-spots using aspects", In Proceedings of the 11th Spanish Conference on Software Engineering and Databases: Citeseer, 2006.
Rosa, L., A. Lopes, and L. Rodrigues, "Policy-driven adaptation of protocol stacks", Autonomic and Autonomous Systems, 2006. ICAS'06. 2006 International Conference on: IEEE, pp. 5–5, 2006.
Sousa, P., N. Ferreira Neves, A. Lopes, and P. Verissimo, "On the resilience of intrusion-tolerant distributed systems", DI/FCUL TR 06–14, DEP. OF INFORMATICS, UNIV. OF LISBON, SEPTEMBER 2006.–PRELIMINARY ARCHITECTURE SPECIFICATION PAGE 100, 2006.
Neves, N. Ferreira, P. Verissimo, P. Sousa, and A. Lopes, On the Resilience of Intrusion-Tolerant Distributed Systems, : Department of Informatics, University of Lisbon, 2006.
2005
Mocito, J., L. Rosa, N. Almeida, H. Miranda, L. Rodrigues, and A. Lopes, "Context Adaptation of the Communication Stack", Proceedings of the 3rd International Workshop on Mobile Distributed Computing (MDC'05), in conjunction with ICDCS'2005, Columbus, Ohio, 2005.