Publications

Export 73 results:
Filters: Author is Lopes, Antónia  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
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.
Cámara, J., A. Lopes, D. Garlan, and B. Schmerl, "Adaptation impact and environment models for architecture-based self-adaptive systems", Science of Computer Programming, vol. 127: Elsevier, pp. 50–75, 2016.
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.
de Lemos, R., C. Ghezzi, A. Lopes, and , Assurances for Self-adaptive Systems: Principles, Models, and Techniques, : Springer Publishing Company, Incorporated, 2013.
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.
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.
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.
Santos, A. L., K. Koskimies, and A. Lopes, "Automating the construction of domain-specific modeling languages for object-oriented frameworks", Journal of Systems and Software, vol. 83, no. 7: Elsevier, pp. 1078–1093, 2010.
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.
B
Nunes, I., A. Lopes, and V. T. Vasconcelos, Bridging the Gap between Algebraic Specification and Generic Programming, : Runtime Verification, 9th International Workshop, 2009.
Nunes, I., A. Lopes, and V. T. Vasconcelos, "Bridging the gap between algebraic specification and object-oriented generic programming", Runtime Verification: Springer Berlin Heidelberg, pp. 115–131, 2009.
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.
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.
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.
Fiadeiro, J. Luiz, and A. Lopes, "Consistency of service composition", Fundamental Approaches to Software Engineering: Springer Berlin Heidelberg, pp. 63–77, 2012.
Mocito, J., L. Rosa, N. Almeida, H. Miranda, L. Rodrigues, and A. Lopes, Context adaptation of the communication stack, : Taylor & Francis Group, 2006.
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.
D
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.
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.
Abreu, J., A. Caldeira, A. Lopes, I. Nunes, L. S. Reis, and V. T. Vasconcelos, DI–FCUL TR–07–7, : Citeseer, 2007.
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., 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.
E
Galhardas, H., A. Lopes, and E. Santos, Explicitly Involving the User in a Data Cleaning Process, , 2010.
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.
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.
F
Fiadeiro, J. Luiz, A. Lopes, L. Bocchi, and J. Abreu, "A formal approach to service-oriented modelling", 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Web Services, 2009.
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., "Formal modelling of service-oriented systems", Model and Data Engineering: Springer Berlin Heidelberg, pp. 3–3, 2011.
Lee, D., A. Lopes, and A. Poetzsch-Heffter, Formal Techniques for Distributed Systems: Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009, Proceedings, , vol. 5522: Springer Science & Business Media, 2009.
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.
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., L. Rodrigues, A. Lopes, M. Hiltunen, and R. Schlichting, "From local impact functions to global adaptation of service compositions", Stabilization, Safety, and Security of Distributed Systems: Springer Berlin Heidelberg, pp. 593–608, 2009.
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.
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.
Lopes, A., and J. Luiz Fiadeiro, "A graph-based design framework for services", Graph Transformations: Springer Berlin Heidelberg, pp. 1–19, 2012.
H
Vasconcelos, V. T., A. Lopes, and F. Martins, "HeadREST: A Specification Language for RESTful APIs", TYPES 2018, pp. 80, 2018.
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.
Fiadeiro, J. L., and A. Lopes, "Heterogeneous and asynchronous networks of timed systems", Theoretical Computer Science, vol. 663: Elsevier, pp. 1–33, 2017.
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.
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.
Fiadeiro, J. Luiz, and A. Lopes, "An interface theory for service-oriented design", Theor. Comput. Sci., vol. 503, pp. 1–30, 2013.
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.
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.
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.
Fiadeiro, J. Luiz, and A. Lopes, "A model for dynamic reconfiguration in service-oriented architectures", Software Architecture: Springer Berlin Heidelberg, pp. 70–85, 2010.
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.
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.
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.
Vasconcelos, V. T., I. Nunes, A. Lopes, N. Ramiro, and P. Crispim, "Monitoring java code using ConGu", WADT 2008 Preliminary Proceedings, pp. 61, 2008.
N
Rufino, J., A. Casimiro, A. Lopes, F. Singhoff, S. Rubini, V-A. Nicolas, M. Lallali, M. Dridi, J. Boukhobza, and L. Allache, "NORTH-Non-intrusive Observation and RunTime verification of cyber-pHysical systems", Ada User Journal, 2018.
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.
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
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.
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.
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
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.
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.
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.
Lopes, A., and R. de Lemos, Software Architecture: 11th European Conference, ECSA 2017, Canterbury, UK, September 11-15, 2017, Proceedings, , vol. 10475: Springer, 2017.
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.
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.
Lopes, A., I. Nunes, and V. T. Vasconcelos, Specifying and Monitoring Java Classes, : DI-FCUL, 2009.
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.
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.
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.
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.