???global.info.a_carregar???
Identificação

Identificação pessoal

Nome completo
Maria Antónia Bacelar da Costa Lopes

Nomes de citação

  • Lopes, Antónia

Identificadores de autor

Ciência ID
851B-5F61-7083
ORCID iD
0000-0003-0688-3521

Endereços de correio eletrónico

  • malopes@ciencias.ulisboa.pt (Profissional)

Moradas

  • Faculdade de Ciencias, Departamento de Informatica, Univ. Lisboa, Campo Grande , 1749-016, Lisboa, Campo Grande, Portugal (Profissional)

Websites

Domínios de atuação

  • Ciências Exatas - Ciências da Computação e da Informação - Ciências da Computação
  • Ciências Exatas - Ciências da Computação e da Informação - Ciências da Computação
Formação
Grau Classificação
1999
Concluído
 Informatics (Doutoramento)
Universidade de Lisboa Faculdade de Ciências, Portugal
"Nondeterminism and Compositionaly in the Specification of Reactive Systems" (TESE/DISSERTAÇÃO)
 Aprovado com Distinção e Louvor
1993
Concluído
 Applied Mathematics (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
"Inheritance in Oblog Specifications" (TESE/DISSERTAÇÃO)
 Muito Bom
1991
Concluído
 Applied Mathematics and Computer Science (Licenciatura)
Universidade de Lisboa Instituto Superior Técnico, Portugal
"Calculi for an Object Logic" (TESE/DISSERTAÇÃO)
 17 valores
Percurso profissional

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento 		Empregador
2006/03/15 - Atual Professor Associado (Docente Universitário) Universidade de Lisboa Faculdade de Ciências, Portugal
1999/06/01 - 2006/03/15 Professor Auxiliar (Docente Universitário) Universidade de Lisboa Faculdade de Ciências, Portugal
1993 - 1999 Assistente (Docente Universitário) Universidade de Lisboa Faculdade de Ciências, Portugal
1991/09/01 - 1993/09/01 Assistente Estagiário (Docente Universitário) Universidade de Lisboa Instituto Superior Técnico, Portugal
Projetos

Bolsa

Designação Financiadores
2013/02/15 - 2013/05/14 TEORIA DE INTERFACES PARA SERVIÇOS
SFRH/BSAB/1298/2012
Universidade de Lisboa Faculdade de Ciências, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2007 - 2008 CAMS Context Aware Mobile Systems
Procº 4.1.1 Polónia
Investigador responsável
2006/01/30 - 2006/04/29 UMA ABORDAGEM FORMAL AO DESENHO DE SISTEMAS COM UMA ARQUITECTURA CENTRADA EM SERVIÇOS
SFRH/BSAB/568/2005
Universidade de Lisboa, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído

Projeto

Designação Financiadores
2022/01/15 - 2025/01/14 Data Consistency in Microservices Compositions
PTDC/CCI-COM/2156/2021
10.54499/PTDC/CCI-COM/2156/2021
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal

FCiênciasID Associação para a Investigação e Desenvolvimento de Ciências, Portugal

LASIGE Laboratório de Sistemas Informáticos de Grande Escala, Portugal
Fundação para a Ciência e a Tecnologia
Em curso
2021/03/01 - 2024/08/29 Safe Concurrent Programming with Session Types
PTDC/CCI-COM/6453/2020
10.54499/PTDC/CCI-COM/6453/2020
FCiênciasID Associação para a Investigação e Desenvolvimento de Ciências, Portugal

LASIGE Laboratório de Sistemas Informáticos de Grande Escala, Portugal

Universidade de Lisboa Faculdade de Ciências, Portugal
Fundação para a Ciência e a Tecnologia
Em curso
2022/01/13 - 2024/01/12 Resource Aware Programming
EXPL/CCI-COM/1306/2021
10.54499/EXPL/CCI-COM/1306/2021
FCiênciasID Associação para a Investigação e Desenvolvimento de Ciências, Portugal

LASIGE Laboratório de Sistemas Informáticos de Grande Escala, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
2020/07 - 2023/04 CAMELOT: AutonomiC Platform for Machine Learning using Anonymized Data
45915
Investigador
Fundação para a Ciência e a Tecnologia
Em curso
2019/01/01 - 2019/12/31 LARGE-SCALE INFORMATICS SYSTEMS LABORATORY
UID/CEC/00408/2019
FCiênciasID Associação para a Investigação e Desenvolvimento de Ciências, Portugal

LASIGE Laboratório de Sistemas Informáticos de Grande Escala, Portugal

Universidade de Lisboa Faculdade de Ciências, Portugal

Fundação da Faculdade de Ciências da Universidade de Lisboa, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
2016/07/01 - 2019/12/31 Abyss: Autonomic Byzantine Fault-Tolerant Systems
PTDC/EEI-SCR/1741/2014
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal

FCiênciasID Associação para a Investigação e Desenvolvimento de Ciências, Portugal

Fundação da Faculdade de Ciências da Universidade de Lisboa, Portugal

LASIGE Laboratório de Sistemas Informáticos de Grande Escala, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
2016/05/01 - 2019/10/31 Contratos Comunicação para Desenvolvimento de Sistemas Distribuidos
PTDC/EEI-CTP/4503/2014
FCiênciasID Associação para a Investigação e Desenvolvimento de Ciências, Portugal

LASIGE Laboratório de Sistemas Informáticos de Grande Escala, Portugal

Instituto de Telecomunicações Lisboa, Portugal

Universidade de Lisboa Faculdade de Ciências, Portugal

Fundação da Faculdade de Ciências da Universidade de Lisboa, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
2016/05 - 2019/09 Design by contract: Communication Contracts for Distributed Systems Development
PTDC/EEI-CTP/4503/2014
Investigador
Concluído
2016/05 - 2019/09 Abyss: Sistemas Autonómicos Tolerantes a Falhas Maliciosas (ABYSS)
PTDC/EEI-SCR/1741/2014
Investigador
2015 - 2016 SANS: Self-Adaptating NoSQL Stores
CMUP-EPB/TIC/0042/2013
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal

Fundação da Faculdade de Ciências da Universidade de Lisboa, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
2010/11/01 - 2014/04/30 Assuring Dependability in Architecture-based Adaptive Systems
CMU-PT/ELE/0030/2009
Investigador
Universidade de Coimbra, Portugal

Universidade de Coimbra Departamento de Engenharia Civil, Portugal

Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal

Universidade de Coimbra Faculdade de Ciencias e Tecnologia, Portugal

Fundação da Faculdade de Ciências da Universidade de Lisboa, Portugal

LASIGE Laboratório de Sistemas Informáticos de Grande Escala, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
2011/01/01 - 2013/12/31 Strategic Project - UI 408 - 2011-2012
PEst-OE/EEI/UI0408/2011
Fundação da Faculdade de Ciências da Universidade de Lisboa, Portugal

LASIGE Laboratório de Sistemas Informáticos de Grande Escala, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
2010/01/01 - 2013/06/30 A Quest for Reliability in Generic Software Components
PTDC/EIA-EIA/103103/2008
Investigador responsável
Fundação da Faculdade de Ciências da Universidade de Lisboa, Portugal

LASIGE Laboratório de Sistemas Informáticos de Grande Escala, Portugal

Universidade de Lisboa Faculdade de Ciências, Portugal

Universidade do Porto Faculdade de Engenharia, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
2010/01/01 - 2012/06/30 Assertion Types for Object-Oriented Programming
PTDC/EIA-CCO/105359/2008
Fundação da Faculdade de Ciências da Universidade de Lisboa, Portugal

LASIGE Laboratório de Sistemas Informáticos de Grande Escala, Portugal

Universidade de Lisboa Faculdade de Ciências, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
2008/01/01 - 2010/12/31 Redico: Dynamic Reconfiguration of Communication Protocols
PTDC/EIA/71752/2006
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal

LASIGE Laboratório de Sistemas Informáticos de Grande Escala, Portugal

Universidade de Lisboa Faculdade de Ciências, Portugal

Fundação da Faculdade de Ciências da Universidade de Lisboa, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
2005 - 2010 SENSORIA: Software Engineering for Service-Oriented Overlay Computers
www.sensoria-ist.eu
Investigador
2005/05/01 - 2008/06/30 MICAS, MIddleware for Context-aware and Adaptive Systems
POSC/EIA/60692/2004
Fundação da Faculdade de Ciências da Universidade de Lisboa, Portugal

LASIGE Laboratório de Sistemas Informáticos de Grande Escala, Portugal

Universidade de Lisboa Faculdade de Ciências, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
2005 - 2007 Micas: Middleware for Context-aware and Adaptative Systems
POSI/EIA/60692/2004
Investigador
2004 - 2006 Contract Guided System Development
POSI/CHS/48015/2002
Investigador
2002 - 2005 AGILE An Architectural Approach to Mobility
IST-2001-32747
Investigador
2000/06 - 2003/06 FAST Formal Approach to Software Architecture
32717/99
Investigador
Fundação para a Ciência e a Tecnologia
Concluído
Produções

Publicações

Artigo em conferência
  1. Martinez, Richard Gil; Lopes, Antónia; Rodrigues, Luís. "Planning workflow executions when using spot instances in the cloud". 2019.
    10.1145/3297280.3297313
  2. Martinez, R.G.; Lopes, A.; Rodrigues, L.. "Automated generation of policies to support elastic scaling in cloud environments". 2017.
    10.1145/3019612.3019658
  3. Wermelinger, M.; Lopes, A.; Fiadeiro, J.L.. "Superposing connectors". 2000.
    10.1109/IWSSD.2000.891129
Artigo em revista
  1. Fiadeiro, José Luiz; Tutu, Ionut; Lopes, Antónia; Pavlovic, Dusko. "Logics for Actor Networks: A two-stage constrained-hybridisation approach". Journal of Logical and Algebraic Methods in Programming 106 (2019): 141-166. http://dx.doi.org/10.1016/j.jlamp.2019.05.001.
    10.1016/j.jlamp.2019.05.001
  2. Fiadeiro, J.L.; Lopes, A.. "Heterogeneous and asynchronous networks of timed systems". Theoretical Computer Science 663 (2017): 1-33. http://www.scopus.com/inward/record.url?eid=2-s2.0-85008430169&partnerID=MN8TOARS.
    10.1016/j.tcs.2016.12.014
  3. FIADEIRO, J.; LOPES, A.; DELAHAYE, B.; LEGAY, A.. "Dynamic networks of heterogeneous timed machines". Mathematical Structures in Computer Science (2017): 1-56. http://www.scopus.com/inward/record.url?eid=2-s2.0-85019577946&partnerID=MN8TOARS.
    10.1017/S0960129517000135
  4. Cámara, J.; Lopes, A.; Garlan, D.; Schmerl, B.. "Adaptation impact and environment models for architecture-based self-adaptive systems". Science of Computer Programming (2015): http://www.scopus.com/inward/record.url?eid=2-s2.0-84955270031&partnerID=MN8TOARS.
    10.1016/j.scico.2015.12.006
  5. De Lemos, R.; Giese, H.; Müller, H.A.; Shaw, M.; Andersson, J.; Litoiu, M.; Schmerl, B.; et al. "Software engineering for self-adaptive systems: A second research roadmap". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7475 LNCS (2013): 1-32. http://www.scopus.com/inward/record.url?eid=2-s2.0-84879852118&partnerID=MN8TOARS.
    10.1007/978-3-642-35813-5_1
  6. Brun, Y.; Desmarais, R.; Geihs, K.; Litoiu, M.; Lopes, A.; Shaw, M.; Smit, M.. "A design space for self-adaptive systems". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7475 LNCS (2013): 33-50. http://www.scopus.com/inward/record.url?eid=2-s2.0-84876911632&partnerID=MN8TOARS.
    10.1007/978-3-642-35813-5_2
  7. Delahaye, B.; Fiadeiro, J.L.; Legay, A.; Lopes, A.. "A timed component algebra for services". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7892 LNCS (2013): 242-257. http://www.scopus.com/inward/record.url?eid=2-s2.0-84884282647&partnerID=MN8TOARS.
    10.1007/978-3-642-38592-6_17
  8. Rosa, L.; Rodrigues, L.; Lopes, A.. "Self-management of distributed systems using high-level goal policies". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7475 LNCS (2013): 162-190. http://www.scopus.com/inward/record.url?eid=2-s2.0-84883584414&partnerID=MN8TOARS.
    10.1007/978-3-642-35813-5_7
  9. Fiadeiro, J.L.; Lopes, A.. "A model for dynamic reconfiguration in service-oriented architectures". Software and Systems Modeling 12 2 (2013): 349-367. http://www.scopus.com/inward/record.url?eid=2-s2.0-84878188328&partnerID=MN8TOARS.
    10.1007/s10270-012-0236-1
  10. Cámara, J.; De Lemos, R.; Ghezzi, C.; Lopes, A.. "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7740 LNCS (2013): http://www.scopus.com/inward/record.url?eid=2-s2.0-84873832798&partnerID=MN8TOARS.
    10.1007/978-3-642-36249-1
  11. Fiadeiro, J.L.; Lopes, A.. "An interface theory for service-oriented design". Theoretical Computer Science 503 (2013): 1-30. http://www.scopus.com/inward/record.url?eid=2-s2.0-84884282298&partnerID=MN8TOARS.
    10.1016/j.tcs.2013.05.011
  12. Rosa, L.; Rodrigues, L.; Lopes, A.; Hiltunen, M.; Schlichting, R.. "Self-management of adaptable component-based applications". IEEE Transactions on Software Engineering 39 3 (2013): 403-421. http://www.scopus.com/inward/record.url?eid=2-s2.0-84879301510&partnerID=MN8TOARS.
    10.1109/TSE.2012.29
  13. Fiadeiro, J.; Lopes, A.; Abreu, J.. "A formal model for service-oriented interactions". Science of Computer Programming 77 5 (2012): 577-608. http://www.scopus.com/inward/record.url?eid=2-s2.0-84857915198&partnerID=MN8TOARS.
    10.1016/j.scico.2011.12.003
  14. Fiadeiro, J.L.; Lopes, A.. "Consistency of service composition". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7212 LNCS (2012): 63-77. http://www.scopus.com/inward/record.url?eid=2-s2.0-84859127515&partnerID=MN8TOARS.
    10.1007/978-3-642-28872-2_5
  15. Lopes, A.; Fiadeiro, J.L.. "A graph-based design framework for services". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7562 LNCS (2012): 1-19. http://www.scopus.com/inward/record.url?eid=2-s2.0-84867653199&partnerID=MN8TOARS.
    10.1007/978-3-642-33654-6_1
  16. Rebello De Andrade, F.; Faria, J.P.; Lopes, A.; Paiva, A.C.R.. "Specification-driven unit test generation for java generic classes". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7321 LNCS (2012): 296-311. http://www.scopus.com/inward/record.url?eid=2-s2.0-84864328430&partnerID=MN8TOARS.
    10.1007/978-3-642-30729-4_21
  17. Cámara, J.; Lopes, A.; De Lemos, R.; Ghezzi, C.. "ASAS'11 - Proceedings of the 8th Workshop on Assurances for Self-Adaptive Systems: Foreword". ASAS'11 - Proceedings of the 8th Workshop on Assurances for Self-Adaptive Systems (2011): http://www.scopus.com/inward/record.url?eid=2-s2.0-80053215613&partnerID=MN8TOARS.
  18. Cámara, J.; De Lemos, R.; Ghezzi, C.; Lopes, A.. "Workshop on assurances for self-adaptive systems (ASAS 2011)". SIGSOFT/FSE 2011 - Proceedings of the 19th ACM SIGSOFT Symposium on Foundations of Software Engineering (2011): 516-517. http://www.scopus.com/inward/record.url?eid=2-s2.0-80053203354&partnerID=MN8TOARS.
    10.1145/2025113.2025208
  19. Rosa, L.; Rodrigues, L.; Lopes, A.. "Goal-oriented self-management of in-memory distributed data grid platforms". Proceedings - 2011 3rd IEEE International Conference on Cloud Computing Technology and Science, CloudCom 2011 (2011): 587-591. http://www.scopus.com/inward/record.url?eid=2-s2.0-84857158995&partnerID=MN8TOARS.
    10.1109/CloudCom.2011.90
  20. Fiadeiro, J.; Lopes, A.; Bocchi, L.; Abreu, J.. "The sensoria reference modelling language". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 6582 (2011): 61-114. http://www.scopus.com/inward/record.url?eid=2-s2.0-80455126041&partnerID=MN8TOARS.
    10.1007/978-3-642-20401-2_5
  21. Fiadeiro, J.L.; Lopes, A.; Bocchi, L.. "An abstract model of service discovery and binding". Formal Aspects of Computing 23 4 (2011): 433-463. http://www.scopus.com/inward/record.url?eid=2-s2.0-80054859561&partnerID=MN8TOARS.
    10.1007/s00165-010-0166-z
  22. Fiadeiro, J.L.; Lopes, A.. "An interface theory for service-oriented design". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 6603 LNCS (2011): 18-33. http://www.scopus.com/inward/record.url?eid=2-s2.0-79953178264&partnerID=MN8TOARS.
    10.1007/978-3-642-19811-3_3
  23. Galhardas, H.; Lopes, A.; Santos, E.. "Extending data cleaning graphs for supporting user involvement". Proceedings of the 6th Iberian Conference on Information Systems and Technologies, CISTI 2011 (2011): http://www.scopus.com/inward/record.url?eid=2-s2.0-80052496863&partnerID=MN8TOARS.
  24. Galhardas, H.; Lopes, A.; Santos, E.. "Support for user involvement in data cleaning". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 6862 LNCS (2011): 136-151. http://www.scopus.com/inward/record.url?eid=2-s2.0-80052307108&partnerID=MN8TOARS.
    10.1007/978-3-642-23544-3_11
  25. Crispim, P.; Lopes, A.; Vasconcelos, V.T.. "Runtime verification for generic classes with ConGu 2". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 6527 LNCS (2011): 33-48. http://www.scopus.com/inward/record.url?eid=2-s2.0-79953031047&partnerID=MN8TOARS.
    10.1007/978-3-642-19829-8_3
  26. Santos, A.L.; Koskimies, K.; Lopes, A.. "Automating the construction of domain-specific modeling languages for object-oriented frameworks". Journal of Systems and Software 83 7 (2010): 1078-1093. http://www.scopus.com/inward/record.url?eid=2-s2.0-77953128100&partnerID=MN8TOARS.
    10.1016/j.jss.2010.01.047
  27. Fiadeiro, J.L.; Lopes, A.. "A model for dynamic reconfiguration in service-oriented architectures". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 6285 LNCS (2010): 70-85. http://www.scopus.com/inward/record.url?eid=2-s2.0-78049334875&partnerID=MN8TOARS.
    10.1007/978-3-642-15114-9_8
  28. Nunes, I.; Lopes, A.; Vasconcelos, V.T.. "Bridging the gap between algebraic specification and object-oriented generic programming". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 5779 LNCS (2009): 115-131. http://www.scopus.com/inward/record.url?eid=2-s2.0-70549084008&partnerID=MN8TOARS.
    10.1007/978-3-642-04694-0_9
  29. Rosa, L.; Rodrigues, L.; Lopes, A.; Hiltunen, M.; Schlichting, R.. "From local impact functions to global adaptation of service compositions". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 5873 LNCS (2009): 593-608. http://www.scopus.com/inward/record.url?eid=2-s2.0-70549111155&partnerID=MN8TOARS.
    10.1007/978-3-642-05118-0_41
  30. Lee, D.; Lopes, A.; Poetzsch-Heffter, A.. "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 5522 LNCS (2009): http://www.scopus.com/inward/record.url?eid=2-s2.0-70349319692&partnerID=MN8TOARS.
  31. Rosa, L.; Lopes, A.; Rodrigues, L.. "Modelling adaptive services for distributed systems". Proceedings of the ACM Symposium on Applied Computing (2008): 2174-2180. http://www.scopus.com/inward/record.url?eid=2-s2.0-56749164051&partnerID=MN8TOARS.
    10.1145/1363686.1364206
  32. Bocchi, L.; Fiadeiro, J.L.; Lopes, A.. "A use-case driven approach to formal service-oriented modelling". Communications in Computer and Information Science 17 CCIS (2008): 155-169. http://www.scopus.com/inward/record.url?eid=2-s2.0-78049329617&partnerID=MN8TOARS.
    10.1007/978-3-540-88479-8-12
  33. Bocchi, L.; Hong, Y.; Lopes, A.; Fiadeiro, J.L.. "From BPEL to SRML: A formal transformational approach". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4937 LNCS (2008): 92-107. http://www.scopus.com/inward/record.url?eid=2-s2.0-43149092953&partnerID=MN8TOARS.
    10.1007/978-3-540-79230-7_7
  34. Santos, A.L.; Koskimies, K.; Lopes, A.. "Automated Domain-Specific Modeling Languages for generating framework-based applications". Proceedings - 12th International Software Product Line Conference, SPLC 2008 (2008): 149-158. http://www.scopus.com/inward/record.url?eid=2-s2.0-55049120802&partnerID=MN8TOARS.
    10.1109/SPLC.2008.17
  35. Bocchi, L.; Fiadeiro, J.L.; Lopes, A.. "Service-oriented modelling of automotive systems". Proceedings - International Computer Software and Applications Conference (2008): 1059-1064. http://www.scopus.com/inward/record.url?eid=2-s2.0-51949096167&partnerID=MN8TOARS.
    10.1109/COMPSAC.2008.228
  36. Dwyer, M.B.; Lopes, A.. "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics: Preface". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4422 LNCS (2007): http://www.scopus.com/inward/record.url?eid=2-s2.0-37149016806&partnerID=MN8TOARS.
  37. Abreu, J.; Bocchi, L.; Fiadeira, J.L.; Lopes, A.. "Specifying and composing interaction protocols for service-oriented system modelling". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4574 LNCS (2007): 358-373. http://www.scopus.com/inward/record.url?eid=2-s2.0-38149139244&partnerID=MN8TOARS.
  38. Santos, A.L.; Lopes, A.; Koskimies, K.. "Framework specialization aspects". ACM International Conference Proceeding Series 208 (2007): 14-24. http://www.scopus.com/inward/record.url?eid=2-s2.0-34548247188&partnerID=MN8TOARS.
    10.1145/1218563.1218566
  39. Fiadeiro, J.L.; Lopes, A.; Bocchi, L.. "Algebraic semantics of service component modules". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4409 LNCS (2007): 37-55. http://www.scopus.com/inward/record.url?eid=2-s2.0-38049073909&partnerID=MN8TOARS.
  40. Rosa, L.; Rodrigues, L.; Lopes, A.. "Building adaptive systems with service composition frameworks". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4803 LNCS PART 1 (2007): 754-771. http://www.scopus.com/inward/record.url?eid=2-s2.0-38349051452&partnerID=MN8TOARS.
  41. Carreira, P.; Galhardas, H.; Lopes, A.; Pereira, J.. "One-to-many data transformations through data mappers". Data and Knowledge Engineering 62 3 (2007): 483-503. http://www.scopus.com/inward/record.url?eid=2-s2.0-34248217632&partnerID=MN8TOARS.
    10.1016/j.datak.2006.08.011
  42. Fiadeiro, J.L.; Lopes, A.; Bocchi, L.. "A formal approach to service component architecture". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4184 LNCS (2006): 193-213. http://www.scopus.com/inward/record.url?eid=2-s2.0-33845189831&partnerID=MN8TOARS.
  43. Rosa, L.; Lopes, A.; Rodrigues, L.. "Policy-driven adaptation of protocol stacks". 2006 International Conference on Autonomic and Autonomous Systems, ICAS'06 (2006): http://www.scopus.com/inward/record.url?eid=2-s2.0-36448972758&partnerID=MN8TOARS.
    10.1109/ICAS.2006.43
  44. Nunes, I.; Lopes, A.; Vasconcelos, V.; Abreu, J.; Reis, L.S.. "Checking the conformance of Java classes against algebraic specifications". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4260 LNCS (2006): 494-513. http://www.scopus.com/inward/record.url?eid=2-s2.0-33845266262&partnerID=MN8TOARS.
  45. Mocito, J.; Rosa, L.; Almeida, N.; Miranda, H.; Rodrigues, L.; Lopes, A.. "Context adaptation of the communication stack". International Journal of Parallel, Emergent and Distributed Systems 21 3 (2006): 169-181. http://www.scopus.com/inward/record.url?eid=2-s2.0-33645136350&partnerID=MN8TOARS.
    10.1080/17445760500356098
  46. Fiadeiro, J.L.; Lopes, A.. "A formal approach to event-based architectures". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 3922 LNCS (2006): 18-32. http://www.scopus.com/inward/record.url?eid=2-s2.0-33745772564&partnerID=MN8TOARS.
    10.1007/11693017_4
  47. Lopes, A.; Fiadeiro, J.L.. "Adding mobility to software architectures". Science of Computer Programming 61 2 (2006): 114-135. http://www.scopus.com/inward/record.url?eid=2-s2.0-33646136450&partnerID=MN8TOARS.
    10.1016/j.scico.2005.10.010
  48. Oliveira, C.; Wermelinger, M.; Fiadeiro, J.L.; Lopes, A.. "Modelling the GSM handover protocol in commUnity". Electronic Notes in Theoretical Computer Science 141 3 (2005): 3-25. http://www.scopus.com/inward/record.url?eid=2-s2.0-27944488653&partnerID=MN8TOARS.
    10.1016/j.entcs.2005.06.031
  49. Lopes, A.; Fiadeiro, J.L.. "Algebraic semantics of design abstractions for context-awareness". Lecture Notes in Computer Science 3423 (2005): 79-93. http://www.scopus.com/inward/record.url?eid=2-s2.0-24344436416&partnerID=MN8TOARS.
  50. Carreira, P.; Galhardas, H.; Pereira, J.; Lopes, A.. "Data mapper: An operator for expressing one-to-many data transformations". Lecture Notes in Computer Science 3589 (2005): 136-145. http://www.scopus.com/inward/record.url?eid=2-s2.0-26844556548&partnerID=MN8TOARS.
  51. Lopes, A.; Fiadeiro, J.L.. "Context-awareness in software architectures". Lecture Notes in Computer Science 3527 (2005): 146-161. http://www.scopus.com/inward/record.url?eid=2-s2.0-26444500501&partnerID=MN8TOARS.
  52. Fiadeiro, J.L.; Lopes, A.. "Community on the move: Architectures for distribution and mobility". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 3188 (2004): 177-196. http://www.scopus.com/inward/record.url?eid=2-s2.0-33745764679&partnerID=MN8TOARS.
  53. Lopes, A.; Fiadeiro, J.L.. "Superposition: Composition vs refinement of non-deterministic, action-based systems". Formal Aspects of Computing 16 1 (2004): 5-18. http://www.scopus.com/inward/record.url?eid=2-s2.0-21044457100&partnerID=MN8TOARS.
    10.1007/s00165-003-0021-6
  54. Oliveira, C.; Wermelinger, M.; Fiadeiro, J.L.; Lopes, A.. "An architectural approach to mobility - The handover case study". Proceedings - Fourth Working IEEE/IFIP Conference on Software Architecture (WICSA 2004) (2004): 305-308. http://www.scopus.com/inward/record.url?eid=2-s2.0-4944252818&partnerID=MN8TOARS.
    10.1109/WICSA.2004.1310715
  55. Lopes, A.; Fiadeiro, J.L.. "Adding mobility to software architectures". Electronic Notes in Theoretical Computer Science 97 (2004): 241-258. http://www.scopus.com/inward/record.url?eid=2-s2.0-18944404534&partnerID=MN8TOARS.
    10.1016/j.entcs.2004.04.039
  56. Lopes, A.; Wermelinger, M.; Fiadeiro, J.L.. "Higher-order architectural connectors". ACM Transactions on Software Engineering and Methodology 12 1 (2003): 64-104. http://www.scopus.com/inward/record.url?eid=2-s2.0-2442474189&partnerID=MN8TOARS.
    10.1145/839268.839272
  57. Lopes, A.; Fiadeiro, J.L.. "On how distribution and mobility interfere with coordination". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2755 (2003): 343-358. http://www.scopus.com/inward/record.url?eid=2-s2.0-0346955912&partnerID=MN8TOARS.
  58. Lopes, A.; Fiadeiro, J.L.. "Superposition: Composition vs refinement of non-deterministic, action-based systems". Electronic Notes in Theoretical Computer Science 70 3 (2002): 352-366. http://www.scopus.com/inward/record.url?eid=2-s2.0-23844516209&partnerID=MN8TOARS.
    10.1016/S1571-0661(05)82562-9
  59. Lopes, A.; Fiadeiro, J.L.; Wermelinger, M.. "Architectural primitives for distribution and mobility". Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering (2002): 41-50. http://www.scopus.com/inward/record.url?eid=2-s2.0-0038687552&partnerID=MN8TOARS.
  60. Wermelinger, M.; Lopes, A.; Fiadeiro, J.L.. "A graph based architectural (re)configuration language". Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering (2001): 21-32. http://www.scopus.com/inward/record.url?eid=2-s2.0-0035783734&partnerID=MN8TOARS.
Capítulo de livro
  1. Nuno Burnay; Antónia Lopes; Vasco T. Vasconcelos. "Statically Checking REST API Consumers". 2020.
    10.1007/978-3-030-58768-0_15
  2. Vasco T. Vasconcelos; Francisco Martins; Antónia Lopes; Nuno Burnay. "HeadREST: A Specification Language for RESTful APIs". 428-434. Springer International Publishing, 2019.
    10.1007/978-3-030-21485-2_23
  3. Tutu, Ionut; Chirita, Claudia Elena; Lopes, Antónia; Fiadeiro, José Luiz. "Logical Support for Bike-Sharing System Design". In From Software Engineering to Formal Methods and Tools, and Back, 152-171. Springer International Publishing, 2019.
    10.1007/978-3-030-30985-5_10
Edição de livro
  1. Lopes, Antónia, ed. Coordination Models and Languages. Springer Nature Switzerland. 2023.
    10.1007/978-3-031-35361-1
Livro
  1. Lopes, A.; de Lemos, R.. Preface. 2017.
  2. Moreno, J.C.; Lopes, A.; Garlan, D.; Schmerl, B.. Impact models for Architecture-based self-adaptive systems. 2015.
    10.1007/978-3-319-15317-9_6
  3. Fiadeiro, J.L.; Lopes, A.. Heterogeneous and asynchronous networks of timed systems. 2014.
    10.1007/978-3-642-54804-8_6
  4. Delahaye, B.; Fiadeiro, J.L.; Legay, A.; Lopes, A.. Heterogeneous timed machines. 2014.
  5. Lee, D.; Lopes, A.; Poetzsch-Heffter, A.. Preface. 2009.
  6. Lee, D.; Lopes, A.; Poetzsch-Heffter, A.. 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. 2009.
  7. Bruni, R.; Fiadeiro, J.L.; Lanese, I.; Lopes, A.; Montanari, U.. New insights on architectural connectors. 2004.
  8. Andrade, L.; Baldan, P.; Baumeister, H.; Bruni, R.; Corradini, A.; De Nicola, R.; Fiadeiro, J.L.; et al. AGILE: Software architecture for mobility. 2003.
  9. Lopes, A.; Fiadeiro, J.L.. Revisiting the categorical approach to systems. 2002.
  10. Lopes, A.; Wermelinger, M.; Fiadeiro, J.L.. A compositional approach to connector construction. 2002.
  11. Andrade, L.F.; Fiadeiro, J.L.; Gouveia, J.; Lopes, A.; Wermelinger, M.. Patterns for coordination. 2000.
  12. Lopes, A.; Fiadeiro, J.L.. Using explicit state to describe architectures. 1999.
  13. Fiadeiro, J.L.; Lopes, A.. Algebraic semantics of coordination or what is in a signature. 1998.
    10.1007/3-540-49253-4_22
  14. Lopes, A.; Fiadeiro, J.L.. Preservation and reflection in specifications. 1997.
  15. Fiadeiro, J.L.; Lopes, A.. Semantics of architectural connectors. 1997.
  16. Lano, K.; Bicarregui, J.; Fiadeiro, J.; Lopes, A.. Specification of required non-determinism. 1997.
    10.1007/3-540-63533-5_16
Atividades

Orientação

Título / Tema
Papel desempenhado 		Curso (Tipo)
Instituição / Organização
2013/08/01 - 2019/02/28 Automated Planning to Support the Deployment and Management of Applications in Cloud Environments
Coorientador
 Computer Science and Engineering (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2007/09/01 - 2012/11/01 Self-management of Systems Built from Adaptable Components
Coorientador
 Computer Science and Engineering (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2004/09/01 - 2009/03/01 Domain-Oriented Reuse Interfaces for Object-Oriented Frameworks
Coorientador
 Computer Science and Engineering (Doutoramento)
Universidade de Lisboa Faculdade de Ciências, Portugal

Arbitragem científica em conferência

Nome da conferência Local da conferência
2023/07/01 - Atual International Conference on Coordination Models and Languages
2017 - 2022 ECSA European Conference on Software Architecture
2011 - 2017 FASE — Intl. Conf. on Fundamental Approaches to Software Engineering
2009 - 2012 FMOODS/FORTE — IFIP International Conference on Formal Techniques for Distributed System
2006 - 2008 ETAPS — European Joint Conferences on Theory and Practice of Software

Arbitragem científica em revista

Nome da revista (ISSN) Editora
2020/04 - Atual ACM Transactions on Software Engineering and Methodology (1557-7392) Association for Computing Machinery
2017 - Atual PeerJ Computer Science.

Comissão de avaliação

Descrição da atividade
Tipo de assessoria 		Instituição / Organização Entidade financiadora
2021 - 2022 Evaluation panel of CMU Portugal dual-degree PhD scholarships in Software Engineering
Avaliador

Membro de comissão

Descrição da atividade
Tipo de participação 		Instituição / Organização
2022 - 2022 ICSE Journal-First Papers-track
Membro
2021 - 2022 Symposium on Software Engineering for Adaptive and Self-Managing Systems
Membro
2021 - 2022 SEFM International Conference on Software Engineering and Formal Methods
Membro
2021 - 2022 IEEE International Conference on Autonomic Computing and Self-Organizing Systems
Membro
2016 - 2022 ECSA European Conference on Software Architecture
Membro
2021 - 2021 ICSE Journal-First Papers-track
Membro
2019 - 2019 ICSE 2019 International Conference on Software Engineering
Membro
2018 - 2018 ICSE 2018 International Conference on Software Engineering
2014 - 2018 International Conference on Formal Techniques for Distributed Systems
2015 - 2017 FASE Fundamental Approaches to Software Engineering
2015 - 2017 SEFM International Conference on Software Engineering and Formal Methods
Distinções

Outra distinção

2010 Best Paper Award of the 4th European Conference on Software Architectures