The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Massimo Tivoli: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Massimo Tivoli, Paola Inverardi, Valentina Presutti, Alessandro Forghieri, Maurizio Sebastianis
    Correct Components Assembly for a Product Data Management Cooperative System. [Citation Graph (0, 0)][DBLP]
    CBSE, 2004, pp:84-99 [Conf]
  2. Steffen Becker, Antonio Brogi, Ian Gorton, Sven Overhage, Alexander Romanovsky, Massimo Tivoli
    Towards an Engineering Approach to Component Adaptation. [Citation Graph (0, 0)][DBLP]
    Architecting Systems with Trustworthy Components, 2004, pp:193-215 [Conf]
  3. Marco Autili, Michele Flammini, Paola Inverardi, Alfredo Navarra, Massimo Tivoli
    Synthesis of Concurrent and Distributed Adaptors for Component-Based Systems. [Citation Graph (0, 0)][DBLP]
    EWSA, 2006, pp:17-32 [Conf]
  4. Marco Autili, Paola Inverardi, Alfredo Navarra, Massimo Tivoli
    SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems. [Citation Graph (0, 0)][DBLP]
    ICSE, 2007, pp:784-787 [Conf]
  5. Johan Fredriksson, Massimo Tivoli, Ivica Crnkovic
    A component-based development framework for supporting functional and non-functional analysis in control system design. [Citation Graph (0, 0)][DBLP]
    ASE, 2005, pp:368-371 [Conf]
  6. Paola Inverardi, Leonardo Mostarda, Massimo Tivoli, Marco Autili
    Synthesis of correct and distributed adaptors for component-based systems: an automatic approach. [Citation Graph (0, 0)][DBLP]
    ASE, 2005, pp:405-409 [Conf]
  7. Paola Inverardi, Massimo Tivoli
    Automatic Failures-Free Connector Synthesis: An Example. [Citation Graph (0, 0)][DBLP]
    RISSEF, 2002, pp:184-197 [Conf]
  8. Paola Inverardi, Massimo Tivoli
    Software Architecture for Correct Components Assembly. [Citation Graph (0, 0)][DBLP]
    SFM, 2003, pp:92-121 [Conf]
  9. Paola Inverardi, Massimo Tivoli
    Automatic synthesis of deadlock free connectors for COM/DCOM applications. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 2001, pp:121-131 [Conf]
  10. Paola Inverardi, Massimo Tivoli, Antonio Bucchiarone
    Automatic synthesis of coordinators for COTS group-ware applications: an example. [Citation Graph (0, 0)][DBLP]
    WETICE, 2003, pp:123-0 [Conf]
  11. Massimo Tivoli, David Garlan
    Adaptor Synthesis for Protocol-Enhanced Component Based Architectures. [Citation Graph (0, 0)][DBLP]
    WICSA, 2005, pp:276-277 [Conf]
  12. Paola Inverardi, Massimo Tivoli
    Deadlock-free software architectures for COM/DCOM Applications. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 2003, v:65, n:3, pp:173-183 [Journal]
  13. Steffen Becker, Carlos Canal, Nikolay Diakov, Juan Manuel Murillo, Pascal Poizat, Massimo Tivoli
    Coordination and Adaptation Techniques: Bridging the Gap Between Design and Implementation. [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 2006, pp:72-86 [Conf]
  14. Marco Autili, L. Berardinelli, Vittorio Cortellessa, Antinisca Di Marco, Davide Di Ruscio, Paola Inverardi, Massimo Tivoli
    A Development Process for Self-adapting Service Oriented Applications. [Citation Graph (0, 0)][DBLP]
    ICSOC, 2007, pp:442-448 [Conf]
  15. Massimo Tivoli, Pascal Fradet, Alain Girault, Gregor Gößler
    Adaptor Synthesis for Real-Time Components. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:185-200 [Conf]
  16. Pascal Poizat, Gwen Salaün, Massimo Tivoli
    An Adaptation-based Approach to Incrementally Build Component Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:182, n:, pp:155-170 [Journal]
  17. Steffen Becker, Carlos Canal, Nikolay Diakov, Juan Manuel Murillo, Pascal Poizat, Massimo Tivoli
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:189, n:, pp:1-3 [Journal]
  18. Mikael Åkerholm, Jan Carlson, Johan Fredriksson, Hans Hansson, John Håkansson, Anders Möller, Paul Pettersson, Massimo Tivoli
    The SAVE approach to component-based development of vehicular systems. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 2007, v:80, n:5, pp:655-667 [Journal]

  19. Software Engineering for Self-Adaptive Systems: A Research Roadmap. [Citation Graph (, )][DBLP]


  20. CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems. [Citation Graph (, )][DBLP]


  21. Towards an assume-guarantee theory for adaptable systems. [Citation Graph (, )][DBLP]


  22. A Framework for Analyzing and Testing the Performance of Software Services. [Citation Graph (, )][DBLP]


  23. Towards an architectural approach for the dynamic and automatic composition of software components. [Citation Graph (, )][DBLP]


  24. A development process for context-aware adaptive services. [Citation Graph (, )][DBLP]


  25. A reuse-based approach to the correct and automatic composition of web-services. [Citation Graph (, )][DBLP]


  26. Automatic synthesis of behavior protocols for composable web-services. [Citation Graph (, )][DBLP]


  27. The Future of Software: Adaptation and Dependability. [Citation Graph (, )][DBLP]


  28. SYNTHESIS, a Tool for Synthesizing Correct and Protocol-Enhanced Adaptors. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
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