|
Search the dblp DataBase
Massimo Tivoli:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- Paola Inverardi, Massimo Tivoli
Automatic Failures-Free Connector Synthesis: An Example. [Citation Graph (0, 0)][DBLP] RISSEF, 2002, pp:184-197 [Conf]
- Paola Inverardi, Massimo Tivoli
Software Architecture for Correct Components Assembly. [Citation Graph (0, 0)][DBLP] SFM, 2003, pp:92-121 [Conf]
- 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]
- 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]
- Massimo Tivoli, David Garlan
Adaptor Synthesis for Protocol-Enhanced Component Based Architectures. [Citation Graph (0, 0)][DBLP] WICSA, 2005, pp:276-277 [Conf]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
Software Engineering for Self-Adaptive Systems: A Research Roadmap. [Citation Graph (, )][DBLP]
CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems. [Citation Graph (, )][DBLP]
Towards an assume-guarantee theory for adaptable systems. [Citation Graph (, )][DBLP]
A Framework for Analyzing and Testing the Performance of Software Services. [Citation Graph (, )][DBLP]
Towards an architectural approach for the dynamic and automatic composition of software components. [Citation Graph (, )][DBLP]
A development process for context-aware adaptive services. [Citation Graph (, )][DBLP]
A reuse-based approach to the correct and automatic composition of web-services. [Citation Graph (, )][DBLP]
Automatic synthesis of behavior protocols for composable web-services. [Citation Graph (, )][DBLP]
The Future of Software: Adaptation and Dependability. [Citation Graph (, )][DBLP]
SYNTHESIS, a Tool for Synthesizing Correct and Protocol-Enhanced Adaptors. [Citation Graph (, )][DBLP]
Search in 0.273secs, Finished in 0.275secs
|