default search action
BibTeX 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} }
@inproceedings{DBLP:conf/icsa/MemonSAI24, author = {Mashal Afzal Memon and Gian Luca Scoccia and Marco Autili and Paola Inverardi}, title = {An Architecture for Ethics-Based Negotiation in the Decision-Making of Intelligent Autonomous Systems}, booktitle = {21st {IEEE} International Conference on Software Architecture, {ICSA} 2024 - Companion, Hyderabad, India, June 4-8, 2024}, pages = {60--64}, publisher = {{IEEE}}, year = {2024}, url = {https://doi.org/10.1109/ICSA-C63560.2024.00016}, doi = {10.1109/ICSA-C63560.2024.00016}, timestamp = {Wed, 04 Sep 2024 21:11:41 +0200}, biburl = {https://dblp.org/rec/conf/icsa/MemonSAI24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seams/FilipponeGAP24, author = {Gianluca Filippone and Juan Antonio Pi{\~{n}}era Garc{\'{\i}}a and Marco Autili and Patrizio Pelliccione}, editor = {Luciano Baresi and Xiaoxing Ma and Liliana Pasquale}, title = {Handling uncertainty in the specification of autonomous multi-robot systems through mission adaptation}, booktitle = {Proceedings of the 19th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, {SEAMS} 2024, Lisbon, Portugal, April 15-16, 2024}, pages = {25--36}, publisher = {{ACM}}, year = {2024}, url = {https://doi.org/10.1145/3643915.3644099}, doi = {10.1145/3643915.3644099}, timestamp = {Mon, 24 Jun 2024 15:20:25 +0200}, biburl = {https://dblp.org/rec/conf/seams/FilipponeGAP24.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, 04 Aug 2024 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 = {Wed, 26 Jun 2024 17:26:37 +0200}, 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 = {Sun, 04 Aug 2024 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 = {Wed, 05 Jun 2024 01:00:00 +0200}, 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} }
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.