Linkedin

Member

Antónia Lopes

ONGOING

Acronym Title Funding Entity Start Date End Date
DACOMICO Data Consistency in Microservices Compositions FCT 15/01/2022 14/01/2025
SafeSessions Safe Concurrent Programming with Session Types FCT 01/03/2021 31/08/2024

PAST

Acronym Title Funding Entity Start Date End Date
RAP Resource Aware Programming FCT 13/01/2022 12/01/2024
CAMELOT Autonomic platform for Machine Learning using anonymized data P2020 01/07/2020 01/01/2023
EUTypes The European Research Network on Types for Programming and Verification COST ACTION 24/03/2016 20/03/2020
Abyss Autonomic Byzantine Fault-Tolerant Systems FCT 01/07/2016 31/12/2019
CONFIDENT Communication Contracts for Distributed Systems Development FCT 01/05/2016 31/10/2019
NORTH Non-intrusive Observation and RunTime verification of cyber-pHysical systems FCT 01/01/2017 31/12/2018
SANS Self-Adaptating NoSQL Stores FCT 02/01/2015 01/01/2016
ARTS ARTS - Towards Autonomic Road Transport Support Systems COST ACTION 22/09/2011 31/10/2015
ADAAS ADAAS - Assuring Dependability in Architecture-based Adaptive Systems FCT 01/10/2010 31/03/2014
QUEST A Quest for Reliability in Generic Software Components FCT 01/01/2010 31/12/2012
AssertionTypes Assertion Types for Object-Oriented Programming FCT 01/01/2010 31/12/2011
REDICO Dynamic Reconfiguration of Communication Protocols FCT 01/10/2007 30/09/2010
SENSORIA SENSORIA - Software Engineering for Service-Oriented Overlay Computers EU FP6 01/09/2005 28/02/2010
to
Duarte Guedes Sardão, José Campos, Antónia Lopes. Preliminary Study on the Effectiveness of ChatGPT at Identifying, Explaining, and Revealing Semantic Conflicts in Merge Commits. Master's dissertation, 2024 [Biblios]
Nuno Guilherme Nunes Castanho, Maria Antónia Bacelar da Costa Lopes, José Carlos Medeiros de Campos. Semantic Conflicts in Version Control Systems. Master's dissertation, 2021 [Biblios]
Francisco Robalinho Medeiros, Vasco Manuel Thudichum de Serpa Vasconcelos, Maria Antónia Bacelar da Costa Lopes. Security and Usability in the HeadREST Language. Master's dissertation, 2020 [Biblios]
Nuno Burnay, Antónia Lopes, Vasco T. Vasconcelos. Statically Checking REST API Consumers. In Software Engineering and Formal Methods,Lecture Notes in Computer Science, pages 265-283. Springer International Publishing, 2020 [Biblios]
José Luiz Fiadeiro, Ionu? ?u?u, Antónia Lopes, Dusko Pavlovic. Logics for Actor Networks: A two-stage constrained-hybridisation approach. Journal of Logical and Algebraic Methods in Programming, 106, Elsevier BV, 2019 [Biblios]
Burnay, Nuno Miguel Pereira, Vasconcelos, Vasco Thudichum, Lopes, Maria Antónia Bacelar da Costa. Types to the rescue: verification of REST APIs consumer code. Master's dissertation, 2019 [Biblios]
Dias, Marcus Sousa, Lopes, Maria Antónia Bacelar da Costa. Carteira digital como solução financeira. Master's dissertation, 2019 [Biblios]
Daniel Filipe Martiniano dos Santos, Lopes, Maria Antónia Bacelar da Costa. Smart E-Tickets: buying authentic and trustworthy tickets with blockchain. Master's dissertation, 2019 [Biblios]
Vasco T. Vasconcelos, Francisco Martins, Antónia Lopes, Nuno Burnay. HeadREST: A Specification Language for RESTful APIs, In Models, Languages, and Tools for Concurrent and Distributed Programming,Lecture Notes in Computer Science, pages 428 - 434. Springer International Publishing, 2019 [Biblios]
Ionut Tutu, Claudia Elena Chirita, Antónia Lopes, José Luiz Fiadeiro. Logical Support for Bike-Sharing System Design, In From Software Engineering to Formal Methods and Tools, and Back,Lecture Notes in Computer Science, pages 152 - 171. Springer International Publishing, 2019 [Biblios]
Richard Gil Martinez, Antónia Lopes, Luís Rodrigues. Planning workflow executions when using spot instances in the cloud. In Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing - SAC '19. ACM Press, 2019 [Biblios]
Vasco T. Vasconcelos, Francisco Martins, Antónia Lopes, Nuno Burnay. HeadREST: A Specification Language for RESTful APIs, In Models, Languages, and Tools for Concurrent and Distributed Programming,Lecture Notes in Computer Science, pages 428 - 434. Springer International Publishing, 2019 [Biblios]
Telmo da Silva Santos, Maria Antónia Bacelar da Costa Lopes, Vasco Manuel Thudichum de Serpa Vasconcelos. Code Generation for RESTful APIs REST in HeadREST. Master's dissertation, 2018 [Biblios]
Francisco Duarte, Richard Gil, Paolo Romano, Antónia Lopes, Luís Rodrigues. Learning non-deterministic impact models for adaptation. In Proceedings of the 13th International Conference on Software Engineering for Adaptive and Self-Managing Systems - SEAMS '18. ACM Press, 2018 [Biblios]
José Fiadeiro, Ionu? ?u?u, Antónia Lopes, Dusko Pavlovic. Logics for Actor Networks: A Case Study in Constrained Hybridization, In Lecture Notes in Computer Science, pages 98 - 114. Springer International Publishing, 2018 [Biblios]
Richard Gil Martinez, Zhongmiao Li, Antonia Lopes, Luis Rodrigues. Augure: Proactive reconfiguration of cloud applications using heterogeneous resources. In 2017 IEEE 16th International Symposium on Network Computing and Applications (NCA). IEEE, 2017 [Biblios]
JOSÉ FIADEIRO, ANTÓNIA LOPES, BENOÎT DELAHAYE, AXEL LEGAY. Dynamic networks of heterogeneous timed machines. Mathematical Structures in Computer Science, 28(06):800-855, Cambridge University Press (CUP), 2017 [Biblios]
José L. Fiadeiro, Antónia Lopes. Heterogeneous and asynchronous networks of timed systems. Theoretical Computer Science, 663, Elsevier BV, 2017 [Biblios]
Antónia Lopes, Rogério de Lemos. Software Architecture. 11th European Conference, ECSA 2017, Canterbury, UK, September 11-15, 2017, Proceedings, Springer International Publishing, Lecture Notes in Computer Science, 2017 [Biblios]
Richard Gil Martinez, Antónia Lopes, Luís Rodrigues. Automated generation of policies to support elastic scaling in cloud environments. In Proceedings of the Symposium on Applied Computing - SAC '17. ACM Press, 2017 [Biblios]
Javier Cámara, Antónia Lopes, David Garlan, Bradley Schmerl. Adaptation impact and environment models for architecture-based self-adaptive systems. Science of Computer Programming, 127, Elsevier BV, 2016 [Biblios]
António, Nkadi Sebastião, Galhardas, Helena Isabel de Jesus, Lopes, Maria Antónia Bacelar da Costa. Suporte ao envolvimento do utilizador em processos de limpeza de dados. Master's dissertation, 2014 [Biblios]
Javier Cámara Moreno, Antónia Lopes, David Garlan, Bradley Schmerl. Impact Models for Architecture-Based Self-adaptive Systems. In FACS 2014, pages 89-107, 2014 [Biblios]
Benoît Delahaye, José Luiz Fiadeiro, Axel Legay, Antónia Lopes. Heterogeneous Timed Machines. In 11th International Colloquium om Theoretical Aspects of Computing (ICTAC), pages 115-132, 2014 [Biblios]
José Luiz Fiadeiro, Antónia Lopes. Heterogeneous and Asynchronous Networks of Timed Systems. In FASE 2014, pages 79-93, 2014 [Biblios]
José Luiz Fiadeiro, Antónia Lopes. An interface theory for service-oriented design. Theoretical Computer Science, 503, Elsevier BV, 2013 [Biblios]
Ricardo Daniel Sequeira Wilhelm, tMartins, Francisco Cipriano da Cunha,, Lopes, Maria Antónia Bacelar da Costa. Mutation-driven Test Generation for Conflict Detection in Software Integration. Master's dissertation, 2013 [Biblios]
Y.Brun, R.Desmarais, K.Geihs, M.Litoiu, Antónia Lopes, M. Shaw, M. Smith. A Design Space for Adaptive Systems, In Software Engineering for Self-Adaptive Systems II. Springer-Verlag Berlin Heidelberg, 2013 [Biblios]
R.Lemos, H.Giese, H.Müller, M.Shaw, J.Andersson, M.Litoiu, B.Schmerl, G.Tamura, N.Villegas, T.Vogel, D.Weyns, L.Baresi, B.Becker, N.Bencomo, Y.Brun, B.Cukic, R.Desmarais, S.Dustdar, G.Engels, K.Geihs, K.Goeschka, A.Gorla, V.Grassi, P.Inverardi, G.Karsai, J.Kramer, Antónia Lopes, J.Magee, S.Malek, S.Mankovskii, R.Mirandola, J.Mylopoulos, O.Nierstrasz, M.Pezzè, C.Prehofer, W.Schäfer, R.Schlichting, D.Smith, J.Sousa, L.Tahvildari, K.Wong, J.Wuttke. Software Engineering for Self-Adaptive Systems: A second research roadmap, In Software Engineering for Self-Adaptive Systems II. Springer-Verlag Berlin Heidelberg, 2013 [Biblios]
Liliana Rosa, Luí Rodrigues, Antónia Lopes. Self-management of Distributed Systems Using High-level Goal Policies. Springer-Verlag Berlin Heidelberg, 2013 [Biblios]
Liliana Rosa, Luís Rodrigues, Antónia Lopes, Matti Hiltunen e Richard Schlichting. Self-management of Adaptable Component-based Applications. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 39(3):403-421, 2013 [Biblios]
José Luiz Fiadeiro, Antónia Lopes. A Model for Dynamic Reconfiguration in Service-oriented Architectures. SOFTWARE AND SYSTEMS MODELING, 12(2):349-367, 2013 [Biblios]
J.L.Fiadeiro, A.Lopes, J.Abreu. A Formal Model for Service-Oriented Interactions. SCIENCE OF COMPUTER PROGRAMMING, 77, 2012 [Biblios]
Javier Cámara, Rogério de Lemos, Carlo Ghezzi, Antónia Lopes. Workshop on assurances for self-adaptive systems (ASAS 2011), ACM New York, NY, USA, 2011 [Biblios]
José Luiz Fiadeiro, Antónia Lopes, Laura Bocchi. An Abstract Model of Service Discovery and Binding. FORMAL ASPECTS OF COMPUTING, 23(4):443-463, 2011 [Biblios]
Helena Galhardas, Antónia Lopes, Emanuel Santos. Explicitly Involving the User in a Data Cleaning Process, 2010 [Biblios]
Pedro Crispim, Antónia Lopes, Vasco Vasconcelos. Monitorização da Correcçãode Classes Genéricas. In INFORUM - Simpósio deInformática, 2010 [Biblios]
Pedro Crispim, Antónia Lopes, Vasco Vasconcelos. Runtime Verification for Generic Classes with ConGu2. In Proceedings of SBFM 2010, 2010 [Biblios]
José Luiz Fiadeiro, Antónia Lopes. Model for Dynamic Reconfiguration in Service-oriented Architectures. In Proceedings of 4th European Conference on Software Architectures (ECSA 2010), 2010 [Biblios]
André L. Santos, Kai Koskimies, Antónia Lopes. Automating the Construction of Domain-Specific Modeling Languages for Object-Oriented Frameworks. JOURNAL OF SYSTEMS AND SOFTWARE, 83(7):1078-1093, 2010 [Biblios]
L.Rosa, L.Rodrigues, Antónia Lopes, M. Hiltunen, R.Schlicht. From Local Impact Functions to Global Adaptations of Service Compositions. In 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2009), 2009 [Biblios]
D.Lee, Antónia Lopes, A.Poetzsch-Heffter. FMOODS/FORTE 2009: Formal Techniques for Distributed Systems 11th IFIP WG 6.1 International Conference, FMOODS 2009 and 29th IFIP WG 6.1 International Conference, FORTE 2009,, SPRINGER, 2009 [Biblios]
Isabel Nunes, Antónia Lopes, Vasco T. Vasconcelos. Bridging the Gap between Algebraic Specification and Object-oriented Generic Programming. In 9th International Workshop on Runtime Verification, pages 115-131(5779). Springer Berlin Heidelberg, 2009 [Biblios]
Vasco T. Vasconcelos, Isabel Nunes, Antónia Lopes, Nuno Ramiro, Pedro Crispim. Runtime checking Java code using ConGu. In International Workshop on Advanced Software Development Tools and Techniques, 2008, 2008 [Biblios]
Vasco T. Vasconcelos, Isabel Nunes, Antonia Lopes. Monitoring Java code using ConGu. In 19th International Workshop on Algebraic Development Techniques, 2008 [Biblios]
Liliana Rosa, Antónia Lopes, Luís Rodrigues. Modelling Adaptive Services for Distributed Systems. In ACM Symposium on Applied Computing (SAC 2008), 2008 [Biblios]
Laura Bocchi, José Luiz Fiadeiro, Antónia Lopes. Service-Oriented Modelling of Automotive Systems. In 32nd Annual IEEE International Computer Software and Applications Conference (COMPSAC 2008), pages 1059-1064, 2008 [Biblios]
Laura Bocchi, José Luiz Fiadeiro, Antónia Lopes. A Use-Case Driven Approach to Formal Service-Oriented Modelling. In ISoLA 2008, pages 155-169, 2008 [Biblios]
Carreira P., H. Galhardas, A. Lopes, J. Pereira. One-to-many transformation through data mappers. DATA & KNOWLEDGE ENGINEERING, 62(3):483-503, 2007 [Biblios]
Liliana Rosa, Luís Rodrigues, Antónia Lopes. A Framework to Support Multiple Reconfiguration Strategies. In First International Conference on Autonomic Computing and Communication Systems, 2007 [Biblios]
Liliana Rosa, Luís Rodrigues, Antónia Lopes. Building Adaptive Systems with Service Composition Frameworks. In International Conference on Distributed Objects and Applications, 2007 [Biblios]
André Leal Santos, Antónia Lopes, Kai Koskimies. Framework Specialization Aspects. In 6th International Conference on Aspect-Oriented Software Development, 2007 [Biblios]
J. L. Fiadeiro, Antónia Lopes, L. Bocchi. Algebraic Semantics of Service Component Modules. Springer Berlin / Heidelberg, 2007 [Biblios]
P. Carreira, Helena Galhardas, Antónia Lopes, J. Pereira. One-to-many data transformations through data mappers. DATA & KNOWLEDGE ENGINEERING, 62(3):483-503, 2007 [Biblios]
J. L. Fiadeiro, Antónia Lopes. A Categorical Semantics of Event-based Architectures. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 17(5):1029-1073, 2007 [Biblios]
José Mocito, Liliana Rosa, Nuno Almeida, Hugo Miranda, Luís Rodrigues, Antónia Lopes. Context Adaptation of the Communication Stack. INTERNATIONAL JOURNAL OF PARALLEL, EMERGENT AND DISTRIBUTED SYSTEMS, 21(3):169-181, Informa UK Limited, 2006 [Biblios]
Isabel Nunes, Antónia Lopes, Vasco Vasconcelos, João Abreu, Luís S. Reis. Checking the Conformance of Java Classes Against Algebraic Specifications, In Formal Methods and Software Engineering,Lecture Notes in Computer Science, pages 494 - 513. Springer Berlin Heidelberg, 2006 [Biblios]
José Mocito, Liliana Rosa, Nuno Almeida, Hugo Miranda, Luís Rodrigues, Antónia Lopes. Context Adaptation of the Communication Stack. In Third International Workshop on Mobile Distributed Computing (MDC'05), in conjunction with the 25th International Conference on Distributed Computing Systems (ICDCS-25). IEEE, 2005 [Biblios]
Isabel Nunes, Antónia Lopes, Vasco Vasconcelos, João Abreu, Luís S. Rei. Testing Implementations of Algebraic Specifications with Design-By-Contract Tools, 2005 [Biblios]