|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 9 occurrences of 9 keywords
|
|
|
|
|
Results
Found 36 publication records. Showing 36 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Marco Autili, Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli |
Developing highly complex distributed systems: a software engineering perspective.  |
J. Internet Services and Applications  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Autili, Davide Di Ruscio, Paola Inverardi, James Lockerbie, Massimo Tivoli |
A development process for requirements based service choreography.  |
RESS  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Paola Inverardi, Romina Spalazzese, Massimo Tivoli |
Application-Layer Connector Synthesis.  |
SFM  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Autili, Vittorio Cortellessa, Davide Di Ruscio, Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli |
EAGLE: engineering software in the ubiquitous globe by leveraging uncErtainty.  |
SIGSOFT FSE  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Autili, Chris Chilton, Paola Inverardi, Marta Z. Kwiatkowska, Massimo Tivoli |
Towards a Connector Algebra.  |
ISoLA  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Betty H. C. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee, Jesper Andersson, Basil Becker, Nelly Bencomo, Yuriy Brun, Bojan Cukic, Giovanna Di Marzo Serugendo, Schahram Dustdar, Anthony Finkelstein, Cristina Gacek, Kurt Geihs, Vincenzo Grassi, Gabor Karsai, Holger M. Kienle, Jeff Kramer, Marin Litoiu, Sam Malek, Raffaela Mirandola, Hausi A. Müller, Sooyong Park, Mary Shaw, Matthias Tichy, Massimo Tivoli, Danny Weyns, Jon Whittle |
Software Engineering for Self-Adaptive Systems: A Research Roadmap.  |
Software Engineering for Self-Adaptive Systems ![In: Software Engineering for Self-Adaptive Systems [outcome of a Dagstuhl Seminar], pp. 1-26, 2009, Springer, 978-3-642-02160-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Valérie Issarny, Bernhard Steffen, Bengt Jonsson, Gordon S. Blair, Paul Grace, Marta Z. Kwiatkowska, Radu Calinescu, Paola Inverardi, Massimo Tivoli, Antonia Bertolino, Antonino Sabetta |
CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems.  |
ICECCS  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli |
Towards an assume-guarantee theory for adaptable systems.  |
SEAMS  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonia Bertolino, Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli |
Automatic synthesis of behavior protocols for composable web-services.  |
ESEC/SIGSOFT FSE  |
2009 |
DBLP DOI BibTeX RDF |
web-services, testing, automatic synthesis, behavior protocols |
| 1 | Massimo Tivoli, Paola Inverardi |
Failure-free coordinators synthesis for component-based architectures.  |
Sci. Comput. Program.  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrizio Pelliccione, Massimo Tivoli, Antonio Bucchiarone, Andrea Polini |
An architectural approach to the correct and automatic assembly of evolving component-based systems.  |
Journal of Systems and Software  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Autili, Leonardo Mostarda, Alfredo Navarra, Massimo Tivoli |
Synthesis of decentralized and concurrent adaptors for correctly assembling distributed component-based systems.  |
Journal of Systems and Software  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Autili, Paolo Di Benedetto, Davide Di Ruscio, Paola Inverardi, Massimo Tivoli |
A development process for context-aware adaptive services.  |
ASE Workshops  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonia Bertolino, Guglielmo De Angelis, Antinisca Di Marco, Paola Inverardi, Antonino Sabetta, Massimo Tivoli |
A Framework for Analyzing and Testing the Performance of Software Services.  |
ISoLA  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Paola Inverardi, Massimo Tivoli |
The Future of Software: Adaptation and Dependability.  |
ISSSE  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen Becker, Carlos Canal, Nikolay Diakov, Juan Manuel Murillo, Pascal Poizat, Massimo Tivoli |
Preface.  |
Electr. Notes Theor. Comput. Sci.  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascal Poizat, Gwen Salaün, Massimo Tivoli |
An Adaptation-based Approach to Incrementally Build Component Systems.  |
Electr. Notes Theor. Comput. Sci.  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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.  |
Journal of Systems and Software  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Tivoli, Pascal Fradet, Alain Girault, Gregor Gößler |
Adaptor Synthesis for Real-Time Components.  |
TACAS  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Autili, Luca Berardinelli, Vittorio Cortellessa, Antinisca Di Marco, Davide Di Ruscio, Paola Inverardi, Massimo Tivoli |
A Development Process for Self-adapting Service Oriented Applications.  |
ICSOC  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Autili, Paola Inverardi, Alfredo Navarra, Massimo Tivoli |
SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems.  |
ICSE  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Paola Inverardi, Massimo Tivoli |
A reuse-based approach to the correct and automatic composition of web-services.  |
ESSPE  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Tivoli, Marco Autili |
SYNTHESIS, a Tool for Synthesizing Correct and Protocol-Enhanced Adaptors.  |
L'OBJET  |
2006 |
DBLP BibTeX RDF |
|
| 1 | Steffen Becker, Carlos Canal, Nikolay Diakov, Juan Manuel Murillo, Pascal Poizat, Massimo Tivoli |
Coordination and Adaptation Techniques: Bridging the Gap Between Design and Implementation.  |
ECOOP Workshops  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Bucchiarone, Andrea Polini, Patrizio Pelliccione, Massimo Tivoli |
Towards an architectural approach for the dynamic and automatic composition of software components.  |
ROSATEA  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Autili, Michele Flammini, Paola Inverardi, Alfredo Navarra, Massimo Tivoli |
Synthesis of Concurrent and Distributed Adaptors for Component-Based Systems.  |
EWSA  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Tivoli, David Garlan |
Adaptor Synthesis for Protocol-Enhanced Component Based Architectures.  |
WICSA  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Johan Fredriksson, Massimo Tivoli, Ivica Crnkovic |
A component-based development framework for supporting functional and non-functional analysis in control system design.  |
ASE  |
2005 |
DBLP DOI BibTeX RDF |
non functional analysis, control systems, real time embedded systems, functional analysis |
| 1 | Paola Inverardi, Leonardo Mostarda, Massimo Tivoli, Marco Autili |
Synthesis of correct and distributed adaptors for component-based systems: an automatic approach.  |
ASE  |
2005 |
DBLP DOI BibTeX RDF |
component assembly, component based software engineering, component adaptation |
| 1 | Steffen Becker, Antonio Brogi, Ian Gorton, Sven Overhage, Alexander Romanovsky, Massimo Tivoli |
Towards an Engineering Approach to Component Adaptation.  |
Architecting Systems with Trustworthy Components  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Tivoli, Paola Inverardi, Valentina Presutti, Alessandro Forghieri, Maurizio Sebastianis |
Correct Components Assembly for a Product Data Management Cooperative System.  |
CBSE  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Paola Inverardi, Massimo Tivoli |
Deadlock-free software architectures for COM/DCOM Applications.  |
Journal of Systems and Software  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Paola Inverardi, Massimo Tivoli, Antonio Bucchiarone |
Automatic synthesis of coordinators for COTS group-ware applications: an example.  |
WETICE  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Paola Inverardi, Massimo Tivoli |
Software Architecture for Correct Components Assembly.  |
SFM  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Paola Inverardi, Massimo Tivoli |
Automatic Failures-Free Connector Synthesis: An Example.  |
RISSEF  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Paola Inverardi, Massimo Tivoli |
Automatic synthesis of deadlock free connectors for COM/DCOM applications.  |
ESEC / SIGSOFT FSE  |
2001 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #36 of 36 (100 per page; Change: )
|
|