Antónia Lopes

D
Fiadeiro, J., A. Lopes, B. Delahaye, and A. Legay, "Dynamic networks of heterogeneous timed machines", Mathematical Structures in Computer Science, vol. 28, no. 6: Cambridge University Press, pp. 800–855, 2018.
L
Duarte, F., R. Gil, P. Romano, A. Lopes, and L. Rodrigues, "Learning non-deterministic impact models for adaptation", Proceedings of the 13th International Conference on Software Engineering for Adaptive and Self-Managing Systems: ACM, pp. 196–205, 2018.
A
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.
D
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.
H
Fiadeiro, J. L., and A. Lopes, "Heterogeneous and asynchronous networks of timed systems", Theoretical Computer Science, vol. 663: Elsevier, pp. 1–33, 2017.
L
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.
H
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.
I
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.
D
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.
I
Fiadeiro, J. Luiz, and A. Lopes, "An interface theory for service-oriented design", Theor. Comput. Sci., vol. 503, pp. 1–30, 2013.
M
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.
S
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.
T
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.
A
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.
C
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.
F
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.
G
Lopes, A., and J. Luiz Fiadeiro, "A graph-based design framework for services", Graph Transformations: Springer Berlin Heidelberg, pp. 1–19, 2012.
S
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.
A
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.
E
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.
F
Lopes, A., "Formal modelling of service-oriented systems", Model and Data Engineering: Springer Berlin Heidelberg, pp. 3–3, 2011.
G
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.
I
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.
R
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.
S
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.
W
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.
M
Fiadeiro, J. Luiz, and A. Lopes, "A model for dynamic reconfiguration in service-oriented architectures", Software Architecture: Springer Berlin Heidelberg, pp. 70–85, 2010.
A
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.
F
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.
M
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.
R
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.
S
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.
U
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.
A
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.
B
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.
F
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.
O
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.
S
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.
M
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.
P
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.
R
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.
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.
C
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.