Antónia Lopes

	2009
55		David Lee, Antónia Lopes, Arnd Poetzsch-Heffter: 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 Springer 2009
54		Isabel Nunes, Antónia Lopes, Vasco Thudichum Vasconcelos: Bridging the Gap between Algebraic Specification and Object-Oriented Generic Programming. RV 2009: 115-131
53		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
	2008
52		Laura Bocchi, José Luiz Fiadeiro, Antónia Lopes: Service-Oriented Modelling of Automotive Systems. COMPSAC 2008: 1059-1064
51		Laura Bocchi, José Luiz Fiadeiro, Antónia Lopes: A Use-Case Driven Approach to Formal Service-Oriented Modelling. ISoLA 2008: 155-169
50		Liliana Rosa, Antónia Lopes, Luís Rodrigues: Modelling adaptive services for distributed systems. SAC 2008: 2174-2180
49		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		André L. Santos, Antónia Lopes, Kai Koskimies: Framework specialization aspects. AOSD 2007: 14-24
46		Liliana Rosa, Luís Rodrigues, Antónia Lopes: A framework to support multiple reconfiguration strategies. Autonomics 2007: 15
45		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		Liliana Rosa, Luís Rodrigues, Antónia Lopes: Building Adaptive Systems with Service Composition Frameworks. OTM Conferences (1) 2007: 754-771
43		Laura Bocchi, Yi Hong, Antónia Lopes, José Luiz Fiadeiro: From BPEL to SRML: A Formal Transformational Approach. WS-FM 2007: 92-107
42		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		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		José Luiz Fiadeiro, Antónia Lopes: A Formal Approach to Event-Based Architectures. FASE 2006: 18-32
39		Liliana Rosa, Antónia Lopes, Luís Rodrigues: Policy-Driven Adaptation of Protocol Stacks. ICAS 2006: 5
38		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		José Luiz Fiadeiro, Antónia Lopes, Laura Bocchi: Algebraic Semantics of Service Component Modules. WADT 2006: 37-55
35		José Luiz Fiadeiro, Antónia Lopes, Laura Bocchi: A Formal Approach to Service Component Architecture. WS-FM 2006: 193-213
34		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		Antónia Lopes, José Luiz Fiadeiro: Adding mobility to software architectures. Sci. Comput. Program. 61(2): 114-135 (2006)
	2005
31		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		Antónia Lopes, José Luiz Fiadeiro: Context-Awareness in Software Architectures. EWSA 2005: 146-161
29		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		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		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		Antónia Lopes, José Luiz Fiadeiro: Algebraic Semantics of Design Abstractions for Context-Awareness. WADT 2004: 79-93
24		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		Antónia Lopes, José Luiz Fiadeiro: Adding Mobility to Software Architectures. Electr. Notes Theor. Comput. Sci. 97: 241-258 (2004)
22		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		Luis Filipe Andrade, José Luiz Fiadeiro, Antónia Lopes, Michel Wermelinger: Coordination for Distributed Business Systems. CAiSE Workshops 2003
20		José Luiz Fiadeiro, Antónia Lopes: CommUnity on the Move: Architectures for Distribution and Mobility. FMCO 2003: 177-196
19		José Luiz Fiadeiro, Antónia Lopes, Michel Wermelinger: A Mathematical Semantics for Architectural Connectors. Generic Programming 2003: 178-221
18		Antónia Lopes, Michel Wermelinger, José Luiz Fiadeiro: High-order architectural connectors. ACM Trans. Softw. Eng. Methodol. 12(1): 64-104 (2003)
	2002
17		Antónia Lopes, José Luiz Fiadeiro: Revisiting the Categorical Approach to Systems. AMAST 2002: 426-440
16		Antónia Lopes, José Luiz Fiadeiro, Michel Wermelinger: Architectural primitives for distribution and mobility. SIGSOFT FSE 2002: 41-50
15		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		Antónia Lopes, José Luiz Fiadeiro: On How Distribution and Mobility Interfere with Coordination. WADT 2002: 343-358
13		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		Michel Wermelinger, Antónia Lopes, José Luiz Fiadeiro: A graph based architectural (Re)configuration language. ESEC / SIGSOFT FSE 2001: 21-32
11		Antónia Lopes, Michel Wermelinger, José Luiz Fiadeiro: A Compositional Approach to Connector Construction. WADT 2001: 201-220
	2000
10		Luis Filipe Andrade, José Luiz Fiadeiro, João Gouveia, Antónia Lopes, Michel Wermelinger: Patterns for Coordination. COORDINATION 2000: 317-322
9		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		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

Coauthor Index

1	João Abreu	[38] [45]
2	Nuno Almeida	[29] [34]
3	Luis Filipe Andrade	[10] [15] [21]
4	Paolo Baldan	[15]
5	Hubert Baumeister	[15]
6	Juan Bicarregui	[4]
7	Laura Bocchi	[35] [36] [43] [45] [51] [52]
8	Roberto Bruni	[15] [26]
9	Paulo Carreira (Paulo J. F. Carreira)	[28] [31] [42]
10	Andrea Corradini	[15]
11	Matthew B. Dwyer	[48]
12	José Luiz Fiadeiro	[3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [30] [32] [35] [36] [40] [41] [43] [45] [51] [52]
13	Fabio Gadducci	[15]
14	Helena Galhardas	[28] [31] [42]
15	Stefania Gnesi	[15]
16	João Gouveia	[10]
17	Paula Gouveia	[1] [2]
18	Matti A. Hiltunen	[53]
19	Piotr Hoffman	[15]
20	Yi Hong	[43]
21	Nora Koch	[15]
22	Piotr Kosiuczenko	[15]
23	Kai Koskimies	[33] [37] [47] [49]
24	Ivan Lanese	[26]
25	Kevin Lano	[4]
26	Alessandro Lapadula	[15]
27	Diego Latella	[15]
28	David Lee	[55]
29	Michele Loreti	[15]
30	T. S. E. Maibaum (Thomas Stephen Edward Maibaum)	[5]
31	Mieke Massink	[15]
32	Franco Mazzanti	[15]
33	Hugo Miranda	[29] [34]
34	José Mocito	[29] [34]
35	Ugo Montanari	[15] [26]
36	Rocco De Nicola	[15]
37	Isabel Nunes	[38] [54]
38	Cristóvão Oliveira	[15] [24] [27]
39	João Pereira	[28] [31] [42]
40	Arnd Poetzsch-Heffter	[55]
41	Rosario Pugliese	[15]
42	Luís S. Reis	[38]
43	Luís Rodrigues	[29] [34] [39] [44] [46] [50] [53]
44	Liliana Rosa	[29] [34] [39] [44] [46] [50] [53]
45	André L. Santos	[33] [37] [47] [49]
46	Richard D. Schlichting	[53]
47	Cristina Sernadas	[1] [2]
48	Luísa Silva	[1]
49	Andrzej Tarlecki	[15]
50	Vasco Thudichum Vasconcelos	[38] [54]
51	Michel Wermelinger	[9] [10] [11] [12] [15] [16] [18] [19] [21] [24] [27]
52	Martin Wirsing	[15]
53	Artur Zawlocki	[15]

Colors in the list of coauthors