???global.info.a_carregar???
Identification

Personal identification

Full name
Maria Antónia Bacelar da Costa Lopes

Citation names

  • Lopes, Antónia

Author identifiers

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

Email addresses

  • malopes@ciencias.ulisboa.pt (Professional)

Addresses

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

Websites

Knowledge fields

  • Exact Sciences - Computer and Information Sciences - Computer Sciences
  • Exact Sciences - Computer and Information Sciences - Computer Sciences
Education
Degree Classification
1999
Concluded
 Informatics (Doutoramento)
Universidade de Lisboa Faculdade de Ciências, Portugal
"Nondeterminism and Compositionaly in the Specification of Reactive Systems" (THESIS/DISSERTATION)
 Aprovado com Distinção e Louvor
1993
Concluded
 Applied Mathematics (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
"Inheritance in Oblog Specifications" (THESIS/DISSERTATION)
 Muito Bom
1991
Concluded
 Applied Mathematics and Computer Science (Licenciatura)
Universidade de Lisboa Instituto Superior Técnico, Portugal
"Calculi for an Object Logic" (THESIS/DISSERTATION)
 17 valores
Affiliation

Teaching in Higher Education

Category
Host institution 		Employer
2006/03/15 - Current Associate Professor (University Teacher) Universidade de Lisboa Faculdade de Ciências, Portugal
1999/06/01 - 2006/03/15 Assistant Professor (University Teacher) Universidade de Lisboa Faculdade de Ciências, Portugal
1993 - 1999 Assistant (University Teacher) Universidade de Lisboa Faculdade de Ciências, Portugal
1991/09/01 - 1993/09/01 Trainee Assistant (University Teacher) Universidade de Lisboa Instituto Superior Técnico, Portugal
Projects

Grant

Designation Funders
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
Concluded
2007 - 2008 CAMS Context Aware Mobile Systems
Procº 4.1.1 Polónia
Principal investigator
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
Concluded

Contract

Designation Funders
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
Ongoing
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
Ongoing
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
Concluded
2020/07 - 2023/04 CAMELOT: AutonomiC Platform for Machine Learning using Anonymized Data
45915
Researcher
Fundação para a Ciência e a Tecnologia
Ongoing
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
Concluded
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
Concluded
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
Concluded
2016/05 - 2019/09 Design by contract: Communication Contracts for Distributed Systems Development
PTDC/EEI-CTP/4503/2014
Researcher
Concluded
2016/05 - 2019/09 Abyss: Sistemas Autonómicos Tolerantes a Falhas Maliciosas (ABYSS)
PTDC/EEI-SCR/1741/2014
Researcher
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
Concluded
2010/11/01 - 2014/04/30 Assuring Dependability in Architecture-based Adaptive Systems
CMU-PT/ELE/0030/2009
Researcher
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
Concluded
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
Concluded
2010/01/01 - 2013/06/30 A Quest for Reliability in Generic Software Components
PTDC/EIA-EIA/103103/2008
Principal investigator
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
Concluded
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
Concluded
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
Concluded
2005 - 2010 SENSORIA: Software Engineering for Service-Oriented Overlay Computers
www.sensoria-ist.eu
Researcher
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
Concluded
2005 - 2007 Micas: Middleware for Context-aware and Adaptative Systems
POSI/EIA/60692/2004
Researcher
2004 - 2006 Contract Guided System Development
POSI/CHS/48015/2002
Researcher
2002 - 2005 AGILE An Architectural Approach to Mobility
IST-2001-32747
Researcher
2000/06 - 2003/06 FAST Formal Approach to Software Architecture
32717/99
Researcher
Fundação para a Ciência e a Tecnologia
Concluded
Outputs

Publications

Book
  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
Book chapter
  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
Conference paper
  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
Edited book
  1. Lopes, Antónia, ed. Coordination Models and Languages. Springer Nature Switzerland. 2023.
    10.1007/978-3-031-35361-1
Journal article
  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.
Activities

Supervision

Thesis Title
Role 		Degree Subject (Type)
Institution / Organization
2013/08/01 - 2019/02/28 Automated Planning to Support the Deployment and Management of Applications in Cloud Environments
Co-supervisor
 Computer Science and Engineering (PhD)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2007/09/01 - 2012/11/01 Self-management of Systems Built from Adaptable Components
Co-supervisor
 Computer Science and Engineering (PhD)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2004/09/01 - 2009/03/01 Domain-Oriented Reuse Interfaces for Object-Oriented Frameworks
Co-supervisor
 Computer Science and Engineering (PhD)
Universidade de Lisboa Faculdade de Ciências, Portugal

Committee member

Activity description
Role 		Institution / Organization
2022 - 2022 ICSE Journal-First Papers-track
Member
2021 - 2022 Symposium on Software Engineering for Adaptive and Self-Managing Systems
Member
2021 - 2022 SEFM International Conference on Software Engineering and Formal Methods
Member
2021 - 2022 IEEE International Conference on Autonomic Computing and Self-Organizing Systems
Member
2016 - 2022 ECSA European Conference on Software Architecture
Member
2021 - 2021 ICSE Journal-First Papers-track
Member
2019 - 2019 ICSE 2019 International Conference on Software Engineering
Member
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

Conference scientific committee

Conference name Conference host
2023/07/01 - Current 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

Evaluation committee

Activity description
Role 		Institution / Organization Funding entity
2021 - 2022 Evaluation panel of CMU Portugal dual-degree PhD scholarships in Software Engineering
Evaluator

Journal scientific committee

Journal title (ISSN) Publisher
2020/04 - Current ACM Transactions on Software Engineering and Methodology (1557-7392) Association for Computing Machinery
2017 - Current PeerJ Computer Science.
Distinctions

Other distinction

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