default search action
Antónia Lopes
Person information
- affiliation: Universidade de Lisboa, Portugal
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j18]João L. M. Pereira, Manuel J. Fonseca, Antónia Lopes, Helena Galhardas:
Cleenex: Support for User Involvement during an Iterative Data Cleaning Process. ACM J. Data Inf. Qual. 16(1): 6:1-6:26 (2024) - [e6]Nico Plat, Stefania Gnesi, Carlo A. Furia, Antónia Lopes:
Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE), Lisbon, Portugal, April 14-15, 2024. ACM 2024 [contents] - 2023
- [e5]Sung-Shik Jongmans, Antónia Lopes:
Coordination Models and Languages - 25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings. Lecture Notes in Computer Science 13908, Springer 2023, ISBN 978-3-031-35360-4 [contents] - 2020
- [c72]Nuno Burnay, Antónia Lopes, Vasco T. Vasconcelos:
Statically Checking REST API Consumers. SEFM 2020: 265-283 - [i2]Nuno Burnay, Antónia Lopes, Vasco T. Vasconcelos:
SafeRESTScript: Statically Checking REST API Consumers. CoRR abs/2007.08048 (2020)
2010 – 2019
- 2019
- [j17]José Luiz Fiadeiro, Ionut Tutu, Antónia Lopes, Dusko Pavlovic:
Logics for Actor Networks: A two-stage constrained-hybridisation approach. J. Log. Algebraic Methods Program. 106: 141-166 (2019) - [c71]Ionut Tutu, Claudia Elena Chirita, Antónia Lopes, José Luiz Fiadeiro:
Logical Support for Bike-Sharing System Design. From Software Engineering to Formal Methods and Tools, and Back 2019: 152-171 - [c70]Vasco T. Vasconcelos, Francisco Martins, Antónia Lopes, Nuno Burnay:
HeadREST: A Specification Language for RESTful APIs. Models, Languages, and Tools for Concurrent and Distributed Programming 2019: 428-434 - [c69]Richard Gil Martinez, Antónia Lopes, Luís E. T. Rodrigues:
Planning workflow executions when using spot instances in the cloud. SAC 2019: 310-317 - 2018
- [j16]José Luiz Fiadeiro, Antónia Lopes, Benoît Delahaye, Axel Legay:
Dynamic networks of heterogeneous timed machines. Math. Struct. Comput. Sci. 28(6): 800-855 (2018) - [c68]Francisco Duarte, Richard Gil Martinez, Paolo Romano, Antónia Lopes, Luís E. T. Rodrigues:
Learning non-deterministic impact models for adaptation. SEAMS@ICSE 2018: 196-205 - 2017
- [j15]José Luiz Fiadeiro, Antónia Lopes:
Heterogeneous and asynchronous networks of timed systems. Theor. Comput. Sci. 663: 1-33 (2017) - [c67]Richard Gil Martinez, Zhongmiao Li, Antónia Lopes, Luís E. T. Rodrigues:
Augure: Proactive reconfiguration of cloud applications using heterogeneous resources. NCA 2017: 73-80 - [c66]Richard Gil Martinez, Antónia Lopes, Luís E. T. Rodrigues:
Automated generation of policies to support elastic scaling in cloud environments. SAC 2017: 450-455 - [c65]José Luiz Fiadeiro, Ionut Tutu, Antónia Lopes, Dusko Pavlovic:
Logics for Actor Networks: A Case Study in Constrained Hybridization - A Case Study in Constrained Hybridization. DALI@TABLEAUX 2017: 98-114 - [e4]Antónia Lopes, Rogério de Lemos:
Software Architecture - 11th European Conference, ECSA 2017, Canterbury, UK, September 11-15, 2017, Proceedings. Lecture Notes in Computer Science 10475, Springer 2017, ISBN 978-3-319-65830-8 [contents] - 2016
- [j14]Javier Cámara, Antónia Lopes, David Garlan, Bradley R. Schmerl:
Adaptation impact and environment models for architecture-based self-adaptive systems. Sci. Comput. Program. 127: 50-75 (2016) - 2014
- [c64]Javier Cámara Moreno, Antónia Lopes, David Garlan, Bradley R. Schmerl:
Impact Models for Architecture-Based Self-adaptive Systems. FACS 2014: 89-107 - [c63]José Luiz Fiadeiro, Antónia Lopes:
Heterogeneous and Asynchronous Networks of Timed Systems. FASE 2014: 79-93 - [c62]Benoît Delahaye, José Luiz Fiadeiro, Axel Legay, Antónia Lopes:
Heterogeneous Timed Machines. ICTAC 2014: 115-132 - 2013
- [j13]José Luiz Fiadeiro, Antónia Lopes:
A model for dynamic reconfiguration in service-oriented architectures. Softw. Syst. Model. 12(2): 349-367 (2013) - [j12]José Luiz Fiadeiro, Antónia Lopes:
An interface theory for service-oriented design. Theor. Comput. Sci. 503: 1-30 (2013) - [j11]Liliana Rosa, Luís E. T. Rodrigues, Antónia Lopes, Matti A. Hiltunen, Richard D. Schlichting:
Self-Management of Adaptable Component-Based Applications. IEEE Trans. Software Eng. 39(3): 403-421 (2013) - [c61]Benoît Delahaye, José Luiz Fiadeiro, Axel Legay, Antónia Lopes:
A Timed Component Algebra for Services. FMOODS/FORTE 2013: 242-257 - [e3]Javier Cámara, Rogério de Lemos, Carlo Ghezzi, Antónia Lopes:
Assurances for Self-Adaptive Systems - Principles, Models, and Techniques. Lecture Notes in Computer Science 7740, Springer 2013, ISBN 978-3-642-36248-4 [contents] - 2012
- [j10]José Luiz Fiadeiro, Antónia Lopes, João Abreu:
A formal model for service-oriented interactions. Sci. Comput. Program. 77(5): 577-608 (2012) - [c60]José Luiz Fiadeiro, Antónia Lopes:
Consistency of Service Composition. FASE 2012: 63-77 - [c59]Antónia Lopes, José Luiz Fiadeiro:
A Graph-Based Design Framework for Services. ICGT 2012: 1-19 - [c58]Francisco Rebello de Andrade, João Pascoal Faria, Antónia Lopes, Ana C. R. Paiva:
Specification-Driven Unit Test Generation for Java Generic Classes. IFM 2012: 296-311 - 2011
- [j9]José Luiz Fiadeiro, Antónia Lopes, Laura Bocchi:
An abstract model of service discovery and binding. Formal Aspects Comput. 23(4): 433-463 (2011) - [c57]Liliana Rosa, Luís E. T. Rodrigues, Antónia Lopes:
Goal-oriented Self-management of In-memory Distributed Data Grid Platforms. CloudCom 2011: 587-591 - [c56]Helena Galhardas, Antónia Lopes, Emanuel Santos:
Support for User Involvement in Data Cleaning. DaWaK 2011: 136-151 - [c55]José Luiz Fiadeiro, Antónia Lopes:
An Interface Theory for Service-Oriented Design. FASE 2011: 18-33 - [c54]Antónia Lopes:
Formal Modelling of Service-Oriented Systems. MEDI 2011: 3 - [c53]Javier Cámara, Rogério de Lemos, Carlo Ghezzi, Antónia Lopes:
Workshop on assurances for self-adaptive systems (ASAS 2011). SIGSOFT FSE 2011: 516-517 - [p1]José Luiz Fiadeiro, Antónia Lopes, Laura Bocchi, João Abreu:
The Sensoria Reference Modelling Language. Results of the SENSORIA Project 2011: 61-114 - 2010
- [j8]André L. Santos, Kai Koskimies, Antónia Lopes:
Automating the construction of domain-specific modeling languages for object-oriented frameworks. J. Syst. Softw. 83(7): 1078-1093 (2010) - [c52]Rogério de Lemos, Holger Giese, Hausi A. Müller, Mary Shaw, Jesper Andersson, Marin Litoiu, Bradley R. Schmerl, Gabriel Tamura, Norha M. Villegas, Thomas Vogel, Danny Weyns, Luciano Baresi, Basil Becker, Nelly Bencomo, Yuriy Brun, Bojan Cukic, Ronald J. Desmarais, Schahram Dustdar, Gregor Engels, Kurt Geihs, Karl M. Göschka, Alessandra Gorla, Vincenzo Grassi, Paola Inverardi, Gabor Karsai, Jeff Kramer, Antónia Lopes, Jeff Magee, Sam Malek, Serge Mankovski, Raffaela Mirandola, John Mylopoulos, Oscar Nierstrasz, Mauro Pezzè, Christian Prehofer, Wilhelm Schäfer, Richard D. Schlichting, Dennis B. Smith, João Pedro Sousa, Ladan Tahvildari, Kenny Wong, Jochen Wuttke:
Software Engineering for Self-Adaptive Systems: A Second Research Roadmap. Software Engineering for Self-Adaptive Systems 2010: 1-32 - [c51]Yuriy Brun, Ronald J. Desmarais, Kurt Geihs, Marin Litoiu, Antónia Lopes, Mary Shaw, Michael Smit:
A Design Space for Self-Adaptive Systems. Software Engineering for Self-Adaptive Systems 2010: 33-50 - [c50]Liliana Rosa, Luís E. T. Rodrigues, Antónia Lopes:
Self-management of Distributed Systems Using High-Level Goal Policies. Software Engineering for Self-Adaptive Systems 2010: 162-190 - [c49]José Luiz Fiadeiro, Antónia Lopes:
A Model for Dynamic Reconfiguration in Service-Oriented Architectures. ECSA 2010: 70-85 - [c48]Pedro Crispim, Antónia Lopes, Vasco Thudichum Vasconcelos:
Runtime Verification for Generic Classes with ConGu 2. SBMF 2010: 33-48 - [i1]Rogério de Lemos, Holger Giese, Hausi A. Müller, Mary Shaw, Jesper Andersson, Luciano Baresi, Basil Becker, Nelly Bencomo, Yuriy Brun, Bojan Cukic, Ronald J. Desmarais, Schahram Dustdar, Gregor Engels, Kurt Geihs, Karl M. Göschka, Alessandra Gorla, Vincenzo Grassi, Paola Inverardi, Gabor Karsai, Jeff Kramer, Marin Litoiu, Antónia Lopes, Jeff Magee, Sam Malek, Serge Mankovskii, Raffaela Mirandola, John Mylopoulos, Oscar Nierstrasz, Mauro Pezzè, Christian Prehofer, Wilhelm Schäfer, Richard D. Schlichting, Bradley R. Schmerl, Dennis B. Smith, João Pedro Sousa, Gabriel Tamura, Ladan Tahvildari, Norha M. Villegas, Thomas Vogel, Danny Weyns, Kenny Wong, Jochen Wuttke:
Software Engineering for Self-Adaptive Systems: A second Research Roadmap. Software Engineering for Self-Adaptive Systems 2010
2000 – 2009
- 2009
- [c47]Isabel Nunes, Antónia Lopes, Vasco Thudichum Vasconcelos:
Bridging the Gap between Algebraic Specification and Object-Oriented Generic Programming. RV 2009: 115-131 - [c46]Liliana Rosa, Luís E. T. Rodrigues, Antónia Lopes, Matti A. Hiltunen, Richard D. Schlichting:
From Local Impact Functions to Global Adaptation of Service Compositions. SSS 2009: 593-608 - [e2]David Lee, Antónia Lopes, Arnd 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. Lecture Notes in Computer Science 5522, Springer 2009, ISBN 978-3-642-02137-4 [contents] - 2008
- [c45]Laura Bocchi, José Luiz Fiadeiro, Antónia Lopes:
Service-Oriented Modelling of Automotive Systems. COMPSAC 2008: 1059-1064 - [c44]Laura Bocchi, José Luiz Fiadeiro, Antónia Lopes:
A Use-Case Driven Approach to Formal Service-Oriented Modelling. ISoLA 2008: 155-169 - [c43]Liliana Rosa, Antónia Lopes, Luís E. T. Rodrigues:
Modelling adaptive services for distributed systems. SAC 2008: 2174-2180 - [c42]André L. Santos, Kai Koskimies, Antónia Lopes:
Automated Domain-Specific Modeling Languages for Generating Framework-Based Applications. SPLC 2008: 149-158 - 2007
- [j7]Paulo Carreira, Helena Galhardas, Antónia Lopes, João Pereira:
One-to-many data transformations through data mappers. Data Knowl. Eng. 62(3): 483-503 (2007) - [j6]José Luiz Fiadeiro, Antónia Lopes:
An algebraic semantics of event-based architectures. Math. Struct. Comput. Sci. 17(5): 1029-1073 (2007) - [c41]André L. Santos, Antónia Lopes, Kai Koskimies:
Framework specialization aspects. AOSD 2007: 14-24 - [c40]Liliana Rosa, Luís E. T. Rodrigues, Antónia Lopes:
A framework to support multiple reconfiguration strategies. Autonomics 2007: 15 - [c39]João Abreu, Laura Bocchi, José Luiz Fiadeiro, Antónia Lopes:
Specifying and Composing Interaction Protocols for Service-Oriented System Modelling. FORTE 2007: 358-373 - [c38]Liliana Rosa, Luís E. T. Rodrigues, Antónia Lopes:
Building Adaptive Systems with Service Composition Frameworks. OTM Conferences (1) 2007: 754-771 - [c37]Laura Bocchi, Yi Hong, Antónia Lopes, José Luiz Fiadeiro:
From BPEL to SRML: A Formal Transformational Approach. WS-FM 2007: 92-107 - [e1]Matthew B. Dwyer, Antónia 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. Lecture Notes in Computer Science 4422, Springer 2007, ISBN 978-3-540-71288-6 [contents] - 2006
- [j5]André L. Santos, Kai Koskimies, Antónia Lopes:
A Model-Driven Approach to Variability Management in Product-Line Engineering. Nord. J. Comput. 13(3): 196-213 (2006) - [j4]José Mocito, Liliana Rosa, Nuno Almeida, Hugo Miranda, Luís E. T. Rodrigues, Antónia Lopes:
Context adaptation of the communication stack. Int. J. Parallel Emergent Distributed Syst. 21(3): 169-181 (2006) - [j3]Antónia Lopes, José Luiz Fiadeiro:
Adding mobility to software architectures. Sci. Comput. Program. 61(2): 114-135 (2006) - [c36]José Luiz Fiadeiro, Antónia Lopes:
A Formal Approach to Event-Based Architectures. FASE 2006: 18-32 - [c35]Liliana Rosa, Antónia Lopes, Luís E. T. Rodrigues:
Policy-Driven Adaptation of Protocol Stacks. ICAS 2006: 5 - [c34]Isabel Nunes, Antónia Lopes, Vasco Thudichum Vasconcelos, João Abreu, Luís S. Reis:
Checking the Conformance of Java Classes Against Algebraic Specifications. ICFEM 2006: 494-513 - [c33]André L. Santos, Antónia Lopes, Kai Koskimies:
Modularizing Framework Hot Spots Using Aspects. JISBD 2006: 389-399 - [c32]José Luiz Fiadeiro, Antónia Lopes, Laura Bocchi:
Algebraic Semantics of Service Component Modules. WADT 2006: 37-55 - [c31]José Luiz Fiadeiro, Antónia Lopes, Laura Bocchi:
A Formal Approach to Service Component Architecture. WS-FM 2006: 193-213 - 2005
- [c30]Paulo J. F. Carreira, Helena Galhardas, João Pereira, Antónia Lopes:
Data Mapper: An Operator for Expressing One-to-Many Data Transformations. DaWaK 2005: 136-145 - [c29]Antónia Lopes, José Luiz Fiadeiro:
Context-Awareness in Software Architectures. EWSA 2005: 146-161 - [c28]José Mocito, Liliana Rosa, Nuno Almeida, Hugo Miranda, Luís E. T. Rodrigues, Antónia Lopes:
Context Adaptation of the Communication Stack. ICDCS Workshops 2005: 652-655 - [c27]Paulo J. F. Carreira, Helena Galhardas, Antónia Lopes, João L. M. Pereira:
Extending Relational Algebra to express one-to-many data transformations. SBBD 2005: 145-159 - [c26]Cristóvão Oliveira, Michel Wermelinger, José Luiz Fiadeiro, Antónia Lopes:
Modelling the GSM Handover Protocol in CommUnity. FESCA@ETAPS 2005: 3-25 - 2004
- [j2]Antónia Lopes, José Luiz Fiadeiro:
Superposition: composition vs refinement of non-deterministic, action-based systems. Formal Aspects Comput. 16(1): 5-18 (2004) - [c25]Roberto Bruni, José Luiz Fiadeiro, Ivan Lanese, Antónia Lopes, Ugo Montanari:
New Insights on Architectural Connectors. IFIP TCS 2004: 367-380 - [c24]Antónia Lopes, José Luiz Fiadeiro:
Algebraic Semantics of Design Abstractions for Context-Awareness. WADT 2004: 79-93 - [c23]Cristóvão Oliveira, Michel Wermelinger, José Luiz Fiadeiro, Antónia Lopes:
An Architectural Approach to Mobility - The Handover Case Study. WICSA 2004: 305-310 - 2003
- [j1]Antónia Lopes, Michel Wermelinger, José Luiz Fiadeiro:
High-order architectural connectors. ACM Trans. Softw. Eng. Methodol. 12(1): 64-104 (2003) - [c22]José Luiz Fiadeiro, Antónia Lopes, Michel Wermelinger:
A Mathematical Semantics for Architectural Connectors. Generic Programming 2003: 178-221 - [c21]Luís Andrade, José Luiz Fiadeiro, Antónia Lopes, Michel Wermelinger:
Coordination for Distributed Business Systems. CAiSE Workshops 2003 - [c20]José Luiz Fiadeiro, Antónia Lopes:
CommUnity on the Move: Architectures for Distribution and Mobility. FMCO 2003: 177-196 - [c19]Antónia Lopes, José Luiz Fiadeiro:
Adding Mobility to Software Architectures. FOCLASA 2003: 241-258 - 2002
- [c18]Antónia Lopes, José Luiz Fiadeiro:
Revisiting the Categorical Approach to Systems. AMAST 2002: 426-440 - [c17]Antónia Lopes, José Luiz Fiadeiro, Michel Wermelinger:
Architectural primitives for distribution and mobility. SIGSOFT FSE 2002: 41-50 - [c16]Luís Andrade, Paolo Baldan, Hubert Baumeister, Roberto Bruni, Andrea Corradini, Rocco De Nicola, José Luiz Fiadeiro, Fabio Gadducci, Stefania Gnesi, Piotr Hoffman, Nora Koch, Piotr Kosiuczenko, Alessandro Lapadula, Diego Latella, Antónia Lopes, Michele Loreti, Mieke Massink, Franco Mazzanti, Ugo Montanari, Cristóvão Oliveira, Rosario Pugliese, Andrzej Tarlecki, Michel Wermelinger, Martin Wirsing, Artur Zawlocki:
AGILE: Software Architecture for Mobility. WADT 2002: 1-33 - [c15]Antónia Lopes, José Luiz Fiadeiro:
On How Distribution and Mobility Interfere with Coordination. WADT 2002: 343-358 - [c14]Antónia Lopes, José Luiz Fiadeiro:
Superposition: Composition vs refinement of non-deterministic action-based systems. Refine 2002: 282-296 - 2001
- [c13]Michel Wermelinger, Antónia Lopes, José Luiz Fiadeiro:
A Graph Transformation Approach to Architectural Run-Time Reconfiguration. FFSE@CSMR 2001: 59-66 - [c12]Michel Wermelinger, Antónia Lopes, José Luiz Fiadeiro:
A graph based architectural (Re)configuration language. ESEC / SIGSOFT FSE 2001: 21-32 - [c11]Antónia Lopes, Michel Wermelinger, José Luiz Fiadeiro:
A Compositional Approach to Connector Construction. WADT 2001: 201-220 - 2000
- [c10]Luís Filipe Andrade, José Luiz Fiadeiro, João Gouveia, Antónia Lopes, Michel Wermelinger:
Patterns for Coordination. COORDINATION 2000: 317-322 - [c9]Michel Wermelinger, Antónia Lopes, José Luiz Fiadeiro:
Superposing Connectors. IWSSD 2000: 87-94
1990 – 1999
- 1999
- [c8]Antónia Lopes, José Luiz Fiadeiro:
Using Explicit State to Describe Architechtures. FASE 1999: 144-160 - 1998
- [c7]José Luiz Fiadeiro, Antónia Lopes:
Algebraic Semantics of Coordination or What Is in a Signature. AMAST 1998: 293-307 - 1997
- [c6]José Luiz Fiadeiro, Antónia Lopes, T. S. E. Maibaum:
Synthesising interconnections. Algorithmic Languages and Calculi 1997: 240-264 - [c5]Antónia Lopes, José Luiz Fiadeiro:
Preservation and Reflection in Specification. AMAST 1997: 380-394 - [c4]Kevin Lano, Juan Bicarregui, José Luiz Fiadeiro, Antónia Lopes:
Specification of Required Non-determinism. FME 1997: 298-317 - [c3]José Luiz Fiadeiro, Antónia Lopes:
Semantics of Architectural Connectors. TAPSOFT 1997: 505-519 - 1991
- [c2]Cristina Sernadas, Paula Gouveia, Antónia Lopes:
Gentzen-Type System for Verification in Conceptual Modeling. FMLDO 1991: 215-228 - 1990
- [c1]Cristina Sernadas, Paula Gouveia, Luísa Silva, Antónia Lopes:
Objects as Structuring Units for Incorporating Dynamics in Deductive Conceptual Modeling. DAISD 1990: 93-110
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-16 20:34 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint