Search results for "Tivoli"

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