|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 47 occurrences of 46 keywords
|
|
|
Results
Found 277 publication records. Showing 276 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
30 | Alexander Perucci, Marco Autili, Massimo Tivoli |
A Multipurpose Framework for Model-based Reuse-oriented Software Integration Synthesis. |
MoDELS (Satellite Events) |
2017 |
DBLP BibTeX RDF |
|
30 | Marco Autili, Massimo Tivoli, Alfredo Goldman |
Thematic series on service composition for the future internet. |
J. Internet Serv. Appl. |
2016 |
DBLP DOI BibTeX RDF |
|
30 | Davide Di Ruscio, Ivano Malavolta, Patrizio Pelliccione, Massimo Tivoli |
Automatic generation of detailed flight plans from high-level mission descriptions. |
MoDELS |
2016 |
DBLP BibTeX RDF |
|
30 | Marco Autili, Amleto Di Salle, Alexander Perucci, Massimo Tivoli |
On the Automated Synthesis of Enterprise Integration Patterns to Adapt Choreography-based Distributed Systems. |
FOCLASA |
2015 |
DBLP DOI BibTeX RDF |
|
30 | José Proença, Massimo Tivoli (eds.) |
Proceedings 14th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems, FOCLASA 2015, Madrid, Spain, 5th September 2015. |
FOCLASA |
2015 |
DBLP DOI BibTeX RDF |
|
30 | Marco Autili, Paola Inverardi, Massimo Tivoli |
Synthesis of correct adaptors for protocol enhancement in component-based systems. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
30 | Marco Autili, Paola Inverardi, Massimo Tivoli |
Automated Synthesis of Service Choreographies. |
IEEE Softw. |
2015 |
DBLP DOI BibTeX RDF |
|
30 | Marco Autili, Alfredo Goldman, Massimo Tivoli |
IEEE Services Visionary Track on Service Composition for the Future Internet (SCFI 2015). |
SERVICES |
2015 |
DBLP DOI BibTeX RDF |
|
30 | Marco Autili, Amleto Di Salle, Francesco Gallo, Alexander Perucci, Massimo Tivoli |
Biological Immunity and Software Resilience: Two Faces of the Same Coin? |
SERENE |
2015 |
DBLP DOI BibTeX RDF |
|
30 | Marco Autili, Paola Inverardi, Filippo Mignosi, Romina Spalazzese, Massimo Tivoli |
Automated Synthesis of Application-Layer Connectors from Automata-Based Specifications. |
LATA |
2015 |
DBLP DOI BibTeX RDF |
|
30 | Marco Autili, Paola Inverardi, Massimo Tivoli |
Automated Integration of Service-Oriented Software Systems. |
FSEN |
2015 |
DBLP DOI BibTeX RDF |
|
30 | Marco Autili, Tom Ritter, Andrey Sadovykh, Massimo Tivoli (eds.) |
Proceedings of the Projects Showcase, part of the Software Technologies: Applications and Foundations 2015 federation of conferences (STAF 2015), L'Aquila, Italy, July 22, 2015. |
STAF Projects Showcase |
2015 |
DBLP BibTeX RDF |
|
30 | Darko Bozhinoski, Davide Di Ruscio, Ivano Malavolta, Patrizio Pelliccione, Massimo Tivoli |
FLYAQ: Enabling Non-expert Users to Specify and Generate Missions of Autonomous Multicopters. |
ASE |
2015 |
DBLP DOI BibTeX RDF |
|
30 | Marco Autili, Massimo Tivoli |
Distributed Enforcement of Service Choreographies. |
FOCLASA |
2014 |
DBLP DOI BibTeX RDF |
|
30 | Marco Autili, Paola Inverardi, Massimo Tivoli |
Automatic adaptor synthesis for protocol transformation. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
30 | Marco Autili, Alfredo Goldman, Massimo Tivoli |
IEEE First International Workshop on Service Orchestration and Choreography for the Future Internet (OrChor 2014). |
SERVICES |
2014 |
DBLP DOI BibTeX RDF |
|
30 | Marco Autili, Paola Inverardi, Massimo Tivoli |
CHOREOS: Large scale choreographies for the future internet. |
CSMR-WCRE |
2014 |
DBLP DOI BibTeX RDF |
|
30 | Federico Ciccozzi, Massimo Tivoli, Jan Carlson (eds.) |
Proceedings of the 1st International Workshop on Model-Driven Engineering for Component-Based Software Systems co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014), Valencia, Spain, September 29, 2014. |
ModComp@MoDELS |
2014 |
DBLP BibTeX RDF |
|
30 | Marco Autili, Paola Inverardi, Alexander Perucci, Massimo Tivoli |
Synthesis of Distributed and Adaptable Coordinators to Enable Choreography Evolution. |
Software Engineering for Self-Adaptive Systems |
2013 |
DBLP DOI BibTeX RDF |
|
30 | Marco Autili, Amleto Di Salle, Massimo Tivoli |
Synthesis of Resilient Choreographies. |
SERENE |
2013 |
DBLP DOI BibTeX RDF |
|
30 | Philippe Kruchten, Dimitra Giannakopoulou, Massimo Tivoli (eds.) |
CBSE'13, Proceedings of the 16th ACM SIGSOFT Symposium on Component Based Software Engineering, part of Comparch '13, Vancouver, BC, Canada, June 17-21, 2013 |
CBSE |
2013 |
DBLP DOI BibTeX RDF |
|
30 | Paola Inverardi, Marco Autili, Davide Di Ruscio, Patrizio Pelliccione, Massimo Tivoli |
Producing software by integration: challenges and research directions (keynote). |
ESEC/SIGSOFT FSE |
2013 |
DBLP DOI BibTeX RDF |
|
30 | Paola Inverardi, Massimo Tivoli |
Automatic synthesis of modular connectors via composition of protocol mediation patterns. |
ICSE |
2013 |
DBLP DOI BibTeX RDF |
|
30 | Marco Autili, Davide Di Ruscio, Amleto Di Salle, Paola Inverardi, Massimo Tivoli |
A Model-Based Synthesis Process for Choreography Realizability Enforcement. |
FASE |
2013 |
DBLP DOI BibTeX RDF |
|
30 | Marco Autili, Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli |
Developing highly complex distributed systems: a software engineering perspective. |
J. Internet Serv. Appl. |
2012 |
DBLP DOI BibTeX RDF |
|
30 | Maik Merten, Falk Howar, Bernhard Steffen, Patrizio Pelliccione, Massimo Tivoli |
Automated Inference of Models for Black Box Systems Based on Interface Descriptions. |
ISoLA (1) |
2012 |
DBLP DOI BibTeX RDF |
|
30 | Marco Autili, Vittorio Cortellessa, Davide Di Ruscio, Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli |
Integration Architecture Synthesis for Taming Uncertainty in the Digital Space. |
Monterey Workshop |
2012 |
DBLP DOI BibTeX RDF |
|
30 | Marco Autili, Davide Di Ruscio, Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli |
ModelLAND: Where Do Models Come from? |
Models@run.time@Dagstuhl |
2011 |
DBLP DOI BibTeX RDF |
|
30 | 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 |
|
30 | 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 |
|
30 | Paola Inverardi, Romina Spalazzese, Massimo Tivoli |
Application-Layer Connector Synthesis. |
SFM |
2011 |
DBLP DOI BibTeX RDF |
|
30 | Marco Autili, Chris Chilton, Paola Inverardi, Marta Z. Kwiatkowska, Massimo Tivoli |
Towards a Connector Algebra. |
ISoLA (2) |
2010 |
DBLP DOI BibTeX RDF |
|
30 | Luca Cavallaro, Elisabetta Di Nitto, Patrizio Pelliccione, Matteo Pradella, Massimo Tivoli |
Synthesizing adapters for conversational web-services from their WSDL interface. |
SEAMS |
2010 |
DBLP DOI BibTeX RDF |
|
30 | 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 0001 |
Software Engineering for Self-Adaptive Systems: A Research Roadmap. |
Software Engineering for Self-Adaptive Systems |
2009 |
DBLP DOI BibTeX RDF |
|
30 | 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 |
30 | Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli |
Towards an assume-guarantee theory for adaptable systems. |
SEAMS |
2009 |
DBLP DOI BibTeX RDF |
|
30 | Valérie Issarny, Bernhard Steffen, Bengt Jonsson 0001, 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 |
|
30 | Patrizio Pelliccione, Massimo Tivoli, Antonio Bucchiarone, Andrea Polini |
An architectural approach to the correct and automatic assembly of evolving component-based systems. |
J. Syst. Softw. |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Marco Autili, Leonardo Mostarda, Alfredo Navarra, Massimo Tivoli |
Synthesis of decentralized and concurrent adaptors for correctly assembling distributed component-based systems. |
J. Syst. Softw. |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Massimo Tivoli, Paola Inverardi |
Failure-free coordinators synthesis for component-based architectures. |
Sci. Comput. Program. |
2008 |
DBLP DOI BibTeX RDF |
|
30 | 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 |
|
30 | 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 |
|
30 | Paola Inverardi, Massimo Tivoli |
The Future of Software: Adaptation and Dependability. |
ISSSE |
2008 |
DBLP DOI BibTeX RDF |
|
30 | 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. |
J. Syst. Softw. |
2007 |
DBLP DOI BibTeX RDF |
|
30 | 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 |
|
30 | Paola Inverardi, Massimo Tivoli |
A reuse-based approach to the correct and automatic composition of web-services. |
ESSPE |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Massimo Tivoli, Pascal Fradet, Alain Girault, Gregor Gößler |
Adaptor Synthesis for Real-Time Components. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
30 | 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 |
|
30 | Steffen Becker 0001, Carlos Canal, Nikolay Diakov, Juan Manuel Murillo, Pascal Poizat, Massimo Tivoli (eds.) |
Proceedings of the Third International Workshop on Coordination and Adaption Techniques for Software Entities, WCAT@ECOOP 2006, Nantes, France, July 4, 2006 |
WCAT@ECOOP |
2007 |
DBLP BibTeX RDF |
|
30 | Steffen Becker 0001, Carlos Canal, Nikolay Diakov, Juan Manuel Murillo, Pascal Poizat, Massimo Tivoli |
Preface. |
WCAT@ECOOP |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Pascal Poizat, Gwen Salaün, Massimo Tivoli |
An Adaptation-based Approach to Incrementally Build Component Systems. |
FACS |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Massimo Tivoli, Marco Autili |
SYNTHESIS, a Tool for Synthesizing Correct and Protocol-Enhanced Adaptors. |
Obj. Logiciel Base données Réseaux |
2006 |
DBLP DOI BibTeX RDF |
|
30 | 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 |
|
30 | Steffen Becker 0001, 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 |
|
30 | 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 |
|
30 | Massimo Tivoli, David Garlan |
Adaptor Synthesis for Protocol-Enhanced Component Based Architectures. |
WICSA |
2005 |
DBLP DOI BibTeX RDF |
|
30 | 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 |
30 | 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 |
30 | Massimo Tivoli |
An architectural approach to the automatic composition and adaptation of software components. |
|
2005 |
RDF |
|
30 | Steffen Becker 0001, Antonio Brogi, Ian Gorton, Sven Overhage, Alexander B. Romanovsky, Massimo Tivoli |
Towards an Engineering Approach to Component Adaptation. |
Architecting Systems with Trustworthy Components |
2004 |
DBLP DOI BibTeX RDF |
|
30 | 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 |
|
30 | Paola Inverardi, Massimo Tivoli |
Deadlock-free software architectures for COM/DCOM Applications. |
J. Syst. Softw. |
2003 |
DBLP DOI BibTeX RDF |
|
30 | Paola Inverardi, Massimo Tivoli |
Software Architecture for Correct Components Assembly. |
SFM |
2003 |
DBLP DOI BibTeX RDF |
|
30 | Paola Inverardi, Massimo Tivoli, Antonio Bucchiarone |
Automatic synthesis of coordinators for COTS group-ware applications: an example. |
WETICE |
2003 |
DBLP DOI BibTeX RDF |
|
30 | Paola Inverardi, Massimo Tivoli |
Automatic Failures-Free Connector Synthesis: An Example. |
RISSEF |
2002 |
DBLP DOI BibTeX RDF |
|
30 | Paola Inverardi, Massimo Tivoli |
Automatic synthesis of deadlock free connectors for COM/DCOM applications. |
ESEC / SIGSOFT FSE |
2001 |
DBLP DOI BibTeX RDF |
|
29 | Kami Brooks |
Migrating to Role-Based Access Control. |
ACM Workshop on Role-Based Access Control |
1999 |
DBLP DOI BibTeX RDF |
Tivoli Management Environment, enterprise systems management, role-based access control, migration, security management |
21 | Stefania Costantini, Leonardo Mostarda, Arianna Tocchio, Panagiota Tsintza |
DALICA: Agent-Based Ambient Intelligence for Cultural-Heritage Scenarios. |
IEEE Intell. Syst. |
2008 |
DBLP DOI BibTeX RDF |
DALI, cultural assets, intelligent logical agents, pervasive computing, multiagent systems, ambient intelligence, collaborative computing |
21 | Yixin Diao, Kamal Bhattacharya |
Estimating business value of IT services through process complexity analysis. |
NOMS |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Padej Phomasakha Na Sakolnakorn, Phayung Meesad |
Decision Tree-Based Model for Automatic Assignment of IT Service Desk Outsourcing in Banking Business. |
SNPD |
2008 |
DBLP DOI BibTeX RDF |
IT service desk, automatic assignment, text mining, decision tree, knowledge discovery, outsourcing |
21 | Dejan S. Milojicic |
Interview with Alan Ganek and Mark Potts. |
IEEE Internet Comput. |
2007 |
DBLP DOI BibTeX RDF |
Alan Ganek, Mark Potts, service management |
21 | Tom W. Keller |
Some work in progress at IBM's Austin Research Lab. |
CLUSTER |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Vassiliki A. Koutsonikola, Athena Vakali |
LDAP: Framework, Practices, and Trends. |
IEEE Internet Comput. |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Reiner Sailer, Trent Jaeger, Xiaolan Zhang 0001, Leendert van Doorn |
Attestation-based policy enforcement for remote access. |
CCS |
2004 |
DBLP DOI BibTeX RDF |
trusted computing, security management, remote access |
21 | Vanadis Crawford |
Setting performance expectations for technical communicators. |
SIGDOC |
2003 |
DBLP DOI BibTeX RDF |
job responsibilities, performance expectations, performance management, technical writing |
21 | Hervé Debar, Andreas Wespi |
Aggregation and Correlation of Intrusion-Detection Alerts. |
Recent Advances in Intrusion Detection |
2001 |
DBLP DOI BibTeX RDF |
alert aggregation, alert data model, Intrusion detection, alert correlation |
Displaying result #201 - #276 of 276 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3] |
|