BIBLIOS
Ciências References Management System
Visitor Mode (
Login
)
Need help?
Publications for malopes
(70)
2024
Preliminary Study on the Effectiveness of ChatGPT at Identifying, Explaining, and Revealing Semantic Conflicts in Merge Commits
(2024)
Duarte Guedes Sardão
José Campos
Antónia Lopes
Academic documents
2024
Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE)
(2024)
Antónia Lopes
Books
2024
Cleenex: Support for User Involvement during an Iterative Data Cleaning Process
(2024)
João L. M. Pereira
Manuel J. Fonseca
Antónia Lopes
Helena Galhardas
Journal articles
2024
Detection of transaction consistency problems in microservices
(2024)
Silva, André Filipe dos Santos
Lopes, Maria Antónia Bacelar da Costa
Fonseca, Alcides Miguel Cachulo Aguiar
Academic documents
2024
Mobile Development – Offline Persistence
(2024)
Andrade, António Eduardo Moita
Lopes, Maria Antónia Bacelar da Costa
Academic documents
2024
Static Analysis for Detection of Defects in Machine Learning Pipelines
(2024)
Silva, Pedro Miguel Alcântara da
Fonseca, Alcides Miguel Cachulo Aguiar
Lopes, Maria Antónia Bacelar da Costa
Academic documents
2024
Hall Screens for Gymnastics Competitions
(2024)
Lamelas, Cláudio André Rodrigues
Lopes, Maria Antónia Bacelar da Costa
Academic documents
2023
Coordination Models and Languages
(2023)
Antónia Lopes
Books
2021
Semantic Conflicts in Version Control Systems
(2021)
Nuno Guilherme Nunes Castanho
Maria Antónia Bacelar da Costa Lopes
José Carlos Medeiros de Campos
Academic documents
2020
Statically Checking REST API Consumers
(2020)
Nuno Burnay
Antónia Lopes
Vasco T. Vasconcelos
Conference papers
2020
Security and Usability in the HeadREST Language
(2020)
Francisco Robalinho Medeiros
Vasco Manuel Thudichum de Serpa Vasconcelos
Maria Antónia Bacelar da Costa Lopes
Academic documents
2020
Special Issue for 11th European Conference on Software Architecture
(2020)
A.Lopes
R. de Lemos
Journal articles
2019
Logics for Actor Networks: A two-stage constrained-hybridisation approach
(2019)
José Luiz Fiadeiro
Ionu? ?u?u
Antónia Lopes
Dusko Pavlovic
Journal articles
2019
Carteira digital como solução financeira
(2019)
Dias, Marcus Sousa
Lopes, Maria Antónia Bacelar da Costa
Academic documents
2019
Types to the rescue: verification of REST APIs consumer code
(2019)
Burnay, Nuno Miguel Pereira
Vasconcelos, Vasco Thudichum
Lopes, Maria Antónia Bacelar da Costa
Academic documents
2019
Logical Support for Bike-Sharing System Design
(2019)
Ionut Tutu
Claudia Elena Chirita
Antónia Lopes
José Luiz Fiadeiro
Book chapters
2019
HeadREST: A Specification Language for RESTful APIs
(2019)
Vasco T. Vasconcelos
Francisco Martins
Antónia Lopes
Nuno Burnay
Book chapters
2019
HeadREST: A Specification Language for RESTful APIs
(2019)
Vasco T. Vasconcelos
Francisco Martins
Antónia Lopes
Nuno Burnay
Book chapters
2019
Planning workflow executions when using spot instances in the cloud
(2019)
Richard Gil Martinez
Antónia Lopes
Luís Rodrigues
Conference papers
2019
Smart E-Tickets: buying authentic and trustworthy tickets with blockchain
(2019)
Daniel Filipe Martiniano dos Santos
Lopes, Maria Antónia Bacelar da Costa
Academic documents
2018
Code Generation for RESTful APIs REST in HeadREST
(2018)
Telmo da Silva Santos
Maria Antónia Bacelar da Costa Lopes
Vasco Manuel Thudichum de Serpa Vasconcelos
Academic documents
2018
Logics for Actor Networks: A Case Study in Constrained Hybridization
(2018)
José Fiadeiro
Ionu? ?u?u
Antónia Lopes
Dusko Pavlovic
Book chapters
2018
Learning non-deterministic impact models for adaptation
(2018)
Francisco Duarte
Richard Gil
Paolo Romano
Antónia Lopes
Luís Rodrigues
Conference papers
2017
Augure: Proactive reconfiguration of cloud applications using heterogeneous resources
(2017)
Richard Gil Martinez
Zhongmiao Li
Antonia Lopes
Luis Rodrigues
Conference papers
2017
Dynamic networks of heterogeneous timed machines
(2017)
JOSÉ FIADEIRO
ANTÓNIA LOPES
BENOÎT DELAHAYE
AXEL LEGAY
Journal articles
2017
Heterogeneous and asynchronous networks of timed systems
(2017)
José L. Fiadeiro
Antónia Lopes
Journal articles
2017
Automated generation of policies to support elastic scaling in cloud environments
(2017)
Richard Gil Martinez
Antónia Lopes
Luís Rodrigues
Conference papers
2017
Software Architecture. 11th European Conference, ECSA 2017, Canterbury, UK, September 11-15, 2017, Proceedings
(2017)
Antónia Lopes
Rogério de Lemos
Books
2016
Adaptation impact and environment models for architecture-based self-adaptive systems
(2016)
Javier Cámara
Antónia Lopes
David Garlan
Bradley Schmerl
Journal articles
2014
Suporte ao envolvimento do utilizador em processos de limpeza de dados
(2014)
António, Nkadi Sebastião
Galhardas, Helena Isabel de Jesus
Lopes, Maria Antónia Bacelar da Costa
Academic documents
2014
Heterogeneous and Asynchronous Networks of Timed Systems
(2014)
José Luiz Fiadeiro
Antónia Lopes
Conference papers
2014
Heterogeneous Timed Machines
(2014)
Benoît Delahaye
José Luiz Fiadeiro
Axel Legay
Antónia Lopes
Conference papers
2014
Impact Models for Architecture-Based Self-adaptive Systems
(2014)
Javier Cámara Moreno
Antónia Lopes
David Garlan
Bradley Schmerl
Conference papers
2013
An interface theory for service-oriented design
(2013)
José Luiz Fiadeiro
Antónia Lopes
Journal articles
2013
Mutation-driven Test Generation for Conflict Detection in Software Integration
(2013)
Ricardo Daniel Sequeira Wilhelm
tMartins, Francisco Cipriano da Cunha,
Lopes, Maria Antónia Bacelar da Costa
Academic documents
2013
A Model for Dynamic Reconfiguration in Service-oriented Architectures
(2013)
José Luiz Fiadeiro
Antónia Lopes
Journal articles
2013
Self-management of Adaptable Component-based Applications
(2013)
Liliana Rosa
Luís Rodrigues
Antónia Lopes
Matti Hiltunen e Richard Schlichting
Journal articles
2013
Self-management of Distributed Systems Using High-level Goal Policies
(2013)
Liliana Rosa
Luí Rodrigues
Antónia Lopes
Book chapters
2013
Software Engineering for Self-Adaptive Systems: A second research roadmap
(2013)
R.Lemos et al., with 42 authors including:
Antónia Lopes
Book chapters
2013
A Design Space for Adaptive Systems
(2013)
Y.Brun et al., with 7 authors including:
Antónia Lopes
Book chapters
2012
A Formal Model for Service-Oriented Interactions
(2012)
J.L.Fiadeiro
A.Lopes
J.Abreu
Journal articles
2012
Self-management of Systems Built from Adaptable Components
(2012)
Rosa, Liliana Wu Freitas
Rodrigues, Luís Eduardo Teixeira
Lopes, Maria Antónia Bacelar da Costa
Academic documents
2012
Integration of Strategy-oriented and Goal-oriented Approaches to Self-adaptation
(2012)
Carlos Miguel Pereira Bangueses
Maria Antónia Bacelar da Costa Lopes
Academic documents
2012
Support for user interaction in a data cleaning process
(2012)
Dias, João Lobato dos Santos
Galhardas, Helena Isabel de Jesus
Lopes, Maria Antónia Bacelar da Costa
Academic documents
2011
An Abstract Model of Service Discovery and Binding
(2011)
José Luiz Fiadeiro
Antónia Lopes
Laura Bocchi
Journal articles
2011
Workshop on assurances for self-adaptive systems (ASAS 2011)
(2011)
Javier Cámara
Rogério de Lemos
Carlo Ghezzi
Antónia Lopes
Books
2010
Automating the Construction of Domain-Specific Modeling Languages for Object-Oriented Frameworks
(2010)
André L. Santos
Kai Koskimies
Antónia Lopes
Journal articles
2010
Model for Dynamic Reconfiguration in Service-oriented Architectures
(2010)
José Luiz Fiadeiro
Antónia Lopes
Conference papers
2010
Runtime Verification for Generic Classes with ConGu2
(2010)
Pedro Crispim
Antónia Lopes
Vasco Vasconcelos
Conference papers
2010
Monitorização da Correcçãode Classes Genéricas
(2010)
Pedro Crispim
Antónia Lopes
Vasco Vasconcelos
Conference papers
2010
Explicitly Involving the User in a Data Cleaning Process
(2010)
Helena Galhardas
Antónia Lopes
Emanuel Santos
Other
2009
FMOODS/FORTE 2009: Formal Techniques for Distributed Systems 11th IFIP WG 6.1 International Conference, FMOODS 2009 and 29th IFIP WG 6.1 International Conference, FORTE 2009,
(2009)
D.Lee, Antónia Lopes, A.Poetzsch-Heffter
Books
2009
From Local Impact Functions to Global Adaptations of Service Compositions
(2009)
L.Rosa
L.Rodrigues
Antónia Lopes
M. Hiltunen
R.Schlicht
Conference papers
2009
Bridging the Gap between Algebraic Specification and Object-oriented Generic Programming
(2009)
Isabel Nunes
Antónia Lopes
Vasco T. Vasconcelos
Conference papers
2008
A Use-Case Driven Approach to Formal Service-Oriented Modelling
(2008)
Laura Bocchi
José Luiz Fiadeiro
Antónia Lopes
Conference papers
2008
Service-Oriented Modelling of Automotive Systems
(2008)
Laura Bocchi
José Luiz Fiadeiro
Antónia Lopes
Conference papers
2008
Modelling Adaptive Services for Distributed Systems
(2008)
Liliana Rosa
Antónia Lopes
Luís Rodrigues
Conference papers
2008
Monitoring Java code using ConGu
(2008)
Vasco T. Vasconcelos
Isabel Nunes
Antonia Lopes
Conference papers
2008
Runtime checking Java code using ConGu
(2008)
Vasco T. Vasconcelos
Isabel Nunes
Antónia Lopes
Nuno Ramiro
Pedro Crispim
Conference papers
2007
One-to-many transformation through data mappers
(2007)
Carreira P.
H. Galhardas
A. Lopes
J. Pereira
Journal articles
2007
A Categorical Semantics of Event-based Architectures
(2007)
J. L. Fiadeiro
Antónia Lopes
Journal articles
2007
One-to-many data transformations through data mappers
(2007)
P. Carreira
Helena Galhardas
Antónia Lopes
J. Pereira
Journal articles
2007
Algebraic Semantics of Service Component Modules
(2007)
J. L. Fiadeiro
Antónia Lopes
L. Bocchi
Book chapters
2007
Framework Specialization Aspects
(2007)
André Leal Santos
Antónia Lopes
Kai Koskimies
Conference papers
2007
Building Adaptive Systems with Service Composition Frameworks
(2007)
Liliana Rosa
Luís Rodrigues
Antónia Lopes
Conference papers
2007
A Framework to Support Multiple Reconfiguration Strategies
(2007)
Liliana Rosa
Luís Rodrigues
Antónia Lopes
Conference papers
2006
Context Adaptation of the Communication Stack
(2006)
José Mocito et al., with 6 authors including:
Hugo Miranda
Antónia Lopes
Journal articles
2006
Checking the Conformance of Java Classes Against Algebraic Specifications
(2006)
Isabel Nunes
Antónia Lopes
Vasco Vasconcelos
João Abreu
Luís S. Reis
Book chapters
2005
Context Adaptation of the Communication Stack
(2005)
José Mocito et al., with 6 authors including:
Hugo Miranda
Antónia Lopes
Conference papers
2005
Testing Implementations of Algebraic Specifications with Design-By-Contract Tools
(2005)
Isabel Nunes
Antónia Lopes
Vasco Vasconcelos
João Abreu
Luís S. Rei
Other