Search dblp for Publications

export results for "Andrea Morichetta"

 download as .bib file

@article{DBLP:journals/computer/HazraMMLDCDD24,
  author       = {Abhishek Hazra and
                  Andrea Morichetta and
                  Ilir Murturi and
                  Lauri Lov{\'{e}}n and
                  Chinmaya Kumar Dehury and
                  Victor Casamayor{-}Pujol and
                  Praveen Kumar Donta and
                  Schahram Dustdar},
  title        = {Distributed {AI} in Zero-Touch Provisioning for Edge Networks: Challenges
                  and Research Directions},
  journal      = {Computer},
  volume       = {57},
  number       = {3},
  pages        = {69--78},
  year         = {2024},
  url          = {https://doi.org/10.1109/MC.2023.3334913},
  doi          = {10.1109/MC.2023.3334913},
  timestamp    = {Mon, 15 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/computer/HazraMMLDCDD24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csimq/FlodstromBM24,
  author       = {Anders Flodstr{\"{o}}m and
                  Robert Andrei Buchmann and
                  Andrea Morichetta},
  title        = {{CSIMQ} Anniversary Editor-in-Chief Thoughts and Editorial Introduction
                  to Issue 38: Model-based and Decision Support Methods for Next-generation
                  Information Systems},
  journal      = {Complex Syst. Informatics Model. Q.},
  volume       = {38},
  pages        = {I--III},
  year         = {2024},
  url          = {https://doi.org/10.7250/csimq.2024-38.00},
  doi          = {10.7250/CSIMQ.2024-38.00},
  timestamp    = {Tue, 18 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/csimq/FlodstromBM24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sqj/BarboniMPC24,
  author       = {Morena Barboni and
                  Andrea Morichetta and
                  Andrea Polini and
                  Francesco Casoni},
  title        = {ReSuMo: a regression strategy and tool for mutation testing of solidity
                  smart contracts},
  journal      = {Softw. Qual. J.},
  volume       = {32},
  number       = {1},
  pages        = {225--253},
  year         = {2024},
  url          = {https://doi.org/10.1007/s11219-023-09637-1},
  doi          = {10.1007/S11219-023-09637-1},
  timestamp    = {Fri, 23 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sqj/BarboniMPC24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/FirmaniLMRBSRDH24,
  author       = {Donatella Firmani and
                  Francesco Leotta and
                  Jerin George Mathew and
                  Jacopo Rossi and
                  Lorenzo Balzotti and
                  Hui Song and
                  Dumitru Roman and
                  Rustem Dautov and
                  Erik Johannes Husom and
                  Sagar Sen and
                  Vilija Balionyte{-}Merle and
                  Andrea Morichetta and
                  Schahram Dustdar and
                  Thijs Metsch and
                  Valerio Frascolla and
                  Ahmed Khalid and
                  Giada Landi and
                  Juan Brenes and
                  Ioan Toma and
                  R{\'{o}}bert Szab{\'{o}} and
                  Christian Schaefer and
                  Cosmin Udroiu and
                  Alexandre Ulisses and
                  Verena Pietsch and
                  Sigmund Akselsen and
                  Arne Munch{-}Ellingsen and
                  Irena Pavlova and
                  Hong{-}Gee Kim and
                  Changsoo Kim and
                  Bob Allen and
                  Sunwoo Kim and
                  Paulson Eberechukwu},
  editor       = {Raimundas Matulevicius and
                  Henderik A. Proper},
  title        = {{INTEND:} Intent-Based Data Operation in the Computing Continuum},
  booktitle    = {Proceedings of the Research Projects Exhibition Papers Presented at
                  the 36th International Conference on Advanced Information Systems
                  Engineering(CAiSE 2024), Limassol, Cyprus, June 3-7, 2024},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3692},
  pages        = {43--50},
  publisher    = {CEUR-WS.org},
  year         = {2024},
  url          = {https://ceur-ws.org/Vol-3692/paper6.pdf},
  timestamp    = {Tue, 28 May 2024 17:18:47 +0200},
  biburl       = {https://dblp.org/rec/conf/caise/FirmaniLMRBSRDH24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/percom/CorradiniMMR24,
  author       = {Flavio Corradini and
                  Alessandro Marcelletti and
                  Andrea Morichetta and
                  Barbara Re},
  title        = {A Data Extraction Methodology for Ethereum Smart Contracts},
  booktitle    = {{IEEE} International Conference on Pervasive Computing and Communications
                  Workshops and other Affiliated Events, PerCom 2024 - Workshops, Biarritz,
                  France, March 11-15, 2024},
  pages        = {524--529},
  publisher    = {{IEEE}},
  year         = {2024},
  url          = {https://doi.org/10.1109/PerComWorkshops59983.2024.10502604},
  doi          = {10.1109/PERCOMWORKSHOPS59983.2024.10502604},
  timestamp    = {Thu, 02 May 2024 22:05:04 +0200},
  biburl       = {https://dblp.org/rec/conf/percom/CorradiniMMR24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifip8-1/2023c,
  editor       = {Tiago Prince Sales and
                  David Aveiro and
                  Henderik A. Proper and
                  Petra Maria Asprion and
                  Alessandro Marcelletti and
                  Andrea Morichetta and
                  Bettina Schneider and
                  Philipp Zech and
                  Vinay Kulkarni and
                  Ruth Breu and
                  Souvik Barat and
                  Geert Poels and
                  Jonas Van Riel and
                  Rodrigo Fernandes Calhau and
                  Dominik Bork and
                  Mark Mulder and
                  Sybren de Kinderen and
                  S{\'{e}}rgio Guerreiro and
                  Cristine Griffo},
  title        = {Companion Proceedings of the 16th {IFIP} {WG} 8.1 Working Conference
                  on the Practice of Enterprise Modeling and the 13th Enterprise Design
                  and Engineering Working Conference: BES, DTE, FACETE, Tools {\&}
                  Demos, Forum, {EDEN} Doctoral Consortium co-located with PoEM 2023,
                  Vienna, Austria, November 28 - December 01, 2023},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3645},
  publisher    = {CEUR-WS.org},
  year         = {2024},
  url          = {https://ceur-ws.org/Vol-3645},
  urn          = {urn:nbn:de:0074-3645-7},
  timestamp    = {Fri, 12 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifip8-1/2023c.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fgcs/CorradiniM0P0023,
  author       = {Flavio Corradini and
                  Alessandro Marcelletti and
                  Andrea Morichetta and
                  Andrea Polini and
                  Barbara Re and
                  Francesco Tiezzi},
  title        = {A Flexible Approach to Multi-party Business Process Execution on Blockchain},
  journal      = {Future Gener. Comput. Syst.},
  volume       = {147},
  pages        = {219--234},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.future.2023.05.006},
  doi          = {10.1016/J.FUTURE.2023.05.006},
  timestamp    = {Wed, 01 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fgcs/CorradiniM0P0023.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/information/Casamayor-Pujol23,
  author       = {Victor Casamayor{-}Pujol and
                  Andrea Morichetta and
                  Ilir Murturi and
                  Praveen Kumar Donta and
                  Schahram Dustdar},
  title        = {Fundamental Research Challenges for Distributed Computing Continuum
                  Systems},
  journal      = {Inf.},
  volume       = {14},
  number       = {3},
  pages        = {198},
  year         = {2023},
  url          = {https://doi.org/10.3390/info14030198},
  doi          = {10.3390/INFO14030198},
  timestamp    = {Sun, 16 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/information/Casamayor-Pujol23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/internet/CasamayorPujolDMMD23,
  author       = {Victor Casamayor{-}Pujol and
                  Praveen Kumar Donta and
                  Andrea Morichetta and
                  Ilir Murturi and
                  Schahram Dustdar},
  title        = {Edge Intelligence - Research Opportunities for Distributed Computing
                  Continuum Systems},
  journal      = {{IEEE} Internet Comput.},
  volume       = {27},
  number       = {4},
  pages        = {53--74},
  year         = {2023},
  url          = {https://doi.org/10.1109/MIC.2023.3284693},
  doi          = {10.1109/MIC.2023.3284693},
  timestamp    = {Sat, 05 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/internet/CasamayorPujolDMMD23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEcloud/MorichettaPVCRXNDZ23,
  author       = {Andrea Morichetta and
                  Thomas W. Pusztai and
                  Deepak Vij and
                  Victor Casamayor{-}Pujol and
                  Philipp Raith and
                  Ying Xiong and
                  Stefan Nastic and
                  Schahram Dustdar and
                  Zhaobo Zhang},
  title        = {Demystifying deep learning in predictive monitoring for cloud-native
                  SLOs},
  booktitle    = {16th {IEEE} International Conference on Cloud Computing, {CLOUD} 2023,
                  Chicago, IL, USA, July 2-8, 2023},
  pages        = {1--11},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/CLOUD60044.2023.00013},
  doi          = {10.1109/CLOUD60044.2023.00013},
  timestamp    = {Fri, 29 Sep 2023 13:28:51 +0200},
  biburl       = {https://dblp.org/rec/conf/IEEEcloud/MorichettaPVCRXNDZ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bir/CorradiniL0P23,
  author       = {Flavio Corradini and
                  Caterina Luciani and
                  Andrea Morichetta and
                  Marco Piangerelli},
  editor       = {Knut Hinkelmann and
                  Francisco J. L{\'{o}}pez{-}Pellicer and
                  Andrea Polini},
  title        = {Managing Variability of Large Public Administration Event Log Collections:
                  Dealing with Concept Drift},
  booktitle    = {Perspectives in Business Informatics Research - 22nd International
                  Conference on Business Informatics Research, {BIR} 2023, Ascoli Piceno,
                  Italy, September 13-15, 2023, Proceedings},
  series       = {Lecture Notes in Business Information Processing},
  volume       = {493},
  pages        = {31--44},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-43126-5\_3},
  doi          = {10.1007/978-3-031-43126-5\_3},
  timestamp    = {Thu, 14 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/bir/CorradiniL0P23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/CippitelliM023,
  author       = {Tommaso Cippitelli and
                  Alessandro Marcelletti and
                  Andrea Morichetta},
  editor       = {Julius K{\"{o}}pke and
                  Orlenys L{\'{o}}pez{-}Pintado and
                  Ralf Plattfaut and
                  Jana{-}Rebecca Rehse and
                  Katarzyna Gdowska and
                  Fernanda Gonzalez{-}Lopez and
                  Jorge Munoz{-}Gama and
                  Koen Smit and
                  Jan Martijn E. M. van der Werf},
  title        = {ChorSSI: {A} BPMN-Based Execution Framework for Self-Sovereign Identity
                  Systems on Blockchain},
  booktitle    = {Business Process Management: Blockchain, Robotic Process Automation
                  and Educators Forum - {BPM} 2023 Blockchain, {RPA} and Educators Forum,
                  Utrecht, The Netherlands, September 11-15, 2023, Proceedings},
  series       = {Lecture Notes in Business Information Processing},
  volume       = {491},
  pages        = {5--20},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-43433-4\_1},
  doi          = {10.1007/978-3-031-43433-4\_1},
  timestamp    = {Wed, 06 Sep 2023 18:07:07 +0200},
  biburl       = {https://dblp.org/rec/conf/bpm/CippitelliM023.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dasc/BekbulatovaMD23,
  author       = {Veronika Bekbulatova and
                  Andrea Morichetta and
                  Schahram Dustdar},
  title        = {{FL-SERENADE:} Federated Learning for SEmi-supeRvisEd Network Anomaly
                  DEtection. {A} Case Study},
  booktitle    = {{IEEE} Intl Conf on Dependable, Autonomic and Secure Computing, Intl
                  Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and
                  Big Data Computing, Intl Conf on Cyber Science and Technology Congress,
                  DASC/PiCom/CBDCom/CyberSciTech 2023, Abu Dhabi, United Arab Emirates,
                  November 14-17, 2023},
  pages        = {1072--1079},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/DASC/PiCom/CBDCom/Cy59711.2023.10361504},
  doi          = {10.1109/DASC/PICOM/CBDCOM/CY59711.2023.10361504},
  timestamp    = {Tue, 23 Jan 2024 20:30:56 +0100},
  biburl       = {https://dblp.org/rec/conf/dasc/BekbulatovaMD23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dasc/MurturiDCMD23,
  author       = {Ilir Murturi and
                  Praveen Kumar Donta and
                  Victor Casamayor{-}Pujol and
                  Andrea Morichetta and
                  Schahram Dustdar},
  title        = {Learning-Driven Zero Trust in Distributed Computing Continuum Systems},
  booktitle    = {{IEEE} Intl Conf on Dependable, Autonomic and Secure Computing, Intl
                  Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and
                  Big Data Computing, Intl Conf on Cyber Science and Technology Congress,
                  DASC/PiCom/CBDCom/CyberSciTech 2023, Abu Dhabi, United Arab Emirates,
                  November 14-17, 2023},
  pages        = {44--49},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/DASC/PiCom/CBDCom/Cy59711.2023.10361352},
  doi          = {10.1109/DASC/PICOM/CBDCOM/CY59711.2023.10361352},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dasc/MurturiDCMD23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/BarboniAMP23,
  author       = {Morena Barboni and
                  Guglielmo De Angelis and
                  Andrea Morichetta and
                  Andrea Polini},
  editor       = {Silvia Bonfanti and
                  Angelo Gargantini and
                  Paolo Salvaneschi},
  title        = {{CATANA:} Replay Testing for the Ethereum Blockchain},
  booktitle    = {Testing Software and Systems - 35th {IFIP} {WG} 6.1 International
                  Conference, {ICTSS} 2023, Bergamo, Italy, September 18-20, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14131},
  pages        = {257--265},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-43240-8\_17},
  doi          = {10.1007/978-3-031-43240-8\_17},
  timestamp    = {Sun, 24 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pts/BarboniAMP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/DoniniM0P23,
  author       = {Francesco Donini and
                  Alessandro Marcelletti and
                  Andrea Morichetta and
                  Andrea Polini},
  editor       = {Jiman Hong and
                  Maart Lanperne and
                  Juw Won Park and
                  Tom{\'{a}}s Cern{\'{y}} and
                  Hossain Shahriar},
  title        = {RESTChain: a Blockchain-based Mediator for {REST} Interactions in
                  Service Choreographies},
  booktitle    = {Proceedings of the 38th {ACM/SIGAPP} Symposium on Applied Computing,
                  {SAC} 2023, Tallinn, Estonia, March 27-31, 2023},
  pages        = {245--248},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3555776.3577826},
  doi          = {10.1145/3555776.3577826},
  timestamp    = {Fri, 21 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sac/DoniniM0P23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sose/CasamayorPujolMN23,
  author       = {Victor Casamayor{-}Pujol and
                  Andrea Morichetta and
                  Stefan Nastic},
  title        = {Intelligent Sampling: {A} Novel Approach to Optimize Workload Scheduling
                  in Large-Scale Heterogeneous Computing Continuum},
  booktitle    = {{IEEE} International Conference on Service-Oriented System Engineering,
                  {SOSE} 2023, Athens, Greece, July 17-20, 2023},
  pages        = {140--149},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/SOSE58276.2023.00024},
  doi          = {10.1109/SOSE58276.2023.00024},
  timestamp    = {Sat, 14 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sose/CasamayorPujolMN23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sose/MorichettaCNDVXZ23,
  author       = {Andrea Morichetta and
                  Victor Casamayor{-}Pujol and
                  Stefan Nastic and
                  Schahram Dustdar and
                  Deepak Vij and
                  Ying Xiong and
                  Zhaobo Zhang},
  title        = {PolarisProfiler: {A} Novel Metadata-Based Profiling Approach for Optimizing
                  Resource Management in the Edge-Cloud Continnum},
  booktitle    = {{IEEE} International Conference on Service-Oriented System Engineering,
                  {SOSE} 2023, Athens, Greece, July 17-20, 2023},
  pages        = {27--36},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/SOSE58276.2023.00010},
  doi          = {10.1109/SOSE58276.2023.00010},
  timestamp    = {Mon, 09 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sose/MorichettaCNDVXZ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sose/MorichettaSRD23,
  author       = {Andrea Morichetta and
                  Nikolaus Spring and
                  Philipp Raith and
                  Schahram Dustdar},
  title        = {Intent-based Management for the Distributed Computing Continuum},
  booktitle    = {{IEEE} International Conference on Service-Oriented System Engineering,
                  {SOSE} 2023, Athens, Greece, July 17-20, 2023},
  pages        = {239--249},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/SOSE58276.2023.00035},
  doi          = {10.1109/SOSE58276.2023.00035},
  timestamp    = {Mon, 09 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sose/MorichettaSRD23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/bir/2023w,
  editor       = {Andrea Morichetta and
                  Robert Andrei Buchmann and
                  Kurt Sandkuhl and
                  Ulf Seigerroth and
                  Marite Kirikova and
                  Charles M{\o}ller and
                  Anne Gutschmidt and
                  Ana{-}Maria Ghiran and
                  Alessandro Marcelletti and
                  Barbara Re and
                  Bj{\"{o}}rn Johansson},
  title        = {Joint Proceedings of the {BIR} 2023 Workshops and Doctoral Consortium
                  co-located with 22nd International Conference on Perspectives in Business
                  Informatics Research {(BIR} 2023), Ascoli Piceno, Italy, September
                  13-15, 2023},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3514},
  publisher    = {CEUR-WS.org},
  year         = {2023},
  url          = {https://ceur-ws.org/Vol-3514},
  urn          = {urn:nbn:de:0074-3514-0},
  timestamp    = {Fri, 17 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/bir/2023w.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-17447,
  author       = {Ilir Murturi and
                  Praveen Kumar Donta and
                  Victor Casamayor{-}Pujol and
                  Andrea Morichetta and
                  Schahram Dustdar},
  title        = {Learning-driven Zero Trust in Distributed Computing Continuum Systems},
  journal      = {CoRR},
  volume       = {abs/2311.17447},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2311.17447},
  doi          = {10.48550/ARXIV.2311.17447},
  eprinttype    = {arXiv},
  eprint       = {2311.17447},
  timestamp    = {Tue, 05 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2311-17447.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-17471,
  author       = {Abhishek Hazra and
                  Andrea Morichetta and
                  Ilir Murturi and
                  Lauri Lov{\'{e}}n and
                  Chinmaya Kumar Dehury and
                  Victor Casamayor{-}Pujol and
                  Praveen Kumar Donta and
                  Schahram Dustdar},
  title        = {Distributed {AI} in Zero-touch Provisioning for Edge Networks: Challenges
                  and Research Directions},
  journal      = {CoRR},
  volume       = {abs/2311.17471},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2311.17471},
  doi          = {10.48550/ARXIV.2311.17471},
  eprinttype    = {arXiv},
  eprint       = {2311.17471},
  timestamp    = {Tue, 05 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2311-17471.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iotj/LiWHYMH22,
  author       = {Kexin Li and
                  Xingwei Wang and
                  Qiang He and
                  Bo Yi and
                  Andrea Morichetta and
                  Min Huang},
  title        = {Cooperative Multiagent Deep Reinforcement Learning for Computation
                  Offloading: {A} Mobile Network Operator Perspective},
  journal      = {{IEEE} Internet Things J.},
  volume       = {9},
  number       = {23},
  pages        = {24161--24173},
  year         = {2022},
  url          = {https://doi.org/10.1109/JIOT.2022.3189445},
  doi          = {10.1109/JIOT.2022.3189445},
  timestamp    = {Mon, 05 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iotj/LiWHYMH22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/BarboniMP22,
  author       = {Morena Barboni and
                  Andrea Morichetta and
                  Andrea Polini},
  title        = {SuMo: {A} mutation testing approach and tool for the Ethereum blockchain},
  journal      = {J. Syst. Softw.},
  volume       = {193},
  pages        = {111445},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.jss.2022.111445},
  doi          = {10.1016/J.JSS.2022.111445},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jss/BarboniMP22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tmis/CorradiniMMPRT22,
  author       = {Flavio Corradini and
                  Alessandro Marcelletti and
                  Andrea Morichetta and
                  Andrea Polini and
                  Barbara Re and
                  Francesco Tiezzi},
  title        = {Engineering Trustable and Auditable Choreography-based Systems Using
                  Blockchain},
  journal      = {{ACM} Trans. Manag. Inf. Syst.},
  volume       = {13},
  number       = {3},
  pages        = {31:1--31:53},
  year         = {2022},
  url          = {https://doi.org/10.1145/3505225},
  doi          = {10.1145/3505225},
  timestamp    = {Sun, 06 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tmis/CorradiniMMPRT22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/CorradiniM0P0022,
  author       = {Flavio Corradini and
                  Alessandro Marcelletti and
                  Andrea Morichetta and
                  Andrea Polini and
                  Barbara Re and
                  Francesco Tiezzi},
  editor       = {Christian Janiesch and
                  Chiara Di Francescomarino and
                  Thomas Grisold and
                  Akhil Kumar and
                  Jan Mendling and
                  Brian T. Pentland and
                  Hajo A. Reijers and
                  Mathias Weske and
                  Robert Winter},
  title        = {ChorChain: {A} Blockchain-Based Framework for Executing and Auditing
                  {BPMN} Choreographies},
  booktitle    = {Proceedings of the Best Dissertation Award, Doctoral Consortium, and
                  Demonstration {\&} Resources Track at {BPM} 2022 co-located with
                  20th International Conference on Business Process Management {(BPM}
                  2022), M{\"{u}}nster, Germany, September 11th to 16th, 2022},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3216},
  pages        = {132--136},
  publisher    = {CEUR-WS.org},
  year         = {2022},
  url          = {https://ceur-ws.org/Vol-3216/paper\_254.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:55 +0100},
  biburl       = {https://dblp.org/rec/conf/bpm/CorradiniM0P0022.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/egov/CorradiniL0PP22,
  author       = {Flavio Corradini and
                  Caterina Luciani and
                  Andrea Morichetta and
                  Marco Piangerelli and
                  Andrea Polini},
  editor       = {Marijn Janssen and
                  Csaba Cs{\'{a}}ki and
                  Marius Rohde Johannessen and
                  Robert Krimmer and
                  Thomas J. Lampoltshammer and
                  Ida Lindgren and
                  Euripidis N. Loukis and
                  Ulf Melin and
                  Peter Parycek and
                  Gabriela Viale Pereira and
                  Manuel Pedro Rodr{\'{\i}}guez Bol{\'{\i}}var and
                  Gerhard Schwabe and
                  Efthimios Tambouris and
                  Jolien Ubacht},
  title        = {Label-independent feature engineering-based clustering in Public Administration
                  Event Logs (short paper)},
  booktitle    = {Proceedings of Ongoing Research, Practitioners, Posters, Workshops,
                  and Projects. International Conference EGOV-CeDEM-ePart 2022, Hybrid
                  Event, Link{\"{o}}ping University, Link{\"{o}}ping, Sweden,
                  September 6-8, 2022},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3399},
  publisher    = {CEUR-WS.org},
  year         = {2022},
  url          = {https://ceur-ws.org/Vol-3399/paper22.pdf},
  timestamp    = {Fri, 08 Sep 2023 14:38:17 +0200},
  biburl       = {https://dblp.org/rec/conf/egov/CorradiniL0PP22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfec/BartelucciBPMD22,
  author       = {Nicol{\`{o}} Bartelucci and
                  Paolo Bellavista and
                  Thomas W. Pusztai and
                  Andrea Morichetta and
                  Schahram Dustdar},
  editor       = {Lena Mashayekhy and
                  Stefan Schulte and
                  Valeria Cardellini and
                  Burak Kantarci and
                  Yogesh Simmhan and
                  Blesson Varghese},
  title        = {High-Level Metrics for Service Level Objective-aware Autoscaling in
                  Polaris: a Performance Evaluation},
  booktitle    = {6th {IEEE} International Conference on Fog and Edge Computing, {ICFEC}
                  2022, Messina, Italy, May 16-19, 2022},
  pages        = {73--77},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/ICFEC54809.2022.00017},
  doi          = {10.1109/ICFEC54809.2022.00017},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfec/BartelucciBPMD22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/CasamayorPujolDMMD22,
  author       = {Victor Casamayor{-}Pujol and
                  Praveen Kumar Donta and
                  Andrea Morichetta and
                  Ilir Murturi and
                  Schahram Dustdar},
  editor       = {Javier Troya and
                  Raffaela Mirandola and
                  Elena Navarro and
                  Andrea Delgado and
                  Sergio Segura and
                  Guadalupe Ortiz and
                  Cesare Pautasso and
                  Christian Zirpins and
                  Pablo Fern{\'{a}}ndez and
                  Antonio Ruiz{-}Cort{\'{e}}s},
  title        = {Distributed Computing Continuum Systems - Opportunities and Research
                  Challenges},
  booktitle    = {Service-Oriented Computing - {ICSOC} 2022 Workshops - ASOCA, AI-PA,
                  FMCIoT, {WESOACS} 2022, Sevilla, Spain, November 29 - December 2,
                  2022 Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13821},
  pages        = {405--407},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-26507-5\_41},
  doi          = {10.1007/978-3-031-26507-5\_41},
  timestamp    = {Tue, 28 Mar 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icsoc/CasamayorPujolDMMD22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/percom/CorradiniMMPRT22,
  author       = {Flavio Corradini and
                  Alessandro Marcelletti and
                  Andrea Morichetta and
                  Andrea Polini and
                  Barbara Re and
                  Francesco Tiezzi},
  title        = {A Choreography-Driven Approach for Blockchain-Based IoT Applications},
  booktitle    = {2022 {IEEE} International Conference on Pervasive Computing and Communications
                  Workshops and other Affiliated Events, PerCom 2022 Workshops, Pisa,
                  Italy, March 21-25, 2022},
  pages        = {255--260},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/PerComWorkshops53856.2022.9767513},
  doi          = {10.1109/PERCOMWORKSHOPS53856.2022.9767513},
  timestamp    = {Sun, 06 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/percom/CorradiniMMPRT22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/quatic/BarboniC0P22,
  author       = {Morena Barboni and
                  Francesco Casoni and
                  Andrea Morichetta and
                  Andrea Polini},
  editor       = {Antonio Vallecillo and
                  Joost Visser and
                  Ricardo P{\'{e}}rez{-}Castillo},
  title        = {ReSuMo: Regression Mutation Testing for Solidity Smart Contracts},
  booktitle    = {Quality of Information and Communications Technology - 15th International
                  Conference, {QUATIC} 2022, Talavera de la Reina, Spain, September
                  12-14, 2022, Proceedings},
  series       = {Communications in Computer and Information Science},
  volume       = {1621},
  pages        = {61--76},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-14179-9\_5},
  doi          = {10.1007/978-3-031-14179-9\_5},
  timestamp    = {Tue, 18 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/quatic/BarboniC0P22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ucc/PusztaiNMCRDVXZ22,
  author       = {Thomas W. Pusztai and
                  Stefan Nastic and
                  Andrea Morichetta and
                  Victor Casamayor{-}Pujol and
                  Philipp Raith and
                  Schahram Dustdar and
                  Deepak Vij and
                  Ying Xiong and
                  Zhaobo Zhang},
  title        = {Polaris Scheduler: {SLO-} and Topology-aware Microservices Scheduling
                  at the Edge},
  booktitle    = {15th {IEEE/ACM} International Conference on Utility and Cloud Computing,
                  {UCC} 2022, Vancouver, WA, USA, December 6-9, 2022},
  pages        = {61--70},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/UCC56403.2022.00017},
  doi          = {10.1109/UCC56403.2022.00017},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ucc/PusztaiNMCRDVXZ22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wetseb-ws/Barboni0P22,
  author       = {Morena Barboni and
                  Andrea Morichetta and
                  Andrea Polini},
  title        = {Smart contract testing: challenges and opportunities},
  booktitle    = {Proceedings of the 5th International Workshop on Emerging Trends in
                  Software Engineering for Blockchain, WETSEB@ICSE 2022, Pittsburgh,
                  Pennsylvania, 19 May 2022},
  pages        = {21--24},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3528226.3528370},
  doi          = {10.1145/3528226.3528370},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wetseb-ws/Barboni0P22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wetseb-ws/CorradiniM0P0022,
  author       = {Flavio Corradini and
                  Alessandro Marcelletti and
                  Andrea Morichetta and
                  Andrea Polini and
                  Barbara Re and
                  Francesco Tiezzi},
  title        = {Flexible execution of multi-party business processes on blockchain},
  booktitle    = {Proceedings of the 5th International Workshop on Emerging Trends in
                  Software Engineering for Blockchain, WETSEB@ICSE 2022, Pittsburgh,
                  Pennsylvania, 19 May 2022},
  pages        = {25--32},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3528226.3528369},
  doi          = {10.1145/3528226.3528369},
  timestamp    = {Sun, 06 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wetseb-ws/CorradiniM0P0022.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifip8-1/2022w,
  editor       = {Dominik Bork and
                  Souvik Barat and
                  Petra Maria Asprion and
                  Alessandro Marcelletti and
                  Andrea Morichetta and
                  Bettina Schneider and
                  Vinay Kulkarni and
                  Ruth Breu and
                  Philipp Zech},
  title        = {Proceedings of the PoEM 2022 Workshops and Models at Work co-located
                  with Practice of Enterprise Modelling 2022, London, United Kingdom,
                  November 23-25, 2022},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3298},
  publisher    = {CEUR-WS.org},
  year         = {2022},
  url          = {https://ceur-ws.org/Vol-3298},
  urn          = {urn:nbn:de:0074-3298-7},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ifip8-1/2022w.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cn/0002TVK21,
  author       = {Andrea Morichetta and
                  Martino Trevisan and
                  Luca Vassio and
                  Julia Krickl},
  title        = {Understanding web pornography usage from traffic analysis},
  journal      = {Comput. Networks},
  volume       = {189},
  pages        = {107909},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.comnet.2021.107909},
  doi          = {10.1016/J.COMNET.2021.107909},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cn/0002TVK21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cn/FaroughiMVFMJ21,
  author       = {Azadeh Faroughi and
                  Andrea Morichetta and
                  Luca Vassio and
                  Flavio V. D. de Figueiredo and
                  Marco Mellia and
                  Reza Javidan},
  title        = {Towards website domain name classification using graph based semi-supervised
                  learning},
  journal      = {Comput. Networks},
  volume       = {188},
  pages        = {107865},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.comnet.2021.107865},
  doi          = {10.1016/J.COMNET.2021.107865},
  timestamp    = {Wed, 16 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cn/FaroughiMVFMJ21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlap/CorradiniMMRT21,
  author       = {Flavio Corradini and
                  Andrea Morichetta and
                  Chiara Muzi and
                  Barbara Re and
                  Francesco Tiezzi},
  title        = {Well-structuredness, safeness and soundness: {A} formal classification
                  of {BPMN} collaborations},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {119},
  pages        = {100630},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.jlamp.2020.100630},
  doi          = {10.1016/J.JLAMP.2020.100630},
  timestamp    = {Thu, 20 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlap/CorradiniMMRT21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEcloud/NasticPMCDVX21,
  author       = {Stefan Nastic and
                  Thomas W. Pusztai and
                  Andrea Morichetta and
                  Victor Casamayor{-}Pujol and
                  Schahram Dustdar and
                  Deepak Vij and
                  Ying Xiong},
  editor       = {Claudio Agostino Ardagna and
                  Carl K. Chang and
                  Ernesto Daminai and
                  Rajiv Ranjan and
                  Zhongjie Wang and
                  Robert Ward and
                  Jia Zhang and
                  Wensheng Zhang},
  title        = {Polaris Scheduler: Edge Sensitive and {SLO} Aware Workload Scheduling
                  in Cloud-Edge-IoT Clusters},
  booktitle    = {14th {IEEE} International Conference on Cloud Computing, {CLOUD} 2021,
                  Chicago, IL, USA, September 5-10, 2021},
  pages        = {206--216},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/CLOUD53861.2021.00034},
  doi          = {10.1109/CLOUD53861.2021.00034},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/IEEEcloud/NasticPMCDVX21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEcloud/PusztaiMCDNDVX21,
  author       = {Thomas W. Pusztai and
                  Andrea Morichetta and
                  Victor Casamayor{-}Pujol and
                  Schahram Dustdar and
                  Stefan Nastic and
                  Xiaoning Ding and
                  Deepak Vij and
                  Ying Xiong},
  editor       = {Claudio Agostino Ardagna and
                  Carl K. Chang and
                  Ernesto Daminai and
                  Rajiv Ranjan and
                  Zhongjie Wang and
                  Robert Ward and
                  Jia Zhang and
                  Wensheng Zhang},
  title        = {A Novel Middleware for Efficiently Implementing Complex Cloud-Native
                  SLOs},
  booktitle    = {14th {IEEE} International Conference on Cloud Computing, {CLOUD} 2021,
                  Chicago, IL, USA, September 5-10, 2021},
  pages        = {410--420},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/CLOUD53861.2021.00055},
  doi          = {10.1109/CLOUD53861.2021.00055},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/IEEEcloud/PusztaiMCDNDVX21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ast/Barboni0P21,
  author       = {Morena Barboni and
                  Andrea Morichetta and
                  Andrea Polini},
  title        = {SuMo: {A} Mutation Testing Strategy for Solidity Smart Contracts},
  booktitle    = {2nd {IEEE/ACM} International Conference on Automation of Software
                  Test, AST@ICSE 2021, Madrid, Spain, May 20-21, 2021},
  pages        = {50--59},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/AST52587.2021.00014},
  doi          = {10.1109/AST52587.2021.00014},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ast/Barboni0P21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/CorradiniM0P0021,
  author       = {Flavio Corradini and
                  Alessandro Marcelletti and
                  Andrea Morichetta and
                  Andrea Polini and
                  Barbara Re and
                  Francesco Tiezzi},
  editor       = {Andrea Marrella and
                  Daniele Theseider Dupr{\'{e}}},
  title        = {ChorChain: {A} model-driven framework for choreography-based systems
                  using blockchain},
  booktitle    = {Proceedings of the 1st Italian Forum on Business Process Management
                  co-located with the 19th International Conference of Business Process
                  Management {(BPM} 2021), Rome, Italy, September 10th, 2021},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2952},
  pages        = {26--32},
  publisher    = {CEUR-WS.org},
  year         = {2021},
  url          = {https://ceur-ws.org/Vol-2952/paper\_294a.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:55 +0100},
  biburl       = {https://dblp.org/rec/conf/bpm/CorradiniM0P0021.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edge/0002CD21,
  author       = {Andrea Morichetta and
                  Victor Casamayor{-}Pujol and
                  Schahram Dustdar},
  title        = {A roadmap on learning and reasoning for distributed computing continuum
                  ecosystems},
  booktitle    = {{IEEE} International Conference on Edge Computing, {EDGE} 2021, Chicago,
                  IL, USA, September 5-10, 2021},
  pages        = {25--31},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/EDGE53862.2021.00021},
  doi          = {10.1109/EDGE53862.2021.00021},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/edge/0002CD21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/egov/CorradiniLMPP21,
  author       = {Flavio Corradini and
                  Caterina Luciani and
                  Andrea Morichetta and
                  Marco Piangerelli and
                  Andrea Polini},
  editor       = {Hans Jochen Scholl and
                  J. Ram{\'{o}}n Gil{-}Garc{\'{\i}}a and
                  Marijn Janssen and
                  Evangelos Kalampokis and
                  Ida Lindgren and
                  Manuel Pedro Rodr{\'{\i}}guez Bol{\'{\i}}var},
  title        = {TLV-diss\({}_{\mbox{{\(\gamma\)} }}\): {A} Dissimilarity Measure for
                  Public Administration Process Logs},
  booktitle    = {Electronic Government - 20th {IFIP} {WG} 8.5 International Conference,
                  {EGOV} 2021, Granada, Spain, September 7-9, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12850},
  pages        = {301--314},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-84789-0\_22},
  doi          = {10.1007/978-3-030-84789-0\_22},
  timestamp    = {Fri, 08 Sep 2023 15:13:28 +0200},
  biburl       = {https://dblp.org/rec/conf/egov/CorradiniLMPP21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/PusztaiMCDNDVX21,
  author       = {Thomas W. Pusztai and
                  Andrea Morichetta and
                  Victor Casamayor{-}Pujol and
                  Schahram Dustdar and
                  Stefan Nastic and
                  Xiaoning Ding and
                  Deepak Vij and
                  Ying Xiong},
  editor       = {Carl K. Chang and
                  Ernesto Daminai and
                  Jing Fan and
                  Parisa Ghodous and
                  Michael Maximilien and
                  Zhongjie Wang and
                  Robert Ward and
                  Jia Zhang},
  title        = {{SLO} Script: {A} Novel Language for Implementing Complex Cloud-Native
                  Elasticity-Driven SLOs},
  booktitle    = {2021 {IEEE} International Conference on Web Services, {ICWS} 2021,
                  Chicago, IL, USA, September 5-10, 2021},
  pages        = {21--31},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/ICWS53863.2021.00017},
  doi          = {10.1109/ICWS53863.2021.00017},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icws/PusztaiMCDNDVX21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtacsit/CorradiniL0P21,
  author       = {Flavio Corradini and
                  Caterina Luciani and
                  Andrea Morichetta and
                  Andrea Polini},
  editor       = {Endrit Xhina and
                  Klesti Hoxha},
  title        = {Process Variance Analysis and Configuration in the Public Administration
                  Sector},
  booktitle    = {Proceedings of the 4th International Conference on Recent Trends and
                  Applications in Computer Science and Information Technology, Tirana,
                  Albania, May 21st - to - 22nd, 2021},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2872},
  pages        = {103--112},
  publisher    = {CEUR-WS.org},
  year         = {2021},
  url          = {https://ceur-ws.org/Vol-2872/paper14.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:18 +0100},
  biburl       = {https://dblp.org/rec/conf/rtacsit/CorradiniL0P21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/bir/2021w,
  editor       = {Peter Forbrig and
                  Knut Hinkelmann and
                  Marite Kirikova and
                  Birger Lantow and
                  Charles M{\o}ller and
                  Andrea Morichetta and
                  Pierluigi Plebani and
                  Barbara Re and
                  Kurt Sandkuhl and
                  Ulf Seigerroth},
  title        = {Joint Proceedings of the {BIR} 2021 Workshops and Doctoral Consortium
                  co-located with 20th International Conference on Perspectives in Business
                  Informatics Research {(BIR} 2021), Vienna, Austria, September 22-24,
                  2021},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2991},
  publisher    = {CEUR-WS.org},
  year         = {2021},
  url          = {https://ceur-ws.org/Vol-2991},
  urn          = {urn:nbn:de:0074-2991-7},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/bir/2021w.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifip8-1/2021w,
  editor       = {Beatriz Mar{\'{\i}}n and
                  Yves Wautelet and
                  Samedi Heng and
                  Sa{\"{\i}}d Assar and
                  Petra Maria Asprion and
                  Andrea Morichetta},
  title        = {Proceedings of workshops co-organized with the 14th {IFIP} {WG} 8.1
                  Working Conference on the Practice of Enterprise Modelling (PoEM 2021),
                  Online, originally held in Riga, Latvia, November 24, 2021},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3031},
  publisher    = {CEUR-WS.org},
  year         = {2021},
  url          = {https://ceur-ws.org/Vol-3031},
  urn          = {urn:nbn:de:0074-3031-0},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ifip8-1/2021w.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-03626,
  author       = {Morena Barboni and
                  Andrea Morichetta and
                  Andrea Polini},
  title        = {SuMo: {A} Mutation Testing Strategy for Solidity Smart Contracts},
  journal      = {CoRR},
  volume       = {abs/2105.03626},
  year         = {2021},
  url          = {https://arxiv.org/abs/2105.03626},
  eprinttype    = {arXiv},
  eprint       = {2105.03626},
  timestamp    = {Fri, 14 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2105-03626.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/internet/NasticMPDDVXD20,
  author       = {Stefan Nastic and
                  Andrea Morichetta and
                  Thomas W. Pusztai and
                  Schahram Dustdar and
                  Xiaoning Ding and
                  Deepak Vij and
                  Ying Xiong},
  title        = {{SLOC:} Service Level Objectives for Next Generation Cloud Computing},
  journal      = {{IEEE} Internet Comput.},
  volume       = {24},
  number       = {3},
  pages        = {39--50},
  year         = {2020},
  url          = {https://doi.org/10.1109/MIC.2020.2987739},
  doi          = {10.1109/MIC.2020.2987739},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/internet/NasticMPDDVXD20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/CorradiniMPRRT20,
  author       = {Flavio Corradini and
                  Andrea Morichetta and
                  Andrea Polini and
                  Barbara Re and
                  Lorenzo Rossi and
                  Francesco Tiezzi},
  title        = {Correctness checking for {BPMN} collaborations with sub-processes},
  journal      = {J. Syst. Softw.},
  volume       = {166},
  pages        = {110594},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.jss.2020.110594},
  doi          = {10.1016/J.JSS.2020.110594},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jss/CorradiniMPRRT20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/CorradiniMPRT20,
  author       = {Flavio Corradini and
                  Andrea Morichetta and
                  Andrea Polini and
                  Barbara Re and
                  Francesco Tiezzi},
  title        = {Collaboration vs. choreography conformance in {BPMN}},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {16},
  number       = {4},
  year         = {2020},
  url          = {https://lmcs.episciences.org/6861},
  timestamp    = {Thu, 20 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/CorradiniMPRT20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/CorradiniMMPRT20,
  author       = {Fl{\'{a}}vio Corradini and
                  Alessandro Marcelletti and
                  Andrea Morichetta and
                  Andrea Polini and
                  Barbara Re and
                  Francesco Tiezzi},
  editor       = {Chih{-}Cheng Hung and
                  Tom{\'{a}}s Cern{\'{y}} and
                  Dongwan Shin and
                  Alessio Bechini},
  title        = {Engineering trustable choreography-based systems using blockchain},
  booktitle    = {{SAC} '20: The 35th {ACM/SIGAPP} Symposium on Applied Computing, online
                  event, [Brno, Czech Republic], March 30 - April 3, 2020},
  pages        = {1470--1479},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3341105.3373988},
  doi          = {10.1145/3341105.3373988},
  timestamp    = {Sun, 06 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sac/CorradiniMMPRT20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifip8-1/2020w,
  editor       = {Petra Maria Asprion and
                  Signe Balina and
                  Peter Forbrig and
                  Janis Kampars and
                  Marite Kirikova and
                  Charles M{\o}ller and
                  Andrea Morichetta and
                  Ben Roelens and
                  Kurt Sandkuhl},
  title        = {Proceedings of the workshops co-organized with the 13th {IFIP} {WG}
                  8.1 working conference on the Practice of Enterprise Modelling (PoEM
                  2020), On-line (originally located in Riga, Latvia), November 26,
                  2020},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2749},
  publisher    = {CEUR-WS.org},
  year         = {2020},
  url          = {https://ceur-ws.org/Vol-2749},
  urn          = {urn:nbn:de:0074-2749-5},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ifip8-1/2020w.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-04396,
  author       = {Flavio Corradini and
                  Andrea Morichetta and
                  Andrea Polini and
                  Barbara Re and
                  Francesco Tiezzi},
  title        = {Collaboration vs. choreography conformance in {BPMN}},
  journal      = {CoRR},
  volume       = {abs/2002.04396},
  year         = {2020},
  url          = {https://arxiv.org/abs/2002.04396},
  eprinttype    = {arXiv},
  eprint       = {2002.04396},
  timestamp    = {Thu, 20 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2002-04396.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-01648,
  author       = {Alessandro D'Alconzo and
                  Idilio Drago and
                  Andrea Morichetta and
                  Marco Mellia and
                  Pedro Casas},
  title        = {A Survey on Big Data for Network Traffic Monitoring and Analysis},
  journal      = {CoRR},
  volume       = {abs/2003.01648},
  year         = {2020},
  url          = {https://arxiv.org/abs/2003.01648},
  eprinttype    = {arXiv},
  eprint       = {2003.01648},
  timestamp    = {Tue, 10 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2003-01648.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-01670,
  author       = {Andrea Morichetta and
                  Pedro Casas and
                  Marco Mellia},
  title        = {{EXPLAIN-IT:} Towards Explainable {AI} for Unsupervised Network Traffic
                  Analysis},
  journal      = {CoRR},
  volume       = {abs/2003.01670},
  year         = {2020},
  url          = {https://arxiv.org/abs/2003.01670},
  eprinttype    = {arXiv},
  eprint       = {2003.01670},
  timestamp    = {Tue, 10 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2003-01670.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pe/MorichettaM19,
  author       = {Andrea Morichetta and
                  Marco Mellia},
  title        = {Clustering and evolutionary approach for longitudinal web traffic
                  analysis},
  journal      = {Perform. Evaluation},
  volume       = {135},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.peva.2019.102033},
  doi          = {10.1016/J.PEVA.2019.102033},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pe/MorichettaM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tnsm/DAlconzoDMMC19,
  author       = {Alessandro D'Alconzo and
                  Idilio Drago and
                  Andrea Morichetta and
                  Marco Mellia and
                  Pedro Casas},
  title        = {A Survey on Big Data for Network Traffic Monitoring and Analysis},
  journal      = {{IEEE} Trans. Netw. Serv. Manag.},
  volume       = {16},
  number       = {3},
  pages        = {800--813},
  year         = {2019},
  url          = {https://doi.org/10.1109/TNSM.2019.2933358},
  doi          = {10.1109/TNSM.2019.2933358},
  timestamp    = {Thu, 27 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tnsm/DAlconzoDMMC19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tnsm/MorichettaM19,
  author       = {Andrea Morichetta and
                  Marco Mellia},
  title        = {{LENTA:} Longitudinal Exploration for Network Traffic Analysis From
                  Passive Data},
  journal      = {{IEEE} Trans. Netw. Serv. Manag.},
  volume       = {16},
  number       = {3},
  pages        = {814--827},
  year         = {2019},
  url          = {https://doi.org/10.1109/TNSM.2019.2927409},
  doi          = {10.1109/TNSM.2019.2927409},
  timestamp    = {Thu, 27 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tnsm/MorichettaM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Corradini00T19,
  author       = {Flavio Corradini and
                  Andrea Morichetta and
                  Barbara Re and
                  Francesco Tiezzi},
  editor       = {M{\'{a}}rio S. Alvim and
                  Kostas Chatzikokolakis and
                  Carlos Olarte and
                  Frank Valencia},
  title        = {Walking Through the Semantics of Exclusive and Event-Based Gateways
                  in {BPMN} Choreographies},
  booktitle    = {The Art of Modelling Computational Systems: {A} Journey from Logic
                  and Concurrency to Security and Privacy - Essays Dedicated to Catuscia
                  Palamidessi on the Occasion of Her 60th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {11760},
  pages        = {163--181},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-31175-9\_10},
  doi          = {10.1007/978-3-030-31175-9\_10},
  timestamp    = {Sat, 09 Apr 2022 12:46:09 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Corradini00T19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/CorradiniM0P0S19,
  author       = {Flavio Corradini and
                  Fausto Marcantoni and
                  Andrea Morichetta and
                  Andrea Polini and
                  Barbara Re and
                  Massimiliano Sampaolo},
  editor       = {Maurice H. ter Beek and
                  Alessandro Fantechi and
                  Laura Semini},
  title        = {Enabling Auditing of Smart Contracts Through Process Mining},
  booktitle    = {From Software Engineering to Formal Methods and Tools, and Back -
                  Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {11865},
  pages        = {467--480},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-30985-5\_27},
  doi          = {10.1007/978-3-030-30985-5\_27},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/CorradiniM0P0S19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/conext/0002CM19,
  author       = {Andrea Morichetta and
                  Pedro Casas and
                  Marco Mellia},
  title        = {{EXPLAIN-IT:} Towards Explainable {AI} for Unsupervised Network Traffic
                  Analysis},
  booktitle    = {Proceedings of the 3rd {ACM} CoNEXT Workshop on Big DAta, Machine
                  Learning and Artificial Intelligence for Data Communication Networks,
                  Big-DAMA@CoNEXT 2019, Orlando, FL, USA, December 9, 2019},
  pages        = {22--28},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3359992.3366639},
  doi          = {10.1145/3359992.3366639},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/conext/0002CM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pam/0002TV19,
  author       = {Andrea Morichetta and
                  Martino Trevisan and
                  Luca Vassio},
  editor       = {David R. Choffnes and
                  Marinho P. Barcellos},
  title        = {Characterizing Web Pornography Consumption from Passive Measurements},
  booktitle    = {Passive and Active Measurement - 20th International Conference, {PAM}
                  2019, Puerto Varas, Chile, March 27-29, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11419},
  pages        = {304--316},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-15986-3\_20},
  doi          = {10.1007/978-3-030-15986-3\_20},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pam/0002TV19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-11723,
  author       = {Andrea Morichetta and
                  Martino Trevisan and
                  Luca Vassio},
  title        = {Characterizing web pornography consumption from passive measurements},
  journal      = {CoRR},
  volume       = {abs/1904.11723},
  year         = {2019},
  url          = {http://arxiv.org/abs/1904.11723},
  eprinttype    = {arXiv},
  eprint       = {1904.11723},
  timestamp    = {Thu, 02 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1904-11723.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bigdataconf/FaroughiJM0ST18,
  author       = {Azadeh Faroughi and
                  Reza Javidan and
                  Marco Mellia and
                  Andrea Morichetta and
                  Francesca Soro and
                  Martino Trevisan},
  editor       = {Naoki Abe and
                  Huan Liu and
                  Calton Pu and
                  Xiaohua Hu and
                  Nesreen K. Ahmed and
                  Mu Qiao and
                  Yang Song and
                  Donald Kossmann and
                  Bing Liu and
                  Kisung Lee and
                  Jiliang Tang and
                  Jingrui He and
                  Jeffrey S. Saltz},
  title        = {Achieving Horizontal Scalability in Density-based Clustering for URLs},
  booktitle    = {{IEEE} International Conference on Big Data {(IEEE} BigData 2018),
                  Seattle, WA, USA, December 10-13, 2018},
  pages        = {3841--3846},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/BigData.2018.8622005},
  doi          = {10.1109/BIGDATA.2018.8622005},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/bigdataconf/FaroughiJM0ST18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edoc/Corradini0P0T18,
  author       = {Flavio Corradini and
                  Andrea Morichetta and
                  Andrea Polini and
                  Barbara Re and
                  Francesco Tiezzi},
  title        = {Collaboration vs. Choreography Conformance in {BPMN} 2.0: From Theory
                  to Practice},
  booktitle    = {22nd {IEEE} International Enterprise Distributed Object Computing
                  Conference, {EDOC} 2018, Stockholm, Sweden, October 16-19, 2018},
  pages        = {95--104},
  publisher    = {{IEEE} Computer Society},
  year         = {2018},
  url          = {https://doi.org/10.1109/EDOC.2018.00022},
  doi          = {10.1109/EDOC.2018.00022},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/edoc/Corradini0P0T18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mobilecloud/Morichetta0T18,
  author       = {Andrea Morichetta and
                  Barbara Re and
                  Francesco Tiezzi},
  title        = {Runtime Computation of Optimal Offloading Scheduling},
  booktitle    = {6th {IEEE} International Conference on Mobile Cloud Computing, Services,
                  and Engineering, MobileCloud 2018, Bamberg, Germany, March 26-29,
                  2018},
  pages        = {73--78},
  publisher    = {{IEEE} Computer Society},
  year         = {2018},
  url          = {https://doi.org/10.1109/MobileCloud.2018.00019},
  doi          = {10.1109/MOBILECLOUD.2018.00019},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mobilecloud/Morichetta0T18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/teletraffic/0002M18,
  author       = {Andrea Morichetta and
                  Marco Mellia},
  title        = {{LENTA:} Longitudinal Exploration for Network Traffic Analysis},
  booktitle    = {30th International Teletraffic Congress, {ITC} 2018, Vienna, Austria,
                  September 3-7, 2018 - Volume 1},
  pages        = {176--184},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/ITC30.2018.00035},
  doi          = {10.1109/ITC30.2018.00035},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/teletraffic/0002M18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uic/CiociolaCGMMPS17,
  author       = {Alessandro Ciociola and
                  Michele Cocca and
                  Danilo Giordano and
                  Marco Mellia and
                  Andrea Morichetta and
                  Andrian Putina and
                  Flavia Salutari},
  title        = {{UMAP:} Urban mobility analysis platform to harvest car sharing data},
  booktitle    = {2017 {IEEE} SmartWorld, Ubiquitous Intelligence {\&} Computing,
                  Advanced {\&} Trusted Computed, Scalable Computing {\&} Communications,
                  Cloud {\&} Big Data Computing, Internet of People and Smart City
                  Innovation, SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2017, San Francisco,
                  CA, USA, August 4-8, 2017},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/UIC-ATC.2017.8397566},
  doi          = {10.1109/UIC-ATC.2017.8397566},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/uic/CiociolaCGMMPS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/teletraffic/MorichettaBMM16,
  author       = {Andrea Morichetta and
                  Enrico Bocchi and
                  Hassan Metwalley and
                  Marco Mellia},
  editor       = {Tobias Ho{\ss}feld and
                  Brian L. Mark and
                  S.{-}H. Gary Chan and
                  Andreas Timm{-}Giel},
  title        = {{CLUE:} Clustering for Mining Web URLs},
  booktitle    = {28th International Teletraffic Congress, {ITC} 2016, W{\"{u}}rzburg,
                  Germany, September 12-16, 2016},
  pages        = {286--294},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.1109/ITC-28.2016.146},
  doi          = {10.1109/ITC-28.2016.146},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/teletraffic/MorichettaBMM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/AcetoLMT15,
  author       = {Luca Aceto and
                  Kim G. Larsen and
                  Andrea Morichetta and
                  Francesco Tiezzi},
  editor       = {Christiano Braga and
                  Peter Csaba {\"{O}}lveczky},
  title        = {A Cost/Reward Method for Optimal Infinite Scheduling in Mobile Cloud
                  Computing},
  booktitle    = {Formal Aspects of Component Software - 12th International Conference,
                  {FACS} 2015, Niter{\'{o}}i, Brazil, October 14-16, 2015, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9539},
  pages        = {66--85},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-28934-2\_4},
  doi          = {10.1007/978-3-319-28934-2\_4},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/facs2/AcetoLMT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mobilecloud/AcetoMT15,
  author       = {Luca Aceto and
                  Andrea Morichetta and
                  Francesco Tiezzi},
  title        = {Decision Support for Mobile Cloud Computing Applications via Model
                  Checking},
  booktitle    = {3rd {IEEE} International Conference on Mobile Cloud Computing, Services,
                  and Engineering, MobileCloud 2015, San Francisco, CA, USA, March 30
                  - April 3, 2015},
  pages        = {199--204},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/MobileCloud.2015.21},
  doi          = {10.1109/MOBILECLOUD.2015.21},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mobilecloud/AcetoMT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/NicolaLLLMMMPTV15,
  author       = {Rocco De Nicola and
                  Diego Latella and
                  Alberto Lluch{-}Lafuente and
                  Michele Loreti and
                  Andrea Margheri and
                  Mieke Massink and
                  Andrea Morichetta and
                  Rosario Pugliese and
                  Francesco Tiezzi and
                  Andrea Vandin},
  editor       = {Martin Wirsing and
                  Matthias M. H{\"{o}}lzl and
                  Nora Koch and
                  Philip Mayer},
  title        = {The {SCEL} Language: Design, Implementation, Verification},
  booktitle    = {Software Engineering for Collective Autonomic Systems - The {ASCENS}
                  Approach},
  series       = {Lecture Notes in Computer Science},
  volume       = {8998},
  pages        = {3--71},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-16310-9\_1},
  doi          = {10.1007/978-3-319-16310-9\_1},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/lncs/NicolaLLLMMMPTV15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etaps/NicolaLLMPST14,
  author       = {Rocco De Nicola and
                  Alberto Lluch{-}Lafuente and
                  Michele Loreti and
                  Andrea Morichetta and
                  Rosario Pugliese and
                  Valerio Senni and
                  Francesco Tiezzi},
  editor       = {Saddek Bensalem and
                  Yassine Lakhnech and
                  Axel Legay},
  title        = {Programming and Verifying Component Ensembles},
  booktitle    = {From Programs to Systems. The Systems perspective in Computing - {ETAPS}
                  Workshop, {FPS} 2014, in Honor of Joseph Sifakis, Grenoble, France,
                  April 6, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8415},
  pages        = {69--83},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-642-54848-2\_5},
  doi          = {10.1007/978-3-642-54848-2\_5},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/etaps/NicolaLLMPST14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/BertolinoMM13,
  author       = {Antonia Bertolino and
                  Eda Marchetti and
                  Andrea Morichetta},
  editor       = {Bertrand Meyer and
                  Luciano Baresi and
                  Mira Mezini},
  title        = {Adequate monitoring of service compositions},
  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        = {59--69},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2491411.2491441},
  doi          = {10.1145/2491411.2491441},
  timestamp    = {Tue, 01 Feb 2022 10:45:16 +0100},
  biburl       = {https://dblp.org/rec/conf/sigsoft/BertolinoMM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics