Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Marco Autili
@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}
}
@article{DBLP:journals/percom/ScocciaEA23,
author = {Gian Luca Scoccia and
Romina Eramo and
Marco Autili},
title = {Studying users' perception of IoT mobile companion apps},
journal = {Pervasive Mob. Comput.},
volume = {92},
pages = {101786},
year = {2023},
url = {https://doi.org/10.1016/j.pmcj.2023.101786},
doi = {10.1016/J.PMCJ.2023.101786},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/percom/ScocciaEA23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hhai/MemonSIA23,
author = {Mashal Afzal Memon and
Gian Luca Scoccia and
Paola Inverardi and
Marco Autili},
editor = {Paul Lukowicz and
Sven Mayer and
Janin Koch and
John Shawe{-}Taylor and
Ilaria Tiddi},
title = {Don't You Agree with My Ethics? Let's Negotiate!},
booktitle = {{HHAI} 2023: Augmenting Human Intellect - Proceedings of the Second
International Conference on Hybrid Human-Artificial Intelligence,
June 26-30, 2023, Munich, Germany},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {368},
pages = {385--388},
publisher = {{IOS} Press},
year = {2023},
url = {https://doi.org/10.3233/FAIA230105},
doi = {10.3233/FAIA230105},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hhai/MemonSIA23.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/AutiliBFFSS23,
author = {Marco Autili and
Alessio Bucaioni and
Gianluca Filippone and
Farnaz Fotrousi and
Rim Saddem and
Gian Luca Scoccia},
title = {5th International Workshop on Automated and Verifiable Software System
Development {(ASYDE} 2023)},
booktitle = {38th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2023 - Workshops, Luxembourg, September 11-15, 2023},
pages = {9--10},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ASEW60602.2023.00034},
doi = {10.1109/ASEW60602.2023.00034},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/AutiliBFFSS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/MemonSA23,
author = {Mashal Afzal Memon and
Gian Luca Scoccia and
Marco Autili},
title = {Automated Negotiation - Preliminary Results of a Systematic Mapping
Study},
booktitle = {38th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2023 - Workshops, Luxembourg, September 11-15, 2023},
pages = {94--99},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ASEW60602.2023.00017},
doi = {10.1109/ASEW60602.2023.00017},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/MemonSA23.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/mobilesoft/ScocciaASI22,
author = {Gian Luca Scoccia and
Marco Autili and
Giovanni Stilo and
Paola Inverardi},
title = {An empirical study of privacy labels on the Apple iOS mobile app store},
booktitle = {9th {IEEE/ACM} International Conference on Mobile Software Engineering
and Systems, MobileSoft@ICSE 2022, Pittsburgh, PA, USA, May 17-18,
2022},
pages = {114--124},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1145/3524613.3527813},
doi = {10.1145/3524613.3527813},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mobilesoft/ScocciaASI22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sefm/2021w,
editor = {Antonio Cerone and
Marco Autili and
Alessio Bucaioni and
Cl{\'{a}}udio Gomes and
Pierluigi Graziani and
Maurizio Palmieri and
Marco Temperini and
Gentiane Venture},
title = {Software Engineering and Formal Methods. {SEFM} 2021 Collocated Workshops
- CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10,
2021, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13230},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-12429-7},
doi = {10.1007/978-3-031-12429-7},
isbn = {978-3-031-12428-0},
timestamp = {Tue, 27 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/2021w.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 = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/concurrency/AutiliPLTKS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jisa/AutiliMPSV21,
author = {Marco Autili and
Ivano Malavolta and
Alexander Perucci and
Gian Luca Scoccia and
Roberto Verdecchia},
title = {Software engineering techniques for statically analyzing mobile apps:
research trends, characteristics, and potential for industrial adoption},
journal = {J. Internet Serv. Appl.},
volume = {12},
number = {1},
pages = {3},
year = {2021},
url = {https://doi.org/10.1186/s13174-021-00134-x},
doi = {10.1186/S13174-021-00134-X},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jisa/AutiliMPSV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/BaresiGLAMJ21,
author = {Luciano Baresi and
William G. Griswold and
Grace A. Lewis and
Marco Autili and
Ivano Malavolta and
Christine Julien},
title = {Trends and Challenges for Software Engineering in the Mobile Domain},
journal = {{IEEE} Softw.},
volume = {38},
number = {1},
pages = {88--96},
year = {2021},
url = {https://doi.org/10.1109/MS.2020.2994306},
doi = {10.1109/MS.2020.2994306},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/BaresiGLAMJ21.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}
}
@article{DBLP:journals/tse/ScocciaMASI21,
author = {Gian Luca Scoccia and
Ivano Malavolta and
Marco Autili and
Amleto Di Salle and
Paola Inverardi},
title = {Enhancing Trustability of Android Applications via User-Centric Flexible
Permissions},
journal = {{IEEE} Trans. Software Eng.},
volume = {47},
number = {10},
pages = {2032--2051},
year = {2021},
url = {https://doi.org/10.1109/TSE.2019.2941936},
doi = {10.1109/TSE.2019.2941936},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/ScocciaMASI21.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}
}
@inproceedings{DBLP:conf/msr/ScocciaMA21,
author = {Gian Luca Scoccia and
Patrizio Migliarini and
Marco Autili},
title = {Challenges in Developing Desktop Web Apps: a Study of Stack Overflow
and GitHub},
booktitle = {18th {IEEE/ACM} International Conference on Mining Software Repositories,
{MSR} 2021, Madrid, Spain, May 17-19, 2021},
pages = {271--282},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/MSR52588.2021.00039},
doi = {10.1109/MSR52588.2021.00039},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/msr/ScocciaMA21.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/acsos/ScocciaAI20,
author = {Gian Luca Scoccia and
Marco Autili and
Paola Inverardi},
title = {A self-configuring and adaptive privacy-aware permission system for
Android apps},
booktitle = {{IEEE} International Conference on Autonomic Computing and Self-Organizing
Systems, {ACSOS} 2020, Washington, DC, USA, August 17-21, 2020},
pages = {38--47},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ACSOS49614.2020.00024},
doi = {10.1109/ACSOS49614.2020.00024},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acsos/ScocciaAI20.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/esem/ScocciaA20,
author = {Gian Luca Scoccia and
Marco Autili},
editor = {Maria Teresa Baldassarre and
Filippo Lanubile and
Marcos Kalinowski and
Federica Sarro},
title = {Web Frameworks for Desktop Apps: an Exploratory Study},
booktitle = {{ESEM} '20: {ACM} / {IEEE} International Symposium on Empirical Software
Engineering and Measurement, Bari, Italy, October 5-7, 2020},
pages = {35:1--35:6},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3382494.3422171},
doi = {10.1145/3382494.3422171},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esem/ScocciaA20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ScocciaAPIFR20,
author = {Gian Luca Scoccia and
Marco Autili and
Patrizio Pelliccione and
Paola Inverardi and
Matteo Maria Fiore and
Alejandro Russo},
editor = {Gregg Rothermel and
Doo{-}Hwan Bae},
title = {Hey, my data are mine!: active data to empower the user},
booktitle = {{ICSE-NIER} 2020: 42nd International Conference on Software Engineering,
New Ideas and Emerging Results, Seoul, South Korea, 27 June - 19 July,
2020},
pages = {5--8},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3377816.3381726},
doi = {10.1145/3377816.3381726},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/ScocciaAPIFR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/MigliariniSAI20,
author = {Patrizio Migliarini and
Gian Luca Scoccia and
Marco Autili and
Paola Inverardi},
editor = {David Lo and
Leonardo Mariani and
Ali Mesbah},
title = {On the elicitation of privacy and ethics preferences of mobile users},
booktitle = {MOBILESoft '20: {IEEE/ACM} 7th International Conference on Mobile
Software Engineering and Systems, Seoul, Republic of Korea, July 13-15,
2020},
pages = {132--136},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3387905.3388610},
doi = {10.1145/3387905.3388610},
timestamp = {Thu, 27 Jul 2023 16:07:53 +0200},
biburl = {https://dblp.org/rec/conf/icse/MigliariniSAI20.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}
}
@incollection{DBLP:books/sp/20/AutiliPL20,
author = {Marco Autili and
Alexander Perucci and
Lorenzo De Lauretis},
editor = {Antonio Bucchiarone and
Nicola Dragoni and
Schahram Dustdar and
Patricia Lago and
Manuel Mazzara and
Victor Rivera and
Andrey Sadovykh},
title = {A Hybrid Approach to Microservices Load Balancing},
booktitle = {Microservices, Science and Engineering},
pages = {249--269},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-31646-4\_10},
doi = {10.1007/978-3-030-31646-4\_10},
timestamp = {Mon, 05 Feb 2024 20:35:54 +0100},
biburl = {https://dblp.org/rec/books/sp/20/AutiliPL20.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}
}
@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/icse/ScocciaRMAI18,
author = {Gian Luca Scoccia and
Stefano Ruberto and
Ivano Malavolta and
Marco Autili and
Paola Inverardi},
editor = {Christine Julien and
Grace A. Lewis and
Itai Segall},
title = {An investigation into Android run-time permissions from the end users'
perspective},
booktitle = {Proceedings of the 5th International Conference on Mobile Software
Engineering and Systems, MOBILESoft@ICSE 2018, Gothenburg, Sweden,
May 27 - 28, 2018},
pages = {45--55},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3197231.3197236},
doi = {10.1145/3197231.3197236},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/ScocciaRMAI18.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 = {Tue, 07 May 2024 20:14:00 +0200},
biburl = {https://dblp.org/rec/conf/seda/PerucciATAI18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ScocciaMASI17,
author = {Gian Luca Scoccia and
Ivano Malavolta and
Marco Autili and
Amleto Di Salle and
Paola Inverardi},
editor = {Sebasti{\'{a}}n Uchitel and
Alessandro Orso and
Martin P. Robillard},
title = {User-centric Android flexible permissions},
booktitle = {Proceedings of the 39th International Conference on Software Engineering,
{ICSE} 2017, Buenos Aires, Argentina, May 20-28, 2017 - Companion
Volume},
pages = {365--367},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICSE-C.2017.84},
doi = {10.1109/ICSE-C.2017.84},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/ScocciaMASI17.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}
}
@article{DBLP:journals/tse/AutiliBARS16,
author = {Marco Autili and
Antonia Bertolino and
Guglielmo De Angelis and
Davide Di Ruscio and
Alessio Di Sandro},
title = {A Tool-Supported Methodology for Validation and Refinement of Early-Stage
Domain Models},
journal = {{IEEE} Trans. Software Eng.},
volume = {42},
number = {1},
pages = {2--25},
year = {2016},
url = {https://doi.org/10.1109/TSE.2015.2449319},
doi = {10.1109/TSE.2015.2449319},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/AutiliBARS16.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}
}
@article{DBLP:journals/tse/AutiliGLPT15,
author = {Marco Autili and
Lars Grunske and
Markus Lumpe and
Patrizio Pelliccione and
Antony Tang},
title = {Aligning Qualitative, Real-Time, and Probabilistic Property Specification
Patterns Using a Structured English Grammar},
journal = {{IEEE} Trans. Software Eng.},
volume = {41},
number = {7},
pages = {620--638},
year = {2015},
url = {https://doi.org/10.1109/TSE.2015.2398877},
doi = {10.1109/TSE.2015.2398877},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/AutiliGLPT15.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/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:conf/sigsoft/AutiliMPS15,
author = {Marco Autili and
Ivano Malavolta and
Alexander Perucci and
Gian Luca Scoccia},
editor = {Aharon Abadi and
Shah Rukh Humayoun and
Henry Muccini},
title = {Perspectives on static analysis of mobile apps (invited talk)},
booktitle = {Proceedings of the 3rd International Workshop on Software Development
Lifecycle for Mobile, DeMobile 2015, Bergamo, Italy, August 31 - September
4, 2015},
pages = {29--30},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2804345.2804352},
doi = {10.1145/2804345.2804352},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/AutiliMPS15.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}
}
@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}
}
@article{DBLP:journals/corr/AutiliCBI15,
author = {Marco Autili and
Vittorio Cortellessa and
Paolo Di Benedetto and
Paola Inverardi},
title = {On the adaptation of context-aware services},
journal = {CoRR},
volume = {abs/1504.07558},
year = {2015},
url = {http://arxiv.org/abs/1504.07558},
eprinttype = {arXiv},
eprint = {1504.07558},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/AutiliCBI15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AloisioADVLGLSW15,
author = {Alessandro Aloisio and
Marco Autili and
Alfredo D'Angelo and
Antti Viidanoja and
J{\'{e}}r{\'{e}}mie Leguay and
Tobias Ginzler and
Thorsten A. Lampe and
Luca Spagnolo and
Stephen D. Wolthusen and
Adam Flizikowski and
Joanna Sliwa},
title = {{TACTICS:} TACTICal Service Oriented Architecture},
journal = {CoRR},
volume = {abs/1504.07578},
year = {2015},
url = {http://arxiv.org/abs/1504.07578},
eprinttype = {arXiv},
eprint = {1504.07578},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/AloisioADVLGLSW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/AutiliCIB14,
author = {Marco Autili and
Mauro Caporuscio and
Val{\'{e}}rie Issarny and
Luca Berardinelli},
title = {Model-driven engineering of middleware-based ubiquitous services},
journal = {Softw. Syst. Model.},
volume = {13},
number = {2},
pages = {481--511},
year = {2014},
url = {https://doi.org/10.1007/s10270-013-0344-6},
doi = {10.1007/S10270-013-0344-6},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/AutiliCIB14.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/models/AutiliRSI14,
author = {Marco Autili and
Davide Di Ruscio and
Amleto Di Salle and
Paola Inverardi},
editor = {Federico Ciccozzi and
Massimo Tivoli and
Jan Carlson},
title = {Synthesizing an Automata-based Representation of {BPMN2} Choreography
Diagrams},
booktitle = {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},
pages = {67--77},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1281/7.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/AutiliRSI14.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:conf/sigsoft/AutiliRSP14,
author = {Marco Autili and
Davide Di Ruscio and
Amleto Di Salle and
Alexander Perucci},
editor = {Shing{-}Chi Cheung and
Alessandro Orso and
Margaret{-}Anne D. Storey},
title = {CHOReOSynt: enforcing choreography realizability in the future internet},
booktitle = {Proceedings of the 22nd {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, (FSE-22), Hong Kong, China, November
16 - 22, 2014},
pages = {723--726},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2635868.2661667},
doi = {10.1145/2635868.2661667},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/AutiliRSP14.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}
}
@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}
}
@article{DBLP:journals/scp/AutiliBI13,
author = {Marco Autili and
Paolo Di Benedetto and
Paola Inverardi},
title = {A hybrid approach for resource-based comparison of adaptable Java
applications},
journal = {Sci. Comput. Program.},
volume = {78},
number = {8},
pages = {987--1009},
year = {2013},
url = {https://doi.org/10.1016/j.scico.2012.01.005},
doi = {10.1016/J.SCICO.2012.01.005},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/AutiliBI13.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/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}
}
@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/fia/HamidaKOSLAAZGIB12,
author = {Amira Ben Hamida and
Fabio Kon and
Gustavo Ansaldi Oliva and
Carlos Eduardo Moreira Dos Santos and
Jean{-}Pierre Lorr{\'{e}} and
Marco Autili and
Guglielmo De Angelis and
Apostolos V. Zarras and
Nikolaos Georgantas and
Val{\'{e}}rie Issarny and
Antonia Bertolino},
editor = {Federico Alvarez and
Frances Cleary and
Petros Daras and
John Domingue and
Alex Galis and
Ana Garcia and
Anastasius Gavras and
Stamatis Karnouskos and
Srdjan Krco and
Man{-}Sze Li and
Volkmar Lotz and
Henning M{\"{u}}ller and
Elio Salvadori and
Anne{-}Marie Sassen and
Hans Schaffers and
Burkhard Stiller and
Georgios Tselentis and
Petra Turkama and
Theodore B. Zahariadis},
title = {An Integrated Development and Runtime Environment for the Future Internet},
booktitle = {The Future Internet - Future Internet Assembly 2012: From Promises
to Reality},
series = {Lecture Notes in Computer Science},
volume = {7281},
pages = {81--92},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30241-1\_8},
doi = {10.1007/978-3-642-30241-1\_8},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fia/HamidaKOSLAAZGIB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/AutiliBRT12,
author = {Marco Autili and
Luca Berardinelli and
Davide Di Ruscio and
Catia Trubiani},
editor = {Patricia Lago and
Grace A. Lewis and
Andreas Metzger and
Vladimir Tosic},
title = {Providing lightweight and adaptable service technology for information
and communication {(PLASTIC)} in the mobile ehealth case study},
booktitle = {4th International {ICSE} Workshop on Principles of Engineering Service-Oriented
Systems, {PESOS} 2012, June 4, 2012, Zurich, Switzerland},
pages = {69--70},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/PESOS.2012.6225946},
doi = {10.1109/PESOS.2012.6225946},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/AutiliBRT12.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}
}
@article{DBLP:journals/jisa/IssarnyGHZVAGH11,
author = {Val{\'{e}}rie Issarny and
Nikolaos Georgantas and
Sara Hachem and
Apostolos V. Zarras and
Panos Vassiliadis and
Marco Autili and
Marco Aur{\'{e}}lio Gerosa and
Amira Ben Hamida},
title = {Service-oriented middleware for the Future Internet: state of the
art and research directions},
journal = {J. Internet Serv. Appl.},
volume = {2},
number = {1},
pages = {23--45},
year = {2011},
url = {https://doi.org/10.1007/s13174-011-0021-3},
doi = {10.1007/S13174-011-0021-3},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jisa/IssarnyGHZVAGH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jisa/IssarnyGHZVAGH11a,
author = {Val{\'{e}}rie Issarny and
Nikolaos Georgantas and
Sara Hachem and
Apostolos V. Zarras and
Panos Vassiliadis and
Marco Autili and
Marco Aur{\'{e}}lio Gerosa and
Amira Ben Hamida},
title = {Erratum to: Service-oriented middleware for the Future Internet: state
of the art and research directions},
journal = {J. Internet Serv. Appl.},
volume = {2},
number = {3},
pages = {271},
year = {2011},
url = {https://doi.org/10.1007/s13174-011-0029-8},
doi = {10.1007/S13174-011-0029-8},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jisa/IssarnyGHZVAGH11a.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/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/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/pppj/AutiliBI10,
author = {Marco Autili and
Paolo Di Benedetto and
Paola Inverardi},
editor = {Andreas Krall and
Hanspeter M{\"{o}}ssenb{\"{o}}ck},
title = {A programming model for adaptable Java applications},
booktitle = {Proceedings of the 8th International Conference on Principles and
Practice of Programming in Java, {PPPJ} 2010, Vienna, Austria, September
15-17, 2010},
pages = {119--128},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1852761.1852779},
doi = {10.1145/1852761.1852779},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pppj/AutiliBI10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/AutiliBI09,
author = {Marco Autili and
Paolo Di Benedetto and
Paola Inverardi},
editor = {Marsha Chechik and
Martin Wirsing},
title = {Context-Aware Adaptive Services: The {PLASTIC} Approach},
booktitle = {Fundamental Approaches to Software Engineering, 12th International
Conference, {FASE} 2009, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2009, York, UK, March
22-29, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5503},
pages = {124--139},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00593-0\_9},
doi = {10.1007/978-3-642-00593-0\_9},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fase/AutiliBI09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/AutiliCI09,
author = {Marco Autili and
Mauro Caporuscio and
Val{\'{e}}rie Issarny},
title = {Architecting Service Oriented Middleware for pervasive networking},
booktitle = {International {ICSE} Workshop on Principles of Engineering Service-Oriented
Systems, {PESOS} 2009, 18-19 May 2009, Vancouver, BC, Canada},
pages = {58--61},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/PESOS.2009.5068820},
doi = {10.1109/PESOS.2009.5068820},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/AutiliCI09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/AutiliBIT08,
author = {Marco Autili and
Paolo Di Benedetto and
Paola Inverardi and
Damien A. Tamburri},
title = {Towards Self-evolving Context-aware Services},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {11},
year = {2008},
url = {https://doi.org/10.14279/tuj.eceasst.11.128},
doi = {10.14279/TUJ.ECEASST.11.128},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/AutiliBIT08.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}
}
@inproceedings{DBLP:conf/compsac/AutiliBIM08,
author = {Marco Autili and
Paolo Di Benedetto and
Paola Inverardi and
Fabio Mancinelli},
title = {A Resource-Oriented Static Analysis Approach to Adaptable Java Applications},
booktitle = {Proceedings of the 32nd Annual {IEEE} International Computer Software
and Applications Conference, {COMPSAC} 2008, 28 July - 1 August 2008,
Turku, Finland},
pages = {1329--1334},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/COMPSAC.2008.157},
doi = {10.1109/COMPSAC.2008.157},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/AutiliBIM08.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/ase/AutiliIP07,
author = {Marco Autili and
Paola Inverardi and
Patrizio Pelliccione},
title = {Graphical scenarios for specifying temporal properties: an automated
approach},
journal = {Autom. Softw. Eng.},
volume = {14},
number = {3},
pages = {293--340},
year = {2007},
url = {https://doi.org/10.1007/s10515-007-0012-6},
doi = {10.1007/S10515-007-0012-6},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ase/AutiliIP07.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}
}
@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/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/scesm/AutiliIP06,
author = {Marco Autili and
Paola Inverardi and
Patrizio Pelliccione},
editor = {Jon Whittle and
Leif Geiger and
Michael Meisinger},
title = {A scenario based notation for specifying temporal properties},
booktitle = {{SCESM} '06: Proceedings of the 2006 International Workshop on Scenarios
and State Machines: Models, Algorithms, and Tools, Shanghai, China,
May 27, 2006},
pages = {21--28},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1138953.1138959},
doi = {10.1145/1138953.1138959},
timestamp = {Tue, 24 May 2022 15:28:49 +0200},
biburl = {https://dblp.org/rec/conf/scesm/AutiliIP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AutiliP08,
author = {Marco Autili and
Patrizio Pelliccione},
editor = {Roberto Bruni and
D{\'{a}}niel Varr{\'{o}}},
title = {Towards a Graphical Tool for Refining User to System Requirements},
booktitle = {Proceedings of the Fifth International Workshop on Graph Transformation
and Visual Modeling Techniques, GT-VMT@ETAPS 2006, Vienna, Austria,
April 1-2, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {211},
pages = {147--157},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2008.04.037},
doi = {10.1016/J.ENTCS.2008.04.037},
timestamp = {Fri, 17 Feb 2023 09:34:01 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AutiliP08.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}
}
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-05-08 23:46 CEST 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:
