dblp.uni-trier.dewww.uni-trier.de

Antónia Lopes

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
52EELaura Bocchi, José Luiz Fiadeiro, Antónia Lopes: Service-Oriented Modelling of Automotive Systems. COMPSAC 2008: 1059-1064
51EELaura Bocchi, José Luiz Fiadeiro, Antónia Lopes: A Use-Case Driven Approach to Formal Service-Oriented Modelling. ISoLA 2008: 155-169
50EELiliana Rosa, Antónia Lopes, Luís Rodrigues: Modelling adaptive services for distributed systems. SAC 2008: 2174-2180
49EEAndré 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
47EEAndré L. Santos, Antónia Lopes, Kai Koskimies: Framework specialization aspects. AOSD 2007: 14-24
46EELiliana Rosa, Luís Rodrigues, Antónia Lopes: A framework to support multiple reconfiguration strategies. Autonomics 2007: 15
45EEJoão Abreu, Laura Bocchi, José Luiz Fiadeiro, Antónia Lopes: Specifying and Composing Interaction Protocols for Service-Oriented System Modelling. FORTE 2007: 358-373
44EELiliana Rosa, Luís Rodrigues, Antónia Lopes: Building Adaptive Systems with Service Composition Frameworks. OTM Conferences (1) 2007: 754-771
43EELaura Bocchi, Yi Hong, Antónia Lopes, José Luiz Fiadeiro: From BPEL to SRML: A Formal Transformational Approach. WS-FM 2007: 92-107
42EEPaulo 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)
41EEJosé Luiz Fiadeiro, Antónia Lopes: An algebraic semantics of event-based architectures. Mathematical Structures in Computer Science 17(5): 1029-1073 (2007)
2006
40EEJosé Luiz Fiadeiro, Antónia Lopes: A Formal Approach to Event-Based Architectures. FASE 2006: 18-32
39EELiliana Rosa, Antónia Lopes, Luís Rodrigues: Policy-Driven Adaptation of Protocol Stacks. ICAS 2006: 5
38EEIsabel 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
36EEJosé Luiz Fiadeiro, Antónia Lopes, Laura Bocchi: Algebraic Semantics of Service Component Modules. WADT 2006: 37-55
35EEJosé Luiz Fiadeiro, Antónia Lopes, Laura Bocchi: A Formal Approach to Service Component Architecture. WS-FM 2006: 193-213
34EEJosé 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)
32EEAntónia Lopes, José Luiz Fiadeiro: Adding mobility to software architectures. Sci. Comput. Program. 61(2): 114-135 (2006)
2005
31EEPaulo 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
30EEAntónia Lopes, José Luiz Fiadeiro: Context-Awareness in Software Architectures. EWSA 2005: 146-161
29EEJosé Mocito, Liliana Rosa, Nuno Almeida, Hugo Miranda, Luís Rodrigues, Antónia Lopes: Context Adaptation of the Communication Stack. ICDCS Workshops 2005: 652-655
28EEPaulo 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
27EECristó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
25EEAntónia Lopes, José Luiz Fiadeiro: Algebraic Semantics of Design Abstractions for Context-Awareness. WADT 2004: 79-93
24EECristóvão Oliveira, Michel Wermelinger, José Luiz Fiadeiro, Antónia Lopes: An Architectural Approach to Mobility - The Handover Case Study. WICSA 2004: 305-310
23EEAntónia Lopes, José Luiz Fiadeiro: Adding Mobility to Software Architectures. Electr. Notes Theor. Comput. Sci. 97: 241-258 (2004)
22EEAntónia Lopes, José Luiz Fiadeiro: Superposition: composition vs refinement of non-deterministic, action-based systems. Formal Asp. Comput. 16(1): 5-18 (2004)
2003
21EELuis Filipe Andrade, José Luiz Fiadeiro, Antónia Lopes, Michel Wermelinger: Coordination for Distributed Business Systems. CAiSE Workshops 2003
20EEJosé Luiz Fiadeiro, Antónia Lopes: CommUnity on the Move: Architectures for Distribution and Mobility. FMCO 2003: 177-196
19EEJosé Luiz Fiadeiro, Antónia Lopes, Michel Wermelinger: A Mathematical Semantics for Architectural Connectors. Generic Programming 2003: 178-221
18EEAntónia Lopes, Michel Wermelinger, José Luiz Fiadeiro: High-order architectural connectors. ACM Trans. Softw. Eng. Methodol. 12(1): 64-104 (2003)
2002
17EEAntónia Lopes, José Luiz Fiadeiro: Revisiting the Categorical Approach to Systems. AMAST 2002: 426-440
16EEAntónia Lopes, José Luiz Fiadeiro, Michel Wermelinger: Architectural primitives for distribution and mobility. SIGSOFT FSE 2002: 41-50
15EELuis 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
14EEAntónia Lopes, José Luiz Fiadeiro: On How Distribution and Mobility Interfere with Coordination. WADT 2002: 343-358
13EEAntónia Lopes, José Luiz Fiadeiro: Superposition: Composition vs refinement of non-deterministic action-based systems. Electr. Notes Theor. Comput. Sci. 70(3): (2002)
2001
12EEMichel Wermelinger, Antónia Lopes, José Luiz Fiadeiro: A graph based architectural (Re)configuration language. ESEC / SIGSOFT FSE 2001: 21-32
11EEAntónia Lopes, Michel Wermelinger, José Luiz Fiadeiro: A Compositional Approach to Connector Construction. WADT 2001: 201-220
2000
10EELuis Filipe Andrade, José Luiz Fiadeiro, João Gouveia, Antónia Lopes, Michel Wermelinger: Patterns for Coordination. COORDINATION 2000: 317-322
9EEMichel 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
7EEJosé 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

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)