Objects as Structuring Units for Incorporating Dynamics in Deductive Conceptual Modeling. - Cristina Sernadas; Paula Gouveia; Luísa Silva; Antónia Lopes (DAISD, 1990)

Gentzen-Type System for Verification in Conceptual Modeling. - Cristina Sernadas; Paula Gouveia; Antónia Lopes (FMLDO, 1991)

Synthesising interconnections. - José Luiz Fiadeiro; Antónia Lopes; T. S. E. Maibaum (Algorithmic Languages and Calculi, 1997)

Preservation and Reflection in Specification. - Antónia Lopes; José Luiz Fiadeiro (AMAST, 1997)

Specification of Required Non-determinism. - Kevin Lano; Juan Bicarregui; José Luiz Fiadeiro; Antónia Lopes (FME, 1997)

Semantics of Architectural Connectors. - José Luiz Fiadeiro; Antónia Lopes (TAPSOFT, 1997)

Algebraic Semantics of Coordination or What Is in a Signature. - José Luiz Fiadeiro; Antónia Lopes (AMAST, 1998)

Using Explicit State to Describe Architechtures. - Antónia Lopes; José Luiz Fiadeiro (FASE, 1999)

Patterns for Coordination. - Luís Filipe Andrade; José Luiz Fiadeiro; João Gouveia; Antónia Lopes; Michel Wermelinger (COORDINATION, 2000)

Superposing Connectors. - Michel Wermelinger; Antónia Lopes; José Luiz Fiadeiro (IWSSD, 2000)

A Graph Transformation Approach to Architectural Run-Time Reconfiguration. - Michel Wermelinger; Antónia Lopes; José Luiz Fiadeiro (FFSE@CSMR, 2001)

A graph based architectural (Re)configuration language. - Michel Wermelinger; Antónia Lopes; José Luiz Fiadeiro (ESEC / SIGSOFT FSE, 2001)

A Compositional Approach to Connector Construction. - Antónia Lopes; Michel Wermelinger; José Luiz Fiadeiro (WADT, 2001)

Revisiting the Categorical Approach to Systems. - Antónia Lopes; José Luiz Fiadeiro (AMAST, 2002)

Architectural primitives for distribution and mobility. - Antónia Lopes; José Luiz Fiadeiro; Michel Wermelinger (SIGSOFT FSE, 2002)

AGILE: Software Architecture for Mobility. - Luís Andrade 001; Paolo Baldan; Hubert Baumeister; Roberto Bruni 001; Andrea Corradini 001; Rocco De Nicola; José Luiz Fiadeiro; Fabio Gadducci; Stefania Gnesi; Piotr Hoffman; Nora Koch; Piotr Kosiuczenko; et al. (WADT, 2002)

On How Distribution and Mobility Interfere with Coordination. - Antónia Lopes; José Luiz Fiadeiro (WADT, 2002)

A Mathematical Semantics for Architectural Connectors. - José Luiz Fiadeiro; Antónia Lopes; Michel Wermelinger (Generic Programming, 2003)

Coordination for Distributed Business Systems. - Luís Andrade 001; José Luiz Fiadeiro; Antónia Lopes; Michel Wermelinger (CAiSE Workshops, 2003)

CommUnity on the Move: Architectures for Distribution and Mobility. - José Luiz Fiadeiro; Antónia Lopes (FMCO, 2003)

High-order architectural connectors. - Antónia Lopes; Michel Wermelinger; José Luiz Fiadeiro (ACM Trans. Softw. Eng. Methodol., 2003)

New Insights on Architectural Connectors. - Roberto Bruni 001; José Luiz Fiadeiro; Ivan Lanese; Antónia Lopes; Ugo Montanari (IFIP TCS, 2004)

Algebraic Semantics of Design Abstractions for Context-Awareness. - Antónia Lopes; José Luiz Fiadeiro (WADT, 2004)

An Architectural Approach to Mobility - The Handover Case Study. - Cristóvão Oliveira; Michel Wermelinger; José Luiz Fiadeiro; Antónia Lopes (WICSA, 2004)

Superposition: composition vs refinement of non-deterministic, action-based systems. - Antónia Lopes; José Luiz Fiadeiro (Formal Aspects Comput., 2004)

Data Mapper: An Operator for Expressing One-to-Many Data Transformations. - Paulo J. F. Carreira; Helena Galhardas; João Pereira 002; Antónia Lopes (DaWaK, 2005)

Context-Awareness in Software Architectures. - Antónia Lopes; José Luiz Fiadeiro (EWSA, 2005)

Extending Relational Algebra to express one-to-many data transformations. - Paulo J. F. Carreira; Helena Galhardas; Antónia Lopes; João L. M. Pereira (SBBD, 2005)

Modelling the GSM Handover Protocol in CommUnity. - Cristóvão Oliveira; Michel Wermelinger; José Luiz Fiadeiro; Antónia Lopes (FESCA@ETAPS, 2005)

A Formal Approach to Event-Based Architectures. - José Luiz Fiadeiro; Antónia Lopes (FASE, 2006)

Policy-Driven Adaptation of Protocol Stacks. - Liliana Rosa; Antónia Lopes; Luís E. T. Rodrigues (ICAS, 2006)

Checking the Conformance of Java Classes Against Algebraic Specifications. - Isabel Nunes; Antónia Lopes; Vasco Thudichum Vasconcelos; João Abreu; Luís S. Reis (ICFEM, 2006)

Modularizing Framework Hot Spots Using Aspects. - André L. Santos 001; Antónia Lopes; Kai Koskimies (JISBD, 2006)

Algebraic Semantics of Service Component Modules. - José Luiz Fiadeiro; Antónia Lopes; Laura Bocchi (WADT, 2006)

A Formal Approach to Service Component Architecture. - José Luiz Fiadeiro; Antónia Lopes; Laura Bocchi (WS-FM, 2006)

A Model-Driven Approach to Variability Management in Product-Line Engineering. - André L. Santos 001; Kai Koskimies; Antónia Lopes (Nord. J. Comput., 2006)

Context adaptation of the communication stack. - José Mocito; Liliana Rosa; Nuno Almeida; Hugo Miranda; Luís E. T. Rodrigues; Antónia Lopes (Int. J. Parallel Emergent Distributed Syst., 2006)

Adding mobility to software architectures. - Antónia Lopes; José Luiz Fiadeiro (Sci. Comput. Program., 2006)

Framework specialization aspects. - André L. Santos 001; Antónia Lopes; Kai Koskimies (AOSD, 2007)

A framework to support multiple reconfiguration strategies. - Liliana Rosa; Luís E. T. Rodrigues; Antónia Lopes (Autonomics, 2007)

Specifying and Composing Interaction Protocols for Service-Oriented System Modelling. - João Abreu; Laura Bocchi; José Luiz Fiadeiro; Antónia Lopes (FORTE, 2007)

Building Adaptive Systems with Service Composition Frameworks. - Liliana Rosa; Luís E. T. Rodrigues; Antónia Lopes (OTM Conferences (1), 2007)

From BPEL to SRML: A Formal Transformational Approach. - Laura Bocchi; Yi Hong 005; Antónia Lopes; José Luiz Fiadeiro (WS-FM, 2007)

One-to-many data transformations through data mappers. - Paulo Carreira 001; Helena Galhardas; Antónia Lopes; João Pereira 002 (Data Knowl. Eng., 2007)

An algebraic semantics of event-based architectures. - José Luiz Fiadeiro; Antónia Lopes (Math. Struct. Comput. Sci., 2007)

Service-Oriented Modelling of Automotive Systems. - Laura Bocchi; José Luiz Fiadeiro; Antónia Lopes (COMPSAC, 2008)

A Use-Case Driven Approach to Formal Service-Oriented Modelling. - Laura Bocchi; José Luiz Fiadeiro; Antónia Lopes (ISoLA, 2008)

Modelling adaptive services for distributed systems. - Liliana Rosa; Antónia Lopes; Luís E. T. Rodrigues (SAC, 2008)

Automated Domain-Specific Modeling Languages for Generating Framework-Based Applications. - André L. Santos 001; Kai Koskimies; Antónia Lopes (SPLC, 2008)

Bridging the Gap between Algebraic Specification and Object-Oriented Generic Programming. - Isabel Nunes; Antónia Lopes; Vasco Thudichum Vasconcelos (RV, 2009)

From Local Impact Functions to Global Adaptation of Service Compositions. - Liliana Rosa; Luís E. T. Rodrigues; Antónia Lopes; Matti A. Hiltunen; Richard D. Schlichting (SSS, 2009)

A Design Space for Self-Adaptive Systems. - Yuriy Brun; Ronald J. Desmarais; Kurt Geihs; Marin Litoiu; Antónia Lopes; Mary Shaw; Michael Smit (Software Engineering for Self-Adaptive Systems, 2010)

Software Engineering for Self-Adaptive Systems: A Second Research Roadmap. - 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 001; Danny Weyns; Luciano Baresi; et al. (Software Engineering for Self-Adaptive Systems, 2010)

Self-management of Distributed Systems Using High-Level Goal Policies. - Liliana Rosa; Luís E. T. Rodrigues; Antónia Lopes (Software Engineering for Self-Adaptive Systems, 2010)

Runtime Verification for Generic Classes with ConGu 2. - Pedro Crispim; Antónia Lopes; Vasco Thudichum Vasconcelos (SBMF, 2010)

Automating the construction of domain-specific modeling languages for object-oriented frameworks. - André L. Santos 001; Kai Koskimies; Antónia Lopes (J. Syst. Softw., 2010)

The Sensoria Reference Modelling Language. - José Luiz Fiadeiro; Antónia Lopes; Laura Bocchi; João Abreu (Results of the SENSORIA Project, 2011)

Goal-oriented Self-management of In-memory Distributed Data Grid Platforms. - Liliana Rosa; Luís E. T. Rodrigues; Antónia Lopes (CloudCom, 2011)

Support for User Involvement in Data Cleaning. - Helena Galhardas; Antónia Lopes; Emanuel Santos (DaWaK, 2011)

Formal Modelling of Service-Oriented Systems. - Antónia Lopes (MEDI, 2011)

Workshop on assurances for self-adaptive systems (ASAS 2011). - Javier Cámara 001; Rogério de Lemos; Carlo Ghezzi; Antónia Lopes (SIGSOFT FSE, 2011)

An abstract model of service discovery and binding. - José Luiz Fiadeiro; Antónia Lopes; Laura Bocchi (Formal Aspects Comput., 2011)

Consistency of Service Composition. - José Luiz Fiadeiro; Antónia Lopes (FASE, 2012)

A Graph-Based Design Framework for Services. - Antónia Lopes; José Luiz Fiadeiro (ICGT, 2012)

Specification-Driven Unit Test Generation for Java Generic Classes. - Francisco Rebello de Andrade; João Pascoal Faria; Antónia Lopes; Ana C. R. Paiva (IFM, 2012)

A formal model for service-oriented interactions. - José Luiz Fiadeiro; Antónia Lopes; João Abreu (Sci. Comput. Program., 2012)

A Timed Component Algebra for Services. - Benoît Delahaye; José Luiz Fiadeiro; Axel Legay; Antónia Lopes (FMOODS/FORTE, 2013)

A model for dynamic reconfiguration in service-oriented architectures. - José Luiz Fiadeiro; Antónia Lopes (Softw. Syst. Model., 2013)

An interface theory for service-oriented design. - José Luiz Fiadeiro; Antónia Lopes (Theor. Comput. Sci., 2013)

Self-Management of Adaptable Component-Based Applications. - Liliana Rosa; Luís E. T. Rodrigues; Antónia Lopes; Matti A. Hiltunen; Richard D. Schlichting (IEEE Trans. Software Eng., 2013)

Impact Models for Architecture-Based Self-adaptive Systems. - Javier Cámara Moreno; Antónia Lopes; David Garlan; Bradley R. Schmerl (FACS, 2014)

Heterogeneous Timed Machines. - Benoît Delahaye; José Luiz Fiadeiro; Axel Legay; Antónia Lopes (ICTAC, 2014)

Adaptation impact and environment models for architecture-based self-adaptive systems. - Javier Cámara 001; Antónia Lopes; David Garlan; Bradley R. Schmerl (Sci. Comput. Program., 2016)

Augure: Proactive reconfiguration of cloud applications using heterogeneous resources. - Richard Gil Martinez; Zhongmiao Li; Antónia Lopes; Luís E. T. Rodrigues (NCA, 2017)

Automated generation of policies to support elastic scaling in cloud environments. - Richard Gil Martinez; Antónia Lopes; Luís E. T. Rodrigues (SAC, 2017)

Logics for Actor Networks: A Case Study in Constrained Hybridization - A Case Study in Constrained Hybridization. - José Luiz Fiadeiro; Ionut Tutu; Antónia Lopes; Dusko Pavlovic (DALI@TABLEAUX, 2017)

Heterogeneous and asynchronous networks of timed systems. - José Luiz Fiadeiro; Antónia Lopes (Theor. Comput. Sci., 2017)

Learning non-deterministic impact models for adaptation. - Francisco Duarte; Richard Gil Martinez; Paolo Romano 002; Antónia Lopes; Luís E. T. Rodrigues (SEAMS@ICSE, 2018)

Dynamic networks of heterogeneous timed machines. - José Luiz Fiadeiro; Antónia Lopes; Benoît Delahaye; Axel Legay (Math. Struct. Comput. Sci., 2018)

Logical Support for Bike-Sharing System Design. - Ionut Tutu; Claudia Elena Chirita; Antónia Lopes; José Luiz Fiadeiro (From Software Engineering to Formal Methods and Tools, and Back, 2019)

HeadREST: A Specification Language for RESTful APIs. - Vasco T. Vasconcelos; Francisco Martins; Antónia Lopes; Nuno Burnay (Models, Languages, and Tools for Concurrent and Distributed Programming, 2019)

Planning workflow executions when using spot instances in the cloud. - Richard Gil Martinez; Antónia Lopes; Luís E. T. Rodrigues (SAC, 2019)

Logics for Actor Networks: A two-stage constrained-hybridisation approach. - José Luiz Fiadeiro; Ionut Tutu; Antónia Lopes; Dusko Pavlovic (J. Log. Algebraic Methods Program., 2019)

Statically Checking REST API Consumers. - Nuno Burnay; Antónia Lopes; Vasco T. Vasconcelos (SEFM, 2020)

SafeRESTScript: Statically Checking REST API Consumers. - Nuno Burnay; Antónia Lopes; Vasco T. Vasconcelos (CoRR, 2020)

Cleenex: Support for User Involvement during an Iterative Data Cleaning Process. - João L. M. Pereira; Manuel J. Fonseca; Antónia Lopes; Helena Galhardas (ACM J. Data Inf. Qual., 2024)