Antónia Lopes

Publication Activity (10 Years)

Years Active: 1990-2024
Publications (10 Years): 14

Top Topics

Adaptive Systems

Architectural Style

Application Programming Interfaces

Top Venues

J. Log. Algebraic Methods Program.

Math. Struct. Comput. Sci.

Publications

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) (2024)
Nuno Burnay, Antónia Lopes, Vasco T. Vasconcelos
Statically Checking REST API Consumers. SEFM (2020)
Nuno Burnay, Antónia Lopes, Vasco T. Vasconcelos
SafeRESTScript: Statically Checking REST API Consumers. CoRR (2020)
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)
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)
Richard Gil Martinez, Antónia Lopes, Luís E. T. Rodrigues
Planning workflow executions when using spot instances in the cloud. SAC (2019)
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 (2019)
José Luiz Fiadeiro, Antónia Lopes, Benoît Delahaye, Axel Legay
Dynamic networks of heterogeneous timed machines. Math. Struct. Comput. Sci. 28 (6) (2018)
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)
José Luiz Fiadeiro, Antónia Lopes
Heterogeneous and asynchronous networks of timed systems. Theor. Comput. Sci. 663 (2017)
Richard Gil Martinez, Antónia Lopes, Luís E. T. Rodrigues
Automated generation of policies to support elastic scaling in cloud environments. SAC (2017)
Richard Gil Martinez, Zhongmiao Li, Antónia Lopes, Luís E. T. Rodrigues
Augure: Proactive reconfiguration of cloud applications using heterogeneous resources. NCA (2017)
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)
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 (2016)
Javier Cámara Moreno, Antónia Lopes, David Garlan, Bradley R. Schmerl
Impact Models for Architecture-Based Self-adaptive Systems. FACS (2014)
Benoît Delahaye, José Luiz Fiadeiro, Axel Legay, Antónia Lopes
Heterogeneous Timed Machines. ICTAC (2014)
José Luiz Fiadeiro, Antónia Lopes
Heterogeneous and Asynchronous Networks of Timed Systems. FASE (2014)
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) (2013)
José Luiz Fiadeiro, Antónia Lopes
An interface theory for service-oriented design. Theor. Comput. Sci. 503 (2013)
Benoît Delahaye, José Luiz Fiadeiro, Axel Legay, Antónia Lopes
A Timed Component Algebra for Services. FMOODS/FORTE (2013)
José Luiz Fiadeiro, Antónia Lopes
A model for dynamic reconfiguration in service-oriented architectures. Softw. Syst. Model. 12 (2) (2013)
José Luiz Fiadeiro, Antónia Lopes, João Abreu
A formal model for service-oriented interactions. Sci. Comput. Program. 77 (5) (2012)
José Luiz Fiadeiro, Antónia Lopes
Consistency of Service Composition. FASE (2012)
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)
Antónia Lopes, José Luiz Fiadeiro
A Graph-Based Design Framework for Services. ICGT (2012)
José Luiz Fiadeiro, Antónia Lopes
An Interface Theory for Service-Oriented Design. FASE (2011)
Liliana Rosa, Luís E. T. Rodrigues, Antónia Lopes
Goal-oriented Self-management of In-memory Distributed Data Grid Platforms. CloudCom (2011)
Antónia Lopes
Formal Modelling of Service-Oriented Systems. MEDI (2011)
Helena Galhardas, Antónia Lopes, Emanuel Santos
Support for User Involvement in Data Cleaning. DaWaK (2011)
Javier Cámara, Rogério de Lemos, Carlo Ghezzi, Antónia Lopes
Workshop on assurances for self-adaptive systems (ASAS 2011). SIGSOFT FSE (2011)
José Luiz Fiadeiro, Antónia Lopes, Laura Bocchi
An abstract model of service discovery and binding. Formal Aspects Comput. 23 (4) (2011)
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)
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) (2010)
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)
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)
José Luiz Fiadeiro, Antónia Lopes
A Model for Dynamic Reconfiguration in Service-Oriented Architectures. ECSA (2010)
Pedro Crispim, Antónia Lopes, Vasco Thudichum Vasconcelos
Runtime Verification for Generic Classes with ConGu 2. SBMF (2010)
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)
Isabel Nunes, Antónia Lopes, Vasco Thudichum Vasconcelos
Bridging the Gap between Algebraic Specification and Object-Oriented Generic Programming. RV (2009)
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)
Laura Bocchi, José Luiz Fiadeiro, Antónia Lopes
Service-Oriented Modelling of Automotive Systems. COMPSAC (2008)
André L. Santos, Kai Koskimies, Antónia Lopes
Automated Domain-Specific Modeling Languages for Generating Framework-Based Applications. SPLC (2008)
Laura Bocchi, José Luiz Fiadeiro, Antónia Lopes
A Use-Case Driven Approach to Formal Service-Oriented Modelling. ISoLA (2008)
Liliana Rosa, Antónia Lopes, Luís E. T. Rodrigues
Modelling adaptive services for distributed systems. SAC (2008)
Paulo Carreira, Helena Galhardas, Antónia Lopes, João Pereira
One-to-many data transformations through data mappers. Data Knowl. Eng. 62 (3) (2007)
José Luiz Fiadeiro, Antónia Lopes
An algebraic semantics of event-based architectures. Math. Struct. Comput. Sci. 17 (5) (2007)
Liliana Rosa, Luís E. T. Rodrigues, Antónia Lopes
Building Adaptive Systems with Service Composition Frameworks. OTM Conferences (1) (2007)
Laura Bocchi, Yi Hong, Antónia Lopes, José Luiz Fiadeiro
From BPEL to SRML: A Formal Transformational Approach. WS-FM (2007)
João Abreu, Laura Bocchi, José Luiz Fiadeiro, Antónia Lopes
Specifying and Composing Interaction Protocols for Service-Oriented System Modelling. FORTE (2007)
Liliana Rosa, Luís E. T. Rodrigues, Antónia Lopes
A framework to support multiple reconfiguration strategies. Autonomics (2007)
André L. Santos, Antónia Lopes, Kai Koskimies
Framework specialization aspects. AOSD (2007)
Liliana Rosa, Antónia Lopes, Luís E. T. Rodrigues
Policy-Driven Adaptation of Protocol Stacks. ICAS (2006)
André L. Santos, Kai Koskimies, Antónia Lopes
A Model-Driven Approach to Variability Management in Product-Line Engineering. Nord. J. Comput. 13 (3) (2006)
José Luiz Fiadeiro, Antónia Lopes
A Formal Approach to Event-Based Architectures. FASE (2006)
José Luiz Fiadeiro, Antónia Lopes, Laura Bocchi
A Formal Approach to Service Component Architecture. WS-FM (2006)
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) (2006)
Antónia Lopes, José Luiz Fiadeiro
Adding mobility to software architectures. Sci. Comput. Program. 61 (2) (2006)
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)
André L. Santos, Antónia Lopes, Kai Koskimies
Modularizing Framework Hot Spots Using Aspects. JISBD (2006)
José Luiz Fiadeiro, Antónia Lopes, Laura Bocchi
Algebraic Semantics of Service Component Modules. WADT (2006)
Antónia Lopes, José Luiz Fiadeiro
Context-Awareness in Software Architectures. EWSA (2005)
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)
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)
Cristóvão Oliveira, Michel Wermelinger, José Luiz Fiadeiro, Antónia Lopes
Modelling the GSM Handover Protocol in CommUnity. Electron. Notes Theor. Comput. Sci. 141 (3) (2005)
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)
Cristóvão Oliveira, Michel Wermelinger, José Luiz Fiadeiro, Antónia Lopes
An Architectural Approach to Mobility - The Handover Case Study. WICSA (2004)
Roberto Bruni, José Luiz Fiadeiro, Ivan Lanese, Antónia Lopes, Ugo Montanari
New Insights on Architectural Connectors. IFIP TCS (2004)
Antónia Lopes, José Luiz Fiadeiro
Adding Mobility to Software Architectures. Electron. Notes Theor. Comput. Sci. 97 (2004)
Antónia Lopes, José Luiz Fiadeiro
Algebraic Semantics of Design Abstractions for Context-Awareness. WADT (2004)
Antónia Lopes, José Luiz Fiadeiro
Superposition: composition vs refinement of non-deterministic, action-based systems. Formal Aspects Comput. 16 (1) (2004)
Antónia Lopes, Michel Wermelinger, José Luiz Fiadeiro
High-order architectural connectors. ACM Trans. Softw. Eng. Methodol. 12 (1) (2003)
José Luiz Fiadeiro, Antónia Lopes, Michel Wermelinger
A Mathematical Semantics for Architectural Connectors. Generic Programming (2003)
José Luiz Fiadeiro, Antónia Lopes
CommUnity on the Move: Architectures for Distribution and Mobility. FMCO (2003)
Luis Filipe Andrade, José Luiz Fiadeiro, Antónia Lopes, Michel Wermelinger
Coordination for Distributed Business Systems. CAiSE Workshops (2003)
Antónia Lopes, José Luiz Fiadeiro
Superposition: Composition vs refinement of non-deterministic action-based systems. Electron. Notes Theor. Comput. Sci. 70 (3) (2002)
Luis Filipe 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)
Antónia Lopes, José Luiz Fiadeiro
Revisiting the Categorical Approach to Systems. AMAST (2002)
Antónia Lopes, José Luiz Fiadeiro, Michel Wermelinger
Architectural primitives for distribution and mobility. SIGSOFT FSE (2002)
Antónia Lopes, José Luiz Fiadeiro
On How Distribution and Mobility Interfere with Coordination. WADT (2002)
Michel Wermelinger, Antónia Lopes, José Luiz Fiadeiro
A Graph Transformation Approach to Architectural Run-Time Reconfiguration. FFSE@CSMR (2001)
Antónia Lopes, Michel Wermelinger, José Luiz Fiadeiro
A Compositional Approach to Connector Construction. WADT (2001)
Michel Wermelinger, Antónia Lopes, José Luiz Fiadeiro
A graph based architectural (Re)configuration language. ESEC / SIGSOFT FSE (2001)
Luis Filipe Andrade, José Luiz Fiadeiro, João Gouveia, Antónia Lopes, Michel Wermelinger
Patterns for Coordination. COORDINATION (2000)
Michel Wermelinger, Antónia Lopes, José Luiz Fiadeiro
Superposing Connectors. IWSSD (2000)
Antónia Lopes, José Luiz Fiadeiro
Using Explicit State to Describe Architechtures. FASE (1999)
José Luiz Fiadeiro, Antónia Lopes
Algebraic Semantics of Coordination or What Is in a Signature. AMAST (1998)
Kevin Lano, Juan Bicarregui, José Luiz Fiadeiro, Antónia Lopes
Specification of Required Non-determinism. FME (1997)
José Luiz Fiadeiro, Antónia Lopes, T. S. E. Maibaum
Synthesising interconnections. Algorithmic Languages and Calculi (1997)
Antónia Lopes, José Luiz Fiadeiro
Preservation and Reflection in Specification. AMAST (1997)
José Luiz Fiadeiro, Antónia Lopes
Semantics of Architectural Connectors. TAPSOFT (1997)
Cristina Sernadas, Paula Gouveia, Antónia Lopes
Gentzen-Type System for Verification in Conceptual Modeling. FMLDO (1991)
Cristina Sernadas, Paula Gouveia, Luísa Silva, Antónia Lopes
Objects as Structuring Units for Incorporating Dynamics in Deductive Conceptual Modeling. DAISD (1990)