The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Antónia Lopes: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  43. Service-Oriented Modelling of Automotive Systems. [Citation Graph (, )][DBLP]


  44. A Use-Case Driven Approach to Formal Service-Oriented Modelling. [Citation Graph (, )][DBLP]


  45. Modelling adaptive services for distributed systems. [Citation Graph (, )][DBLP]


  46. Automated Domain-Specific Modeling Languages for Generating Framework-Based Applications. [Citation Graph (, )][DBLP]


  47. From Local Impact Functions to Global Adaptation of Service Compositions. [Citation Graph (, )][DBLP]


  48. From BPEL to SRML: A Formal Transformational Approach. [Citation Graph (, )][DBLP]


  49. A Model for Dynamic Reconfiguration in Service-Oriented Architectures. [Citation Graph (, )][DBLP]


  50. Bridging the Gap between Algebraic Specification and Object-Oriented Generic Programming. [Citation Graph (, )][DBLP]


  51. A framework to support multiple reconfiguration strategies. [Citation Graph (, )][DBLP]


  52. One-to-many data transformations through data mappers. [Citation Graph (, )][DBLP]


Search in 0.223secs, Finished in 0.225secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002