Antónia Lopes

Liliana Rosa, Luís Rodrigues, Antónia Lopes, Matti A. Hiltunen, Richard D. Schlichting: Self-Management of Adaptable Component-Based Applications. IEEE Trans. Software Eng. 39(3): 403-421 (2013)

José Luiz Fiadeiro, Antónia Lopes, João Abreu: A formal model for service-oriented interactions. Sci. Comput. Program. 77(5): 577-608 (2012)

José Luiz Fiadeiro, Antónia Lopes: Consistency of Service Composition. FASE 2012: 63-77

Antónia Lopes, José Luiz Fiadeiro: A Graph-Based Design Framework for Services. ICGT 2012: 1-19

Francisco Rebello de Andrade, João Pascoal Faria, Antónia Lopes, Ana C. R. Paiva: Specification-Driven Unit Test Generation for Java Generic Classes. IFM 2012: 296-311

José Luiz Fiadeiro, Antónia Lopes, Laura Bocchi: An abstract model of service discovery and binding. Formal Asp. Comput. 23(4): 433-463 (2011)

José Luiz Fiadeiro, Antónia Lopes, Laura Bocchi, João Abreu: The Sensoria Reference Modelling Language. Results of the SENSORIA Project 2011: 61-114

Liliana Rosa, Luís Rodrigues, Antónia Lopes: Goal-oriented Self-management of In-memory Distributed Data Grid Platforms. CloudCom 2011: 587-591

Helena Galhardas, Antónia Lopes, Emanuel Santos: Support for User Involvement in Data Cleaning. DaWaK 2011: 136-151

José Luiz Fiadeiro, Antónia Lopes: An Interface Theory for Service-Oriented Design. FASE 2011: 18-33

Antónia Lopes: Formal Modelling of Service-Oriented Systems. MEDI 2011: 3

Javier Cámara, Rogério de Lemos, Carlo Ghezzi, Antónia Lopes: Workshop on assurances for self-adaptive systems (ASAS 2011). SIGSOFT FSE 2011: 516-517

André L. Santos, Kai Koskimies, Antónia Lopes: Automating the construction of domain-specific modeling languages for object-oriented frameworks. Journal of Systems and Software 83(7): 1078-1093 (2010)

José Luiz Fiadeiro, Antónia Lopes: A Model for Dynamic Reconfiguration in Service-Oriented Architectures. ECSA 2010: 70-85

Pedro Crispim, Antónia Lopes, Vasco Thudichum Vasconcelos: Runtime Verification for Generic Classes with ConGu 2. SBMF 2010: 33-48

Isabel Nunes, Antónia Lopes, Vasco Thudichum Vasconcelos: Bridging the Gap between Algebraic Specification and Object-Oriented Generic Programming. RV 2009: 115-131

Liliana Rosa, Luís Rodrigues, Antónia Lopes, Matti A. Hiltunen, Richard D. Schlichting: From Local Impact Functions to Global Adaptation of Service Compositions. SSS 2009: 593-608

David Lee, Antónia Lopes, Arnd Poetzsch-Heffter (Eds.): 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. Lecture Notes in Computer Science 5522, Springer 2009, isbn 978-3-642-02137-4

Laura Bocchi, José Luiz Fiadeiro, Antónia Lopes: Service-Oriented Modelling of Automotive Systems. COMPSAC 2008: 1059-1064

Laura Bocchi, José Luiz Fiadeiro, Antónia Lopes: A Use-Case Driven Approach to Formal Service-Oriented Modelling. ISoLA 2008: 155-169

Liliana Rosa, Antónia Lopes, Luís Rodrigues: Modelling adaptive services for distributed systems. SAC 2008: 2174-2180

André L. Santos, Kai Koskimies, Antónia Lopes: Automated Domain-Specific Modeling Languages for Generating Framework-Based Applications. SPLC 2008: 149-158

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)

José Luiz Fiadeiro, Antónia Lopes: An algebraic semantics of event-based architectures. Mathematical Structures in Computer Science 17(5): 1029-1073 (2007)

André L. Santos, Antónia Lopes, Kai Koskimies: Framework specialization aspects. AOSD 2007: 14-24

Liliana Rosa, Luís Rodrigues, Antónia Lopes: A framework to support multiple reconfiguration strategies. Autonomics 2007: 15

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

Liliana Rosa, Luís Rodrigues, Antónia Lopes: Building Adaptive Systems with Service Composition Frameworks. OTM Conferences (1) 2007: 754-771

Laura Bocchi, Yi Hong, Antónia Lopes, José Luiz Fiadeiro: From BPEL to SRML: A Formal Transformational Approach. WS-FM 2007: 92-107

Matthew B. Dwyer, Antónia Lopes (Eds.): 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. Lecture Notes in Computer Science 4422, Springer 2007, isbn 978-3-540-71288-6

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)

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)

Antónia Lopes, José Luiz Fiadeiro: Adding mobility to software architectures. Sci. Comput. Program. 61(2): 114-135 (2006)

José Luiz Fiadeiro, Antónia Lopes: A Formal Approach to Event-Based Architectures. FASE 2006: 18-32

Liliana Rosa, Antónia Lopes, Luís Rodrigues: Policy-Driven Adaptation of Protocol Stacks. ICAS 2006: 5

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

André L. Santos, Antónia Lopes, Kai Koskimies: Modularizing Framework Hot Spots Using Aspects. JISBD 2006: 389-399

José Luiz Fiadeiro, Antónia Lopes, Laura Bocchi: Algebraic Semantics of Service Component Modules. WADT 2006: 37-55

José Luiz Fiadeiro, Antónia Lopes, Laura Bocchi: A Formal Approach to Service Component Architecture. WS-FM 2006: 193-213

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)

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

Antónia Lopes, José Luiz Fiadeiro: Context-Awareness in Software Architectures. EWSA 2005: 146-161

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

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

Antónia Lopes, José Luiz Fiadeiro: Adding Mobility to Software Architectures. Electr. Notes Theor. Comput. Sci. 97: 241-258 (2004)

Antónia Lopes, José Luiz Fiadeiro: Superposition: composition vs refinement of non-deterministic, action-based systems. Formal Asp. Comput. 16(1): 5-18 (2004)

Roberto Bruni, José Luiz Fiadeiro, Ivan Lanese, Antónia Lopes, Ugo Montanari: New Insights on Architectural Connectors. IFIP TCS 2004: 367-380

Antónia Lopes, José Luiz Fiadeiro: Algebraic Semantics of Design Abstractions for Context-Awareness. WADT 2004: 79-93

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

Antónia Lopes, Michel Wermelinger, José Luiz Fiadeiro: High-order architectural connectors. ACM Trans. Softw. Eng. Methodol. 12(1): 64-104 (2003)

José Luiz Fiadeiro, Antónia Lopes, Michel Wermelinger: A Mathematical Semantics for Architectural Connectors. Generic Programming 2003: 178-221

Luis Filipe Andrade, José Luiz Fiadeiro, Antónia Lopes, Michel Wermelinger: Coordination for Distributed Business Systems. CAiSE Workshops 2003

José Luiz Fiadeiro, Antónia Lopes: CommUnity on the Move: Architectures for Distribution and Mobility. FMCO 2003: 177-196

Antónia Lopes, José Luiz Fiadeiro: Superposition: Composition vs refinement of non-deterministic action-based systems. Electr. Notes Theor. Comput. Sci. 70(3): 282-296 (2002)

Antónia Lopes, José Luiz Fiadeiro: Revisiting the Categorical Approach to Systems. AMAST 2002: 426-440

Antónia Lopes, José Luiz Fiadeiro, Michel Wermelinger: Architectural primitives for distribution and mobility. SIGSOFT FSE 2002: 41-50

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

Antónia Lopes, José Luiz Fiadeiro: On How Distribution and Mobility Interfere with Coordination. WADT 2002: 343-358

Michel Wermelinger, Antónia Lopes, José Luiz Fiadeiro: A graph based architectural (Re)configuration language. ESEC / SIGSOFT FSE 2001: 21-32

Antónia Lopes, Michel Wermelinger, José Luiz Fiadeiro: A Compositional Approach to Connector Construction. WADT 2001: 201-220

Luis Filipe Andrade, José Luiz Fiadeiro, João Gouveia, Antónia Lopes, Michel Wermelinger: Patterns for Coordination. COORDINATION 2000: 317-322

Michel Wermelinger, Antónia Lopes, José Luiz Fiadeiro: Superposing Connectors. IWSSD 2000: 87-94

Antónia Lopes, José Luiz Fiadeiro: Using Explicit State to Describe Architechtures. FASE 1999: 144-160

José Luiz Fiadeiro, Antónia Lopes: Algebraic Semantics of Coordination or What Is in a Signature. AMAST 1998: 293-307

José Luiz Fiadeiro, Antónia Lopes, T. S. E. Maibaum: Synthesising interconnections. Algorithmic Languages and Calculi 1997: 240-264

Antónia Lopes, José Luiz Fiadeiro: Preservation and Reflection in Specification. AMAST 1997: 380-394

Kevin Lano, Juan Bicarregui, José Luiz Fiadeiro, Antónia Lopes: Specification of Required Non-determinism. FME 1997: 298-317

José Luiz Fiadeiro, Antónia Lopes: Semantics of Architectural Connectors. TAPSOFT 1997: 505-519

Cristina Sernadas, Paula Gouveia, Antónia Lopes: Gentzen-Type System for Verification in Conceptual Modeling. FMLDO 1991: 215-228

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