Travelled to:
1 × Brazil
1 × Denmark
1 × Estonia
1 × France
1 × Ireland
1 × Italy
1 × Norway
1 × The Netherlands
1 × USA
2 × Germany
3 × Austria
Collaborated with:
J.L.Fiadeiro M.Wermelinger L.Rosa L.Rodrigues A.L.Santos K.Koskimies F.R.d.Andrade J.P.Faria A.C.R.Paiva C.Oliveira K.Lano J.Bicarregui
Talks about:
architectur (6) servic (5) base (4) specif (3) model (3) framework (2) distribut (2) approach (2) languag (2) generat (2)
♀ Person: Antónia Lopes
DBLP: Lopes:Ant=oacute=nia
Facilitated 4 volumes:
Contributed to:
Wrote 15 papers:
- FASE-2014-FiadeiroL #network
- Heterogeneous and Asynchronous Networks of Timed Systems (JLF, AL), pp. 79–93.
- FASE-2012-FiadeiroL #composition #consistency
- Consistency of Service Composition (JLF, AL), pp. 63–77.
- ICGT-2012-LopesF #design #framework #graph
- A Graph-Based Design Framework for Services (AL, JLF), pp. 1–19.
- IFM-2012-AndradeFLP #generative #java #testing
- Specification-Driven Unit Test Generation for Java Generic Classes (FRdA, JPF, AL, ACRP), pp. 296–311.
- FASE-2011-FiadeiroL #design #interface
- An Interface Theory for Service-Oriented Design (JLF, AL), pp. 18–33.
- ECSA-2010-FiadeiroL #architecture #configuration management
- A Model for Dynamic Reconfiguration in Service-Oriented Architectures (JLF, AL), pp. 70–85.
- SAC-2008-RosaLR #adaptation #distributed #modelling
- Modelling adaptive services for distributed systems (LR, AL, LR), pp. 2174–2180.
- SPLC-2008-SantosKL #automation #domain-specific language #generative #modelling
- Automated Domain-Specific Modeling Languages for Generating Framework-Based Applications (ALS, KK, AL), pp. 149–158.
- FASE-2006-FiadeiroL #approach #architecture #formal method
- A Formal Approach to Event-Based Architectures (JLF, AL), pp. 18–32.
- WICSA-2004-OliveiraWFL #approach #architecture #case study
- An Architectural Approach to Mobility — The Handover Case Study (CO, MW, JLF, AL), pp. 305–310.
- FSE-2002-LopesFW #architecture
- Architectural primitives for distribution and mobility (AL, JLF, MW), pp. 41–50.
- ESEC-FSE-2001-WermelingerLF #architecture #graph
- A graph based architectural (Re)configuration language (MW, AL, JLF), pp. 21–32.
- FASE-1999-LopesF #using
- Using Explicit State to Describe Architechtures (AL, JLF), pp. 144–160.
- FME-1997-LanoBFL #nondeterminism #specification
- Specification of Required Non-determinism (KL, JB, JLF, AL), pp. 298–317.
- TAPSOFT-1997-FiadeiroL #architecture #semantics
- Semantics of Architectural Connectors (JLF, AL), pp. 505–519.