Antónia Lopes

According to our database, Antónia Lopes authored at least 85 papers between 1990 and 2020.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2020

SafeRESTScript: Statically Checking REST API Consumers.

Nuno Burnay, Antónia Lopes, Vasco T. Vasconcelos

CoRR, 2020

Statically Checking REST API Consumers.

Nuno Burnay, Antónia Lopes, Vasco T. Vasconcelos

Proceedings of the Software Engineering and Formal Methods - 18th International Conference, 2020

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

Planning workflow executions when using spot instances in the cloud.

Richard Gil Martinez, Antónia Lopes, Luís E. T. Rodrigues

Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

HeadREST: A Specification Language for RESTful APIs.

Vasco T. Vasconcelos, Francisco Martins, Antónia Lopes, Nuno Burnay

Proceedings of the Models, Languages, and Tools for Concurrent and Distributed Programming, 2019

Logical Support for Bike-Sharing System Design.

Ionut Tutu, Claudia Elena Chirita, Antónia Lopes, José Luiz Fiadeiro

Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019

2018

Dynamic networks of heterogeneous timed machines.

José Luiz Fiadeiro, Antónia Lopes, Benoît Delahaye, Axel Legay

Math. Struct. Comput. Sci., 2018

Learning non-deterministic impact models for adaptation.

Francisco Duarte, Richard Gil Martinez, Paolo Romano, Antónia Lopes, Luís E. T. Rodrigues

Proceedings of the 13th International Conference on Software Engineering for Adaptive and Self-Managing Systems, 2018

2017

Heterogeneous and asynchronous networks of timed systems.

José Luiz Fiadeiro, Antónia Lopes

Theor. Comput. Sci., 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

Proceedings of the Dynamic Logic. New Trends and Applications, 2017

Automated generation of policies to support elastic scaling in cloud environments.

Richard Gil Martinez, Antónia Lopes, Luís E. T. Rodrigues

Proceedings of the Symposium on Applied Computing, 2017

Augure: Proactive reconfiguration of cloud applications using heterogeneous resources.

Richard Gil Martinez, Zhongmiao Li, Antónia Lopes, Luís E. T. Rodrigues

Proceedings of the 16th IEEE International Symposium on Network Computing and Applications, 2017

2016

Adaptation impact and environment models for architecture-based self-adaptive systems.

Javier Cámara, Antónia Lopes, David Garlan, Bradley R. Schmerl

Sci. Comput. Program., 2016

2014

Heterogeneous Timed Machines.

Benoît Delahaye, José Luiz Fiadeiro, Axel Legay, Antónia Lopes

Proceedings of the Theoretical Aspects of Computing - ICTAC 2014, 2014

Impact Models for Architecture-Based Self-adaptive Systems.

Javier Cámara Moreno, Antónia Lopes, David Garlan, Bradley R. Schmerl

Proceedings of the Formal Aspects of Component Software - 11th International Symposium, 2014

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

An interface theory for service-oriented design.

José Luiz Fiadeiro, Antónia Lopes

Theor. Comput. Sci., 2013

A model for dynamic reconfiguration in service-oriented architectures.

José Luiz Fiadeiro, Antónia Lopes

Softw. Syst. Model., 2013

A Timed Component Algebra for Services.

Benoît Delahaye, José Luiz Fiadeiro, Axel Legay, Antónia Lopes

Proceedings of the Formal Techniques for Distributed Systems, 2013

2012

A formal model for service-oriented interactions.

José Luiz Fiadeiro, Antónia Lopes, João Abreu

Sci. Comput. Program., 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

Proceedings of the Integrated Formal Methods - 9th International Conference, 2012

A Graph-Based Design Framework for Services.

Antónia Lopes, José Luiz Fiadeiro

Proceedings of the Graph Transformations - 6th International Conference, 2012

Consistency of Service Composition.

José Luiz Fiadeiro, Antónia Lopes

Proceedings of the Fundamental Approaches to Software Engineering, 2012

2011

An abstract model of service discovery and binding.

José Luiz Fiadeiro, Antónia Lopes, Laura Bocchi

Formal Aspects Comput., 2011

Workshop on assurances for self-adaptive systems (ASAS 2011).

Javier Cámara, Rogério de Lemos, Carlo Ghezzi, Antónia Lopes

Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

Formal Modelling of Service-Oriented Systems.

Antónia Lopes

Proceedings of the Model and Data Engineering - First International Conference, 2011

Support for User Involvement in Data Cleaning.

Helena Galhardas, Antónia Lopes, Emanuel Santos

Proceedings of the Data Warehousing and Knowledge Discovery, 2011

Goal-oriented Self-management of In-memory Distributed Data Grid Platforms.

Liliana Rosa, Luís E. T. Rodrigues, Antónia Lopes

Proceedings of the IEEE 3rd International Conference on Cloud Computing Technology and Science, 2011

The Sensoria Reference Modelling Language.

José Luiz Fiadeiro, Antónia Lopes, Laura Bocchi, João Abreu

Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

2010

Automating the construction of domain-specific modeling languages for object-oriented frameworks.

André L. Santos, Kai Koskimies, Antónia Lopes

J. Syst. Softw., 2010

Runtime Verification for Generic Classes with ConGu 2.

Pedro Crispim, Antónia Lopes, Vasco Thudichum Vasconcelos

Proceedings of the Formal Methods: Foundations and Applications, 2010

Self-management of Distributed Systems Using High-Level Goal Policies.

Liliana Rosa, Luís E. T. Rodrigues, Antónia Lopes

Proceedings of the Software Engineering for Self-Adaptive Systems II, 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, 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

Proceedings of the Software Engineering for Self-Adaptive Systems, 24.10. - 29.10.2010, 2010

A Design Space for Self-Adaptive Systems.

Yuriy Brun, Ronald J. Desmarais, Kurt Geihs, Marin Litoiu, Antónia Lopes, Mary Shaw, Michael Smit

Proceedings of the Software Engineering for Self-Adaptive Systems II, 2010

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

Proceedings of the Stabilization, 2009

Bridging the Gap between Algebraic Specification and Object-Oriented Generic Programming.

Isabel Nunes, Antónia Lopes, Vasco Thudichum Vasconcelos

Proceedings of the Runtime Verification, 9th International Workshop, 2009

2008

Automated Domain-Specific Modeling Languages for Generating Framework-Based Applications.

André L. Santos, Kai Koskimies, Antónia Lopes

Proceedings of the Software Product Lines, 12th International Conference, 2008

Modelling adaptive services for distributed systems.

Liliana Rosa, Antónia Lopes, Luís E. T. Rodrigues

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

A Use-Case Driven Approach to Formal Service-Oriented Modelling.

Laura Bocchi, José Luiz Fiadeiro, Antónia Lopes

Proceedings of the Leveraging Applications of Formal Methods, 2008

Service-Oriented Modelling of Automotive Systems.

Laura Bocchi, José Luiz Fiadeiro, Antónia Lopes

Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

2007

An algebraic semantics of event-based architectures.

José Luiz Fiadeiro, Antónia Lopes

Math. Struct. Comput. Sci., 2007

One-to-many data transformations through data mappers.

Paulo Carreira, Helena Galhardas, Antónia Lopes, João Pereira

Data Knowl. Eng., 2007

From BPEL to SRML: A Formal Transformational Approach.

Laura Bocchi, Yi Hong, Antónia Lopes, José Luiz Fiadeiro

Proceedings of the Web Services and Formal Methods, 4th International Workshop, 2007

Building Adaptive Systems with Service Composition Frameworks.

Liliana Rosa, Luís E. T. Rodrigues, Antónia Lopes

Proceedings of the On the Move to Meaningful Internet Systems 2007: CoopIS, 2007

Specifying and Composing Interaction Protocols for Service-Oriented System Modelling.

João Abreu, Laura Bocchi, José Luiz Fiadeiro, Antónia Lopes

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2007

A framework to support multiple reconfiguration strategies.

Liliana Rosa, Luís E. T. Rodrigues, Antónia Lopes

Proceedings of the 1st International Conference on Autonomic Computing and Communication Systems, 2007

Framework specialization aspects.

André L. Santos, Antónia Lopes, Kai Koskimies

Proceedings of the 6th International Conference on Aspect-Oriented Software Development, 2007

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

A Model-Driven Approach to Variability Management in Product-Line Engineering.

André L. Santos, Kai Koskimies, Antónia Lopes

Nord. J. Comput., 2006

A Formal Approach to Service Component Architecture.

José Luiz Fiadeiro, Antónia Lopes, Laura Bocchi

Proceedings of the Web Services and Formal Methods, Third International Workshop, 2006

Algebraic Semantics of Service Component Modules.

José Luiz Fiadeiro, Antónia Lopes, Laura Bocchi

Proceedings of the Recent Trends in Algebraic Development Techniques, 2006

Modularizing Framework Hot Spots Using Aspects.

André L. Santos, Antónia Lopes, Kai Koskimies

Proceedings of the XI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2006), 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

Proceedings of the Formal Methods and Software Engineering, 2006

Policy-Driven Adaptation of Protocol Stacks.

Liliana Rosa, Antónia Lopes, Luís E. T. Rodrigues

Proceedings of the 2006 International Conference on Autonomic and Autonomous Systems (ICAS 2006), 2006

A Formal Approach to Event-Based Architectures.

José Luiz Fiadeiro, Antónia Lopes

Proceedings of the Fundamental Approaches to Software Engineering, 2006

2005

Modelling the GSM Handover Protocol in CommUnity.

Cristóvão Oliveira, Michel Wermelinger, José Luiz Fiadeiro, Antónia Lopes

Proceedings of the Second International Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures, 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

Proceedings of the 20° Simpósio Brasileiro de Bancos de Dados, 2005

Context-Awareness in Software Architectures.

Antónia Lopes, José Luiz Fiadeiro

Proceedings of the Software Architecture, 2nd European Workshop, 2005

Data Mapper: An Operator for Expressing One-to-Many Data Transformations.

Paulo J. F. Carreira, Helena Galhardas, João Pereira, Antónia Lopes

Proceedings of the Data Warehousing and Knowledge Discovery, 2005

2004

An Architectural Approach to Mobility - The Handover Case Study.

Cristóvão Oliveira, Michel Wermelinger, José Luiz Fiadeiro, Antónia Lopes

Proceedings of the 4th Working IEEE / IFIP Conference on Software Architecture (WICSA 2004), 2004

Algebraic Semantics of Design Abstractions for Context-Awareness.

Antónia Lopes, José Luiz Fiadeiro

Proceedings of the Recent Trends in Algebraic Development Techniques, 2004

New Insights on Architectural Connectors.

Roberto Bruni, José Luiz Fiadeiro, Ivan Lanese, Antónia Lopes, Ugo Montanari

Proceedings of the Exploring New Frontiers of Theoretical Informatics, 2004

2003

High-order architectural connectors.

Antónia Lopes, Michel Wermelinger, José Luiz Fiadeiro

ACM Trans. Softw. Eng. Methodol., 2003

Adding Mobility to Software Architectures.

Antónia Lopes, José Luiz Fiadeiro

Proceedings of FOCLASA 2003, 2003

CommUnity on the Move: Architectures for Distribution and Mobility.

José Luiz Fiadeiro, Antónia Lopes

Proceedings of the Formal Methods for Components and Objects, 2003

Coordination for Distributed Business Systems.

Luís Andrade, José Luiz Fiadeiro, Antónia Lopes, Michel Wermelinger

Proceedings of the 15th Conference on Advanced Information Systems Engineering (CAiSE '03), 2003

A Mathematical Semantics for Architectural Connectors.

José Luiz Fiadeiro, Antónia Lopes, Michel Wermelinger

Proceedings of the Generic Programming - Advanced Lectures, 2003

2002

Superposition: Composition vs refinement of non-deterministic action-based systems.

Antónia Lopes, José Luiz Fiadeiro

Proceedings of the BCS FACS Refinement Workshop 2002, 2002

On How Distribution and Mobility Interfere with Coordination.

Antónia Lopes, José Luiz Fiadeiro

Proceedings of the Recent Trends in Algebraic Development Techniques, 2002

AGILE: Software Architecture for Mobility.

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

Proceedings of the Recent Trends in Algebraic Development Techniques, 2002

Architectural primitives for distribution and mobility.

Antónia Lopes, José Luiz Fiadeiro, Michel Wermelinger

Proceedings of the Tenth ACM SIGSOFT Symposium on Foundations of Software Engineering 2002, 2002

Revisiting the Categorical Approach to Systems.

Antónia Lopes, José Luiz Fiadeiro

Proceedings of the Algebraic Methodology and Software Technology, 2002

2001

A Compositional Approach to Connector Construction.

Antónia Lopes, Michel Wermelinger, José Luiz Fiadeiro

Proceedings of the Recent Trends in Algebraic Development Techniques, 2001

A graph based architectural (Re)configuration language.

Michel Wermelinger, Antónia Lopes, José Luiz Fiadeiro

Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2001, 2001

A Graph Transformation Approach to Architectural Run-Time Reconfiguration.

Michel Wermelinger, Antónia Lopes, José Luiz Fiadeiro

Proceedings of the 2001 International Workshop on Formal Foundations of Software Evolution, 2001

2000

Superposing Connectors.

Michel Wermelinger, Antónia Lopes, José Luiz Fiadeiro

Proceedings of the 10th International Workshop on Software Specification and Design, 2000

Patterns for Coordination.

Luís Filipe Andrade, José Luiz Fiadeiro, João Gouveia, Antónia Lopes, Michel Wermelinger

Proceedings of the Coordination Languages and Models, 4th International Conference, 2000

1999

Using Explicit State to Describe Architechtures.

Antónia Lopes, José Luiz Fiadeiro

Proceedings of the Fundamental Approaches to Software Engineering, 1999

1998

Algebraic Semantics of Coordination or What Is in a Signature.

José Luiz Fiadeiro, Antónia Lopes

Proceedings of the Algebraic Methodology and Software Technology, 1998

1997

Semantics of Architectural Connectors.

José Luiz Fiadeiro, Antónia Lopes

Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997

Specification of Required Non-determinism.

Kevin Lano, Juan Bicarregui, José Luiz Fiadeiro, Antónia Lopes

Proceedings of the FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997

Preservation and Reflection in Specification.

Antónia Lopes, José Luiz Fiadeiro

Proceedings of the Algebraic Methodology and Software Technology, 1997

Synthesising interconnections.

José Luiz Fiadeiro, Antónia Lopes, T. S. E. Maibaum

Proceedings of the Algorithmic Languages and Calculi, 1997

1991

Gentzen-Type System for Verification in Conceptual Modeling.

Cristina Sernadas, Paula Gouveia, Antónia Lopes

Proceedings of the Third Workshop on Foundations of Models and Languages for Data and Objects, 1991

1990

Objects as Structuring Units for Incorporating Dynamics in Deductive Conceptual Modeling.

Cristina Sernadas, Paula Gouveia, Luísa Silva, Antónia Lopes

Proceedings of the International Workshop on the Deductive Approach to Information Systems and Databases, 1990