|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS (Satellite Events) ![In: Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, ME, EXE, COMMitMDE, MRT, MULTI, GEMOC, MoDeVVa, MDETools, FlexMDE, MDEbug), Posters, Doctoral Symposium, Educator Symposium, ACM Student Research Competition, and Tools and Demonstrations co-located with ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017), Austin, TX, USA, September, 17, 2017., pp. 38-44, 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
30 | Marco Autili, Massimo Tivoli, Alfredo Goldman |
Thematic series on service composition for the future internet. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Internet Serv. Appl. ![In: J. Internet Serv. Appl. 7(1), pp. 3:1-3:4, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, Saint-Malo, France, October 2-7, 2016, pp. 45-55, 2016, ACM, 978-1-4503-4321-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCLASA ![In: Proceedings 14th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems, FOCLASA 2015, Madrid, Spain, 5th September 2015., pp. 33-47, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCLASA ![The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
30 | Marco Autili, Paola Inverardi, Massimo Tivoli |
Synthesis of correct adaptors for protocol enhancement in component-based systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1504.07504, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
30 | Marco Autili, Paola Inverardi, Massimo Tivoli |
Automated Synthesis of Service Choreographies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 32(1), pp. 50-57, 2015. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SERVICES ![In: 2015 IEEE World Congress on Services, SERVICES 2015, New York City, NY, USA, June 27 - July 2, 2015, pp. 327-328, 2015, IEEE Computer Society, 978-1-4673-7275-6. The full citation details ...](Pics/full.jpeg) |
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? ![Search on Bibsonomy](Pics/bibsonomy.png) |
SERENE ![In: Software Engineering for Resilient Systems - 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings, pp. 1-15, 2015, Springer, 978-3-319-23128-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings, pp. 3-24, 2015, Springer, 978-3-319-15578-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
30 | Marco Autili, Paola Inverardi, Massimo Tivoli |
Automated Integration of Service-Oriented Software Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSEN ![In: Fundamentals of Software Engineering - 6th International Conference, FSEN 2015 Tehran, Iran, April 22-24, 2015, Revised Selected Papers, pp. 30-45, 2015, Springer, 978-3-319-24643-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STAF Projects Showcase ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 30th IEEE/ACM International Conference on Automated Software Engineering, ASE 2015, Lincoln, NE, USA, November 9-13, 2015, pp. 801-806, 2015, IEEE Computer Society, 978-1-5090-0025-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
30 | Marco Autili, Massimo Tivoli |
Distributed Enforcement of Service Choreographies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCLASA ![In: Proceedings 13th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems, FOCLASA 2014, Rome, Italy, 6th September 2014., pp. 18-35, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
30 | Marco Autili, Paola Inverardi, Massimo Tivoli |
Automatic adaptor synthesis for protocol transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1412.0527, 2014. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SERVICES ![In: 2014 IEEE World Congress on Services, SERVICES 2014, Anchorage, AK, USA, June 27 - July 2, 2014, pp. 323-324, 2014, IEEE Computer Society, 978-1-4799-5069-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
30 | Marco Autili, Paola Inverardi, Massimo Tivoli |
CHOREOS: Large scale choreographies for the future internet. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSMR-WCRE ![In: 2014 Software Evolution Week - IEEE Conference on Software Maintenance, Reengineering, and Reverse Engineering, CSMR-WCRE 2014, Antwerp, Belgium, February 3-6, 2014, pp. 391-394, 2014, IEEE Computer Society, 978-1-4799-3752-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ModComp@MoDELS ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
30 | Marco Autili, Paola Inverardi, Alexander Perucci, Massimo Tivoli |
Synthesis of Distributed and Adaptable Coordinators to Enable Choreography Evolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Engineering for Self-Adaptive Systems ![In: Software Engineering for Self-Adaptive Systems III. Assurances - International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers, pp. 282-306, 2013, Springer, 978-3-319-74182-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
30 | Marco Autili, Amleto Di Salle, Massimo Tivoli |
Synthesis of Resilient Choreographies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SERENE ![In: Software Engineering for Resilient Systems, 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings, pp. 94-108, 2013, Springer, 978-3-642-40893-9. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CBSE ![ACM, 978-1-4503-2122-8 The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE'13, Saint Petersburg, Russian Federation, August 18-26, 2013, pp. 2-12, 2013, ACM, 978-1-4503-2237-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
30 | Paola Inverardi, Massimo Tivoli |
Automatic synthesis of modular connectors via composition of protocol mediation patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 35th International Conference on Software Engineering, ICSE '13, San Francisco, CA, USA, May 18-26, 2013, pp. 3-12, 2013, IEEE Computer Society, 978-1-4673-3076-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering - 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings, pp. 37-52, 2013, Springer, 978-3-642-37056-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
30 | Marco Autili, Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli |
Developing highly complex distributed systems: a software engineering perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Internet Serv. Appl. ![In: J. Internet Serv. Appl. 3(1), pp. 15-22, 2012. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA (1) ![In: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I, pp. 79-96, 2012, Springer, 978-3-642-34025-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Monterey Workshop ![In: Large-Scale Complex IT Systems. Development, Operation and Management - 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers, pp. 118-131, 2012, Springer, 978-3-642-34058-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
30 | Marco Autili, Davide Di Ruscio, Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli |
ModelLAND: Where Do Models Come from? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Models@run.time@Dagstuhl ![In: Models@run.time - Foundations, Applications, and Roadmaps [Dagstuhl Seminar 11481, November 27 - December 2, 2011]., pp. 162-187, 2011, Springer, 978-3-319-08914-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RESS ![In: Requirements Engineering for Systems, Services and Systems-of-Systems (RESS), 2011 Workshop on, Trento, Italy, August 30, 2011, pp. 59-62, 2011, IEEE Computer Society, 978-1-4577-0939-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), Szeged, Hungary, September 5-9, 2011, pp. 488-491, 2011, ACM, 978-1-4503-0443-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
30 | Paola Inverardi, Romina Spalazzese, Massimo Tivoli |
Application-Layer Connector Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Eternal Networked Software Systems - 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures, pp. 148-190, 2011, Springer, 978-3-642-21454-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
30 | Marco Autili, Chris Chilton, Paola Inverardi, Marta Z. Kwiatkowska, Massimo Tivoli |
Towards a Connector Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA (2) ![In: Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II, pp. 278-292, 2010, Springer, 978-3-642-16560-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEAMS ![In: 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2010, Cape Town, South Africa, May 3-4, 2010, pp. 104-113, 2010, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
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 |
|
30 | Antonia Bertolino, Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli |
Automatic synthesis of behavior protocols for composable web-services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009, Amsterdam, The Netherlands, August 24-28, 2009, pp. 141-150, 2009, ACM, 978-1-60558-001-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEAMS ![In: 2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2009, Vancouver, BC, Canada, May 18-19, 2009, pp. 106-115, 2009, IEEE Computer Society, 978-1-4244-3724-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 14th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2009, Potsdam, Germany, 2-4 June 2009, pp. 154-161, 2009, IEEE Computer Society, 978-0-7695-3702-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Softw. ![In: J. Syst. Softw. 81(12), pp. 2237-2251, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Softw. ![In: J. Syst. Softw. 81(12), pp. 2210-2236, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Massimo Tivoli, Paola Inverardi |
Failure-free coordinators synthesis for component-based architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 71(3), pp. 181-212, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA ![In: Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings, pp. 206-220, 2008, Springer, 978-3-540-88478-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE Workshops ![In: 23rd IEEE/ACM International Conference on Automated Software Engineering - Workshop Proceedings (ASE Workshops 2008), 15-16 September 2008, L'Aquila, Italy, pp. 9-16, 2008, IEEE, 978-1-4244-2776-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Paola Inverardi, Massimo Tivoli |
The Future of Software: Adaptation and Dependability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSSE ![In: Software Engineering, International Summer Schools, ISSSE 2006-2008, Salerno, Italy, Revised Tutorial Lectures, pp. 1-31, 2008, Springer, 978-3-540-95887-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Softw. ![In: J. Syst. Softw. 80(5), pp. 655-667, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOC ![In: Service-Oriented Computing - ICSOC 2007, Fifth International Conference, Vienna, Austria, September 17-20, 2007, Proceedings, pp. 442-448, 2007, Springer, 978-3-540-74973-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Paola Inverardi, Massimo Tivoli |
A reuse-based approach to the correct and automatic composition of web-services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSPE ![In: Proceedings of the 2007 International Workshop on Engineering of Software Services for Pervasive Environments, ESSPE 2007, Dubrovnik, Croatia, September 4, 2007, pp. 29-33, 2007, ACM, 978-1-59593-798-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Massimo Tivoli, Pascal Fradet, Alain Girault, Gregor Gößler |
Adaptor Synthesis for Real-Time Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007, Proceedings, pp. 185-200, 2007, Springer, 978-3-540-71208-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 29th International Conference on Software Engineering (ICSE 2007), Minneapolis, MN, USA, May 20-26, 2007, pp. 784-787, 2007, IEEE Computer Society, 0-7695-2828-7. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCAT@ECOOP ![Elsevier The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
30 | Steffen Becker 0001, Carlos Canal, Nikolay Diakov, Juan Manuel Murillo, Pascal Poizat, Massimo Tivoli |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCAT@ECOOP ![In: Proceedings of the Third International Workshop on Coordination and Adaption Techniques for Software Entities, WCAT@ECOOP 2006, Nantes, France, July 4, 2006, pp. 1-3, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Pascal Poizat, Gwen Salaün, Massimo Tivoli |
An Adaptation-based Approach to Incrementally Build Component Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Proceedings of the Third International Workshop on Formal Aspects of Component Software, FACS 2006, Prague, Czech Republic, September 20-22, 2006, pp. 155-170, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Massimo Tivoli, Marco Autili |
SYNTHESIS, a Tool for Synthesizing Correct and Protocol-Enhanced Adaptors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Obj. Logiciel Base données Réseaux ![In: Obj. Logiciel Base données Réseaux 12(1), pp. 77-103, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EWSA ![In: Software Architecture, Third European Workshop, EWSA 2006, Nantes, France, September 4-5, 2006, Revised Selected Papers, pp. 17-32, 2006, Springer, 3-540-69271-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP Workshops ![In: Object-Oriented Technology, ECOOP 2006 Workshop Reader, ECOOP 2006 Workshops, Nantes, France, July 3-7, 2006, Final Reports, pp. 72-86, 2006, Springer, 978-3-540-71772-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ROSATEA ![In: Proceedings of the 2006 Workshop on Role of Software Architecture for Testing and Analysis, held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2006), ROSATEA 2006, Portland, Maine, USA, July 17-20, 2006, pp. 12-21, 2006, ACM, 1-59593-459-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Massimo Tivoli, David Garlan |
Adaptor Synthesis for Protocol-Enhanced Component Based Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WICSA ![In: Fifth Working IEEE / IFIP Conference on Software Architecture (WICSA 2005), 6-10 November 2005, Pittsburgh, Pennsylvania, USA, pp. 276-277, 2005, IEEE Computer Society, 0-7695-2548-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), November 7-11, 2005, Long Beach, CA, USA, pp. 405-409, 2005, ACM, 1-58113-993-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), November 7-11, 2005, Long Beach, CA, USA, pp. 368-371, 2005, ACM, 1-58113-993-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2005 |
RDF |
|
30 | Steffen Becker 0001, Antonio Brogi, Ian Gorton, Sven Overhage, Alexander B. Romanovsky, Massimo Tivoli |
Towards an Engineering Approach to Component Adaptation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Architecting Systems with Trustworthy Components ![In: Architecting Systems with Trustworthy Components, International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers, pp. 193-215, 2004, Springer, 3-540-35800-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CBSE ![In: Component-Based Software Engineering, 7th International Symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004, Proceedings, pp. 84-99, 2004, Springer, 3-540-21998-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Paola Inverardi, Massimo Tivoli |
Deadlock-free software architectures for COM/DCOM Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Softw. ![In: J. Syst. Softw. 65(3), pp. 173-183, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
30 | Paola Inverardi, Massimo Tivoli |
Software Architecture for Correct Components Assembly. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Software Architectures, Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003, Advanced Lectures, pp. 92-121, 2003, Springer, 3-540-20083-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
30 | Paola Inverardi, Massimo Tivoli, Antonio Bucchiarone |
Automatic synthesis of coordinators for COTS group-ware applications: an example. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WETICE ![In: 12th IEEE International Workshops on Enabling Technologies (WETICE 2003), Infrastructure for Collaborative Enterprises, 9-11 June 2003, Linz, Austria, pp. 123-, 2003, IEEE Computer Society, 0-7695-1963-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
30 | Paola Inverardi, Massimo Tivoli |
Automatic Failures-Free Connector Synthesis: An Example. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RISSEF ![In: Radical Innovations of Software and Systems Engineering in the Future, 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers, pp. 184-197, 2002, Springer, 3-540-21179-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
30 | Paola Inverardi, Massimo Tivoli |
Automatic synthesis of deadlock free connectors for COM/DCOM applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC / SIGSOFT FSE ![In: Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2001, Vienna, Austria, September 10-14, 2001, pp. 121-131, 2001, ACM, 978-1-58113-390-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
29 | Kami Brooks |
Migrating to Role-Based Access Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Workshop on Role-Based Access Control ![In: Proceedings of the Fourth ACM Workshop on Role-Based Access Control, RBAC 1999, Fairfax, VA, USA, October 28-29, 1999, pp. 71-81, 1999, ACM, 1-58113-180-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Intell. Syst. ![In: IEEE Intell. Syst. 23(2), pp. 34-41, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NOMS ![In: IEEE/IFIP Network Operations and Management Symposium: Pervasive Management for Ubioquitous Networks and Services, NOMS 2008, 7-11 April 2008, Salvador, Bahia, Brazil, pp. 208-215, 2008, IEEE, 978-1-4244-2066-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNPD ![In: Ninth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2008, In conjunction with Second International Workshop on Advanced Internet Technology and Applications, August 6-8, 2008, Phuket, Thailand, pp. 387-392, 2008, IEEE Computer Society, 978-0-7695-3263-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Internet Comput. ![In: IEEE Internet Comput. 11(3), pp. 9-12, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLUSTER ![In: Proceedings of the 2007 IEEE International Conference on Cluster Computing, 17-20 September 2007, Austin, Texas, USA, pp. 480, 2007, IEEE Computer Society, 978-1-4244-1387-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Vassiliki A. Koutsonikola, Athena Vakali |
LDAP: Framework, Practices, and Trends. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Internet Comput. ![In: IEEE Internet Comput. 8(5), pp. 66-72, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Reiner Sailer, Trent Jaeger, Xiaolan Zhang 0001, Leendert van Doorn |
Attestation-based policy enforcement for remote access. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: Proceedings of the 11th ACM Conference on Computer and Communications Security, CCS 2004, Washington, DC, USA, October 25-29, 2004, pp. 308-317, 2004, ACM, 1-58113-961-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
trusted computing, security management, remote access |
21 | Vanadis Crawford |
Setting performance expectations for technical communicators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGDOC ![In: Proceedings of the 21st annual international conference on Documentation, SIGDOC 2003, San Francisco, CA, USA, October 12-15, 2003, pp. 206-209, 2003, ACM, 1-58113-696-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Recent Advances in Intrusion Detection ![In: Recent Advances in Intrusion Detection, 4th International Symposium, RAID 2001 Davis, CA, USA, October 10-12, 2001, Proceedings, pp. 85-103, 2001, Springer, 3-540-42702-3. The full citation details ...](Pics/full.jpeg) |
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] |
|