BIBLIOS

  Ciências References Management System

Visitor Mode (Login)


Publications for malopes (48)

Year Title Document type
2019 Logics for Actor Networks: A two-stage constrained-hybridisation approach
José Luiz Fiadeiro
Ionu? ?u?u
Antónia Lopes
Dusko Pavlovic
Journal articles Details
2019 HeadREST: A Specification Language for RESTful APIs
Vasco T. Vasconcelos
Francisco Martins
Antónia Lopes
Nuno Burnay
Book chapters Details
2019 Planning workflow executions when using spot instances in the cloud
Richard Gil Martinez
Antónia Lopes
Luís Rodrigues
Conference papers Details
2018 Logics for Actor Networks: A Case Study in Constrained Hybridization
José Fiadeiro
Ionu? ?u?u
Antónia Lopes
Dusko Pavlovic
Book chapters Details
2018 Learning non-deterministic impact models for adaptation
Francisco Duarte
Richard Gil
Paolo Romano
Antónia Lopes
Luís Rodrigues
Conference papers Details
2017 Augure: Proactive reconfiguration of cloud applications using heterogeneous resources
Richard Gil Martinez
Zhongmiao Li
Antonia Lopes
Luis Rodrigues
Conference papers Details
2017 Dynamic networks of heterogeneous timed machines
JOSÉ FIADEIRO
ANTÓNIA LOPES
BENOÎT DELAHAYE
AXEL LEGAY
Journal articles Details
2017 Heterogeneous and asynchronous networks of timed systems
José L. Fiadeiro
Antónia Lopes
Journal articles Details
2017 Automated generation of policies to support elastic scaling in cloud environments
Richard Gil Martinez
Antónia Lopes
Luís Rodrigues
Conference papers Details
2017 Software Architecture. 11th European Conference, ECSA 2017, Canterbury, UK, September 11-15, 2017, Proceedings
Antónia Lopes
Rogério de Lemos
Books Details
2016 Adaptation impact and environment models for architecture-based self-adaptive systems
Javier Cámara
Antónia Lopes
David Garlan
Bradley Schmerl
Journal articles Details
2014 Heterogeneous and Asynchronous Networks of Timed Systems
José Luiz Fiadeiro
Antónia Lopes
Conference papers Details
2014 Heterogeneous Timed Machines
Benoît Delahaye
José Luiz Fiadeiro
Axel Legay
Antónia Lopes
Conference papers Details
2014 Impact Models for Architecture-Based Self-adaptive Systems
Javier Cámara Moreno
Antónia Lopes
David Garlan
Bradley Schmerl
Conference papers Details
2013 An interface theory for service-oriented design
José Luiz Fiadeiro
Antónia Lopes
Journal articles Details
2013 An Interface Theory for Service-Oriented Design
José Luiz Fiadeiro
Antónia Lopest
Journal articles Details
2013 A Model for Dynamic Reconfiguration in Service-oriented Architectures
José Luiz Fiadeiro
Antónia Lopes
Journal articles Details
2013 Self-management of Adaptable Component-based Applications
Liliana Rosa
Luís Rodrigues
Antónia Lopes
Matti Hiltunen e Richard Schlichting
Journal articles Details
2013 Self-management of Distributed Systems Using High-level Goal Policies
Liliana Rosa
Luí Rodrigues
Antónia Lopes
Book chapters Details
2013 Software Engineering for Self-Adaptive Systems: A second research roadmap
R.Lemos et al., with 42 authors including:
Antónia Lopes
Book chapters Details
2013 A Design Space for Adaptive Systems
Y.Brun et al., with 7 authors including:
Antónia Lopes
Book chapters Details
2012 A Formal Model for Service-Oriented Interactions
J.L.Fiadeiro
A.Lopes
J.Abreu
Journal articles Details
2011 An Abstract Model of Service Discovery and Binding
José Luiz Fiadeiro
Antónia Lopes
Laura Bocchi
Journal articles Details
2011 Workshop on assurances for self-adaptive systems (ASAS 2011)
Javier Cámara
Rogério de Lemos
Carlo Ghezzi
Antónia Lopes
Books Details
2010 Automating the Construction of Domain-Specific Modeling Languages for Object-Oriented Frameworks
André L. Santos
Kai Koskimies
Antónia Lopes
Journal articles Details
2010 Model for Dynamic Reconfiguration in Service-oriented Architectures
José Luiz Fiadeiro
Antónia Lopes
Conference papers Details
2010 Runtime Verification for Generic Classes with ConGu2
Pedro Crispim
Antónia Lopes
Vasco Vasconcelos
Conference papers Details
2010 Monitorização da Correcção de Classes Genéricas
Pedro Crispim
Antónia Lopes
Vasco Vasconcelos
Conference papers Details
2010 Explicitly Involving the User in a Data Cleaning Process
Helena Galhardas
Antónia Lopes
Emanuel Santos
Other Details
2009 Bridging the Gap between Algebraic Specification and Object-oriented Generic Programming
Isabel Nunes
Antónia Lopes
Vasco T. Vasconcelos
Conference papers Details
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,
D.Lee, Antónia Lopes, A.Poetzsch-Heffter
Books Details
2009 From Local Impact Functions to Global Adaptations of Service Compositions
L.Rosa
L.Rodrigues
Antónia Lopes
M. Hiltunen
R.Schlicht
Conference papers Details
2008 A Use-Case Driven Approach to Formal Service-Oriented Modelling
Laura Bocchi
José Luiz Fiadeiro
Antónia Lopes
Conference papers Details
2008 Service-Oriented Modelling of Automotive Systems
Laura Bocchi
José Luiz Fiadeiro
Antónia Lopes
Conference papers Details
2008 Modelling Adaptive Services for Distributed Systems
Liliana Rosa
Antónia Lopes
Luís Rodrigues
Conference papers Details
2008 Monitoring Java code using ConGu
Vasco T. Vasconcelos
Isabel Nunes
Antonia Lopes
Conference papers Details
2008 Runtime checking Java code using ConGu
Vasco T. Vasconcelos
Isabel Nunes
Antónia Lopes
Nuno Ramiro
Pedro Crispim
Conference papers Details
2007 A Categorical Semantics of Event-based Architectures
J. L. Fiadeiro
Antónia Lopes
Journal articles Details
2007 One-to-many data transformations through data mappers
P. Carreira
Helena Galhardas
Antónia Lopes
J. Pereira
Journal articles Details
2007 Algebraic Semantics of Service Component Modules
J. L. Fiadeiro
Antónia Lopes
L. Bocchi
Book chapters Details
2007 Framework Specialization Aspects
André Leal Santos
Antónia Lopes
Kai Koskimies
Conference papers Details
2007 Building Adaptive Systems with Service Composition Frameworks
Liliana Rosa
Luís Rodrigues
Antónia Lopes
Conference papers Details
2007 A Framework to Support Multiple Reconfiguration Strategies
Liliana Rosa
Luís Rodrigues
Antónia Lopes
Conference papers Details
2007 One-to-many transformation through data mappers
Carreira P.
H. Galhardas
A. Lopes
J. Pereira
Journal articles Details
2006 Context Adaptation of the Communication Stack
José Mocito et al., with 6 authors including:
Hugo Miranda
Antónia Lopes
Journal articles Details
2006 Checking the Conformance of Java Classes Against Algebraic Specifications
Isabel Nunes
Antónia Lopes
Vasco Vasconcelos
João Abreu
Luís S. Reis
Conference papers Details
2005 Testing Implementations of Algebraic Specifications with Design-By-Contract Tools
Isabel Nunes
Antónia Lopes
Vasco Vasconcelos
João Abreu
Luís S. Rei
Other Details
2005 Context Adaptation of the Communication Stack
José Mocito
Liliana Rosa. N. Almeida
Hugo Miranda
Luís Rodrigues
Antónia Lopes
Conference papers Details