| 2008 |
|---|
| 52 | EE | Laura Bocchi,
José Luiz Fiadeiro,
Antónia Lopes:
Service-Oriented Modelling of Automotive Systems.
COMPSAC 2008: 1059-1064 |
| 51 | EE | Laura Bocchi,
José Luiz Fiadeiro,
Antónia Lopes:
A Use-Case Driven Approach to Formal Service-Oriented Modelling.
ISoLA 2008: 155-169 |
| 50 | EE | Liliana Rosa,
Antónia Lopes,
Luís Rodrigues:
Modelling adaptive services for distributed systems.
SAC 2008: 2174-2180 |
| 49 | EE | André L. Santos,
Kai Koskimies,
Antónia Lopes:
Automated Domain-Specific Modeling Languages for Generating Framework-Based Applications.
SPLC 2008: 149-158 |
| 2007 |
|---|
| 48 | | Matthew B. Dwyer,
Antónia Lopes:
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
Springer 2007 |
| 47 | EE | André L. Santos,
Antónia Lopes,
Kai Koskimies:
Framework specialization aspects.
AOSD 2007: 14-24 |
| 46 | EE | Liliana Rosa,
Luís Rodrigues,
Antónia Lopes:
A framework to support multiple reconfiguration strategies.
Autonomics 2007: 15 |
| 45 | EE | João Abreu,
Laura Bocchi,
José Luiz Fiadeiro,
Antónia Lopes:
Specifying and Composing Interaction Protocols for Service-Oriented System Modelling.
FORTE 2007: 358-373 |
| 44 | EE | Liliana Rosa,
Luís Rodrigues,
Antónia Lopes:
Building Adaptive Systems with Service Composition Frameworks.
OTM Conferences (1) 2007: 754-771 |
| 43 | EE | Laura Bocchi,
Yi Hong,
Antónia Lopes,
José Luiz Fiadeiro:
From BPEL to SRML: A Formal Transformational Approach.
WS-FM 2007: 92-107 |
| 42 | EE | Paulo Carreira,
Helena Galhardas,
Antónia Lopes,
João Pereira:
One-to-many data transformations through data mappers.
Data Knowl. Eng. 62(3): 483-503 (2007) |
| 41 | EE | José Luiz Fiadeiro,
Antónia Lopes:
An algebraic semantics of event-based architectures.
Mathematical Structures in Computer Science 17(5): 1029-1073 (2007) |
| 2006 |
|---|
| 40 | EE | José Luiz Fiadeiro,
Antónia Lopes:
A Formal Approach to Event-Based Architectures.
FASE 2006: 18-32 |
| 39 | EE | Liliana Rosa,
Antónia Lopes,
Luís Rodrigues:
Policy-Driven Adaptation of Protocol Stacks.
ICAS 2006: 5 |
| 38 | EE | Isabel Nunes,
Antónia Lopes,
Vasco Thudichum Vasconcelos,
João Abreu,
Luís S. Reis:
Checking the Conformance of Java Classes Against Algebraic Specifications.
ICFEM 2006: 494-513 |
| 37 | | André L. Santos,
Antónia Lopes,
Kai Koskimies:
Modularizing Framework Hot Spots Using Aspects.
JISBD 2006: 389-399 |
| 36 | EE | José Luiz Fiadeiro,
Antónia Lopes,
Laura Bocchi:
Algebraic Semantics of Service Component Modules.
WADT 2006: 37-55 |
| 35 | EE | José Luiz Fiadeiro,
Antónia Lopes,
Laura Bocchi:
A Formal Approach to Service Component Architecture.
WS-FM 2006: 193-213 |
| 34 | EE | José Mocito,
Liliana Rosa,
Nuno Almeida,
Hugo Miranda,
Luís Rodrigues,
Antónia Lopes:
Context adaptation of the communication stack.
IJPEDS 21(3): 169-181 (2006) |
| 33 | | André L. Santos,
Kai Koskimies,
Antónia Lopes:
A Model-Driven Approach to Variability Management in Product-Line Engineering.
Nord. J. Comput. 13(3): 196-213 (2006) |
| 32 | EE | Antónia Lopes,
José Luiz Fiadeiro:
Adding mobility to software architectures.
Sci. Comput. Program. 61(2): 114-135 (2006) |
| 2005 |
|---|
| 31 | EE | Paulo J. F. Carreira,
Helena Galhardas,
João Pereira,
Antónia Lopes:
Data Mapper: An Operator for Expressing One-to-Many Data Transformations.
DaWaK 2005: 136-145 |
| 30 | EE | Antónia Lopes,
José Luiz Fiadeiro:
Context-Awareness in Software Architectures.
EWSA 2005: 146-161 |
| 29 | EE | José Mocito,
Liliana Rosa,
Nuno Almeida,
Hugo Miranda,
Luís Rodrigues,
Antónia Lopes:
Context Adaptation of the Communication Stack.
ICDCS Workshops 2005: 652-655 |
| 28 | EE | Paulo J. F. Carreira,
Helena Galhardas,
Antónia Lopes,
João Pereira:
Extending Relational Algebra to express one-to-many data transformations.
SBBD 2005: 145-159 |
| 27 | EE | Cristóvão Oliveira,
Michel Wermelinger,
José Luiz Fiadeiro,
Antónia Lopes:
Modelling the GSM Handover Protocol in CommUnity.
Electr. Notes Theor. Comput. Sci. 141(3): 3-25 (2005) |
| 2004 |
|---|
| 26 | | Roberto Bruni,
José Luiz Fiadeiro,
Ivan Lanese,
Antónia Lopes,
Ugo Montanari:
New Insights on Architectural Connectors.
IFIP TCS 2004: 367-380 |
| 25 | EE | Antónia Lopes,
José Luiz Fiadeiro:
Algebraic Semantics of Design Abstractions for Context-Awareness.
WADT 2004: 79-93 |
| 24 | EE | Cristóvão Oliveira,
Michel Wermelinger,
José Luiz Fiadeiro,
Antónia Lopes:
An Architectural Approach to Mobility - The Handover Case Study.
WICSA 2004: 305-310 |
| 23 | EE | Antónia Lopes,
José Luiz Fiadeiro:
Adding Mobility to Software Architectures.
Electr. Notes Theor. Comput. Sci. 97: 241-258 (2004) |
| 22 | EE | Antónia Lopes,
José Luiz Fiadeiro:
Superposition: composition vs refinement of non-deterministic, action-based systems.
Formal Asp. Comput. 16(1): 5-18 (2004) |
| 2003 |
|---|
| 21 | EE | Luis Filipe Andrade,
José Luiz Fiadeiro,
Antónia Lopes,
Michel Wermelinger:
Coordination for Distributed Business Systems.
CAiSE Workshops 2003 |
| 20 | EE | José Luiz Fiadeiro,
Antónia Lopes:
CommUnity on the Move: Architectures for Distribution and Mobility.
FMCO 2003: 177-196 |
| 19 | EE | José Luiz Fiadeiro,
Antónia Lopes,
Michel Wermelinger:
A Mathematical Semantics for Architectural Connectors.
Generic Programming 2003: 178-221 |
| 18 | EE | Antónia Lopes,
Michel Wermelinger,
José Luiz Fiadeiro:
High-order architectural connectors.
ACM Trans. Softw. Eng. Methodol. 12(1): 64-104 (2003) |
| 2002 |
|---|
| 17 | EE | Antónia Lopes,
José Luiz Fiadeiro:
Revisiting the Categorical Approach to Systems.
AMAST 2002: 426-440 |
| 16 | EE | Antónia Lopes,
José Luiz Fiadeiro,
Michel Wermelinger:
Architectural primitives for distribution and mobility.
SIGSOFT FSE 2002: 41-50 |
| 15 | EE | Luis Filipe 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:
AGILE: Software Architecture for Mobility.
WADT 2002: 1-33 |
| 14 | EE | Antónia Lopes,
José Luiz Fiadeiro:
On How Distribution and Mobility Interfere with Coordination.
WADT 2002: 343-358 |
| 13 | EE | Antónia Lopes,
José Luiz Fiadeiro:
Superposition: Composition vs refinement of non-deterministic action-based systems.
Electr. Notes Theor. Comput. Sci. 70(3): (2002) |
| 2001 |
|---|
| 12 | EE | Michel Wermelinger,
Antónia Lopes,
José Luiz Fiadeiro:
A graph based architectural (Re)configuration language.
ESEC / SIGSOFT FSE 2001: 21-32 |
| 11 | EE | Antónia Lopes,
Michel Wermelinger,
José Luiz Fiadeiro:
A Compositional Approach to Connector Construction.
WADT 2001: 201-220 |
| 2000 |
|---|
| 10 | EE | Luis Filipe Andrade,
José Luiz Fiadeiro,
João Gouveia,
Antónia Lopes,
Michel Wermelinger:
Patterns for Coordination.
COORDINATION 2000: 317-322 |
| 9 | EE | Michel Wermelinger,
Antónia Lopes,
José Luiz Fiadeiro:
Superposing Connectors.
IWSSD 2000: 87-94 |
| 1999 |
|---|
| 8 | | Antónia Lopes,
José Luiz Fiadeiro:
Using Explicit State to Describe Architechtures.
FASE 1999: 144-160 |
| 1998 |
|---|
| 7 | EE | José Luiz Fiadeiro,
Antónia Lopes:
Algebraic Semantics of Coordination or What Is in a Signature.
AMAST 1998: 293-307 |
| 1997 |
|---|
| 6 | | Antónia Lopes,
José Luiz Fiadeiro:
Preservation and Reflection in Specification.
AMAST 1997: 380-394 |
| 5 | | José Luiz Fiadeiro,
Antónia Lopes,
T. S. E. Maibaum:
Synthesising interconnections.
Algorithmic Languages and Calculi 1997: 240-264 |
| 4 | | Kevin Lano,
Juan Bicarregui,
José Luiz Fiadeiro,
Antónia Lopes:
Specification of Required Non-determinism.
FME 1997: 298-317 |
| 3 | | José Luiz Fiadeiro,
Antónia Lopes:
Semantics of Architectural Connectors.
TAPSOFT 1997: 505-519 |
| 1991 |
|---|
| 2 | | Cristina Sernadas,
Paula Gouveia,
Antónia Lopes:
Gentzen-Type System for Verification in Conceptual Modeling.
FMLDO 1991: 215-228 |
| 1990 |
|---|
| 1 | | Cristina Sernadas,
Paula Gouveia,
Luísa Silva,
Antónia Lopes:
Objects as Structuring Units for Incorporating Dynamics in Deductive Conceptual Modeling.
DAISD 1990: 93-110 |
