Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Massimo Tivoli
@article{DBLP:journals/sigsoft/ArbabACPT24,
author = {Farhad Arbab and
Marco Autili and
Federico Ciccozzi and
Pascal Poizat and
Massimo Tivoli},
title = {Summary of the 5th International Workshop on Automated andverifiable
Software sYstem DEvelopment (ASYDE)co-located with the 38th {IEEE/ACM}
{ASE} 2023},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {49},
number = {1},
pages = {24--26},
year = {2024},
url = {https://doi.org/10.1145/3635439.3635444},
doi = {10.1145/3635439.3635444},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigsoft/ArbabACPT24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computing/FilipponePAT23,
author = {Gianluca Filippone and
Claudio Pompilio and
Marco Autili and
Massimo Tivoli},
title = {An architectural style for scalable choreography-based microservice-oriented
distributed systems},
journal = {Computing},
volume = {105},
number = {9},
pages = {1933--1956},
year = {2023},
url = {https://doi.org/10.1007/s00607-022-01139-5},
doi = {10.1007/S00607-022-01139-5},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computing/FilipponePAT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsa/FilipponeMART23,
author = {Gianluca Filippone and
Nadeem Qaisar Mehmood and
Marco Autili and
Fabrizio Rossi and
Massimo Tivoli},
title = {From monolithic to microservice architecture: an automated approach
based on graph clustering and combinatorial optimization},
booktitle = {20th {IEEE} International Conference on Software Architecture, {ICSA}
2023, L'Aquila, Italy, March 13-17, 2023},
pages = {47--57},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICSA56044.2023.00013},
doi = {10.1109/ICSA56044.2023.00013},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsa/FilipponeMART23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/AutiliFT23,
author = {Marco Autili and
Gianluca Filippone and
Massimo Tivoli},
title = {Migrating from Monoliths to Microservices: Enforcing Correct Coordination},
booktitle = {38th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2023 - Workshops, Luxembourg, September 11-15, 2023},
pages = {113--118},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ASEW60602.2023.00020},
doi = {10.1109/ASEW60602.2023.00020},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/AutiliFT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/smr/FilipponeAT22,
author = {Gianluca Filippone and
Marco Autili and
Massimo Tivoli},
title = {Synthesis of context-aware business-to-business processes for location-based
services through choreographies},
journal = {J. Softw. Evol. Process.},
volume = {34},
number = {10},
year = {2022},
url = {https://doi.org/10.1002/smr.2416},
doi = {10.1002/SMR.2416},
timestamp = {Tue, 18 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/smr/FilipponeAT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/avi/InverardiPPT22,
author = {Paola Inverardi and
Massimiliano Palmiero and
Patrizio Pelliccione and
Massimo Tivoli},
editor = {Barbara Rita Barricelli and
Gerhard Fischer and
Daniela Fogli and
Anders I. M{\o}rch and
Antonio Piccinno and
Stefano Valtolina},
title = {Ethical-aware autonomous systems from a social psychological lens},
booktitle = {Proceedings of the Sixth International Workshop on Cultures of Participation
in the Digital Age: {AI} for Humans or Humans for AI? co-located with
the International Conference on Advanced Visual Interfaces {(AVI}
2022), Frascati, Italy, June 7, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3136},
pages = {43--48},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3136/paper-9.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:58 +0100},
biburl = {https://dblp.org/rec/conf/avi/InverardiPPT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/AutiliPLTKS21,
author = {Marco Autili and
Alexander Perucci and
Leonardo A. F. Leite and
Massimo Tivoli and
Fabio Kon and
Amleto Di Salle},
title = {Highly collaborative distributed systems: Synthesis and enactment
at work},
journal = {Concurr. Comput. Pract. Exp.},
volume = {33},
number = {6},
year = {2021},
url = {https://doi.org/10.1002/cpe.6039},
doi = {10.1002/CPE.6039},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/concurrency/AutiliPLTKS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tits/Autili0EPT21,
author = {Marco Autili and
Lei Chen and
Cristofer Englund and
Claudio Pompilio and
Massimo Tivoli},
title = {Cooperative Intelligent Transport Systems: Choreography-Based Urban
Traffic Coordination},
journal = {{IEEE} Trans. Intell. Transp. Syst.},
volume = {22},
number = {4},
pages = {2088--2099},
year = {2021},
url = {https://doi.org/10.1109/TITS.2021.3059394},
doi = {10.1109/TITS.2021.3059394},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tits/Autili0EPT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/FilipponeART21,
author = {Gianluca Filippone and
Marco Autili and
Fabrizio Rossi and
Massimo Tivoli},
title = {Migration of Monoliths through the Synthesis of Microservices using
Combinatorial Optimization},
booktitle = {{IEEE} International Symposium on Software Reliability Engineering,
{ISSRE} 2021 - Workshops, Wuhan, China, October 25-28, 2021},
pages = {144--147},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ISSREW53611.2021.00056},
doi = {10.1109/ISSREW53611.2021.00056},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/FilipponeART21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/AutiliSGPT20,
author = {Marco Autili and
Amleto Di Salle and
Francesco Gallo and
Claudio Pompilio and
Massimo Tivoli},
title = {CHOReVOLUTION: Service choreography in practice},
journal = {Sci. Comput. Program.},
volume = {197},
pages = {102498},
year = {2020},
url = {https://doi.org/10.1016/j.scico.2020.102498},
doi = {10.1016/J.SCICO.2020.102498},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/AutiliSGPT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/AutiliSPT20,
author = {Marco Autili and
Amleto Di Salle and
Claudio Pompilio and
Massimo Tivoli},
editor = {Simon Bliudze and
Laura Bocchi},
title = {CHOReVOLUTION: Hands-On In-Service Training for Choreography-Based
Systems},
booktitle = {Coordination Models and Languages - 22nd {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2020, Held as Part of the 15th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2020, Valletta, Malta, June 15-19, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12134},
pages = {3--19},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-50029-0\_1},
doi = {10.1007/978-3-030-50029-0\_1},
timestamp = {Tue, 16 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/AutiliSPT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/FilipponeAT20,
author = {Gianluca Filippone and
Marco Autili and
Massimo Tivoli},
title = {Towards the synthesis of context-aware choreographies},
booktitle = {2020 {IEEE} International Symposium on Software Reliability Engineering
Workshops, {ISSRE} Workshops, Coimbra, Portugal, October 12-15, 2020},
pages = {197--200},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ISSREW51248.2020.00072},
doi = {10.1109/ISSREW51248.2020.00072},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issre/FilipponeAT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/AutiliRIPT19,
author = {Marco Autili and
Davide Di Ruscio and
Paola Inverardi and
Patrizio Pelliccione and
Massimo Tivoli},
title = {A Software Exoskeleton to Protect and Support Citizen's Ethics and
Privacy in the Digital World},
journal = {{IEEE} Access},
volume = {7},
pages = {62011--62021},
year = {2019},
url = {https://doi.org/10.1109/ACCESS.2019.2916203},
doi = {10.1109/ACCESS.2019.2916203},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/AutiliRIPT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fi/AutiliSGPT19,
author = {Marco Autili and
Amleto Di Salle and
Francesco Gallo and
Claudio Pompilio and
Massimo Tivoli},
title = {A Choreography-Based and Collaborative Road Mobility System for L'Aquila
City},
journal = {Future Internet},
volume = {11},
number = {6},
pages = {132},
year = {2019},
url = {https://doi.org/10.3390/fi11060132},
doi = {10.3390/FI11060132},
timestamp = {Wed, 21 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fi/AutiliSGPT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/AutiliISTM19,
author = {Marco Autili and
Paola Inverardi and
Romina Spalazzese and
Massimo Tivoli and
Filippo Mignosi},
title = {Automated synthesis of application-layer connectors from automata-based
specifications},
journal = {J. Comput. Syst. Sci.},
volume = {104},
pages = {17--40},
year = {2019},
url = {https://doi.org/10.1016/j.jcss.2019.03.001},
doi = {10.1016/J.JCSS.2019.03.001},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcss/AutiliISTM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/CiccozziCPT19,
author = {Federico Ciccozzi and
Jan Carlson and
Patrizio Pelliccione and
Massimo Tivoli},
title = {Editorial to theme issue on model-driven engineering of component-based
software systems},
journal = {Softw. Syst. Model.},
volume = {18},
number = {1},
pages = {7--10},
year = {2019},
url = {https://doi.org/10.1007/s10270-017-0589-6},
doi = {10.1007/S10270-017-0589-6},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/CiccozziCPT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/ArbabAIT19,
author = {Farhad Arbab and
Marco Autili and
Paola Inverardi and
Massimo Tivoli},
editor = {Michele Boreale and
Flavio Corradini and
Michele Loreti and
Rosario Pugliese},
title = {Different Glasses to Look into the Three Cs: Component, Connector,
Coordination},
booktitle = {Models, Languages, and Tools for Concurrent and Distributed Programming
- Essays Dedicated to Rocco De Nicola on the Occasion of His 65th
Birthday},
series = {Lecture Notes in Computer Science},
volume = {11665},
pages = {191--216},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-21485-2\_12},
doi = {10.1007/978-3-030-21485-2\_12},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/ArbabAIT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/AutiliSGPT19,
author = {Marco Autili and
Amleto Di Salle and
Francesco Gallo and
Claudio Pompilio and
Massimo Tivoli},
editor = {Hanne Riis Nielson and
Emilio Tuosto},
title = {CHOReVOLUTION: Automating the Realization of Highly-Collaborative
Distributed Applications},
booktitle = {Coordination Models and Languages - 21st {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2019, Held as Part of the 14th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2019, Kongens Lyngby, Denmark, June 17-21, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11533},
pages = {92--108},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-22397-7\_6},
doi = {10.1007/978-3-030-22397-7\_6},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/coordination/AutiliSGPT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/AutiliGIPT19,
author = {Marco Autili and
Francesco Gallo and
Paola Inverardi and
Claudio Pompilio and
Massimo Tivoli},
editor = {Katinka Wolter and
Ina Schieferdecker and
Barbara Gallina and
Michel Cukier and
Roberto Natella and
Naghmeh Ramezani Ivaki and
Nuno Laranjeiro},
title = {Introducing Trust in Service-Oriented Distributed Systems through
Blockchain},
booktitle = {{IEEE} International Symposium on Software Reliability Engineering
Workshops, {ISSRE} Workshops 2019, Berlin, Germany, October 27-30,
2019},
pages = {149--154},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ISSREW.2019.00065},
doi = {10.1109/ISSREW.2019.00065},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issre/AutiliGIPT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/AutiliSGPT19,
author = {Marco Autili and
Amleto Di Salle and
Francesco Gallo and
Claudio Pompilio and
Massimo Tivoli},
editor = {Chih{-}Cheng Hung and
George A. Papadopoulos},
title = {Aiding the realization of service-oriented distributed systems},
booktitle = {Proceedings of the 34th {ACM/SIGAPP} Symposium on Applied Computing,
{SAC} 2019, Limassol, Cyprus, April 8-12, 2019},
pages = {1701--1710},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3297280.3297446},
doi = {10.1145/3297280.3297446},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/AutiliSGPT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jisa/AutiliGT18,
author = {Marco Autili and
Dimitra Giannakopoulou and
Massimo Tivoli},
title = {Thematic series on Verification and Composition for the Internet of
Services and Things},
journal = {J. Internet Serv. Appl.},
volume = {9},
number = {1},
pages = {10:1--10:3},
year = {2018},
url = {https://doi.org/10.1186/s13174-018-0080-9},
doi = {10.1186/S13174-018-0080-9},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jisa/AutiliGT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/AutiliIT18,
author = {Marco Autili and
Paola Inverardi and
Massimo Tivoli},
title = {Choreography Realizability Enforcement through the Automatic Synthesis
of Distributed Coordination Delegates},
journal = {Sci. Comput. Program.},
volume = {160},
pages = {3--29},
year = {2018},
url = {https://doi.org/10.1016/j.scico.2017.10.010},
doi = {10.1016/J.SCICO.2017.10.010},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/AutiliIT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsa/AutiliSGPT18,
author = {Marco Autili and
Amleto Di Salle and
Francesco Gallo and
Claudio Pompilio and
Massimo Tivoli},
editor = {Jennifer P{\'{e}}rez and
Raffaela Mirandola and
Hong{-}Mei Chen},
title = {On the model-driven synthesis of evolvable service choreographies},
booktitle = {Proceedings of the 12th European Conference on Software Architecture:
Companion Proceedings, {ECSA} 2018, Madrid, Spain, September 24-28,
2018},
pages = {20:1--20:6},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3241403.3241425},
doi = {10.1145/3241403.3241425},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecsa/AutiliSGPT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/AutiliSGPT18,
author = {Marco Autili and
Amleto Di Salle and
Francesco Gallo and
Claudio Pompilio and
Massimo Tivoli},
editor = {Regina Hebig and
Thorsten Berger},
title = {On the Model-driven Synthesis of Adaptable Choreographies},
booktitle = {Proceedings of {MODELS} 2018 Workshops: ModComp, MRT, OCL, FlexMDE,
EXE, COMMitMDE, MDETools, GEMOC, MORSE, MDE4IoT, MDEbug, MoDeVVa,
ME, MULTI, HuFaMo, AMMoRe, {PAINS} co-located with {ACM/IEEE} 21st
International Conference on Model Driven Engineering Languages and
Systems {(MODELS} 2018), Copenhagen, Denmark, October, 14, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2245},
pages = {12--17},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2245/modcomp\_paper\_2.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/AutiliSGPT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/AutiliSGPT18,
author = {Marco Autili and
Amleto Di Salle and
Francesco Gallo and
Claudio Pompilio and
Massimo Tivoli},
editor = {Hisham M. Haddad and
Roger L. Wainwright and
Richard Chbeir},
title = {Model-driven adaptation of service choreographies},
booktitle = {Proceedings of the 33rd Annual {ACM} Symposium on Applied Computing,
{SAC} 2018, Pau, France, April 09-13, 2018},
pages = {1441--1450},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3167132.3167287},
doi = {10.1145/3167132.3167287},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/AutiliSGPT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seda/PerucciATAI18,
author = {Alexander Perucci and
Marco Autili and
Massimo Tivoli and
Alessandro Aloisio and
Paola Inverardi},
editor = {Paolo Ciancarini and
Manuel Mazzara and
Angelo Messina and
Alberto Sillitti and
Giancarlo Succi},
title = {Distributed Composition of Highly-Collaborative Services and Sensors
in Tactical Domains},
booktitle = {Proceedings of 6th International Conference in Software Engineering
for Defence Applications, {SEDA} 2018, Rome, Italy, June 7-8, 2018},
series = {Advances in Intelligent Systems and Computing},
volume = {925},
pages = {232--244},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-14687-0\_21},
doi = {10.1007/978-3-030-14687-0\_21},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/seda/PerucciATAI18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/PerucciAT17,
author = {Alexander Perucci and
Marco Autili and
Massimo Tivoli},
editor = {Loli Burgue{\~{n}}o and
Jonathan Corley and
Nelly Bencomo and
Peter J. Clarke and
Philippe Collet and
Michalis Famelis and
Sudipto Ghosh and
Martin Gogolla and
Joel Greenyer and
Esther Guerra and
Sahar Kokaly and
Alfonso Pierantonio and
Julia Rubin and
Davide Di Ruscio},
title = {A Multipurpose Framework for Model-based Reuse-oriented Software Integration
Synthesis},
booktitle = {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},
series = {{CEUR} Workshop Proceedings},
volume = {2019},
pages = {38--44},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-2019/modcomp\_6.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/PerucciAT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/17/CamaraBKABDGGIKT17,
author = {Javier C{\'{a}}mara and
Kirstie L. Bellman and
Jeffrey O. Kephart and
Marco Autili and
Nelly Bencomo and
Ada Diaconescu and
Holger Giese and
Sebastian G{\"{o}}tz and
Paola Inverardi and
Samuel Kounev and
Massimo Tivoli},
editor = {Samuel Kounev and
Jeffrey O. Kephart and
Aleksandar Milenkoski and
Xiaoyun Zhu},
title = {Self-aware Computing Systems: Related Concepts and Research Areas},
booktitle = {Self-Aware Computing Systems},
pages = {17--49},
publisher = {Springer International Publishing},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-47474-8\_2},
doi = {10.1007/978-3-319-47474-8\_2},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/17/CamaraBKABDGGIKT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/17/AutiliBDETZ17,
author = {Marco Autili and
Kirstie L. Bellman and
Ada Diaconescu and
Lukas Esterle and
Massimo Tivoli and
Andrea Zisman},
editor = {Samuel Kounev and
Jeffrey O. Kephart and
Aleksandar Milenkoski and
Xiaoyun Zhu},
title = {Transition Strategies for Increasing Self-awareness in Existing Types
of Computing Systems},
booktitle = {Self-Aware Computing Systems},
pages = {305--336},
publisher = {Springer International Publishing},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-47474-8\_10},
doi = {10.1007/978-3-319-47474-8\_10},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/17/AutiliBDETZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/17/CalinescuACMGIP0KKMST17,
author = {Radu Calinescu and
Marco Autili and
Javier C{\'{a}}mara and
Antinisca Di Marco and
Simos Gerasimou and
Paola Inverardi and
Alexander Perucci and
Nils Jansen and
Joost{-}Pieter Katoen and
Marta Z. Kwiatkowska and
Ole J. Mengshoel and
Romina Spalazzese and
Massimo Tivoli},
editor = {Samuel Kounev and
Jeffrey O. Kephart and
Aleksandar Milenkoski and
Xiaoyun Zhu},
title = {Synthesis and Verification of Self-aware Computing Systems},
booktitle = {Self-Aware Computing Systems},
pages = {337--373},
publisher = {Springer International Publishing},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-47474-8\_11},
doi = {10.1007/978-3-319-47474-8\_11},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/17/CalinescuACMGIP0KKMST17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jisa/AutiliTG16,
author = {Marco Autili and
Massimo Tivoli and
Alfredo Goldman},
title = {Thematic series on service composition for the future internet},
journal = {J. Internet Serv. Appl.},
volume = {7},
number = {1},
pages = {3:1--3:4},
year = {2016},
url = {https://doi.org/10.1186/s13174-016-0045-9},
doi = {10.1186/S13174-016-0045-9},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jisa/AutiliTG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/RuscioMPT16,
author = {Davide Di Ruscio and
Ivano Malavolta and
Patrizio Pelliccione and
Massimo Tivoli},
editor = {Benoit Baudry and
Beno{\^{\i}}t Combemale},
title = {Automatic generation of detailed flight plans from high-level mission
descriptions},
booktitle = {Proceedings of the {ACM/IEEE} 19th International Conference on Model
Driven Engineering Languages and Systems, Saint-Malo, France, October
2-7, 2016},
pages = {45--55},
publisher = {{ACM}},
year = {2016},
url = {http://dl.acm.org/citation.cfm?id=2976794},
timestamp = {Tue, 06 Nov 2018 16:57:17 +0100},
biburl = {https://dblp.org/rec/conf/models/RuscioMPT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/AutiliIT15,
author = {Marco Autili and
Paola Inverardi and
Massimo Tivoli},
title = {Automated Synthesis of Service Choreographies},
journal = {{IEEE} Softw.},
volume = {32},
number = {1},
pages = {50--57},
year = {2015},
url = {https://doi.org/10.1109/MS.2014.131},
doi = {10.1109/MS.2014.131},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/AutiliIT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/AutiliIT15,
author = {Marco Autili and
Paola Inverardi and
Massimo Tivoli},
editor = {Mehdi Dastani and
Marjan Sirjani},
title = {Automated Integration of Service-Oriented Software Systems},
booktitle = {Fundamentals of Software Engineering - 6th International Conference,
{FSEN} 2015 Tehran, Iran, April 22-24, 2015, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9392},
pages = {30--45},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24644-4\_2},
doi = {10.1007/978-3-319-24644-4\_2},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsen/AutiliIT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/BozhinoskiRMPT15,
author = {Darko Bozhinoski and
Davide Di Ruscio and
Ivano Malavolta and
Patrizio Pelliccione and
Massimo Tivoli},
editor = {Myra B. Cohen and
Lars Grunske and
Michael Whalen},
title = {{FLYAQ:} Enabling Non-expert Users to Specify and Generate Missions
of Autonomous Multicopters},
booktitle = {30th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2015, Lincoln, NE, USA, November 9-13, 2015},
pages = {801--806},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ASE.2015.104},
doi = {10.1109/ASE.2015.104},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/BozhinoskiRMPT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/AutiliIMST15,
author = {Marco Autili and
Paola Inverardi and
Filippo Mignosi and
Romina Spalazzese and
Massimo Tivoli},
editor = {Adrian{-}Horia Dediu and
Enrico Formenti and
Carlos Mart{\'{\i}}n{-}Vide and
Bianca Truthe},
title = {Automated Synthesis of Application-Layer Connectors from Automata-Based
Specifications},
booktitle = {Language and Automata Theory and Applications - 9th International
Conference, {LATA} 2015, Nice, France, March 2-6, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8977},
pages = {3--24},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-15579-1\_1},
doi = {10.1007/978-3-319-15579-1\_1},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lata/AutiliIMST15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/AutiliSGPT15,
author = {Marco Autili and
Amleto Di Salle and
Francesco Gallo and
Alexander Perucci and
Massimo Tivoli},
editor = {Alessandro Fantechi and
Patrizio Pelliccione},
title = {Biological Immunity and Software Resilience: Two Faces of the Same
Coin?},
booktitle = {Software Engineering for Resilient Systems - 7th International Workshop,
{SERENE} 2015, Paris, France, September 7-8, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9274},
pages = {1--15},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23129-7\_1},
doi = {10.1007/978-3-319-23129-7\_1},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/serene/AutiliSGPT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/services/AutiliGT15,
author = {Marco Autili and
Alfredo Goldman and
Massimo Tivoli},
editor = {Liang{-}Jie Zhang and
Rami Bahsoon},
title = {{IEEE} Services Visionary Track on Service Composition for the Future
Internet {(SCFI} 2015)},
booktitle = {2015 {IEEE} World Congress on Services, {SERVICES} 2015, New York
City, NY, USA, June 27 - July 2, 2015},
pages = {327--328},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/SERVICES.2015.56},
doi = {10.1109/SERVICES.2015.56},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/services/AutiliGT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/AutiliSPT15,
author = {Marco Autili and
Amleto Di Salle and
Alexander Perucci and
Massimo Tivoli},
editor = {Jos{\'{e}} Proen{\c{c}}a and
Massimo Tivoli},
title = {On the Automated Synthesis of Enterprise Integration Patterns to Adapt
Choreography-based Distributed Systems},
booktitle = {Proceedings 14th International Workshop on Foundations of Coordination
Languages and Self-Adaptive Systems, {FOCLASA} 2015, Madrid, Spain,
5th September 2015},
series = {{EPTCS}},
volume = {201},
pages = {33--47},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.201.3},
doi = {10.4204/EPTCS.201.3},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/AutiliSPT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/staf/2015ps,
editor = {Marco Autili and
Tom Ritter and
Andrey Sadovykh and
Massimo Tivoli},
title = {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},
series = {{CEUR} Workshop Proceedings},
volume = {1400},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1400},
urn = {urn:nbn:de:0074-1400-3},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/staf/2015ps.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/ProencaT15,
editor = {Jos{\'{e}} Proen{\c{c}}a and
Massimo Tivoli},
title = {Proceedings 14th International Workshop on Foundations of Coordination
Languages and Self-Adaptive Systems, {FOCLASA} 2015, Madrid, Spain,
5th September 2015},
series = {{EPTCS}},
volume = {201},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.201},
doi = {10.4204/EPTCS.201},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ProencaT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AutiliIT15,
author = {Marco Autili and
Paola Inverardi and
Massimo Tivoli},
title = {Synthesis of correct adaptors for protocol enhancement in component-based
systems},
journal = {CoRR},
volume = {abs/1504.07504},
year = {2015},
url = {http://arxiv.org/abs/1504.07504},
eprinttype = {arXiv},
eprint = {1504.07504},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/AutiliIT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csmr/AutiliIT14,
author = {Marco Autili and
Paola Inverardi and
Massimo Tivoli},
editor = {Serge Demeyer and
Dave W. Binkley and
Filippo Ricca},
title = {{CHOREOS:} Large scale choreographies for the future internet},
booktitle = {2014 Software Evolution Week - {IEEE} Conference on Software Maintenance,
Reengineering, and Reverse Engineering, {CSMR-WCRE} 2014, Antwerp,
Belgium, February 3-6, 2014},
pages = {391--394},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/CSMR-WCRE.2014.6747202},
doi = {10.1109/CSMR-WCRE.2014.6747202},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csmr/AutiliIT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/services/AutiliGT14,
author = {Marco Autili and
Alfredo Goldman and
Massimo Tivoli},
title = {{IEEE} First International Workshop on Service Orchestration and Choreography
for the Future Internet (OrChor 2014)},
booktitle = {2014 {IEEE} World Congress on Services, {SERVICES} 2014, Anchorage,
AK, USA, June 27 - July 2, 2014},
pages = {323--324},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/SERVICES.2014.63},
doi = {10.1109/SERVICES.2014.63},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/services/AutiliGT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/AutiliT15,
author = {Marco Autili and
Massimo Tivoli},
editor = {Javier C{\'{a}}mara and
Jos{\'{e}} Proen{\c{c}}a},
title = {Distributed Enforcement of Service Choreographies},
booktitle = {Proceedings 13th International Workshop on Foundations of Coordination
Languages and Self-Adaptive Systems, {FOCLASA} 2014, Rome, Italy,
6th September 2014},
series = {{EPTCS}},
volume = {175},
pages = {18--35},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.175.2},
doi = {10.4204/EPTCS.175.2},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AutiliT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/models/2014modcomp,
editor = {Federico Ciccozzi and
Massimo Tivoli and
Jan Carlson},
title = {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},
series = {{CEUR} Workshop Proceedings},
volume = {1281},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1281},
urn = {urn:nbn:de:0074-1281-7},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/2014modcomp.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AutiliIT14,
author = {Marco Autili and
Paola Inverardi and
Massimo Tivoli},
title = {Automatic adaptor synthesis for protocol transformation},
journal = {CoRR},
volume = {abs/1412.0527},
year = {2014},
url = {http://arxiv.org/abs/1412.0527},
eprinttype = {arXiv},
eprint = {1412.0527},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/AutiliIT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/AutiliIPT13,
author = {Marco Autili and
Paola Inverardi and
Alexander Perucci and
Massimo Tivoli},
editor = {Rog{\'{e}}rio de Lemos and
David Garlan and
Carlo Ghezzi and
Holger Giese},
title = {Synthesis of Distributed and Adaptable Coordinators to Enable Choreography
Evolution},
booktitle = {Software Engineering for Self-Adaptive Systems {III.} Assurances -
International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013,
Revised Selected and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {9640},
pages = {282--306},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-74183-3\_10},
doi = {10.1007/978-3-319-74183-3\_10},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/AutiliIPT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/AutiliRSIT13,
author = {Marco Autili and
Davide Di Ruscio and
Amleto Di Salle and
Paola Inverardi and
Massimo Tivoli},
editor = {Vittorio Cortellessa and
D{\'{a}}niel Varr{\'{o}}},
title = {A Model-Based Synthesis Process for Choreography Realizability Enforcement},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {7793},
pages = {37--52},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37057-1\_4},
doi = {10.1007/978-3-642-37057-1\_4},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fase/AutiliRSIT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/InverardiT13,
author = {Paola Inverardi and
Massimo Tivoli},
editor = {David Notkin and
Betty H. C. Cheng and
Klaus Pohl},
title = {Automatic synthesis of modular connectors via composition of protocol
mediation patterns},
booktitle = {35th International Conference on Software Engineering, {ICSE} '13,
San Francisco, CA, USA, May 18-26, 2013},
pages = {3--12},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICSE.2013.6606546},
doi = {10.1109/ICSE.2013.6606546},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/InverardiT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/AutiliST13,
author = {Marco Autili and
Amleto Di Salle and
Massimo Tivoli},
editor = {Anatoliy Gorbenko and
Alexander B. Romanovsky and
Vyacheslav S. Kharchenko},
title = {Synthesis of Resilient Choreographies},
booktitle = {Software Engineering for Resilient Systems, 5th International Workshop,
{SERENE} 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8166},
pages = {94--108},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40894-6\_8},
doi = {10.1007/978-3-642-40894-6\_8},
timestamp = {Mon, 05 Feb 2024 20:33:35 +0100},
biburl = {https://dblp.org/rec/conf/serene/AutiliST13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/InverardiARPT13,
author = {Paola Inverardi and
Marco Autili and
Davide Di Ruscio and
Patrizio Pelliccione and
Massimo Tivoli},
editor = {Bertrand Meyer and
Luciano Baresi and
Mira Mezini},
title = {Producing software by integration: challenges and research directions
(keynote)},
booktitle = {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},
pages = {2--12},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2491411.2505428},
doi = {10.1145/2491411.2505428},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/InverardiARPT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cbse/2013,
editor = {Philippe Kruchten and
Dimitra Giannakopoulou and
Massimo Tivoli},
title = {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},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2465449},
doi = {10.1145/2465449},
isbn = {978-1-4503-2122-8},
timestamp = {Thu, 11 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cbse/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jisa/AutiliIPT12,
author = {Marco Autili and
Paola Inverardi and
Patrizio Pelliccione and
Massimo Tivoli},
title = {Developing highly complex distributed systems: a software engineering
perspective},
journal = {J. Internet Serv. Appl.},
volume = {3},
number = {1},
pages = {15--22},
year = {2012},
url = {https://doi.org/10.1007/s13174-011-0048-5},
doi = {10.1007/S13174-011-0048-5},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jisa/AutiliIPT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/MertenHSPT12,
author = {Maik Merten and
Falk Howar and
Bernhard Steffen and
Patrizio Pelliccione and
Massimo Tivoli},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Automated Inference of Models for Black Box Systems Based on Interface
Descriptions},
booktitle = {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}},
series = {Lecture Notes in Computer Science},
volume = {7609},
pages = {79--96},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34026-0\_7},
doi = {10.1007/978-3-642-34026-0\_7},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/MertenHSPT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/monterey/AutiliCRIPT12,
author = {Marco Autili and
Vittorio Cortellessa and
Davide Di Ruscio and
Paola Inverardi and
Patrizio Pelliccione and
Massimo Tivoli},
editor = {Radu Calinescu and
David Garlan},
title = {Integration Architecture Synthesis for Taming Uncertainty in the Digital
Space},
booktitle = {Large-Scale Complex {IT} Systems. Development, Operation and Management
- 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7539},
pages = {118--131},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34059-8\_6},
doi = {10.1007/978-3-642-34059-8\_6},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/monterey/AutiliCRIPT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/AutiliRIPT11,
author = {Marco Autili and
Davide Di Ruscio and
Paola Inverardi and
Patrizio Pelliccione and
Massimo Tivoli},
editor = {Nelly Bencomo and
Robert B. France and
Betty H. C. Cheng and
Uwe A{\ss}mann},
title = {ModelLAND: Where Do Models Come from?},
booktitle = {Models@run.time - Foundations, Applications, and Roadmaps [Dagstuhl
Seminar 11481, November 27 - December 2, 2011]},
series = {Lecture Notes in Computer Science},
volume = {8378},
pages = {162--187},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-319-08915-7\_6},
doi = {10.1007/978-3-319-08915-7\_6},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/AutiliRIPT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/AutiliRILT11,
author = {Marco Autili and
Davide Di Ruscio and
Paola Inverardi and
James Lockerbie and
Massimo Tivoli},
title = {A development process for requirements based service choreography},
booktitle = {Requirements Engineering for Systems, Services and Systems-of-Systems
(RESS), 2011 Workshop on, Trento, Italy, August 30, 2011},
pages = {59--62},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/RESS.2011.6043925},
doi = {10.1109/RESS.2011.6043925},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/re/AutiliRILT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/InverardiST11,
author = {Paola Inverardi and
Romina Spalazzese and
Massimo Tivoli},
editor = {Marco Bernardo and
Val{\'{e}}rie Issarny},
title = {Application-Layer Connector Synthesis},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {6659},
pages = {148--190},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21455-4\_5},
doi = {10.1007/978-3-642-21455-4\_5},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/InverardiST11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/AutiliCRIPT11,
author = {Marco Autili and
Vittorio Cortellessa and
Davide Di Ruscio and
Paola Inverardi and
Patrizio Pelliccione and
Massimo Tivoli},
editor = {Tibor Gyim{\'{o}}thy and
Andreas Zeller},
title = {{EAGLE:} engineering software in the ubiquitous globe by leveraging
uncErtainty},
booktitle = {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},
pages = {488--491},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2025113.2025199},
doi = {10.1145/2025113.2025199},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/AutiliCRIPT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/CavallaroNPPT10,
author = {Luca Cavallaro and
Elisabetta Di Nitto and
Patrizio Pelliccione and
Matteo Pradella and
Massimo Tivoli},
editor = {Rog{\'{e}}rio de Lemos and
Mauro Pezz{\`{e}}},
title = {Synthesizing adapters for conversational web-services from their {WSDL}
interface},
booktitle = {2010 {ICSE} Workshop on Software Engineering for Adaptive and Self-Managing
Systems, {SEAMS} 2010, Cape Town, South Africa, May 3-4, 2010},
pages = {104--113},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1808984.1808996},
doi = {10.1145/1808984.1808996},
timestamp = {Sun, 02 Oct 2022 16:06:28 +0200},
biburl = {https://dblp.org/rec/conf/icse/CavallaroNPPT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/AutiliCIKT10,
author = {Marco Autili and
Chris Chilton and
Paola Inverardi and
Marta Z. Kwiatkowska and
Massimo Tivoli},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Towards a Connector Algebra},
booktitle = {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}},
series = {Lecture Notes in Computer Science},
volume = {6416},
pages = {278--292},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16561-0\_28},
doi = {10.1007/978-3-642-16561-0\_28},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/AutiliCIKT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/ChengLGIMABBBCSDFGGGKKKLMMMPSTTWW09,
author = {Betty H. C. Cheng and
Rog{\'{e}}rio de Lemos and
Holger Giese and
Paola Inverardi and
Jeff Magee and
Jesper Andersson and
Basil Becker and
Nelly Bencomo and
Yuriy Brun and
Bojan Cukic and
Giovanna Di Marzo Serugendo and
Schahram Dustdar and
Anthony Finkelstein and
Cristina Gacek and
Kurt Geihs and
Vincenzo Grassi and
Gabor Karsai and
Holger M. Kienle and
Jeff Kramer and
Marin Litoiu and
Sam Malek and
Raffaela Mirandola and
Hausi A. M{\"{u}}ller and
Sooyong Park and
Mary Shaw and
Matthias Tichy and
Massimo Tivoli and
Danny Weyns and
Jon Whittle},
editor = {Betty H. C. Cheng and
Rog{\'{e}}rio de Lemos and
Holger Giese and
Paola Inverardi and
Jeff Magee},
title = {Software Engineering for Self-Adaptive Systems: {A} Research Roadmap},
booktitle = {Software Engineering for Self-Adaptive Systems [outcome of a Dagstuhl
Seminar]},
series = {Lecture Notes in Computer Science},
volume = {5525},
pages = {1--26},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02161-9\_1},
doi = {10.1007/978-3-642-02161-9\_1},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/ChengLGIMABBBCSDFGGGKKKLMMMPSTTWW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/IssarnySJBGKCITBS09,
author = {Val{\'{e}}rie Issarny and
Bernhard Steffen and
Bengt Jonsson and
Gordon S. Blair and
Paul Grace and
Marta Z. Kwiatkowska and
Radu Calinescu and
Paola Inverardi and
Massimo Tivoli and
Antonia Bertolino and
Antonino Sabetta},
title = {{CONNECT} Challenges: Towards Emergent Connectors for Eternal Networked
Systems},
booktitle = {14th {IEEE} International Conference on Engineering of Complex Computer
Systems, {ICECCS} 2009, Potsdam, Germany, 2-4 June 2009},
pages = {154--161},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ICECCS.2009.44},
doi = {10.1109/ICECCS.2009.44},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/IssarnySJBGKCITBS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/InverardiPT09,
author = {Paola Inverardi and
Patrizio Pelliccione and
Massimo Tivoli},
title = {Towards an assume-guarantee theory for adaptable systems},
booktitle = {2009 {ICSE} Workshop on Software Engineering for Adaptive and Self-Managing
Systems, {SEAMS} 2009, Vancouver, BC, Canada, May 18-19, 2009},
pages = {106--115},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/SEAMS.2009.5069079},
doi = {10.1109/SEAMS.2009.5069079},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/InverardiPT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/BertolinoIPT09,
author = {Antonia Bertolino and
Paola Inverardi and
Patrizio Pelliccione and
Massimo Tivoli},
editor = {Hans van Vliet and
Val{\'{e}}rie Issarny},
title = {Automatic synthesis of behavior protocols for composable web-services},
booktitle = {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},
pages = {141--150},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1595696.1595719},
doi = {10.1145/1595696.1595719},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/BertolinoIPT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/AutiliMNT08,
author = {Marco Autili and
Leonardo Mostarda and
Alfredo Navarra and
Massimo Tivoli},
title = {Synthesis of decentralized and concurrent adaptors for correctly assembling
distributed component-based systems},
journal = {J. Syst. Softw.},
volume = {81},
number = {12},
pages = {2210--2236},
year = {2008},
url = {https://doi.org/10.1016/j.jss.2008.04.006},
doi = {10.1016/J.JSS.2008.04.006},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jss/AutiliMNT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/PelliccioneTBP08,
author = {Patrizio Pelliccione and
Massimo Tivoli and
Antonio Bucchiarone and
Andrea Polini},
title = {An architectural approach to the correct and automatic assembly of
evolving component-based systems},
journal = {J. Syst. Softw.},
volume = {81},
number = {12},
pages = {2237--2251},
year = {2008},
url = {https://doi.org/10.1016/j.jss.2008.05.030},
doi = {10.1016/J.JSS.2008.05.030},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jss/PelliccioneTBP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/TivoliI08,
author = {Massimo Tivoli and
Paola Inverardi},
title = {Failure-free coordinators synthesis for component-based architectures},
journal = {Sci. Comput. Program.},
volume = {71},
number = {3},
pages = {181--212},
year = {2008},
url = {https://doi.org/10.1016/j.scico.2008.03.001},
doi = {10.1016/J.SCICO.2008.03.001},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/TivoliI08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BertolinoAMIST08,
author = {Antonia Bertolino and
Guglielmo De Angelis and
Antinisca Di Marco and
Paola Inverardi and
Antonino Sabetta and
Massimo Tivoli},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {A Framework for Analyzing and Testing the Performance of Software
Services},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {206--220},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_15},
doi = {10.1007/978-3-540-88479-8\_15},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/BertolinoAMIST08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issse/InverardiT08,
author = {Paola Inverardi and
Massimo Tivoli},
editor = {Andrea De Lucia and
Filomena Ferrucci},
title = {The Future of Software: Adaptation and Dependability},
booktitle = {Software Engineering, International Summer Schools, {ISSSE} 2006-2008,
Salerno, Italy, Revised Tutorial Lectures},
series = {Lecture Notes in Computer Science},
volume = {5413},
pages = {1--31},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-95888-8\_1},
doi = {10.1007/978-3-540-95888-8\_1},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issse/InverardiT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/AutiliBRIT08,
author = {Marco Autili and
Paolo Di Benedetto and
Davide Di Ruscio and
Paola Inverardi and
Massimo Tivoli},
title = {A development process for context-aware adaptive services},
booktitle = {23rd {IEEE/ACM} International Conference on Automated Software Engineering
- Workshop Proceedings {(ASE} Workshops 2008), 15-16 September 2008,
L'Aquila, Italy},
pages = {9--16},
publisher = {{IEEE}},
year = {2008},
url = {https://doi.org/10.1109/ASEW.2008.4686288},
doi = {10.1109/ASEW.2008.4686288},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/AutiliBRIT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/AkerholmCFHHMPT07,
author = {Mikael {\AA}kerholm and
Jan Carlson and
Johan Fredriksson and
Hans Hansson and
John H{\aa}kansson and
Anders M{\"{o}}ller and
Paul Pettersson and
Massimo Tivoli},
title = {The {SAVE} approach to component-based development of vehicular systems},
journal = {J. Syst. Softw.},
volume = {80},
number = {5},
pages = {655--667},
year = {2007},
url = {https://doi.org/10.1016/j.jss.2006.08.016},
doi = {10.1016/J.JSS.2006.08.016},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jss/AkerholmCFHHMPT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/AutiliINT07,
author = {Marco Autili and
Paola Inverardi and
Alfredo Navarra and
Massimo Tivoli},
title = {{SYNTHESIS:} {A} Tool for Automatically Assembling Correct and Distributed
Component-Based Systems},
booktitle = {29th International Conference on Software Engineering {(ICSE} 2007),
Minneapolis, MN, USA, May 20-26, 2007},
pages = {784--787},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ICSE.2007.84},
doi = {10.1109/ICSE.2007.84},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/AutiliINT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/AutiliBCMRIT07,
author = {Marco Autili and
Luca Berardinelli and
Vittorio Cortellessa and
Antinisca Di Marco and
Davide Di Ruscio and
Paola Inverardi and
Massimo Tivoli},
editor = {Bernd J. Kr{\"{a}}mer and
Kwei{-}Jay Lin and
Priya Narasimhan},
title = {A Development Process for Self-adapting Service Oriented Applications},
booktitle = {Service-Oriented Computing - {ICSOC} 2007, Fifth International Conference,
Vienna, Austria, September 17-20, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4749},
pages = {442--448},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74974-5\_41},
doi = {10.1007/978-3-540-74974-5\_41},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsoc/AutiliBCMRIT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/InverardiT07,
author = {Paola Inverardi and
Massimo Tivoli},
editor = {Alexander L. Wolf},
title = {A reuse-based approach to the correct and automatic composition of
web-services},
booktitle = {Proceedings of the 2007 International Workshop on Engineering of Software
Services for Pervasive Environments, {ESSPE} 2007, Dubrovnik, Croatia,
September 4, 2007},
pages = {29--33},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1294904.1294908},
doi = {10.1145/1294904.1294908},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/InverardiT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/TivoliFGG07,
author = {Massimo Tivoli and
Pascal Fradet and
Alain Girault and
Gregor G{\"{o}}{\ss}ler},
editor = {Orna Grumberg and
Michael Huth},
title = {Adaptor Synthesis for Real-Time Components},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {4424},
pages = {185--200},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71209-1\_16},
doi = {10.1007/978-3-540-71209-1\_16},
timestamp = {Mon, 11 Sep 2023 15:43:49 +0200},
biburl = {https://dblp.org/rec/conf/tacas/TivoliFGG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wcat/2006,
editor = {Steffen Becker and
Carlos Canal and
Nikolay Diakov and
Juan Manuel Murillo and
Pascal Poizat and
Massimo Tivoli},
title = {Proceedings of the Third International Workshop on Coordination and
Adaption Techniques for Software Entities, WCAT@ECOOP 2006, Nantes,
France, July 4, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {189},
publisher = {Elsevier},
year = {2007},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/189/suppl/C},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wcat/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/Lobjet/TivoliA06,
author = {Massimo Tivoli and
Marco Autili},
title = {SYNTHESIS, a Tool for Synthesizing Correct and Protocol-Enhanced Adaptors},
journal = {Obj. Logiciel Base donn{\'{e}}es R{\'{e}}seaux},
volume = {12},
number = {1},
pages = {77--103},
year = {2006},
url = {https://doi.org/10.3166/objet.12.1.77-103},
doi = {10.3166/OBJET.12.1.77-103},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/Lobjet/TivoliA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/BeckerCDMPT06,
author = {Steffen Becker and
Carlos Canal and
Nikolay Diakov and
Juan Manuel Murillo and
Pascal Poizat and
Massimo Tivoli},
editor = {Mario S{\"{u}}dholt and
Charles Consel},
title = {Coordination and Adaptation Techniques: Bridging the Gap Between Design
and Implementation},
booktitle = {Object-Oriented Technology, {ECOOP} 2006 Workshop Reader, {ECOOP}
2006 Workshops, Nantes, France, July 3-7, 2006, Final Reports},
series = {Lecture Notes in Computer Science},
volume = {4379},
pages = {72--86},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-71774-4\_9},
doi = {10.1007/978-3-540-71774-4\_9},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoopw/BeckerCDMPT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ewsa/AutiliFINT06,
author = {Marco Autili and
Michele Flammini and
Paola Inverardi and
Alfredo Navarra and
Massimo Tivoli},
editor = {Volker Gruhn and
Fl{\'{a}}vio Oquendo},
title = {Synthesis of Concurrent and Distributed Adaptors for Component-Based
Systems},
booktitle = {Software Architecture, Third European Workshop, {EWSA} 2006, Nantes,
France, September 4-5, 2006, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4344},
pages = {17--32},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11966104\_3},
doi = {10.1007/11966104\_3},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ewsa/AutiliFINT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/BucchiaronePPT06,
author = {Antonio Bucchiarone and
Andrea Polini and
Patrizio Pelliccione and
Massimo Tivoli},
editor = {Robert M. Hierons and
Henry Muccini},
title = {Towards an architectural approach for the dynamic and automatic composition
of software components},
booktitle = {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},
pages = {12--21},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1147249.1147251},
doi = {10.1145/1147249.1147251},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/BucchiaronePPT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BeckerCDMPT07,
author = {Steffen Becker and
Carlos Canal and
Nikolay Diakov and
Juan Manuel Murillo and
Pascal Poizat and
Massimo Tivoli},
editor = {Steffen Becker and
Carlos Canal and
Nikolay Diakov and
Juan Manuel Murillo and
Pascal Poizat and
Massimo Tivoli},
title = {Preface},
booktitle = {Proceedings of the Third International Workshop on Coordination and
Adaption Techniques for Software Entities, WCAT@ECOOP 2006, Nantes,
France, July 4, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {189},
pages = {1--3},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.05.044},
doi = {10.1016/J.ENTCS.2007.05.044},
timestamp = {Tue, 31 Jan 2023 15:57:24 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BeckerCDMPT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PoizatST07,
author = {Pascal Poizat and
Gwen Sala{\"{u}}n and
Massimo Tivoli},
editor = {Vladimir Mencl and
Frank S. de Boer},
title = {An Adaptation-based Approach to Incrementally Build Component Systems},
booktitle = {Proceedings of the Third International Workshop on Formal Aspects
of Component Software, {FACS} 2006, Prague, Czech Republic, September
20-22, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {182},
pages = {155--170},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.09.037},
doi = {10.1016/J.ENTCS.2006.09.037},
timestamp = {Tue, 24 Jan 2023 13:47:52 +0100},
biburl = {https://dblp.org/rec/journals/entcs/PoizatST07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/it/Tivoli05,
author = {Massimo Tivoli},
title = {An architectural approach to the automatic composition and adaptation
of software components},
school = {University of L'Aquila, Italy},
year = {2005},
url = {https://opac.bncf.firenze.sbn.it/bncf-prod/resource?uri=BNI0014915},
timestamp = {Wed, 10 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/it/Tivoli05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/FredrikssonTC05,
author = {Johan Fredriksson and
Massimo Tivoli and
Ivica Crnkovic},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {A component-based development framework for supporting functional
and non-functional analysis in control system design},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {368--371},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1101972},
doi = {10.1145/1101908.1101972},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/FredrikssonTC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/InverardiMTA05,
author = {Paola Inverardi and
Leonardo Mostarda and
Massimo Tivoli and
Marco Autili},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {Synthesis of correct and distributed adaptors for component-based
systems: an automatic approach},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {405--409},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1101981},
doi = {10.1145/1101908.1101981},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/InverardiMTA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wicsa/TivoliG05,
author = {Massimo Tivoli and
David Garlan},
title = {Adaptor Synthesis for Protocol-Enhanced Component Based Architectures},
booktitle = {Fifth Working {IEEE} / {IFIP} Conference on Software Architecture
{(WICSA} 2005), 6-10 November 2005, Pittsburgh, Pennsylvania, {USA}},
pages = {276--277},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/WICSA.2005.9},
doi = {10.1109/WICSA.2005.9},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wicsa/TivoliG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cbse/TivoliIPFS04,
author = {Massimo Tivoli and
Paola Inverardi and
Valentina Presutti and
Alessandro Forghieri and
Maurizio Sebastianis},
editor = {Ivica Crnkovic and
Judith A. Stafford and
Heinz W. Schmidt and
Kurt C. Wallnau},
title = {Correct Components Assembly for a Product Data Management Cooperative
System},
booktitle = {Component-Based Software Engineering, 7th International Symposium,
{CBSE} 2004, Edinburgh, UK, May 24-25, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3054},
pages = {84--99},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24774-6\_9},
doi = {10.1007/978-3-540-24774-6\_9},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cbse/TivoliIPFS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BeckerBGORT04,
author = {Steffen Becker and
Antonio Brogi and
Ian Gorton and
Sven Overhage and
Alexander B. Romanovsky and
Massimo Tivoli},
editor = {Ralf H. Reussner and
Judith A. Stafford and
Clemens A. Szyperski},
title = {Towards an Engineering Approach to Component Adaptation},
booktitle = {Architecting Systems with Trustworthy Components, International Seminar,
Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3938},
pages = {193--215},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11786160\_11},
doi = {10.1007/11786160\_11},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dagstuhl/BeckerBGORT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/InverardiT03,
author = {Paola Inverardi and
Massimo Tivoli},
title = {Deadlock-free software architectures for {COM/DCOM} Applications},
journal = {J. Syst. Softw.},
volume = {65},
number = {3},
pages = {173--183},
year = {2003},
url = {https://doi.org/10.1016/S0164-1212(02)00037-7},
doi = {10.1016/S0164-1212(02)00037-7},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jss/InverardiT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/InverardiT03,
author = {Paola Inverardi and
Massimo Tivoli},
editor = {Marco Bernardo and
Paola Inverardi},
title = {Software Architecture for Correct Components Assembly},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {2804},
pages = {92--121},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39800-4\_6},
doi = {10.1007/978-3-540-39800-4\_6},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/InverardiT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wetice/InverardiTB03,
author = {Paola Inverardi and
Massimo Tivoli and
Antonio Bucchiarone},
title = {Automatic synthesis of coordinators for {COTS} group-ware applications:
an example},
booktitle = {12th {IEEE} International Workshops on Enabling Technologies {(WETICE}
2003), Infrastructure for Collaborative Enterprises, 9-11 June 2003,
Linz, Austria},
pages = {123},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/ENABL.2003.1231395},
doi = {10.1109/ENABL.2003.1231395},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wetice/InverardiTB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rissef/InverardiT02,
author = {Paola Inverardi and
Massimo Tivoli},
editor = {Martin Wirsing and
Alexander Knapp and
Simonetta Balsamo},
title = {Automatic Failures-Free Connector Synthesis: An Example},
booktitle = {Radical Innovations of Software and Systems Engineering in the Future,
9th International Workshop, {RISSEF} 2002, Venice, Italy, October
7-11, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2941},
pages = {184--197},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-24626-8\_12},
doi = {10.1007/978-3-540-24626-8\_12},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rissef/InverardiT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/InverardiT01,
author = {Paola Inverardi and
Massimo Tivoli},
editor = {A Min Tjoa and
Volker Gruhn},
title = {Automatic synthesis of deadlock free connectors for {COM/DCOM} applications},
booktitle = {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},
pages = {121--131},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/503209.503227},
doi = {10.1145/503209.503227},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/InverardiT01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-02-07 03:58 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
