Antónia Lopes

99 papers B 17C 9Misc 3Journal 19Unranked 47

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	Cleenex: Support for User Involvement during an Iterative Data Cleaning Process. ACM J. Data Inf. Qual. João L. M. Pereira, Manuel J. Fonseca, Antónia Lopes, Helena Galhardas
2024	—	`ed.`	Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE), Lisbon, Portugal, April 14-15, 2024 FormaliSE@ICSE Nico Plat, Stefania Gnesi, Carlo A. Furia, Antónia Lopes
2023	C	`ed.`	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 COORDINATION Sung-Shik Jongmans, Antónia Lopes
2020	J	`jnl`	SafeRESTScript: Statically Checking REST API Consumers. CoRR Nuno Burnay, Antónia Lopes, Vasco T. Vasconcelos
2020	B	`conf`	Statically Checking REST API Consumers. SEFM Nuno Burnay, Antónia Lopes, Vasco T. Vasconcelos
2019	—	`conf`	HeadREST: A Specification Language for RESTful APIs. Models, Languages, and Tools for Concurrent and Distributed Programming Vasco T. Vasconcelos, Francisco Martins, Antónia Lopes, Nuno Burnay
2019	—	`conf`	Logical Support for Bike-Sharing System Design. From Software Engineering to Formal Methods and Tools, and Back Ionut Tutu, Claudia Elena Chirita, Antónia Lopes, José Luiz Fiadeiro
2019	J	`jnl`	Logics for Actor Networks: A two-stage constrained-hybridisation approach. J. Log. Algebraic Methods Program. José Luiz Fiadeiro, Ionut Tutu, Antónia Lopes, Dusko Pavlovic
2019	Misc	`conf`	Planning workflow executions when using spot instances in the cloud. SAC Richard Gil Martinez, Antónia Lopes, Luís E. T. Rodrigues
2018	J	`jnl`	Dynamic networks of heterogeneous timed machines. Math. Struct. Comput. Sci. José Luiz Fiadeiro, Antónia Lopes, Benoît Delahaye, Axel Legay
2018	—	`conf`	Learning non-deterministic impact models for adaptation. SEAMS@ICSE Francisco Duarte, Richard Gil Martinez, Paolo Romano, Antónia Lopes, Luís E. T. Rodrigues
2017	B	`conf`	Augure: Proactive reconfiguration of cloud applications using heterogeneous resources. NCA Richard Gil Martinez, Zhongmiao Li, Antónia Lopes, Luís E. T. Rodrigues
2017	Misc	`conf`	Automated generation of policies to support elastic scaling in cloud environments. SAC Richard Gil Martinez, Antónia Lopes, Luís E. T. Rodrigues
2017	J	`jnl`	Heterogeneous and asynchronous networks of timed systems. Theor. Comput. Sci. José Luiz Fiadeiro, Antónia Lopes
2017	—	`conf`	Logics for Actor Networks: A Case Study in Constrained Hybridization - A Case Study in Constrained Hybridization. DALI@TABLEAUX José Luiz Fiadeiro, Ionut Tutu, Antónia Lopes, Dusko Pavlovic
2017	B	`ed.`	Software Architecture - 11th European Conference, ECSA 2017, Canterbury, UK, September 11-15, 2017, Proceedings ECSA Antónia Lopes, Rogério de Lemos
2016	J	`jnl`	Adaptation impact and environment models for architecture-based self-adaptive systems. Sci. Comput. Program. Javier Cámara, Antónia Lopes, David Garlan, Bradley R. Schmerl
2014	C	`conf`	Heterogeneous Timed Machines. ICTAC Benoît Delahaye, José Luiz Fiadeiro, Axel Legay, Antónia Lopes
2014	B	`conf`	Heterogeneous and Asynchronous Networks of Timed Systems. FASE José Luiz Fiadeiro, Antónia Lopes
2014	—	`conf`	Impact Models for Architecture-Based Self-adaptive Systems. FACS Javier Cámara Moreno, Antónia Lopes, David Garlan, Bradley R. Schmerl
2013	—	`conf`	A Timed Component Algebra for Services. FMOODS/FORTE Benoît Delahaye, José Luiz Fiadeiro, Axel Legay, Antónia Lopes
2013	J	`jnl`	A model for dynamic reconfiguration in service-oriented architectures. Softw. Syst. Model. José Luiz Fiadeiro, Antónia Lopes
2013	J	`jnl`	An interface theory for service-oriented design. Theor. Comput. Sci. José Luiz Fiadeiro, Antónia Lopes
2013	—	`book`	Assurances for Self-Adaptive Systems - Principles, Models, and Techniques Assurances for Self-Adaptive Systems Javier Cámara, Rogério de Lemos, Carlo Ghezzi, Antónia Lopes
2013	J	`jnl`	Self-Management of Adaptable Component-Based Applications. IEEE Trans. Software Eng. Liliana Rosa, Luís E. T. Rodrigues, Antónia Lopes, Matti A. Hiltunen, Richard D. Schlichting
2012	B	`conf`	A Graph-Based Design Framework for Services. ICGT Antónia Lopes, José Luiz Fiadeiro
2012	J	`jnl`	A formal model for service-oriented interactions. Sci. Comput. Program. José Luiz Fiadeiro, Antónia Lopes, João Abreu
2012	B	`conf`	Consistency of Service Composition. FASE José Luiz Fiadeiro, Antónia Lopes
2012	B	`conf`	Specification-Driven Unit Test Generation for Java Generic Classes. IFM Francisco Rebello de Andrade, João Pascoal Faria, Antónia Lopes, Ana C. R. Paiva
2011	B	`conf`	An Interface Theory for Service-Oriented Design. FASE José Luiz Fiadeiro, Antónia Lopes
2011	J	`jnl`	An abstract model of service discovery and binding. Formal Aspects Comput. José Luiz Fiadeiro, Antónia Lopes, Laura Bocchi
2011	C	`conf`	Formal Modelling of Service-Oriented Systems. MEDI Antónia Lopes
2011	C	`conf`	Goal-oriented Self-management of In-memory Distributed Data Grid Platforms. CloudCom Liliana Rosa, Luís E. T. Rodrigues, Antónia Lopes
2011	B	`conf`	Support for User Involvement in Data Cleaning. DaWaK Helena Galhardas, Antónia Lopes, Emanuel Santos
2011	—	`ch.`	The Sensoria Reference Modelling Language. Results of the SENSORIA Project José Luiz Fiadeiro, Antónia Lopes, Laura Bocchi, João Abreu
2011	—	`conf`	Workshop on assurances for self-adaptive systems (ASAS 2011). SIGSOFT FSE Javier Cámara, Rogério de Lemos, Carlo Ghezzi, Antónia Lopes
2010	—	`conf`	A Design Space for Self-Adaptive Systems. Software Engineering for Self-Adaptive Systems Yuriy Brun, Ronald J. Desmarais, Kurt Geihs, Marin Litoiu, Antónia Lopes, Mary Shaw, Michael Smit
2010	B	`conf`	A Model for Dynamic Reconfiguration in Service-Oriented Architectures. ECSA José Luiz Fiadeiro, Antónia Lopes
2010	J	`jnl`	Automating the construction of domain-specific modeling languages for object-oriented frameworks. J. Syst. Softw. André L. Santos, Kai Koskimies, Antónia Lopes
2010	—	`conf`	Runtime Verification for Generic Classes with ConGu 2. SBMF Pedro Crispim, Antónia Lopes, Vasco Thudichum Vasconcelos
2010	—	`conf`	Self-management of Distributed Systems Using High-Level Goal Policies. Software Engineering for Self-Adaptive Systems Liliana Rosa, Luís E. T. Rodrigues, Antónia Lopes
2010	—	`conf`	Software Engineering for Self-Adaptive Systems: A Second Research Roadmap. Software Engineering for Self-Adaptive Systems 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
2010	—	`conf`	Software Engineering for Self-Adaptive Systems: A second Research Roadmap. Software Engineering for Self-Adaptive Systems 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
2009	B	`conf`	Bridging the Gap between Algebraic Specification and Object-Oriented Generic Programming. RV Isabel Nunes, Antónia Lopes, Vasco Thudichum Vasconcelos
2009	—	`ed.`	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 FMOODS/FORTE David Lee, Antónia Lopes, Arnd Poetzsch-Heffter
2009	C	`conf`	From Local Impact Functions to Global Adaptation of Service Compositions. SSS Liliana Rosa, Luís E. T. Rodrigues, Antónia Lopes, Matti A. Hiltunen, Richard D. Schlichting
2008	C	`conf`	A Use-Case Driven Approach to Formal Service-Oriented Modelling. ISoLA Laura Bocchi, José Luiz Fiadeiro, Antónia Lopes
2008	B	`conf`	Automated Domain-Specific Modeling Languages for Generating Framework-Based Applications. SPLC André L. Santos, Kai Koskimies, Antónia Lopes
2008	Misc	`conf`	Modelling adaptive services for distributed systems. SAC Liliana Rosa, Antónia Lopes, Luís E. T. Rodrigues
2008	B	`conf`	Service-Oriented Modelling of Automotive Systems. COMPSAC Laura Bocchi, José Luiz Fiadeiro, Antónia Lopes
2007	—	`conf`	A framework to support multiple reconfiguration strategies. Autonomics Liliana Rosa, Luís E. T. Rodrigues, Antónia Lopes
2007	J	`jnl`	An algebraic semantics of event-based architectures. Math. Struct. Comput. Sci. José Luiz Fiadeiro, Antónia Lopes
2007	—	`conf`	Building Adaptive Systems with Service Composition Frameworks. OTM Conferences (1) Liliana Rosa, Luís E. T. Rodrigues, Antónia Lopes
2007	—	`conf`	Framework specialization aspects. AOSD André L. Santos, Antónia Lopes, Kai Koskimies
2007	—	`conf`	From BPEL to SRML: A Formal Transformational Approach. WS-FM Laura Bocchi, Yi Hong, Antónia Lopes, José Luiz Fiadeiro
2007	B	`ed.`	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 FASE Matthew B. Dwyer, Antónia Lopes
2007	J	`jnl`	One-to-many data transformations through data mappers. Data Knowl. Eng. Paulo Carreira, Helena Galhardas, Antónia Lopes, João Pereira
2007	C	`conf`	Specifying and Composing Interaction Protocols for Service-Oriented System Modelling. FORTE João Abreu, Laura Bocchi, José Luiz Fiadeiro, Antónia Lopes
2006	B	`conf`	A Formal Approach to Event-Based Architectures. FASE José Luiz Fiadeiro, Antónia Lopes
2006	—	`conf`	A Formal Approach to Service Component Architecture. WS-FM José Luiz Fiadeiro, Antónia Lopes, Laura Bocchi
2006	J	`jnl`	A Model-Driven Approach to Variability Management in Product-Line Engineering. Nord. J. Comput. André L. Santos, Kai Koskimies, Antónia Lopes
2006	J	`jnl`	Adding mobility to software architectures. Sci. Comput. Program. Antónia Lopes, José Luiz Fiadeiro
2006	—	`conf`	Algebraic Semantics of Service Component Modules. WADT José Luiz Fiadeiro, Antónia Lopes, Laura Bocchi
2006	C	`conf`	Checking the Conformance of Java Classes Against Algebraic Specifications. ICFEM Isabel Nunes, Antónia Lopes, Vasco Thudichum Vasconcelos, João Abreu, Luís S. Reis
2006	J	`jnl`	Context adaptation of the communication stack. Int. J. Parallel Emergent Distributed Syst. José Mocito, Liliana Rosa, Nuno Almeida, Hugo Miranda, Luís E. T. Rodrigues, Antónia Lopes
2006	—	`conf`	Modularizing Framework Hot Spots Using Aspects. JISBD André L. Santos, Antónia Lopes, Kai Koskimies
2006	—	`conf`	Policy-Driven Adaptation of Protocol Stacks. ICAS Liliana Rosa, Antónia Lopes, Luís E. T. Rodrigues
2005	—	`conf`	Context Adaptation of the Communication Stack. ICDCS Workshops José Mocito, Liliana Rosa, Nuno Almeida, Hugo Miranda, Luís E. T. Rodrigues, Antónia Lopes
2005	—	`conf`	Context-Awareness in Software Architectures. EWSA Antónia Lopes, José Luiz Fiadeiro
2005	B	`conf`	Data Mapper: An Operator for Expressing One-to-Many Data Transformations. DaWaK Paulo J. F. Carreira, Helena Galhardas, João Pereira, Antónia Lopes
2005	—	`conf`	Extending Relational Algebra to express one-to-many data transformations. SBBD Paulo J. F. Carreira, Helena Galhardas, Antónia Lopes, João L. M. Pereira
2005	—	`conf`	Modelling the GSM Handover Protocol in CommUnity. FESCA@ETAPS Cristóvão Oliveira, Michel Wermelinger, José Luiz Fiadeiro, Antónia Lopes
2004	—	`conf`	Algebraic Semantics of Design Abstractions for Context-Awareness. WADT Antónia Lopes, José Luiz Fiadeiro
2004	—	`conf`	An Architectural Approach to Mobility - The Handover Case Study. WICSA Cristóvão Oliveira, Michel Wermelinger, José Luiz Fiadeiro, Antónia Lopes
2004	—	`conf`	New Insights on Architectural Connectors. IFIP TCS Roberto Bruni, José Luiz Fiadeiro, Ivan Lanese, Antónia Lopes, Ugo Montanari
2004	J	`jnl`	Superposition: composition vs refinement of non-deterministic, action-based systems. Formal Aspects Comput. Antónia Lopes, José Luiz Fiadeiro
2003	—	`conf`	A Mathematical Semantics for Architectural Connectors. Generic Programming José Luiz Fiadeiro, Antónia Lopes, Michel Wermelinger
2003	—	`conf`	Adding Mobility to Software Architectures. FOCLASA Antónia Lopes, José Luiz Fiadeiro
2003	—	`conf`	CommUnity on the Move: Architectures for Distribution and Mobility. FMCO José Luiz Fiadeiro, Antónia Lopes
2003	—	`conf`	Coordination for Distributed Business Systems. CAiSE Workshops Luís Andrade, José Luiz Fiadeiro, Antónia Lopes, Michel Wermelinger
2003	J	`jnl`	High-order architectural connectors. ACM Trans. Softw. Eng. Methodol. Antónia Lopes, Michel Wermelinger, José Luiz Fiadeiro
2002	—	`conf`	AGILE: Software Architecture for Mobility. WADT 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
2002	—	`conf`	Architectural primitives for distribution and mobility. SIGSOFT FSE Antónia Lopes, José Luiz Fiadeiro, Michel Wermelinger
2002	—	`conf`	On How Distribution and Mobility Interfere with Coordination. WADT Antónia Lopes, José Luiz Fiadeiro
2002	—	`conf`	Revisiting the Categorical Approach to Systems. AMAST Antónia Lopes, José Luiz Fiadeiro
2002	—	`conf`	Superposition: Composition vs refinement of non-deterministic action-based systems. Refine Antónia Lopes, José Luiz Fiadeiro
2001	—	`conf`	A Compositional Approach to Connector Construction. WADT Antónia Lopes, Michel Wermelinger, José Luiz Fiadeiro
2001	—	`conf`	A Graph Transformation Approach to Architectural Run-Time Reconfiguration. FFSE@CSMR Michel Wermelinger, Antónia Lopes, José Luiz Fiadeiro
2001	—	`conf`	A graph based architectural (Re)configuration language. ESEC / SIGSOFT FSE Michel Wermelinger, Antónia Lopes, José Luiz Fiadeiro
2000	C	`conf`	Patterns for Coordination. COORDINATION Luís Filipe Andrade, José Luiz Fiadeiro, João Gouveia, Antónia Lopes, Michel Wermelinger
2000	—	`conf`	Superposing Connectors. IWSSD Michel Wermelinger, Antónia Lopes, José Luiz Fiadeiro
1999	B	`conf`	Using Explicit State to Describe Architechtures. FASE Antónia Lopes, José Luiz Fiadeiro
1998	—	`conf`	Algebraic Semantics of Coordination or What Is in a Signature. AMAST José Luiz Fiadeiro, Antónia Lopes
1997	—	`conf`	Preservation and Reflection in Specification. AMAST Antónia Lopes, José Luiz Fiadeiro
1997	—	`conf`	Semantics of Architectural Connectors. TAPSOFT José Luiz Fiadeiro, Antónia Lopes
1997	—	`conf`	Specification of Required Non-determinism. FME Kevin Lano, Juan Bicarregui, José Luiz Fiadeiro, Antónia Lopes
1997	—	`conf`	Synthesising interconnections. Algorithmic Languages and Calculi José Luiz Fiadeiro, Antónia Lopes, T. S. E. Maibaum
1991	—	`conf`	Gentzen-Type System for Verification in Conceptual Modeling. FMLDO Cristina Sernadas, Paula Gouveia, Antónia Lopes
1990	—	`conf`	Objects as Structuring Units for Incorporating Dynamics in Deductive Conceptual Modeling. DAISD Cristina Sernadas, Paula Gouveia, Luísa Silva, Antónia Lopes