@inproceedings{ACMP2026,
  author       = {Er{\"{e}}za Abdullahu and
                  Diletta Romana Cacciagrano and
                  Leonardo Mostarda and
                  Marco Piangerelli},
  editor       = {Leonard Barolli and
                  Winston K. G. Seah and
                  Isaac Woungang},
  title        = {{AI} for Movement Evaluation in Rehabilitation: Review, Challenges,
                  and Future Directions},
  booktitle    = {Advanced Information Networking and Applications - Proceedings of
                  the 40-th International Conference on Advanced Information Networking
                  and Applications, {AINA} 2026, Wellington, New Zealand, April 8-10,
                  2026, Volume 7},
  series       = {Lecture Notes on Data Engineering and Communications Technologies},
  volume       = {300},
  pages        = {124--132},
  publisher    = {Springer},
  year         = {2026},
  url          = {https://doi.org/10.1007/978-3-032-23341-7\_12},
  doi          = {10.1007/978-3-032-23341-7\_12},
  timestamp    = {Tue, 29 Sep 2026 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aina/AbdullahuCMP26.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{UMCBMZ2026,
  author       = {Farhan Ullah and
                  Leonardo Mostarda and
                  Diletta Cacciagrano and
                  Ghassen Ben Brahim and
                  Khalid Mahmood and
                  Yue Zhao},
  editor       = {Leonard Barolli and
                  Winston K. G. Seah and
                  Isaac Woungang},
  title        = {{DT-SFL:} Adaptive Synthetic Data Generation in Digital Twin-Enabled
                  Split Federated Learning for Imbalanced Data in IoT Security},
  booktitle    = {Advanced Information Networking and Applications - Proceedings of
                  the 40-th International Conference on Advanced Information Networking
                  and Applications, {AINA} 2026, Wellington, New Zealand, April 8-10,
                  2026, Volume 7},
  series       = {Lecture Notes on Data Engineering and Communications Technologies},
  volume       = {300},
  pages        = {99--110},
  publisher    = {Springer},
  year         = {2026},
  url          = {https://doi.org/10.1007/978-3-032-23341-7\_10},
  doi          = {10.1007/978-3-032-23341-7\_10},
  timestamp    = {Tue, 29 Sep 2026 16:49:47 +0200},
  biburl       = {https://dblp.org/rec/conf/aina/UllahMCBMZ26.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{LQR2026,
  author       = {Michele Loreti and
                  Michela Quadrini and
                  Aniqa Rehman},
  editor       = {Claudio Antares Mezzina and
                  Alan Schmitt},
  title        = {Scalable Verification of Local and Global Properties of Collective
                  Systems},
  booktitle    = {Components Operationally: Reversibility and System Engineering: Essays
                  Dedicated to Jean-Bernard Stefani on the Occasion of His 65th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {16065},
  pages        = {154--174},
  publisher    = {Springer},
  year         = {2026},
  url          = {https://doi.org/10.1007/978-3-031-99717-4\_9},
  doi          = {10.1007/978-3-031-99717-4\_9},
  timestamp    = {Wed, 09 Sep 2026 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/LoretiQR26.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{PDCL2026,
  author       = {Riccardo Petracci and
                  Nicola Del Giudice and
                  Diletta Romana Cacciagrano and
                  Michele Loreti},
  editor       = {Roberto Casadei and
                  Fatemeh Ghassemi},
  title        = {Simulation and Analysis of Indoor-Air-Quality Measuring Devices with
                  {YODA}},
  booktitle    = {Coordination Models and Languages - 28th {IFIP} {WG} 6.1 International
                  Conference, {COORDINATION} 2026, Held as Part of the 21st International
                  Federated Conference on Distributed Computing Techniques, DisCoTec
                  2026, Urbino, Italy, June 8-12, 2026, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {16590},
  pages        = {241--262},
  publisher    = {Springer},
  year         = {2026},
  url          = {https://doi.org/10.1007/978-3-032-28358-0\_12},
  doi          = {10.1007/978-3-032-28358-0\_12},
  timestamp    = {Fri, 10 Jul 2026 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/coordination/PetracciGCL26.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{LQ2026,
  author       = {Michele Loreti and
                  Marco Quadrini},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Pythia: {A} Python Framework for the Simulation and Statistical Analysis
                  of Collective Adaptive Systems},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation.
                  Rigorous Engineering of Collective Adaptive Systems - 13th International
                  Symposium, ISoLA 2026, Kos, Greece, October 24-28, 2026, Proceedings,
                  Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {17141},
  pages        = {234--252},
  publisher    = {Springer},
  year         = {2026},
  url          = {https://doi.org/10.1007/978-3-032-40108-3\_14},
  doi          = {10.1007/978-3-032-40108-3\_14},
  timestamp    = {Wed, 21 Oct 2026 17:25:29 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/LoretiQ26.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{ADLQ2026,
  author       = {Aurora Arrus and
                  Maria Di Gisi and
                  Sara Lilli and
                  Marco Quadrini},
  editor       = {Davide Maiorca and
                  Pierangela Samarati},
  title        = {Accelerating Incident Response: {A} Hybrid Approach for Data Breach
                  Reporting},
  booktitle    = {Proceedings of the Joint National Conference on Cybersecurity {(ITASEC}
                  {\&} {SERICS} 2026), Cagliari, Italy, February 09-13, 2026},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {4198},
  publisher    = {CEUR-WS.org},
  year         = {2026},
  url          = {https://ceur-ws.org/Vol-4198/paper32.pdf},
  timestamp    = {Thu, 30 Apr 2026 15:15:00 +0200},
  biburl       = {https://dblp.org/rec/conf/itasec/ArrusGLQ26.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{CGLLNST2026,
  author       = {Javier C{\'{a}}mara and
                  Ilias Gerostathopoulos and
                  Livia Lestingi and
                  Michele Loreti and
                  Hiroyuki Nakagawa and
                  Marjan Sirjani and
                  Kenji Tei},
  editor       = {Andrea Zisman and
                  Amel Bennaceur and
                  Eunsuk Kang},
  title        = {Ubi-AAL: {A} Self-Adaptive Ubiquitous Computing System Problem Exemplar
                  in Ambient Assisted Living},
  booktitle    = {Proceedings of the 21st International Conference on Software Engineering
                  for Adaptive and Self-Managing Systems, {SEAMS} 2026, Rio de Janeiro,
                  Brazil, April 13-14, 2026},
  pages        = {270--274},
  publisher    = {{ACM}},
  year         = {2026},
  url          = {https://doi.org/10.1145/3788550.3794942},
  doi          = {10.1145/3788550.3794942},
  timestamp    = {Wed, 09 Sep 2026 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/seams/CamaraGLLNST26.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DelGiudice2026,
  author       = {Nicola Del Giudice},
  title        = {Empowering Community-Based Heritage through Gaming: {A} Developer's
                  Perspective},
  journal      = {Commun. {ACM}},
  volume       = {69},
  number       = {6},
  pages        = {86--94},
  year         = {2026},
  url          = {https://doi.org/10.1145/3769685},
  doi          = {10.1145/3769685},
  timestamp    = {Fri, 10 Jul 2026 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cacm/Giudice26.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{ZUMARMC2026,
  author       = {Yue Zhao and
                  Farhan Ullah and
                  Khalid Mahmood and
                  Abdul Ahad and
                  Ziaur Rahman and
                  Leonardo Mostarda and
                  Diletta Cacciagrano},
  title        = {Federated Metalearning-Driven Self-Organizing Maps for Edge-Based
                  Privacy-Preserving Intrusion Detection in Industrial IoT},
  journal      = {{IEEE} Internet Things J.},
  volume       = {13},
  number       = {20},
  pages        = {47005--47017},
  year         = {2026},
  url          = {https://doi.org/10.1109/JIOT.2026.3720401},
  doi          = {10.1109/JIOT.2026.3720401},
  timestamp    = {Tue, 20 Oct 2026 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iotj/ZhaoUMARMC26.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{BCQL2026,
  author       = {Matteo Belenchia and
                  Flavio Corradini and
                  Michela Quadrini and
                  Michele Loreti},
  title        = {The {\(\mu\)}G language for programming graph neural networks},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {151},
  pages        = {101143},
  year         = {2026},
  url          = {https://doi.org/10.1016/j.jlamp.2026.101143},
  doi          = {10.1016/J.JLAMP.2026.101143},
  timestamp    = {Sat, 18 Jul 2026 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlap/BelenchiaCQL26.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{AUMC2025,
  author       = {Muhammad Pervez Akhter and
                  Farhan Ullah and
                  Leonardo Mostarda and
                  Diletta Cacciagrano},
  editor       = {Leonard Barolli},
  title        = {A Deep Learning-Based RIDNet Approach for Enhanced Denoising of {SAR}
                  Images},
  booktitle    = {Advanced Information Networking and Applications - Proceedings of
                  the 39th International Conference on Advanced Information Networking
                  and Applications, {AINA} 2025, Barcelona, Spain, 9-11 April 2025,
                  Volume 7},
  series       = {Lecture Notes on Data Engineering and Communications Technologies},
  volume       = {251},
  pages        = {268--279},
  publisher    = {Springer},
  year         = {2025},
  url          = {https://doi.org/10.1007/978-3-031-87781-0\_27},
  doi          = {10.1007/978-3-031-87781-0\_27},
  timestamp    = {Tue, 28 Oct 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aina/AkhterUMC25.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{CV2025,
  author       = {Diletta Cacciagrano and
                  Leonardo Vito},
  editor       = {Leonard Barolli},
  title        = {DemetrIA: An AI-Driven Process Mining Ecosystem for Efficient and
                  Sustainable Manufacturing},
  booktitle    = {Advanced Information Networking and Applications - Proceedings of
                  the 39th International Conference on Advanced Information Networking
                  and Applications, {AINA} 2025, Barcelona, Spain, 9-11 April 2025,
                  Volume 7},
  series       = {Lecture Notes on Data Engineering and Communications Technologies},
  volume       = {251},
  pages        = {258--267},
  publisher    = {Springer},
  year         = {2025},
  url          = {https://doi.org/10.1007/978-3-031-87781-0\_26},
  doi          = {10.1007/978-3-031-87781-0\_26},
  timestamp    = {Sat, 15 Aug 2026 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aina/CacciagranoV25.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{LQST2025,
  author       = {Michele Loreti and
                  Michela Quadrini and
                  Matteo Scoccia and
                  Luca Tesei},
  editor       = {Fran{\c{c}}ois Fages and
                  Sabine P{\'{e}}r{\`{e}}s},
  title        = {A Formal Approach to Identify Structural Patterns in {RNA}},
  booktitle    = {Computational Methods in Systems Biology - 23rd International Conference,
                  {CMSB} 2025, Lyon, France, September 10-12, 2025, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {15959},
  pages        = {195--217},
  publisher    = {Springer},
  year         = {2025},
  url          = {https://doi.org/10.1007/978-3-032-01436-8\_11},
  doi          = {10.1007/978-3-032-01436-8\_11},
  timestamp    = {Thu, 11 Sep 2025 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cmsb/LoretiQST25.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{QLLCMV2025,
  author       = {Michela Quadrini and
                  Michele Loreti and
                  Mattia Luciani and
                  Ivano Corradetti and
                  Carboni Matteo and
                  Stefano Vagnoni},
  editor       = {Luca Manzoni and
                  Luca Bortolussi and
                  Giulia Cisotto and
                  Fabio Anselmi},
  title        = {A comparative study of speech-to-text for Italian},
  booktitle    = {Joint Proceedings of the Thematic Workshops at Ital-IA 2025 colocated
                  with the 5th National Conference on Artificial Intelligence, organized
                  by {CINI} (Ital-IA 2025), Trieste, Italy, June 23-24, 2025},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {4121},
  publisher    = {CEUR-WS.org},
  year         = {2025},
  url          = {https://ceur-ws.org/Vol-4121/Ital-IA\_2025\_paper\_33.pdf},
  timestamp    = {Wed, 28 Jan 2026 17:17:59 +0100},
  biburl       = {https://dblp.org/rec/conf/ital-ia/QuadriniLLCMV25.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{SLN2025,
  author       = {Simone Silvetti and
                  Michele Loreti and
                  Laura Nenzi},
  editor       = {Bettina K{\"{o}}nighofer and
                  Hazem Torfah},
  title        = {Modular and Online Monitoring of Temporal Logic Specification with
                  Integral and Filter},
  booktitle    = {Runtime Verification - 25th International Conference, {RV} 2025, Graz,
                  Austria, September 15-19, 2025, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {16087},
  pages        = {120--139},
  publisher    = {Springer},
  year         = {2025},
  url          = {https://doi.org/10.1007/978-3-032-05435-7\_8},
  doi          = {10.1007/978-3-032-05435-7\_8},
  timestamp    = {Wed, 15 Oct 2025 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rv/SilvettiLN25.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{MDLV2025,
  author       = {Francesco Moschella and
                  Nicola Del Giudice and
                  Michele Loreti and
                  Hannes H{\"{o}}gni Vilhj{\'{a}}lmsson},
  title        = {Towards a Methodology for Using {EEG} Motor Imagery to Control Video
                  Games},
  booktitle    = {{IEEE} Conference on Serious Games and Applications for Health, SeGAH
                  2025, Manchester, United Kingdom, August 6-8, 2025},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2025},
  url          = {https://doi.org/10.1109/SeGAH65397.2025.11168439},
  doi          = {10.1109/SEGAH65397.2025.11168439},
  timestamp    = {Sun, 14 Dec 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/segah/MoschellaGLV25.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{REUCMR2025,
  author       = {Asad Ur Rehman and
                  Noor Ul Eman and
                  Farhan Ullah and
                  Diletta Cacciagrano and
                  Leonardo Mostarda and
                  Nabeel Raza},
  title        = {Advanced {EEG} Signal Processing and Deep Q-Learning for Accurate
                  Student Attention Monitoring},
  journal      = {{IEEE} Access},
  volume       = {13},
  pages        = {47260--47270},
  year         = {2025},
  url          = {https://doi.org/10.1109/ACCESS.2024.3523225},
  doi          = {10.1109/ACCESS.2024.3523225},
  timestamp    = {Mon, 27 Oct 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/access/RehmanEUCMR25.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{PCP2025,
  author       = {Daniele Pelosi and
                  Diletta Cacciagrano and
                  Marco Piangerelli},
  title        = {Explainability and Interpretability in Concept and Data Drift: {A}
                  Systematic Literature Review},
  journal      = {Algorithms},
  volume       = {18},
  number       = {7},
  pages        = {443},
  year         = {2025},
  url          = {https://doi.org/10.3390/a18070443},
  doi          = {10.3390/A18070443},
  timestamp    = {Tue, 30 Sep 2025 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/algorithms/PelosiCP25.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{UMCCAK2025,
  author       = {Farhan Ullah and
                  Leonardo Mostarda and
                  Diletta Cacciagrano and
                  Chien{-}Ming Chen and
                  Mohammed Amoon and
                  Saru Kumari},
  title        = {Metaheuristic-Driven Secure Task Optimization for Consumer Edge Devices},
  journal      = {{IEEE} Consumer Electron. Mag.},
  volume       = {14},
  number       = {4},
  pages        = {57--65},
  year         = {2025},
  url          = {https://doi.org/10.1109/MCE.2024.3467768},
  doi          = {10.1109/MCE.2024.3467768},
  timestamp    = {Mon, 27 Oct 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cem/UllahMCCAK25.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{UMCCK2025,
  author       = {Farhan Ullah and
                  Leonardo Mostarda and
                  Diletta Cacciagrano and
                  Chien{-}Ming Chen and
                  Saru Kumari},
  title        = {Semantic-Based Federated Defense for Distributed Malicious Attacks},
  journal      = {{IEEE} Consumer Electron. Mag.},
  volume       = {14},
  number       = {2},
  pages        = {49--58},
  year         = {2025},
  url          = {https://doi.org/10.1109/MCE.2024.3431792},
  doi          = {10.1109/MCE.2024.3431792},
  timestamp    = {Mon, 27 Oct 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cem/UllahMCCK25.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{UMMCUZ2025,
  author       = {Farhan Ullah and
                  Nazeeruddin Mohammad and
                  Leonardo Mostarda and
                  Diletta Cacciagrano and
                  Shamsher Ullah and
                  Yue Zhao},
  title        = {{THE-TAFL:} Transforming Healthcare Edge with Transformer-based Adaptive
                  Federated Learning and Learning Rate Optimization},
  journal      = {Internet Things},
  volume       = {32},
  pages        = {101605},
  year         = {2025},
  url          = {https://doi.org/10.1016/j.iot.2025.101605},
  doi          = {10.1016/J.IOT.2025.101605},
  timestamp    = {Tue, 28 Oct 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iot/UllahMMCUZ25.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{CLLT2025,
  author       = {Valentina Castiglioni and
                  Ruggero Lanotte and
                  Michele Loreti and
                  Simone Tini},
  title        = {DT-Stark: a tool for evaluating the effectiveness of digital twins
                  through feedback and perturbations},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {27},
  number       = {5},
  pages        = {443--464},
  year         = {2025},
  url          = {https://doi.org/10.1007/s10009-025-00826-w},
  doi          = {10.1007/S10009-025-00826-W},
  timestamp    = {Thu, 13 Nov 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sttt/CastiglioniLLT25.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{UMCACK2025,
  author       = {Farhan Ullah and
                  Leonardo Mostarda and
                  Diletta Cacciagrano and
                  Mohammed J. F. Alenazi and
                  Chien{-}Ming Chen and
                  Saru Kumari},
  title        = {Federated Edge Intelligence for Enhanced Security in Consumer Intermittent
                  Healthcare Devices Using Adversarial Examples},
  journal      = {{IEEE} Trans. Consumer Electron.},
  volume       = {71},
  number       = {2},
  pages        = {4574--4585},
  year         = {2025},
  url          = {https://doi.org/10.1109/TCE.2024.3511615},
  doi          = {10.1109/TCE.2024.3511615},
  timestamp    = {Mon, 27 Oct 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tce/UllahMCACK25.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{UMMCZ2025,
  author       = {Farhan Ullah and
                  Nazeeruddin Mohammad and
                  Leonardo Mostarda and
                  Diletta Cacciagrano and
                  Yue Zhao},
  title        = {{Q-P2FL:} Quantum-Enhanced Federated Edge Intelligence for Privacy-Preserving
                  Adversarial Attack Detection on Consumer Edge Devices},
  journal      = {{IEEE} Trans. Consumer Electron.},
  volume       = {71},
  number       = {2},
  pages        = {4914--4924},
  year         = {2025},
  url          = {https://doi.org/10.1109/TCE.2025.3571352},
  doi          = {10.1109/TCE.2025.3571352},
  timestamp    = {Mon, 27 Oct 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tce/UllahMMCZ25.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{AC2024,
  author       = {Alessandro Aloisio and
                  Diletta Cacciagrano},
  editor       = {Leonard Barolli},
  title        = {Distributing Energy Consumption in Multi-interface Networks: Dimension
                  of Cycle Space},
  booktitle    = {Advances on P2P, Parallel, Grid, Cloud and Internet Computing - The
                  19th International Conference on P2P, Parallel, Grid, Cloud and Internet
                  Computing (3PGCIC-2024), San Benedetto del Tronto, Italy, 13-15 November
                  2024},
  series       = {Lecture Notes on Data Engineering and Communications Technologies},
  volume       = {232},
  pages        = {209--220},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-76462-2\_19},
  doi          = {10.1007/978-3-031-76462-2\_19},
  timestamp    = {Mon, 24 Feb 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/3pgcic/AloisioC24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{SCA2024a,
  author       = {Ramiz Salama and
                  Diletta Cacciagrano and
                  Fadi M. Al{-}Turjman},
  editor       = {Leonard Barolli},
  title        = {Connecting {AI} and Blockchain to Improve Security of Financial Services},
  booktitle    = {Advances on P2P, Parallel, Grid, Cloud and Internet Computing - The
                  19th International Conference on P2P, Parallel, Grid, Cloud and Internet
                  Computing (3PGCIC-2024), San Benedetto del Tronto, Italy, 13-15 November
                  2024},
  series       = {Lecture Notes on Data Engineering and Communications Technologies},
  volume       = {232},
  pages        = {67--77},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-76462-2\_7},
  doi          = {10.1007/978-3-031-76462-2\_7},
  timestamp    = {Wed, 03 Jun 2026 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/3pgcic/SalamaCA24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{UMCNUCZ2024,
  author       = {Farhan Ullah and
                  Leonardo Mostarda and
                  Diletta Cacciagrano and
                  Hamad Naeem and
                  Shamsher Ullah and
                  Pradeep Chaudhary and
                  Yue Zhao},
  editor       = {Leonard Barolli},
  title        = {{P2FL:} Privacy-Preserving Federated Learning Approach for Healthcare
                  Informatics at the Edge},
  booktitle    = {Advances on P2P, Parallel, Grid, Cloud and Internet Computing - The
                  19th International Conference on P2P, Parallel, Grid, Cloud and Internet
                  Computing (3PGCIC-2024), San Benedetto del Tronto, Italy, 13-15 November
                  2024},
  series       = {Lecture Notes on Data Engineering and Communications Technologies},
  volume       = {232},
  pages        = {47--58},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-76462-2\_5},
  doi          = {10.1007/978-3-031-76462-2\_5},
  timestamp    = {Thu, 25 Dec 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/3pgcic/UllahMCNUC024.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{SCA2024b,
  author       = {Ramiz Salama and
                  Diletta Cacciagrano and
                  Fadi Al{-}Turjman},
  editor       = {Leonard Barolli},
  title        = {Blockchain and Financial Services a Study of the Applications of Distributed
                  Ledger Technology {(DLT)} in Financial Services},
  booktitle    = {Advanced Information Networking and Applications - Proceedings of
                  the 38th International Conference on Advanced Information Networking
                  and Applications (AINA-2024), Kitakyushu, Japan, 17-19 April, 2024,
                  Volume 6},
  series       = {Lecture Notes on Data Engineering and Communications Technologies},
  volume       = {204},
  pages        = {124--135},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-57942-4\_14},
  doi          = {10.1007/978-3-031-57942-4\_14},
  timestamp    = {Wed, 03 Jun 2026 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aina/SalamaC024.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{ULUCHL2024,
  author       = {Shamsher Ullah and
                  Jianqiang Li and
                  Farhan Ullah and
                  Diletta Cacciagrano and
                  Muhammad Tanveer Hussain and
                  Victor C. M. Leung},
  editor       = {Leonard Barolli},
  title        = {Homomorphic Cryptography Authentication Scheme to Eliminate Machine
                  Tools Gaps in Industry 4.0},
  booktitle    = {Advanced Information Networking and Applications - Proceedings of
                  the 38th International Conference on Advanced Information Networking
                  and Applications (AINA-2024), Kitakyushu, Japan, 17-19 April, 2024,
                  Volume 6},
  series       = {Lecture Notes on Data Engineering and Communications Technologies},
  volume       = {204},
  pages        = {76--85},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-57942-4\_9},
  doi          = {10.1007/978-3-031-57942-4\_9},
  timestamp    = {Tue, 28 Oct 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aina/Ullah0UCHL24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{QAFQSBL2024,
  author       = {Michela Quadrini and
                  Ereza Abdullah and
                  Niccol{\`{o}} Francioni and
                  Marco Quadrini and
                  Matteo Scoccia and
                  Michele Bellesi and
                  Michele Loreti},
  editor       = {Mario Cannataro and
                  Huiru Jane Zheng and
                  Lin Gao and
                  Jianlin Cheng and
                  Jo{\~{a}}o Lu{\'{\i}}s de Miranda and
                  Ester Zumpano and
                  Xiaohua Hu and
                  Young{-}Rae Cho and
                  Taesung Park},
  title        = {Sleep Apnea Detection using Mel-spectrograms Snoring and Convolutional
                  Neural Networks},
  booktitle    = {{IEEE} International Conference on Bioinformatics and Biomedicine,
                  {BIBM} 2024, Lisbon, Portugal, December 3-6, 2024},
  pages        = {6506--6512},
  publisher    = {{IEEE}},
  year         = {2024},
  url          = {https://doi.org/10.1109/BIBM62325.2024.10822147},
  doi          = {10.1109/BIBM62325.2024.10822147},
  timestamp    = {Tue, 04 Feb 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/bibm/QuadriniAFQSBL24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{SMCA2024,
  author       = {Ramiz Salama and
                  Leonardo Mostarda and
                  Diletta Cacciagrano and
                  Fadi Al{-}Turjman},
  editor       = {Leonard Barolli},
  title        = {Hacking Using Social Engineering Detection and Prevention Methods},
  booktitle    = {Advances on Broad-Band Wireless Computing, Communication and Applications
                  - The 19th International Conference on Broadband and Wireless Computing,
                  Communication and Applications (BWCCA-2024), San Benedetto del Tronto,
                  Italy, 13-15 November 2024},
  series       = {Lecture Notes on Data Engineering and Communications Technologies},
  volume       = {231},
  pages        = {94--103},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-76452-3\_9},
  doi          = {10.1007/978-3-031-76452-3\_9},
  timestamp    = {Wed, 03 Jun 2026 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/bwcca/SalamaMC024.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{QHRT2024,
  author       = {Michela Quadrini and
                  Piero Hierro Canchari and
                  Piermichele Rosati and
                  Luca Tesei},
  editor       = {Luigi Cerulo and
                  Francesco Napolitano and
                  Francesco Bardozzo and
                  Lu Cheng and
                  Annalisa Occhipinti and
                  Stefano Maria Pagnotta},
  title        = {TARNAS, a TrAnslator for {RNA} Secondary Structure Formats},
  booktitle    = {Computational Intelligence Methods for Bioinformatics and Biostatistics
                  - 19th International Meeting, {CIBB} 2024, Benevento, Italy, September
                  4-6, 2024, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {15276},
  pages        = {307--316},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-89704-7\_24},
  doi          = {10.1007/978-3-031-89704-7\_24},
  timestamp    = {Thu, 07 May 2026 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cibb/QuadriniCRT24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{CLT2024a,
  author       = {Valentina Castiglioni and
                  Michele Loreti and
                  Simone Tini},
  editor       = {Roberta Gori and
                  Paolo Milazzo and
                  Mirco Tribastone},
  title        = {Bio-Stark: {A} Tool for the Time-Point Robustness Analysis of Biological
                  Systems},
  booktitle    = {Computational Methods in Systems Biology - 22nd International Conference,
                  {CMSB} 2024, Pisa, Italy, September 16-18, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14971},
  pages        = {62--70},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-71671-3\_5},
  doi          = {10.1007/978-3-031-71671-3\_5},
  timestamp    = {Thu, 03 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cmsb/CastiglioniLT24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{CLT2024b,
  author       = {Valentina Castiglioni and
                  Michele Loreti and
                  Simone Tini},
  editor       = {Rupak Majumdar and
                  Alexandra Silva},
  title        = {RobTL: Robustness Temporal Logic for {CPS}},
  booktitle    = {35th International Conference on Concurrency Theory, {CONCUR} 2024,
                  Calgary, Canada, September 9-13, 2024},
  series       = {LIPIcs},
  volume       = {311},
  pages        = {15:1--15:23},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2024},
  url          = {https://doi.org/10.4230/LIPIcs.CONCUR.2024.15},
  doi          = {10.4230/LIPICS.CONCUR.2024.15},
  timestamp    = {Fri, 21 Nov 2025 14:06:54 +0100},
  biburl       = {https://dblp.org/rec/conf/concur/CastiglioniLT24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DCL2024,
  author       = {Nicola Del Giudice and
                  Federico Maria Cruciani and
                  Michele Loreti},
  editor       = {Ilaria Castellani and
                  Francesco Tiezzi},
  title        = {Visualisation of Collective Systems with Sequit and Sibilla},
  booktitle    = {Coordination Models and Languages - 26th {IFIP} {WG} 6.1 International
                  Conference, {COORDINATION} 2024, Held as Part of the 19th International
                  Federated Conference on Distributed Computing Techniques, DisCoTec
                  2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14676},
  pages        = {277--294},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-62697-5\_15},
  doi          = {10.1007/978-3-031-62697-5\_15},
  timestamp    = {Thu, 04 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/coordination/GiudiceCL24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{USMC2024,
  author       = {Farhan Ullah and
                  Gautam Srivastava and
                  Leonardo Mostarda and
                  Diletta Cacciagrano},
  title        = {Collaborative Intrusion Detection System for Intermittent 10 Vs Using
                  Federated Learning and Deep Swarm Particle Optimization},
  booktitle    = {11th {IEEE} International Conference on Data Science and Advanced
                  Analytics, {DSAA} 2024, San Diego, CA, USA, October 6-10, 2024},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2024},
  url          = {https://doi.org/10.1109/DSAA61799.2024.10722781},
  doi          = {10.1109/DSAA61799.2024.10722781},
  timestamp    = {Mon, 27 Oct 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsaa/Ullah0MC24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{CLLT2024,
  author       = {Valentina Castiglioni and
                  Ruggero Lanotte and
                  Michele Loreti and
                  Simone Tini},
  editor       = {Anne E. Haxthausen and
                  Wendelin Serwe},
  title        = {Evaluating the Effectiveness of Digital Twins Through Statistical
                  Model Checking with Feedback and Perturbations},
  booktitle    = {Formal Methods for Industrial Critical Systems - 29th International
                  Conference, {FMICS} 2024, Milan, Italy, September 9-11, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14952},
  pages        = {21--39},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-68150-9\_2},
  doi          = {10.1007/978-3-031-68150-9\_2},
  timestamp    = {Sun, 08 Sep 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/CastiglioniLLT24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{SQOL2024,
  author       = {Marco Serenelli and
                  Michela Quadrini and
                  Maria {\'{O}}skarsd{\'{o}}ttir and
                  Michele Loreti},
  editor       = {Francesco Calimeri and
                  Mauro Dragoni and
                  Fabio Stella},
  title        = {Encoding Methods Comparison for Stress Detection},
  booktitle    = {Proceedings of the 3rd AIxIA Workshop on Artificial Intelligence For
                  Healthcare (HC@AIxIA 2024) co-located with the 23rd International
                  Conference of the Italian Association for Artificial Intelligence
                  (AIxIA 2024), Bolzano, Italy, 27-28 November 2024},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3880},
  pages        = {311--320},
  publisher    = {CEUR-WS.org},
  year         = {2024},
  url          = {https://ceur-ws.org/Vol-3880/paper27.pdf},
  timestamp    = {Tue, 07 Jan 2025 17:28:28 +0100},
  biburl       = {https://dblp.org/rec/conf/hc/SerenelliQOL24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{BFLPTT2024,
  author       = {Lorenzo Bettini and
                  Gian{-}Luigi Ferrari and
                  Michele Loreti and
                  Rosario Pugliese and
                  Francesco Tiezzi and
                  Emilio Tuosto},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Klaim in the Making},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation.
                  REoCAS Colloquium in Honor of Rocco De Nicola - 12th International
                  Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings,
                  Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {15219},
  pages        = {27--49},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-73709-1\_3},
  doi          = {10.1007/978-3-031-73709-1\_3},
  timestamp    = {Tue, 22 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/BettiniFLPTT24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DLQR2024,
  author       = {Nicola Del Giudice and
                  Michele Loreti and
                  Michela Quadrini and
                  Aniqa Rehman},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Monitoring Local and Global Properties of Collective Adaptive Systems},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation.
                  Rigorous Engineering of Collective Adaptive Systems - 12th International
                  Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings,
                  Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {15220},
  pages        = {281--296},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-75107-3\_17},
  doi          = {10.1007/978-3-031-75107-3\_17},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isola/GiudiceLQR24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{MQMLW2024,
  author       = {Erik Murtaj and
                  Michela Quadrini and
                  Fausto Marcantoni and
                  Michele Loreti and
                  Hans Friedrich Witschel},
  editor       = {Sergio Di Martino and
                  Carlo Sansone and
                  Elio Masciari and
                  Silvia Rossi and
                  Michela Gravina},
  title        = {Real-Time Intrusion Detection via Machine Learning Approaches},
  booktitle    = {Proceedings of the Ital-IA Intelligenza Artificiale - Thematic Workshops
                  co-located with the 4th {CINI} National Lab {AIIS} Conference on Artificial
                  Intelligence (Ital-IA 2024), Naples, Italy, May 29-30, 2024},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3762},
  pages        = {200--205},
  publisher    = {CEUR-WS.org},
  year         = {2024},
  url          = {https://ceur-ws.org/Vol-3762/582.pdf},
  timestamp    = {Fri, 11 Oct 2024 07:47:20 +0200},
  biburl       = {https://dblp.org/rec/conf/ital-ia/MurtajQMLW24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{QFG2024,
  author       = {Michela Quadrini and
                  Denise Falcone and
                  Gianluca Gerard},
  editor       = {Sergio Di Martino and
                  Carlo Sansone and
                  Elio Masciari and
                  Silvia Rossi and
                  Michela Gravina},
  title        = {Comparison of Machine Learning approaches for Stress Detection from
                  Wearable Sensors Data},
  booktitle    = {Proceedings of the Ital-IA Intelligenza Artificiale - Thematic Workshops
                  co-located with the 4th {CINI} National Lab {AIIS} Conference on Artificial
                  Intelligence (Ital-IA 2024), Naples, Italy, May 29-30, 2024},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3762},
  pages        = {384--389},
  publisher    = {CEUR-WS.org},
  year         = {2024},
  url          = {https://ceur-ws.org/Vol-3762/576.pdf},
  timestamp    = {Tue, 08 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ital-ia/QuadriniFG24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{PRL2024,
  author       = {Mattia Paccamiccio and
                  Franco Raimondi and
                  Michele Loreti},
  editor       = {Gianni D'Angelo and
                  Flaminia L. Luccio and
                  Francesco Palmieri},
  title        = {Building call graph of WebAssembly programs via abstract semantics},
  booktitle    = {Proceedings of the 8th Italian Conference on Cyber Security {(ITASEC}
                  2024), Salerno, Italy, April 8-12, 2024},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3731},
  publisher    = {CEUR-WS.org},
  year         = {2024},
  url          = {https://ceur-ws.org/Vol-3731/paper30.pdf},
  timestamp    = {Fri, 26 Jul 2024 13:58:33 +0200},
  biburl       = {https://dblp.org/rec/conf/itasec/PaccamiccioRL24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{Quadrini2024,
  author       = {Michela Quadrini},
  editor       = {Margaret Loper and
                  Alessandro Pellegrini},
  title        = {Reproducibility Report for the Paper: DRackSim: Simulating CXL-enabled
                  Large-Scale Disaggregated Memory Systems},
  booktitle    = {Proceedings of the 38th {ACM} {SIGSIM} Conference on Principles of
                  Advanced Discrete Simulation, {SIGSIM-PADS} 2024, Atlanta, GA, USA,
                  June 24-26, 2024},
  pages        = {144--145},
  publisher    = {{ACM}},
  year         = {2024},
  url          = {https://doi.org/10.1145/3615979.3665111},
  doi          = {10.1145/3615979.3665111},
  timestamp    = {Thu, 04 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pads/Quadrini24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{MQL2024,
  author       = {Lorenzo Matteucci and
                  Michela Quadrini and
                  Michele Loreti},
  editor       = {Marco Gribaudo and
                  Mauro Iacono and
                  Sahra Sedigh Sarvestani},
  title        = {Synthesis Tool Suite for Large Stochastic Model},
  booktitle    = {Performance Evaluation Methodologies and Tools - 17th {EAI} International
                  Conference, {VALUETOOLS} 2024, Milan, Italy, December 12-13, 2024,
                  Proceedings},
  series       = {Lecture Notes of the Institute for Computer Sciences, Social Informatics
                  and Telecommunications Engineering},
  volume       = {663},
  pages        = {369--390},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-032-06818-7\_19},
  doi          = {10.1007/978-3-032-06818-7\_19},
  timestamp    = {Fri, 06 Feb 2026 14:34:18 +0100},
  biburl       = {https://dblp.org/rec/conf/valuetools/MatteucciQL24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@misc{CLT2024c,
  author       = {Valentina Castiglioni and
                  Michele Loreti and
                  Simone Tini},
  title        = {{STARK:} {A} Software Tool for the Analysis of Robustness in the unKnown
                  environment},
  publisher    = {{DROPS} Artifacts},
  year         = {2024},
  month        = nov,
  howpublished = {\url{https://doi.org/10.4230/artifacts.22451}},
  note         = {Accessed on YYYY-MM-DD.},
  url          = {https://doi.org/10.4230/artifacts.22451},
  doi          = {10.4230/ARTIFACTS.22451},
  timestamp    = {Wed, 15 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/data/11/CastiglioniLT24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{QCFDBBG2024,
  author       = {Michela Quadrini and
                  Antonino Capuccio and
                  Denise Falcone and
                  Sebastian Daberdaku and
                  Alessandro Blanda and
                  Luca Bellanova and
                  Gianluca Gerard},
  title        = {Stress detection with encoding physiological signals and convolutional
                  neural network},
  journal      = {Mach. Learn.},
  volume       = {113},
  number       = {8},
  pages        = {5655--5683},
  year         = {2024},
  url          = {https://doi.org/10.1007/s10994-023-06509-4},
  doi          = {10.1007/S10994-023-06509-4},
  timestamp    = {Sun, 25 Oct 2026 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ml/QuadriniCFDBBG24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{BCQL2024,
  author       = {Matteo Belenchia and
                  Flavio Corradini and
                  Michela Quadrini and
                  Michele Loreti},
  title        = {libmg: {A} Python library for programming graph neural networks in
                  {\(\mu\)}G},
  journal      = {Sci. Comput. Program.},
  volume       = {238},
  pages        = {103165},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.scico.2024.103165},
  doi          = {10.1016/J.SCICO.2024.103165},
  timestamp    = {Fri, 19 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/BelenchiaCQL24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{CLT2024d,
  author       = {Valentina Castiglioni and
                  Michele Loreti and
                  Simone Tini},
  title        = {Stark: {A} tool for the analysis of CPSs robustness},
  journal      = {Sci. Comput. Program.},
  volume       = {236},
  pages        = {103134},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.scico.2024.103134},
  doi          = {10.1016/J.SCICO.2024.103134},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/CastiglioniLT24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DMQRL2024,
  author       = {Nicola Del Giudice and
                  Lorenzo Matteucci and
                  Michela Quadrini and
                  Aniqa Rehman and
                  Michele Loreti},
  title        = {Sibilla: {A} tool for reasoning about collective systems},
  journal      = {Sci. Comput. Program.},
  volume       = {235},
  pages        = {103095},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.scico.2024.103095},
  doi          = {10.1016/J.SCICO.2024.103095},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/GiudiceMQRL24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{UTUCZ2024,
  author       = {Farhan Ullah and
                  Ali Turab and
                  Shamsher Ullah and
                  Diletta Cacciagrano and
                  Yue Zhao},
  title        = {Enhanced Network Intrusion Detection System for Internet of Things
                  Security Using Multimodal Big Data Representation with Transfer Learning
                  and Game Theory},
  journal      = {Sensors},
  volume       = {24},
  number       = {13},
  pages        = {4152},
  year         = {2024},
  url          = {https://doi.org/10.3390/s24134152},
  doi          = {10.3390/S24134152},
  timestamp    = {Mon, 27 Oct 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sensors/UllahTUCZ24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{CLLMT2024,
  author       = {Valentina Castiglioni and
                  Ruggero Lanotte and
                  Michele Loreti and
                  Desiree Manicardi and
                  Simone Tini},
  title        = {Robustness for biochemical networks: Step-by-step approach},
  journal      = {Theor. Comput. Sci.},
  volume       = {1022},
  pages        = {114934},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.tcs.2024.114934},
  doi          = {10.1016/J.TCS.2024.114934},
  timestamp    = {Tue, 24 Mar 2026 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/CastiglioniLLMT24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{AMAACA2023,
  author       = {Sarumi Usman Abidemi and
                  Auwalu Saleh Mubarak and
                  Olukayode Akanni and
                  Zubaida Sa'id Ameen and
                  Diletta Cacciagrano and
                  Fadi M. Al{-}Turjman},
  editor       = {Leonard Barolli},
  title        = {Attendance System via Internet of Things, Blockchain and Artificial
                  Intelligence Technology: Literature Review},
  booktitle    = {Advanced Information Networking and Applications - Proceedings of
                  the 37th International Conference on Advanced Information Networking
                  and Applications (AINA-2023), Juiz de Fora, Brazil, 29-31 March 2023,
                  Volume 3},
  series       = {Lecture Notes in Networks and Systems},
  volume       = {655},
  pages        = {321--330},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-28694-0\_30},
  doi          = {10.1007/978-3-031-28694-0\_30},
  timestamp    = {Wed, 03 Jun 2026 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aina/AbidemiMAACA23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{CCP2023,
  author       = {Diletta Cacciagrano and
                  Flavio Corradini and
                  Marco Piangerelli},
  editor       = {Leonard Barolli},
  title        = {Sensorless Predictive Maintenance: An Example on a 'Not 4.0' Coffee
                  Machine Production Process},
  booktitle    = {Advanced Information Networking and Applications - Proceedings of
                  the 37th International Conference on Advanced Information Networking
                  and Applications (AINA-2023), Juiz de Fora, Brazil, 29-31 March 2023,
                  Volume 3},
  series       = {Lecture Notes in Networks and Systems},
  volume       = {655},
  pages        = {311--320},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-28694-0\_29},
  doi          = {10.1007/978-3-031-28694-0\_29},
  timestamp    = {Sun, 21 Jun 2026 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aina/CacciagranoCP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{CLT2023a,
  author       = {Valentina Castiglioni and
                  Michele Loreti and
                  Simone Tini},
  editor       = {Sung{-}Shik Jongmans and
                  Ant{\'{o}}nia Lopes},
  title        = {Stark: {A} Software Tool for the Analysis of Robustness in the unKnown
                  Environment},
  booktitle    = {Coordination Models and Languages - 25th {IFIP} {WG} 6.1 International
                  Conference, {COORDINATION} 2023, Held as Part of the 18th International
                  Federated Conference on Distributed Computing Techniques, DisCoTec
                  2023, Lisbon, Portugal, June 19-23, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13908},
  pages        = {115--132},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-35361-1\_6},
  doi          = {10.1007/978-3-031-35361-1\_6},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/coordination/CastiglioniLT23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{BCQL2023,
  author       = {Matteo Belenchia and
                  Flavio Corradini and
                  Michela Quadrini and
                  Michele Loreti},
  editor       = {Marieke Huisman and
                  Ant{\'{o}}nio Ravara},
  title        = {Implementing a {CTL} Model Checker with {\(\mu\)} \emph{G}, a Language
                  for Programming Graph Neural Networks},
  booktitle    = {Formal Techniques for Distributed Objects, Components, and Systems
                  - 43rd {IFIP} {WG} 6.1 International Conference, {FORTE} 2023, Held
                  as Part of the 18th International Federated Conference on Distributed
                  Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23,
                  2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13910},
  pages        = {37--54},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-35355-0\_4},
  doi          = {10.1007/978-3-031-35355-0\_4},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/forte/BelenchiaCQL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{CLT2023b,
  author       = {Valentina Castiglioni and
                  Michele Loreti and
                  Simone Tini},
  editor       = {Giuseppa Castiglione and
                  Marinella Sciortino},
  title        = {DisTL: {A} Temporal Logic for the Analysis of the Expected Behaviour
                  of Cyber-Physical Systems},
  booktitle    = {Proceedings of the 24th Italian Conference on Theoretical Computer
                  Science, Palermo, Italy, September 13-15, 2023},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3587},
  pages        = {15--30},
  publisher    = {CEUR-WS.org},
  year         = {2023},
  url          = {https://ceur-ws.org/Vol-3587/4168.pdf},
  timestamp    = {Mon, 18 Dec 2023 16:58:34 +0100},
  biburl       = {https://dblp.org/rec/conf/ictcs/CastiglioniLT23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DMMM2023,
  author       = {Nicola Del Giudice and
                  Fausto Marcantoni and
                  Alessandro Marcelletti and
                  Francesco Moschella},
  editor       = {Paolo Ciancarini and
                  Angelo Di Iorio and
                  Helmut Hlavacs and
                  Francesco Poggi},
  title        = {{SEC-GAME:} {A} Minigame Collection for Cyber Security Awareness},
  booktitle    = {Entertainment Computing - {ICEC} 2023 - 22nd {IFIP} {TC} 14 International
                  Conference, {ICEC} 2023, Bologna, Italy, November 15-17, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14455},
  pages        = {365--370},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-981-99-8248-6\_33},
  doi          = {10.1007/978-981-99-8248-6\_33},
  timestamp    = {Thu, 01 May 2025 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iwec/GiudiceMMM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{CLT2023c,
  author       = {Valentina Castiglioni and
                  Michele Loreti and
                  Simone Tini},
  title        = {A framework to measure the robustness of programs in the unpredictable
                  environment},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {19},
  number       = {3},
  year         = {2023},
  url          = {https://doi.org/10.46298/lmcs-19(3:2)2023},
  doi          = {10.46298/LMCS-19(3:2)2023},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/lmcs/CastiglioniLT23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{LQ2023,
  author       = {Michele Loreti and
                  Michela Quadrini},
  title        = {A Spatial Logic for Simplicial Models},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {19},
  number       = {3},
  year         = {2023},
  url          = {https://doi.org/10.46298/lmcs-19(3:8)2023},
  doi          = {10.46298/LMCS-19(3:8)2023},
  timestamp    = {Thu, 14 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/LoretiQ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{NBBSL2023,
  author       = {Laura Nenzi and
                  Ezio Bartocci and
                  Luca Bortolussi and
                  Simone Silvetti and
                  Michele Loreti},
  title        = {MoonLight: a lightweight tool for monitoring spatio-temporal properties},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {25},
  number       = {4},
  pages        = {503--517},
  year         = {2023},
  url          = {https://doi.org/10.1007/s10009-023-00710-5},
  doi          = {10.1007/S10009-023-00710-5},
  timestamp    = {Sat, 06 Sep 2025 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/NenziBBSL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DL2022,
  author       = {Nicola Del Giudice and
                  Michele Loreti},
  editor       = {Roberto Casadei and
                  Elisabetta Di Nitto and
                  Ilias Gerostathopoulos and
                  Danilo Pianini and
                  Ivana Dusparic and
                  Timothy Wood and
                  Phyllis R. Nelson and
                  Evangelos Pournaras and
                  Nelly Bencomo and
                  Sebastian G{\"{o}}tz and
                  Christian Krupitzer and
                  Claudia Raibulet},
  title        = {{YODA:} Yet anOther agent Description lAnguage},
  booktitle    = {{IEEE} International Conference on Autonomic Computing and Self-Organizing
                  Systems Companion, {ACSOS-C} 2022, Virtual, CA, USA, September 19-23,
                  2022},
  pages        = {82--87},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/ACSOSC56246.2022.00038},
  doi          = {10.1109/ACSOSC56246.2022.00038},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsos/GiudiceL22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{CCMNS2022,
  author       = {Diletta Cacciagrano and
                  Rosario Culmone and
                  Leonardo Mostarda and
                  Alfredo Navarra and
                  Emanuele Scala},
  editor       = {Leonard Barolli and
                  Farookh Hussain and
                  Tomoya Enokido},
  title        = {Robot Based Computing System: An Educational Experience},
  booktitle    = {Advanced Information Networking and Applications - Proceedings of
                  the 36th International Conference on Advanced Information Networking
                  and Applications (AINA-2022), Volume 3},
  series       = {Lecture Notes in Networks and Systems},
  volume       = {451},
  pages        = {265--274},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-030-99619-2\_26},
  doi          = {10.1007/978-3-030-99619-2\_26},
  timestamp    = {Thu, 01 Oct 2026 10:08:35 +0200},
  biburl       = {https://dblp.org/rec/conf/aina/CacciagranoCMNS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{PM2022,
  author       = {Mattia Paccamiccio and
                  Leonardo Mostarda},
  editor       = {Leonard Barolli and
                  Farookh Hussain and
                  Tomoya Enokido},
  title        = {Reasoning About Inter-procedural Security Requirements in IoT Applications},
  booktitle    = {Advanced Information Networking and Applications - Proceedings of
                  the 36th International Conference on Advanced Information Networking
                  and Applications (AINA-2022), Volume 3},
  series       = {Lecture Notes in Networks and Systems},
  volume       = {451},
  pages        = {245--254},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-030-99619-2\_24},
  doi          = {10.1007/978-3-030-99619-2\_24},
  timestamp    = {Thu, 01 Oct 2026 10:08:35 +0200},
  biburl       = {https://dblp.org/rec/conf/aina/PaccamiccioM22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DMQRL2022,
  author       = {Nicola Del Giudice and
                  Lorenzo Matteucci and
                  Michela Quadrini and
                  Aniqa Rehman and
                  Michele Loreti},
  editor       = {Maurice H. ter Beek and
                  Marjan Sirjani},
  title        = {Sibilla: {A} Tool for Reasoning about Collective Systems},
  booktitle    = {Coordination Models and Languages - 24th {IFIP} {WG} 6.1 International
                  Conference, {COORDINATION} 2022, Held as Part of the 17th International
                  Federated Conference on Distributed Computing Techniques, DisCoTec
                  2022, Lucca, Italy, June 13-17, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13271},
  pages        = {92--98},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-08143-9\_6},
  doi          = {10.1007/978-3-031-08143-9\_6},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/coordination/GiudiceMQRL22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{QDBCBG2022,
  author       = {Michela Quadrini and
                  Sebastian Daberdaku and
                  Alessandro Blanda and
                  Antonino Capuccio and
                  Luca Bellanova and
                  Gianluca Gerard},
  editor       = {Pascal Poncelet and
                  Dino Ienco},
  title        = {Stress Detection from Wearable Sensor Data Using Gramian Angular Fields
                  and {CNN}},
  booktitle    = {Discovery Science - 25th International Conference, {DS} 2022, Montpellier,
                  France, October 10-12, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13601},
  pages        = {173--183},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-18840-4\_13},
  doi          = {10.1007/978-3-031-18840-4\_13},
  timestamp    = {Tue, 08 Aug 2023 09:01:12 +0200},
  biburl       = {https://dblp.org/rec/conf/dis/QuadriniDBCBG22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{LR2022,
  author       = {Michele Loreti and
                  Aniqa Rehman},
  editor       = {Erika {\'{A}}brah{\'{a}}m and
                  Marco Paolieri},
  title        = {A Logical Framework for Reasoning About Local and Global Properties
                  of Collective Systems},
  booktitle    = {Quantitative Evaluation of Systems - 19th International Conference,
                  {QEST} 2022, Warsaw, Poland, September 12-16, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13479},
  pages        = {133--149},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-16336-4\_7},
  doi          = {10.1007/978-3-031-16336-4\_7},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/LoretiR22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{QDF2022,
  author       = {Michela Quadrini and
                  Sebastian Daberdaku and
                  Carlo Ferrari},
  title        = {Hierarchical representation for {PPI} sites prediction},
  journal      = {{BMC} Bioinform.},
  volume       = {23},
  number       = {1},
  pages        = {96},
  year         = {2022},
  url          = {https://doi.org/10.1186/s12859-022-04624-y},
  doi          = {10.1186/S12859-022-04624-Y},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bmcbi/QuadriniDF22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{QTM2022,
  author       = {Michela Quadrini and
                  Luca Tesei and
                  Emanuela Merelli},
  title        = {Automatic generation of pseudoknotted RNAs taxonomy},
  journal      = {{BMC} Bioinform.},
  volume       = {23-S},
  number       = {6},
  pages        = {575},
  year         = {2022},
  url          = {https://doi.org/10.1186/s12859-023-05362-5},
  doi          = {10.1186/S12859-023-05362-5},
  timestamp    = {Tue, 21 Apr 2026 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bmcbi/QuadriniTM22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{CLPR2022,
  author       = {Flavio Corradini and
                  Michele Loreti and
                  Marco Piangerelli and
                  Giacomo Rocchetti},
  title        = {{REPTILE:} {A} Proactive Real-Time Deep Reinforcement Learning Self-adaptive
                  Framework},
  journal      = {CoRR},
  volume       = {abs/2203.14686},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2203.14686},
  doi          = {10.48550/ARXIV.2203.14686},
  eprinttype   = {arXiv},
  eprint       = {2203.14686},
  timestamp    = {Sun, 21 Jun 2026 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2203-14686.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{CLT2022a,
  author       = {Valentina Castiglioni and
                  Michele Loreti and
                  Simone Tini},
  title        = {EvTL: {A} Temporal Logic for the Transient Analysis of Cyber-Physical
                  Systems},
  journal      = {CoRR},
  volume       = {abs/2204.13357},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2204.13357},
  doi          = {10.48550/ARXIV.2204.13357},
  eprinttype   = {arXiv},
  eprint       = {2204.13357},
  timestamp    = {Mon, 02 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2204-13357.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{ACMPU2022,
  author       = {Fadi M. Al{-}Turjman and
                  Diletta Cacciagrano and
                  Leonardo Mostarda and
                  Mattia Paccamiccio and
                  Zaib Ullah},
  title        = {Light Communication for Controlling Industrial Robots},
  journal      = {CoRR},
  volume       = {abs/2205.03745},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2205.03745},
  doi          = {10.48550/ARXIV.2205.03745},
  eprinttype   = {arXiv},
  eprint       = {2205.03745},
  timestamp    = {Wed, 03 Jun 2026 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2205-03745.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{CLT2022b,
  author       = {Valentina Castiglioni and
                  Michele Loreti and
                  Simone Tini},
  title        = {RobTL: {A} Temporal Logic for the Robustness of Cyber-Physical Systems},
  journal      = {CoRR},
  volume       = {abs/2212.11158},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2212.11158},
  doi          = {10.48550/ARXIV.2212.11158},
  eprinttype   = {arXiv},
  eprint       = {2212.11158},
  timestamp    = {Wed, 04 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2212-11158.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{MMC2022,
  author       = {Marco Marcozzi and
                  Leonardo Mostarda and
                  Diletta Cacciagrano},
  title        = {Off-chain trading for micro grid systems},
  journal      = {Frontiers Blockchain},
  volume       = {5},
  year         = {2022},
  url          = {https://doi.org/10.3389/fbloc.2022.956621},
  doi          = {10.3389/FBLOC.2022.956621},
  timestamp    = {Sat, 19 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fbloc/MarcozziMC22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{PMGCCC2022,
  author       = {Fabio Pagnotta and
                  Leonardo Mostarda and
                  Orhan Gemikonakli and
                  Rosario Culmone and
                  Diletta Romana Cacciagrano and
                  Flavio Corradini},
  title        = {{NARUN:} noise adaptive routing for utility networks},
  journal      = {Int. J. Web Grid Serv.},
  volume       = {18},
  number       = {4},
  pages        = {384--410},
  year         = {2022},
  url          = {https://doi.org/10.1504/IJWGS.2022.10046188},
  doi          = {10.1504/IJWGS.2022.10046188},
  timestamp    = {Thu, 13 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijwgs/PagnottaMGCCC22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{NBBL2022,
  author       = {Laura Nenzi and
                  Ezio Bartocci and
                  Luca Bortolussi and
                  Michele Loreti},
  title        = {A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical
                  Systems},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {18},
  number       = {1},
  year         = {2022},
  url          = {https://doi.org/10.46298/lmcs-18(1:4)2022},
  doi          = {10.46298/LMCS-18(1:4)2022},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/lmcs/NenziBBL22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{BTES2021,
  author       = {Matteo Belenchia and
                  Kristinn R. Th{\'{o}}risson and
                  Leonard M. Eberding and
                  Arash Sheikhlar},
  editor       = {Ben Goertzel and
                  Matthew Ikl{\'{e}} and
                  Alexey Potapov},
  title        = {Elements of Task Theory},
  booktitle    = {Artificial General Intelligence - 14th International Conference, {AGI}
                  2021, Palo Alto, CA, USA, October 15-18, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13154},
  pages        = {19--29},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-93758-4\_3},
  doi          = {10.1007/978-3-030-93758-4\_3},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/agi/BelenchiaTES21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{EBST2021,
  author       = {Leonard M. Eberding and
                  Matteo Belenchia and
                  Arash Sheikhlar and
                  Kristinn R. Th{\'{o}}risson},
  editor       = {Ben Goertzel and
                  Matthew Ikl{\'{e}} and
                  Alexey Potapov},
  title        = {About the Intricacy of Tasks},
  booktitle    = {Artificial General Intelligence - 14th International Conference, {AGI}
                  2021, Palo Alto, CA, USA, October 15-18, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13154},
  pages        = {65--74},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-93758-4\_8},
  doi          = {10.1007/978-3-030-93758-4\_8},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/agi/EberdingBST21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{CCMMS2021,
  author       = {Diletta Cacciagrano and
                  Flavio Corradini and
                  Gianmarco Mazzante and
                  Leonardo Mostarda and
                  Davide Sestili},
  editor       = {Leonard Barolli and
                  Isaac Woungang and
                  Tomoya Enokido},
  title        = {Off-Chain Execution of IoT Smart Contracts},
  booktitle    = {Advanced Information Networking and Applications - Proceedings of
                  the 35th International Conference on Advanced Information Networking
                  and Applications (AINA-2021), Toronto, ON, Canada, 12-14 May, 2021,
                  Volume 2},
  series       = {Lecture Notes in Networks and Systems},
  volume       = {226},
  pages        = {608--619},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-75075-6\_50},
  doi          = {10.1007/978-3-030-75075-6\_50},
  timestamp    = {Thu, 12 Aug 2021 13:39:18 +0200},
  biburl       = {https://dblp.org/rec/conf/aina/CacciagranoCMMS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{CLT2021,
  author       = {Valentina Castiglioni and
                  Michele Loreti and
                  Simone Tini},
  editor       = {Kirstin Peters and
                  Tim A. C. Willemse},
  title        = {How Adaptive and Reliable is Your Program?},
  booktitle    = {Formal Techniques for Distributed Objects, Components, and Systems
                  - 41st {IFIP} {WG} 6.1 International Conference, {FORTE} 2021, Held
                  as Part of the 16th International Federated Conference on Distributed
                  Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18,
                  2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12719},
  pages        = {60--79},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-78089-0\_4},
  doi          = {10.1007/978-3-030-78089-0\_4},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/forte/CastiglioniLT21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{VBLN2021,
  author       = {Ennio Visconti and
                  Ezio Bartocci and
                  Michele Loreti and
                  Laura Nenzi},
  editor       = {S. Arun{-}Kumar and
                  Dominique M{\'{e}}ry and
                  Indranil Saha and
                  Lijun Zhang},
  title        = {Online monitoring of spatio-temporal properties for imprecise signals},
  booktitle    = {{MEMOCODE} '21: 19th {ACM-IEEE} International Conference on Formal
                  Methods and Models for System Design, Virtual Event, China, November
                  20 - 22, 2021},
  pages        = {78--88},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3487212.3487344},
  doi          = {10.1145/3487212.3487344},
  timestamp    = {Wed, 29 Oct 2025 17:44:06 +0100},
  biburl       = {https://dblp.org/rec/conf/memocode/ViscontiBLN21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{QCDF2021,
  author       = {Michela Quadrini and
                  Massimo Cavallin and
                  Sebastian Daberdaku and
                  Carlo Ferrari},
  editor       = {Giuseppe Nicosia and
                  Varun Ojha and
                  Emanuele La Malfa and
                  Gabriele La Malfa and
                  Giorgio Jansen and
                  Panos M. Pardalos and
                  Giovanni Giuffrida and
                  Renato Umeton},
  title        = {ProSPs: Protein Sites Prediction Based on Sequence Fragments},
  booktitle    = {Machine Learning, Optimization, and Data Science - 7th International
                  Conference, {LOD} 2021, Grasmere, UK, October 4-8, 2021, Revised Selected
                  Papers, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13163},
  pages        = {568--580},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-95467-3\_41},
  doi          = {10.1007/978-3-030-95467-3\_41},
  timestamp    = {Wed, 23 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mod/QuadriniCDF21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{CCM2021,
  author       = {Diletta Cacciagrano and
                  Flavio Corradini and
                  Leonardo Mostarda},
  editor       = {Aurona Gerber and
                  Knut Hinkelmann},
  title        = {Blockchain and IoT Integration for Society 5.0},
  booktitle    = {Society 5.0 - First International Conference, Society 5.0 2021, Virtual
                  Event, June 22-24, 2021, Revised Selected Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {1477},
  pages        = {1--12},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-86761-4\_1},
  doi          = {10.1007/978-3-030-86761-4\_1},
  timestamp    = {Mon, 03 Mar 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/society5/CacciagranoCM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{LQ2021,
  author       = {Michele Loreti and
                  Michela Quadrini},
  title        = {A Spatial Logic for a Simplicial Complex Model},
  journal      = {CoRR},
  volume       = {abs/2105.08708},
  year         = {2021},
  url          = {https://doi.org/10.48550/arXiv.2105.08708},
  doi          = {10.48550/ARXIV.2105.08708},
  eprinttype   = {arXiv},
  eprint       = {2105.08708},
  timestamp    = {Thu, 01 Oct 2026 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2105-08708.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{Loreti2021,
  author       = {Michele Loreti},
  title        = {Semantics of the probabilistic Lambda Calculus By Dirk Draheim},
  journal      = {Formal Aspects Comput.},
  volume       = {33},
  number       = {3},
  pages        = {457--458},
  year         = {2021},
  url          = {https://doi.org/10.1007/s00165-021-00534-7},
  doi          = {10.1007/S00165-021-00534-7},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/Loreti21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{Quadrini2021,
  author       = {Michela Quadrini},
  title        = {Structural relation matching: an algorithm to identify structural
                  patterns into RNAs and their interactions},
  journal      = {J. Integr. Bioinform.},
  volume       = {18},
  number       = {2},
  pages        = {111--126},
  year         = {2021},
  url          = {https://doi.org/10.1515/jib-2020-0039},
  doi          = {10.1515/JIB-2020-0039},
  timestamp    = {Wed, 14 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jib/Quadrini21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DDL2021,
  author       = {Rocco De Nicola and
                  Tan Duong and
                  Michele Loreti},
  title        = {Provably correct implementation of the \emph{AbC} calculus},
  journal      = {Sci. Comput. Program.},
  volume       = {202},
  pages        = {102567},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.scico.2020.102567},
  doi          = {10.1016/J.SCICO.2020.102567},
  timestamp    = {Thu, 16 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/NicolaDL21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{CLT2020a,
  author       = {Valentina Castiglioni and
                  Michele Loreti and
                  Simone Tini},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Measuring Adaptability and Reliability of Large Scale Systems},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation:
                  Engineering Principles - 9th International Symposium on Leveraging
                  Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October
                  20-30, 2020, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12477},
  pages        = {380--396},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-61470-6\_23},
  doi          = {10.1007/978-3-030-61470-6\_23},
  timestamp    = {Sun, 01 Feb 2026 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isola/CastiglioniLT20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{LS2020,
  editor       = {Michele Loreti and
                  Luca Spalazzi},
  title        = {Proceedings of the Fourth Italian Conference on Cyber Security, Ancona,
                  Italy, February 4th to 7th, 2020},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2597},
  publisher    = {CEUR-WS.org},
  year         = {2020},
  url          = {https://ceur-ws.org/Vol-2597},
  urn          = {urn:nbn:de:0074-2597-0},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/itasec/2020.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{QDF2020,
  author       = {Michela Quadrini and
                  Sebastian Daberdaku and
                  Carlo Ferrari},
  editor       = {Giuseppe Nicosia and
                  Varun Ojha and
                  Emanuele La Malfa and
                  Giorgio Jansen and
                  Vincenzo Sciacca and
                  Panos M. Pardalos and
                  Giovanni Giuffrida and
                  Renato Umeton},
  title        = {Hierarchical Representation and Graph Convolutional Networks for the
                  Prediction of Protein-Protein Interaction Sites},
  booktitle    = {Machine Learning, Optimization, and Data Science - 6th International
                  Conference, {LOD} 2020, Siena, Italy, July 19-23, 2020, Revised Selected
                  Papers, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12566},
  pages        = {409--420},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-64580-9\_34},
  doi          = {10.1007/978-3-030-64580-9\_34},
  timestamp    = {Mon, 03 Mar 2025 21:18:51 +0100},
  biburl       = {https://dblp.org/rec/conf/mod/QuadriniDF20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{Quadrini2020,
  author       = {Michela Quadrini},
  editor       = {Gabriella Panuccio and
                  Miguel Rocha and
                  Florentino Fdez{-}Riverola and
                  Mohd Saberi Mohamad and
                  Roberto Casado{-}Vara},
  title        = {Searching {RNA} Substructures with Arbitrary Pseudoknots},
  booktitle    = {Practical Applications of Computational Biology {\&} Bioinformatics,
                  14th International Conference {(PACBB} 2020), L'Aquila, Italy, 17-19
                  June, 2020},
  series       = {Advances in Intelligent Systems and Computing},
  volume       = {1240},
  pages        = {123--133},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-54568-0\_13},
  doi          = {10.1007/978-3-030-54568-0\_13},
  timestamp    = {Wed, 12 Oct 2022 08:58:53 +0200},
  biburl       = {https://dblp.org/rec/conf/pacbb/Quadrini20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{BBLNS2020,
  author       = {Ezio Bartocci and
                  Luca Bortolussi and
                  Michele Loreti and
                  Laura Nenzi and
                  Simone Silvetti},
  editor       = {Jyotirmoy Deshmukh and
                  Dejan Nickovic},
  title        = {MoonLight: {A} Lightweight Tool for Monitoring Spatio-Temporal Properties},
  booktitle    = {Runtime Verification - 20th International Conference, {RV} 2020, Los
                  Angeles, CA, USA, October 6-9, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12399},
  pages        = {417--428},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-60508-7\_23},
  doi          = {10.1007/978-3-030-60508-7\_23},
  timestamp    = {Sat, 06 Sep 2025 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rv/BartocciBLNS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{NBBLV2020,
  author       = {Laura Nenzi and
                  Ezio Bartocci and
                  Luca Bortolussi and
                  Michele Loreti and
                  Ennio Visconti},
  editor       = {Jyotirmoy Deshmukh and
                  Dejan Nickovic},
  title        = {Monitoring Spatio-Temporal Properties (Invited Tutorial)},
  booktitle    = {Runtime Verification - 20th International Conference, {RV} 2020, Los
                  Angeles, CA, USA, October 6-9, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12399},
  pages        = {21--46},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-60508-7\_2},
  doi          = {10.1007/978-3-030-60508-7\_2},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rv/NenziBBLV20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{QTM2020,
  author       = {Michela Quadrini and
                  Luca Tesei and
                  Emanuela Merelli},
  title        = {ASPRAlign: a tool for the alignment of {RNA} secondary structures
                  with arbitrary pseudoknots},
  journal      = {Bioinform.},
  volume       = {36},
  number       = {11},
  pages        = {3578--3579},
  year         = {2020},
  url          = {https://doi.org/10.1093/bioinformatics/btaa147},
  doi          = {10.1093/BIOINFORMATICS/BTAA147},
  timestamp    = {Fri, 25 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/bioinformatics/QuadriniTM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{MRCLWK2020,
  author       = {Khalid Mahmood and
                  Aniqa Rehman and
                  Pradeep Chaudhary and
                  Xiong Li and
                  Fan Wu and
                  Saru Kumari},
  title        = {Revised anonymous authentication protocol for adaptive client-server
                  infrastructure},
  journal      = {Int. J. Commun. Syst.},
  volume       = {33},
  number       = {4},
  year         = {2020},
  url          = {https://doi.org/10.1002/dac.4253},
  doi          = {10.1002/DAC.4253},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijcomsys/MahmoodRCLWK20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{CCMM2020,
  author       = {Diletta Cacciagrano and
                  Flavio Corradini and
                  Matteo Micheletti and
                  Leonardo Mostarda},
  title        = {Applying {REECHD} to non-uniformly distributed heterogeneous devices},
  journal      = {Int. J. Grid Util. Comput.},
  volume       = {11},
  number       = {5},
  pages        = {629--645},
  year         = {2020},
  url          = {https://doi.org/10.1504/IJGUC.2020.110061},
  doi          = {10.1504/IJGUC.2020.110061},
  timestamp    = {Thu, 22 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijguc/CacciagranoCMM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{CC2020,
  author       = {Diletta Romana Cacciagrano and
                  Rosario Culmone},
  title        = {{IRON:} Reliable domain specific language for programming IoT devices},
  journal      = {Internet Things},
  volume       = {9},
  pages        = {100020},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.iot.2018.09.006},
  doi          = {10.1016/J.IOT.2018.09.006},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iot/CacciagranoC20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{ADL2020,
  author       = {Yehia Abd Alrahman and
                  Rocco De Nicola and
                  Michele Loreti},
  title        = {Programming interactions in collective adaptive systems by relying
                  on attribute-based communication},
  journal      = {Sci. Comput. Program.},
  volume       = {192},
  pages        = {102428},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.scico.2020.102428},
  doi          = {10.1016/J.SCICO.2020.102428},
  timestamp    = {Sat, 30 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/AlrahmanNL20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{BHL2020,
  author       = {Luca Bortolussi and
                  Jane Hillston and
                  Michele Loreti},
  title        = {Fluid approximation of broadcasting systems},
  journal      = {Theor. Comput. Sci.},
  volume       = {816},
  pages        = {221--248},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.tcs.2020.02.020},
  doi          = {10.1016/J.TCS.2020.02.020},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BortolussiHL20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{CLT2020b,
  author       = {Valentina Castiglioni and
                  Michele Loreti and
                  Simone Tini},
  title        = {The metric linear-time branching-time spectrum on nondeterministic
                  probabilistic processes},
  journal      = {Theor. Comput. Sci.},
  volume       = {813},
  pages        = {20--69},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.tcs.2019.09.019},
  doi          = {10.1016/J.TCS.2019.09.019},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/CastiglioniLT20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{QMP2019a,
  author       = {Michela Quadrini and
                  Emanuela Merelli and
                  Riccardo Piergallini},
  editor       = {Elisabetta De Maria and
                  Ana L. N. Fred and
                  Hugo Gamboa},
  title        = {Loop Grammars to Identify {RNA} Structural Patterns},
  booktitle    = {Proceedings of the 12th International Joint Conference on Biomedical
                  Engineering Systems and Technologies {(BIOSTEC} 2019) - Volume 3:
                  BIOINFORMATICS, Prague, Czech Republic, February 22-24, 2019},
  pages        = {302--309},
  publisher    = {SciTePress},
  year         = {2019},
  url          = {https://doi.org/10.5220/0007576603020309},
  doi          = {10.5220/0007576603020309},
  timestamp    = {Tue, 06 Jun 2023 14:58:00 +0200},
  biburl       = {https://dblp.org/rec/conf/biostec/QuadriniMP19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{BCLP2019,
  editor       = {Michele Boreale and
                  Flavio Corradini and
                  Michele Loreti and
                  Rosario Pugliese},
  title        = {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},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-21485-2},
  doi          = {10.1007/978-3-030-21485-2},
  isbn         = {978-3-030-21484-5},
  timestamp    = {Thu, 04 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/2019denicola.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{QMP2019b,
  author       = {Michela Quadrini and
                  Emanuela Merelli and
                  Riccardo Piergallini},
  editor       = {Paolo Cazzaniga and
                  Daniela Besozzi and
                  Ivan Merelli and
                  Luca Manzoni},
  title        = {Label Core for Understanding {RNA} Structure},
  booktitle    = {Computational Intelligence Methods for Bioinformatics and Biostatistics
                  - 16th International Meeting, {CIBB} 2019, Bergamo, Italy, September
                  4-6, 2019, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {12313},
  pages        = {171--179},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-63061-4\_16},
  doi          = {10.1007/978-3-030-63061-4\_16},
  timestamp    = {Thu, 17 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cibb/QuadriniMP19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DDL2019,
  author       = {Rocco De Nicola and
                  Tan Duong and
                  Michele Loreti},
  editor       = {Hanne Riis Nielson and
                  Emilio Tuosto},
  title        = {{ABEL} - {A} Domain Specific Framework for Programming with Attribute-Based
                  Communication},
  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        = {111--128},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-22397-7\_7},
  doi          = {10.1007/978-3-030-22397-7\_7},
  timestamp    = {Sun, 19 Jan 2025 13:15:30 +0100},
  biburl       = {https://dblp.org/rec/conf/coordination/NicolaDL19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{LRZ2019,
  author       = {Saba Latif and
                  Aniqa Rehman and
                  Nazir Ahmad Zafar},
  title        = {Blockchain and IoT Based Formal Model of Smart Waste Management System
                  Using {TLA+}},
  booktitle    = {International Conference on Frontiers of Information Technology, {FIT}
                  2019, Islamabad, Pakistan, December 16-18, 2019},
  pages        = {304--309},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/FIT47737.2019.00064},
  doi          = {10.1109/FIT47737.2019.00064},
  timestamp    = {Wed, 11 Mar 2020 10:45:18 +0100},
  biburl       = {https://dblp.org/rec/conf/fit/LatifRZ19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{PTM2019,
  author       = {Marco Piangerelli and
                  Luca Tesei and
                  Emanuela Merelli},
  editor       = {Hossein Hojjat and
                  Mieke Massink},
  title        = {A Persistent Entropy Automaton for the Dow Jones Stock Market},
  booktitle    = {Fundamentals of Software Engineering - 8th International Conference,
                  {FSEN} 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {11761},
  pages        = {37--42},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-31517-7\_3},
  doi          = {10.1007/978-3-030-31517-7\_3},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fsen/PiangerelliTM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{BGTKWCDHHIJKLLMMNNPRSTZ2019,
  author       = {Amel Bennaceur and
                  Carlo Ghezzi and
                  Kenji Tei and
                  Timo Kehrer and
                  Danny Weyns and
                  Radu Calinescu and
                  Schahram Dustdar and
                  Zhenjiang Hu and
                  Shinichi Honiden and
                  Fuyuki Ishikawa and
                  Zhi Jin and
                  Jeffrey Kramer and
                  Marin Litoiu and
                  Michele Loreti and
                  Gabriel A. Moreno and
                  Hausi A. M{\"{u}}ller and
                  Laura Nenzi and
                  Bashar Nuseibeh and
                  Liliana Pasquale and
                  Wolfgang Reisig and
                  Heinz Schmidt and
                  Christos Tsigkanos and
                  Haiyan Zhao},
  editor       = {Marin Litoiu and
                  Siobh{\'{a}}n Clarke and
                  Kenji Tei},
  title        = {Modelling and analysing resilient cyber-physical systems},
  booktitle    = {Proceedings of the 14th International Symposium on Software Engineering
                  for Adaptive and Self-Managing Systems, SEAMS@ICSE 2019, Montreal,
                  QC, Canada, May 25-31, 2019},
  pages        = {70--76},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1109/SEAMS.2019.00018},
  doi          = {10.1109/SEAMS.2019.00018},
  timestamp    = {Sat, 19 Sep 2026 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icse/BennaceurGTKWCD19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{TNLGDG2019,
  author       = {Christos Tsigkanos and
                  Laura Nenzi and
                  Michele Loreti and
                  Martin Garriga and
                  Schahram Dustdar and
                  Carlo Ghezzi},
  editor       = {Marin Litoiu and
                  Siobh{\'{a}}n Clarke and
                  Kenji Tei},
  title        = {Inferring analyzable models from trajectories of spatially-distributed
                  internet of things},
  booktitle    = {Proceedings of the 14th International Symposium on Software Engineering
                  for Adaptive and Self-Managing Systems, SEAMS@ICSE 2019, Montreal,
                  QC, Canada, May 25-31, 2019},
  pages        = {100--106},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1109/SEAMS.2019.00021},
  doi          = {10.1109/SEAMS.2019.00021},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/TsigkanosNLGDG19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{QTM2019,
  author       = {Michela Quadrini and
                  Luca Tesei and
                  Emanuela Merelli},
  title        = {An algebraic language for {RNA} pseudoknots comparison},
  journal      = {{BMC} Bioinform.},
  volume       = {20-S},
  number       = {4},
  pages        = {161:1--161:18},
  year         = {2019},
  url          = {https://doi.org/10.1186/s12859-019-2689-5},
  doi          = {10.1186/S12859-019-2689-5},
  timestamp    = {Tue, 05 Aug 2025 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bmcbi/QuadriniTM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{RTM2019,
  author       = {Matteo Rucco and
                  Luca Tesei and
                  Emanuela Merelli},
  title        = {Topological Run-time Monitoring for Complex Systems},
  journal      = {CoRR},
  volume       = {abs/1908.03489},
  year         = {2019},
  url          = {https://doi.org/10.48550/arXiv.1908.03489},
  doi          = {10.48550/ARXIV.1908.03489},
  eprinttype   = {arXiv},
  eprint       = {1908.03489},
  timestamp    = {Thu, 01 Oct 2026 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1908-03489.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{ADL2019,
  author       = {Yehia Abd Alrahman and
                  Rocco De Nicola and
                  Michele Loreti},
  title        = {A calculus for collective-adaptive systems and its behavioural theory},
  journal      = {Inf. Comput.},
  volume       = {268},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.ic.2019.104457},
  doi          = {10.1016/J.IC.2019.104457},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iandc/AlrahmanNL19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{MTT2019,
  author       = {Stan Matwin and
                  Luca Tesei and
                  Roberto Trasarti},
  title        = {Computational modelling and data-driven techniques for systems analysis},
  journal      = {J. Intell. Inf. Syst.},
  volume       = {52},
  number       = {3},
  pages        = {473--475},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10844-019-00554-z},
  doi          = {10.1007/S10844-019-00554-Z},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jiis/MatwinTT19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{Loreti2019,
  author       = {Michele Loreti},
  title        = {Replicated Computations Results {(RCR)} Report for "Statistical Abstraction
                  for Multi-scale Spatio-temporal Systems"},
  journal      = {{ACM} Trans. Model. Comput. Simul.},
  volume       = {29},
  number       = {4},
  pages        = {23:1--23:2},
  year         = {2019},
  url          = {https://doi.org/10.1145/3341094},
  doi          = {10.1145/3341094},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tomacs/Loreti19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{VLNHM2019,
  author       = {Ludovica Luisa Vissat and
                  Michele Loreti and
                  Laura Nenzi and
                  Jane Hillston and
                  Glenn Marion},
  title        = {Analysis of Spatio-temporal Properties of Stochastic Systems Using
                  {TSTL}},
  journal      = {{ACM} Trans. Model. Comput. Simul.},
  volume       = {29},
  number       = {4},
  pages        = {20:1--20:24},
  year         = {2019},
  url          = {https://doi.org/10.1145/3326168},
  doi          = {10.1145/3326168},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tomacs/VissatLNHM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{CC2018,
  author       = {Diletta Romana Cacciagrano and
                  Rosario Culmone},
  editor       = {Leonard Barolli and
                  Makoto Takizawa and
                  Tomoya Enokido and
                  Marek R. Ogiela and
                  Lidia Ogiela and
                  Nadeem Javaid},
  title        = {Formal Semantics of an IoT-Specific Language},
  booktitle    = {32nd International Conference on Advanced Information Networking and
                  Applications Workshops, {AINA} 2018 workshops, Krakow, Poland, May
                  16-18, 2018},
  pages        = {579--584},
  publisher    = {{IEEE} Computer Society},
  year         = {2018},
  url          = {https://doi.org/10.1109/WAINA.2018.00148},
  doi          = {10.1109/WAINA.2018.00148},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aina/CacciagranoC18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{NC2018,
  author       = {Alfredo Navarra and
                  Diletta Cacciagrano},
  editor       = {Leonard Barolli and
                  Makoto Takizawa and
                  Tomoya Enokido and
                  Marek R. Ogiela and
                  Lidia Ogiela and
                  Nadeem Javaid},
  title        = {Energy Saving and Collision-Free Motion Planning for Oblivious Robots},
  booktitle    = {32nd International Conference on Advanced Information Networking and
                  Applications Workshops, {AINA} 2018 workshops, Krakow, Poland, May
                  16-18, 2018},
  pages        = {591--596},
  publisher    = {{IEEE} Computer Society},
  year         = {2018},
  url          = {https://doi.org/10.1109/WAINA.2018.00150},
  doi          = {10.1109/WAINA.2018.00150},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aina/NavarraC18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{QM2018,
  author       = {Michela Quadrini and
                  Emanuela Merelli},
  editor       = {Paul Anderson and
                  Hugo Gamboa and
                  Ana L. N. Fred and
                  Sergi Berm{\'{u}}dez i Badia},
  title        = {Loop-loop Interaction Metrics on {RNA} Secondary Structures with Pseudoknots},
  booktitle    = {Proceedings of the 11th International Joint Conference on Biomedical
                  Engineering Systems and Technologies {(BIOSTEC} 2018) - Volume 3:
                  BIOINFORMATICS, Funchal, Madeira, Portugal, January 19-21, 2018},
  pages        = {29--37},
  publisher    = {SciTePress},
  year         = {2018},
  url          = {https://doi.org/10.5220/0006610700290037},
  doi          = {10.5220/0006610700290037},
  timestamp    = {Mon, 26 Mar 2018 16:30:12 +0200},
  biburl       = {https://dblp.org/rec/conf/biostec/QuadriniM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DL2018,
  editor       = {Giovanna Di Marzo Serugendo and
                  Michele Loreti},
  title        = {Coordination Models and Languages - 20th {IFIP} {WG} 6.1 International
                  Conference, {COORDINATION} 2018, Held as Part of the 13th International
                  Federated Conference on Distributed Computing Techniques, DisCoTec
                  2018, Madrid, Spain, June 18-21, 2018. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10852},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-92408-3},
  doi          = {10.1007/978-3-319-92408-3},
  isbn         = {978-3-319-92407-6},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/coordination/2018.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{ADGL2018,
  author       = {Yehia Abd Alrahman and
                  Rocco De Nicola and
                  Giulio Garbi and
                  Michele Loreti},
  editor       = {Christel Baier and
                  Lu{\'{\i}}s Caires},
  title        = {A Distributed Coordination Infrastructure for Attribute-Based Interaction},
  booktitle    = {Formal Techniques for Distributed Objects, Components, and Systems
                  - 38th {IFIP} {WG} 6.1 International Conference, {FORTE} 2018, Held
                  as Part of the 13th International Federated Conference on Distributed
                  Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10854},
  pages        = {1--20},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-92612-4\_1},
  doi          = {10.1007/978-3-319-92612-4\_1},
  timestamp    = {Sun, 21 Jun 2026 17:18:42 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/AlrahmanNGL18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{GGLV2018,
  author       = {Vashti Galpin and
                  Anastasis Georgoulas and
                  Michele Loreti and
                  Andrea Vandin},
  editor       = {Bj{\"{o}}rn Johansson and
                  Sanjay Jain},
  title        = {Statistical Analysis of {CARMA} Models: an Advanced Tutorial},
  booktitle    = {2018 Winter Simulation Conference, {WSC} 2018, Gothenburg, Sweden,
                  December 9-12, 2018},
  pages        = {395--409},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/WSC.2018.8632456},
  doi          = {10.1109/WSC.2018.8632456},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wsc/GalpinGLV18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{EMQ2018,
  author       = {Nadaniela Egidi and
                  Pierluigi Maponi and
                  Michela Quadrini},
  title        = {An integral equation method for the numerical solution of the Burgers
                  equation},
  journal      = {Comput. Math. Appl.},
  volume       = {76},
  number       = {1},
  pages        = {35--44},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.camwa.2018.04.002},
  doi          = {10.1016/J.CAMWA.2018.04.002},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cma/EgidiMQ18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{CCCGMRV2018,
  author       = {Diletta Romana Cacciagrano and
                  Flavio Corradini and
                  Rosario Culmone and
                  Nikos Gorogiannis and
                  Leonardo Mostarda and
                  Franco Raimondi and
                  Claudia Vannucchi},
  title        = {Analysis and verification of {ECA} rules in intelligent environments},
  journal      = {J. Ambient Intell. Smart Environ.},
  volume       = {10},
  number       = {3},
  pages        = {261--273},
  year         = {2018},
  url          = {https://doi.org/10.3233/AIS-180487},
  doi          = {10.3233/AIS-180487},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jaise/CacciagranoCCGM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{NBCLM2018,
  author       = {Laura Nenzi and
                  Luca Bortolussi and
                  Vincenzo Ciancia and
                  Michele Loreti and
                  Mieke Massink},
  title        = {Qualitative and Quantitative Monitoring of Spatio-Temporal Properties
                  with {SSTL}},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {14},
  number       = {4},
  year         = {2018},
  url          = {https://doi.org/10.23638/LMCS-14(4:2)2018},
  doi          = {10.23638/LMCS-14(4:2)2018},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/lmcs/NenziBCLM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{CGGLLM2018,
  author       = {Vincenzo Ciancia and
                  Stephen Gilmore and
                  Gianluca Grilletti and
                  Diego Latella and
                  Michele Loreti and
                  Mieke Massink},
  title        = {Spatio-temporal model checking of vehicular movement in public transport
                  systems},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {20},
  number       = {3},
  pages        = {289--311},
  year         = {2018},
  url          = {https://doi.org/10.1007/s10009-018-0483-8},
  doi          = {10.1007/S10009-018-0483-8},
  timestamp    = {Mon, 03 Mar 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sttt/CianciaGGLLM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{TL2018,
  author       = {Maurice H. ter Beek and
                  Michele Loreti},
  title        = {Guest Editorial for the Special Issue on FORmal methods for the quantitative
                  Evaluation of Collective Adaptive SysTems {(FORECAST)}},
  journal      = {{ACM} Trans. Model. Comput. Simul.},
  volume       = {28},
  number       = {2},
  pages        = {8:1--8:4},
  year         = {2018},
  url          = {https://doi.org/10.1145/3177772},
  doi          = {10.1145/3177772},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tomacs/BeekL18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{Loreti2018,
  author       = {Michele Loreti},
  title        = {Replicated Computations Results {(RCR)} Report for "Mesoscopic Modelling
                  of Pedestrian Movement using Carma and its Tools"},
  journal      = {{ACM} Trans. Model. Comput. Simul.},
  volume       = {28},
  number       = {2},
  pages        = {12:1--12:3},
  year         = {2018},
  url          = {https://doi.org/10.1145/3177773},
  doi          = {10.1145/3177773},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tomacs/Loreti18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{JTPMPSLBA2018,
  author       = {Jeffrey H. Johnson and
                  Luca Tesei and
                  Marco Piangerelli and
                  Emanuela Merelli and
                  Riccardo Paci and
                  Nenad Stojanovic and
                  Paulo Leit{\~{a}}o and
                  Jos{\'{e}} Barbosa and
                  Marco Amador},
  title        = {Big Data: Business, Technology, Education, and Science: Big Data (Ubiquity
                  symposium)},
  journal      = {Ubiquity},
  volume       = {2018},
  number       = {July},
  pages        = {2:1--2:13},
  year         = {2018},
  url          = {http://doi.acm.org/10.1145/3158350},
  doi          = {10.1145/3158350},
  timestamp    = {Tue, 05 Aug 2025 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ubiquity/JohnsonTPMPSLBA18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{LLM2017a,
  author       = {Diego Latella and
                  Michele Loreti and
                  Mieke Massink},
  editor       = {Joost{-}Pieter Katoen and
                  Rom Langerak and
                  Arend Rensink},
  title        = {FlyFast: {A} Scalable Approach to Probabilistic Model-Checking Based
                  on Mean-Field Approximation},
  booktitle    = {ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the
                  Occasion of His 60th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {10500},
  pages        = {254--275},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-68270-9\_13},
  doi          = {10.1007/978-3-319-68270-9\_13},
  timestamp    = {Fri, 04 Jul 2025 22:05:19 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/LatellaLM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{VDMCCCGMR2017,
  author       = {Claudia Vannucchi and
                  Michelangelo Diamanti and
                  Gianmarco Mazzante and
                  Diletta Romana Cacciagrano and
                  Flavio Corradini and
                  Rosario Culmone and
                  Nikos Gorogiannis and
                  Leonardo Mostarda and
                  Franco Raimondi},
  title        = {vIRONy: {A} Tool for Analysis and Verification of {ECA} Rules in Intelligent
                  Environments},
  booktitle    = {2017 International Conference on Intelligent Environments, {IE} 2017,
                  Seoul, Korea (South), August 21-25, 2017},
  pages        = {92--99},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/IE.2017.32},
  doi          = {10.1109/IE.2017.32},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/intenv/VannucchiDMCCCG17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{BBLN2017,
  author       = {Ezio Bartocci and
                  Luca Bortolussi and
                  Michele Loreti and
                  Laura Nenzi},
  editor       = {Jean{-}Pierre Talpin and
                  Patricia Derler and
                  Klaus Schneider},
  title        = {Monitoring mobile and spatially distributed cyber-physical systems},
  booktitle    = {Proceedings of the 15th {ACM-IEEE} International Conference on Formal
                  Methods and Models for System Design, {MEMOCODE} 2017, Vienna, Austria,
                  September 29 - October 02, 2017},
  pages        = {146--155},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3127041.3127050},
  doi          = {10.1145/3127041.3127050},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/memocode/BartocciBLN17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{VLNHM2017,
  author       = {Ludovica Luisa Vissat and
                  Michele Loreti and
                  Laura Nenzi and
                  Jane Hillston and
                  Glenn Marion},
  editor       = {Nathalie Bertrand and
                  Luca Bortolussi},
  title        = {Three-Valued Spatio-Temporal Logic: {A} Further Analysis on Spatio-Temporal
                  Properties of Stochastic Systems},
  booktitle    = {Quantitative Evaluation of Systems - 14th International Conference,
                  {QEST} 2017, Berlin, Germany, September 5-7, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10503},
  pages        = {317--332},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66335-7\_22},
  doi          = {10.1007/978-3-319-66335-7\_22},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/VissatLNHM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{LLM2017b,
  author       = {Diego Latella and
                  Michele Loreti and
                  Mieke Massink},
  editor       = {Axel Legay and
                  Tiziana Margaria},
  title        = {FlyFast: {A} Mean Field Model Checker},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 23rd International Conference, {TACAS} 2017, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10206},
  pages        = {303--309},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-662-54580-5\_18},
  doi          = {10.1007/978-3-662-54580-5\_18},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tacas/LatellaLM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{QCM2017,
  author       = {Michela Quadrini and
                  Rosario Culmone and
                  Emanuela Merelli},
  editor       = {Carlos Mart{\'{\i}}n{-}Vide and
                  Roman Neruda and
                  Miguel A. Vega{-}Rodr{\'{\i}}guez},
  title        = {Topological Classification of {RNA} Structures via Intersection Graph},
  booktitle    = {Theory and Practice of Natural Computing - 6th International Conference,
                  {TPNC} 2017, Prague, Czech Republic, December 18-20, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10687},
  pages        = {203--215},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-71069-3\_16},
  doi          = {10.1007/978-3-319-71069-3\_16},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/tpnc/QuadriniCM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{VHLN2017,
  author       = {Ludovica Luisa Vissat and
                  Jane Hillston and
                  Michele Loreti and
                  Laura Nenzi},
  editor       = {Andrea Marin and
                  Benny Van Houdt and
                  Giuliano Casale and
                  Dorina C. Petriu and
                  Sabina Rossi},
  title        = {Automatic verification of reliability requirements of spatio-temporal
                  analysis using Three-Valued Spatio-Temporal Logic},
  booktitle    = {Proceedings of the 11th {EAI} International Conference on Performance
                  Evaluation Methodologies and Tools, {VALUETOOLS} 2017, Venice, Italy,
                  December 05-07, 2017},
  pages        = {225--226},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3150928.3150961},
  doi          = {10.1145/3150928.3150961},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/valuetools/VissatHLN17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{LLM2017c,
  author       = {Alberto Lluch{-}Lafuente and
                  Michele Loreti and
                  Ugo Montanari},
  title        = {Asynchronous Distributed Execution Of Fixpoint-Based Computational
                  Fields},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {13},
  number       = {1},
  year         = {2017},
  url          = {https://doi.org/10.23638/LMCS-13(1:13)2017},
  doi          = {10.23638/LMCS-13(1:13)2017},
  timestamp    = {Thu, 01 Oct 2026 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Lluch-LafuenteL16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{ADL2017a,
  author       = {Yehia Abd Alrahman and
                  Rocco De Nicola and
                  Michele Loreti},
  title        = {Programming the Interactions of Collective Adaptive Systems by Relying
                  on Attribute-based Communication},
  journal      = {CoRR},
  volume       = {abs/1711.06092},
  year         = {2017},
  url          = {https://doi.org/10.48550/arXiv.1711.06092},
  doi          = {10.48550/ARXIV.1711.06092},
  eprinttype   = {arXiv},
  eprint       = {1711.06092},
  timestamp    = {Fri, 09 Oct 2026 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1711-06092.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{ADL2017b,
  author       = {Yehia Abd Alrahman and
                  Rocco De Nicola and
                  Michele Loreti},
  title        = {A Behavioural Theory for Interactions in Collective-Adaptive Systems},
  journal      = {CoRR},
  volume       = {abs/1711.09762},
  year         = {2017},
  url          = {https://doi.org/10.48550/arXiv.1711.09762},
  doi          = {10.48550/ARXIV.1711.09762},
  eprinttype   = {arXiv},
  eprint       = {1711.09762},
  timestamp    = {Thu, 01 Oct 2026 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1711-09762.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{CCMT2017,
  author       = {Diletta Cacciagrano and
                  Flavio Corradini and
                  Emanuela Merelli and
                  Luca Tesei},
  title        = {Uniformity in Multiscale Models: From Complex Automata to BioShape},
  journal      = {J. Cell. Autom.},
  volume       = {12},
  number       = {5},
  pages        = {333--359},
  year         = {2017},
  url          = {http://www.oldcitypublishing.com/journals/jca-home/jca-issue-contents/jca-volume-12-number-5-2017/jca-12-5-p-333-359/},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jca/CacciagranoCMT17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{VDMCCGMR2017,
  author       = {Claudia Vannucchi and
                  Michelangelo Diamanti and
                  Gianmarco Mazzante and
                  Diletta Cacciagrano and
                  Rosario Culmone and
                  Nikos Gorogiannis and
                  Leonardo Mostarda and
                  Franco Raimondi},
  title        = {Symbolic verification of event-condition-action rules in intelligent
                  environments},
  journal      = {J. Reliab. Intell. Environ.},
  volume       = {3},
  number       = {2},
  pages        = {117--130},
  year         = {2017},
  url          = {https://doi.org/10.1007/s40860-017-0036-z},
  doi          = {10.1007/S40860-017-0036-Z},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jrie/VannucchiDMCCGM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{QTM2017,
  author       = {Michela Quadrini and
                  Luca Tesei and
                  Emanuela Merelli},
  title        = {An algebraic representation for tree alignment of {RNA} pseudoknotted
                  structures},
  journal      = {PeerJ Prepr.},
  volume       = {5},
  pages        = {e3327},
  year         = {2017},
  url          = {https://doi.org/10.7287/peerj.preprints.3327v1},
  doi          = {10.7287/PEERJ.PREPRINTS.3327V1},
  timestamp    = {Tue, 05 Aug 2025 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/peerjpre/QuadriniTM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{UMGCC2016,
  author       = {Zaib Ullah and
                  Leonardo Mostarda and
                  Roberto Gagliardi and
                  Diletta Cacciagrano and
                  Flavio Corradini},
  editor       = {Leonard Barolli and
                  Makoto Takizawa and
                  Tomoya Enokido and
                  Antonio J. Jara and
                  Yann Bocchi},
  title        = {A Comparison of {HEED} Based Clustering Algorithms - Introducing {ER-HEED}},
  booktitle    = {30th {IEEE} International Conference on Advanced Information Networking
                  and Applications, {AINA} 2016, Crans-Montana, Switzerland, 23-25 March,
                  2016},
  pages        = {339--345},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/AINA.2016.87},
  doi          = {10.1109/AINA.2016.87},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aina/UllahMGCC16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{VCCM2016,
  author       = {Claudia Vannucchi and
                  Diletta Romana Cacciagrano and
                  Rosario Culmone and
                  Leonardo Mostarda},
  editor       = {Leonard Barolli and
                  Makoto Takizawa and
                  Tomoya Enokido and
                  Antonio J. Jara and
                  Yann Bocchi},
  title        = {Towards a Uniform Ontology-Driven Approach for Modeling, Checking
                  and Executing WSANs},
  booktitle    = {30th International Conference on Advanced Information Networking and
                  Applications Workshops, {AINA} 2016 Workshops, Crans-Montana, Switzerland,
                  March 23-25, 2016},
  pages        = {319--324},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/WAINA.2016.79},
  doi          = {10.1109/WAINA.2016.79},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aina/VannucchiCCM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{ADL2016a,
  author       = {Yehia Abd Alrahman and
                  Rocco De Nicola and
                  Michele Loreti},
  editor       = {Elvira Albert and
                  Ivan Lanese},
  title        = {On the Power of Attribute-Based Communication},
  booktitle    = {Formal Techniques for Distributed Objects, Components, and Systems
                  - 36th {IFIP} {WG} 6.1 International Conference, {FORTE} 2016, Held
                  as Part of the 11th International Federated Conference on Distributed
                  Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June
                  6-9, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9688},
  pages        = {1--18},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-39570-8\_1},
  doi          = {10.1007/978-3-319-39570-8\_1},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/AlrahmanNL16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{CL2016,
  editor       = {Pierluigi Crescenzi and
                  Michele Loreti},
  title        = {Proceedings of the 16th Italian Conference on Theoretical Computer
                  Science, {ICTCS} 2015, Firenze, Italy, September 9-11, 2015},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {322},
  publisher    = {Elsevier},
  year         = {2016},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/322/suppl/C},
  timestamp    = {Thu, 10 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictcs/2015.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{VCCCMRT2016,
  author       = {Claudia Vannucchi and
                  Diletta Romana Cacciagrano and
                  Flavio Corradini and
                  Rosario Culmone and
                  Leonardo Mostarda and
                  Franco Raimondi and
                  Luca Tesei},
  editor       = {Paulo Novais and
                  Shin'ichi Konomi},
  title        = {A Formal Model for Event-Condition-Action Rules in Intelligent Environments},
  booktitle    = {Intelligent Environments 2016 - Workshop Proceedings of the 12th International
                  Conference on Intelligent Environments, {IE} 2016, London, United
                  Kingdom, September 14-16, 2016},
  series       = {Ambient Intelligence and Smart Environments},
  volume       = {21},
  pages        = {56--65},
  publisher    = {{IOS} Press},
  year         = {2016},
  url          = {https://doi.org/10.3233/978-1-61499-690-3-56},
  doi          = {10.3233/978-1-61499-690-3-56},
  timestamp    = {Tue, 05 Aug 2025 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/intenv/VannucchiCCCMRT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{ADL2016b,
  author       = {Yehia Abd Alrahman and
                  Rocco De Nicola and
                  Michele Loreti},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Programming of {CAS} Systems by Relying on Attribute-Based Communication},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation:
                  Foundational Techniques - 7th International Symposium, ISoLA 2016,
                  Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9952},
  pages        = {539--553},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47166-2\_38},
  doi          = {10.1007/978-3-319-47166-2\_38},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/AlrahmanNL16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{MRTPMQ2016,
  author       = {Emanuela Merelli and
                  Matteo Rucco and
                  Luca Tesei and
                  Marco Piangerelli and
                  Adane Letta Mamuye and
                  Michela Quadrini},
  editor       = {Giuliano Armano and
                  Alessandro Bozzon and
                  Matteo Cristani and
                  Alessandro Giuliani},
  title        = {Survey of {TOPDRIM} Applications of Topological Data Analysis},
  booktitle    = {Proceedings of the 2nd International Workshop on Knowledge Discovery
                  on the WEB, KDWeb 2016, Cagliari, Italy, September 8-10, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1748},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {https://ceur-ws.org/Vol-1748/paper-11.pdf},
  timestamp    = {Wed, 20 May 2026 18:54:21 +0200},
  biburl       = {https://dblp.org/rec/conf/kdweb/MerelliRTPMQ16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{HL2016,
  author       = {Jane Hillston and
                  Michele Loreti},
  editor       = {Gul Agha and
                  Benny Van Houdt},
  title        = {{CARMA} Eclipse Plug-in: {A} Tool Supporting Design and Analysis of
                  Collective Adaptive Systems},
  booktitle    = {Quantitative Evaluation of Systems - 13th International Conference,
                  {QEST} 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9826},
  pages        = {167--171},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-43425-4\_12},
  doi          = {10.1007/978-3-319-43425-4\_12},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qest/HillstonL16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{CLLM2016a,
  author       = {Vincenzo Ciancia and
                  Diego Latella and
                  Michele Loreti and
                  Mieke Massink},
  editor       = {Marco Bernardo and
                  Rocco De Nicola and
                  Jane Hillston},
  title        = {Spatial Logic and Spatial Model Checking for Closure Spaces},
  booktitle    = {Formal Methods for the Quantitative Evaluation of Collective Adaptive
                  Systems - 16th International School on Formal Methods for the Design
                  of Computer, Communication, and Software Systems, {SFM} 2016, Bertinoro,
                  Italy, June 20-24, 2016, Advanced Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {9700},
  pages        = {156--201},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-34096-8\_6},
  doi          = {10.1007/978-3-319-34096-8\_6},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sfm/CianciaLLM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{LH2016,
  author       = {Michele Loreti and
                  Jane Hillston},
  editor       = {Marco Bernardo and
                  Rocco De Nicola and
                  Jane Hillston},
  title        = {Modelling and Analysis of Collective Adaptive Systems with {CARMA}
                  and its Tools},
  booktitle    = {Formal Methods for the Quantitative Evaluation of Collective Adaptive
                  Systems - 16th International School on Formal Methods for the Design
                  of Computer, Communication, and Software Systems, {SFM} 2016, Bertinoro,
                  Italy, June 20-24, 2016, Advanced Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {9700},
  pages        = {83--119},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-34096-8\_4},
  doi          = {10.1007/978-3-319-34096-8\_4},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sfm/LoretiH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{GL2016,
  editor       = {Pierre Ganty and
                  Michele Loreti},
  title        = {Trustworthy Global Computing - 10th International Symposium, {TGC}
                  2015, Madrid, Spain, August 31 - September 1, 2015 Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9533},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-28766-9},
  doi          = {10.1007/978-3-319-28766-9},
  isbn         = {978-3-319-28765-2},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tgc/2015.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{NBL2016,
  author       = {Laura Nenzi and
                  Luca Bortolussi and
                  Michele Loreti},
  editor       = {Antonio Puliafito and
                  Kishor S. Trivedi and
                  Bruno Tuffin and
                  Marco Scarpa and
                  Fumio Machida and
                  Javier Alonso},
  title        = {jSSTL - {A} Tool to Monitor Spatio-Temporal Properties},
  booktitle    = {10th {EAI} International Conference on Performance Evaluation Methodologies
                  and Tools, {VALUETOOLS} 2016, Taormina, Italy, 25th-28th Oct 2016},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.4108/eai.25-10-2016.2266978},
  doi          = {10.4108/EAI.25-10-2016.2266978},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/valuetools/NenziBL16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{TL2016,
  editor       = {Maurice H. ter Beek and
                  Michele Loreti},
  title        = {Proceedings of the Workshop on FORmal methods for the quantitative
                  Evaluation of Collective Adaptive SysTems, FORECAST@STAF 2016, Vienna,
                  Austria, 8 July 2016},
  series       = {{EPTCS}},
  volume       = {217},
  year         = {2016},
  url          = {https://doi.org/10.4204/EPTCS.217},
  doi          = {10.4204/EPTCS.217},
  timestamp    = {Thu, 01 Oct 2026 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BeekL16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{CLLM2016b,
  author       = {Vincenzo Ciancia and
                  Diego Latella and
                  Michele Loreti and
                  Mieke Massink},
  title        = {Model Checking Spatial Logics for Closure Spaces},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {12},
  number       = {4},
  year         = {2016},
  url          = {https://doi.org/10.2168/LMCS-12(4:2)2016},
  doi          = {10.2168/LMCS-12(4:2)2016},
  timestamp    = {Thu, 01 Oct 2026 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/CianciaLLM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{MMT2016,
  author       = {Adane Letta Mamuye and
                  Emanuela Merelli and
                  Luca Tesei},
  editor       = {Alexander Heu{\ss}ner and
                  Aleks Kissinger and
                  Anton Wijs},
  title        = {A Graph Grammar for Modelling {RNA} Folding},
  booktitle    = {Proceedings Second Graphs as Models Workshop, GaM@ETAPS 2016, Eindhoven,
                  The Netherlands, April 2-3, 2016},
  series       = {{EPTCS}},
  volume       = {231},
  pages        = {31--41},
  year         = {2016},
  url          = {https://doi.org/10.4204/EPTCS.231.3},
  doi          = {10.4204/EPTCS.231.3},
  timestamp    = {Thu, 01 Oct 2026 11:29:55 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/MamuyeMT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{MPT2016,
  author       = {Emanuela Merelli and
                  Nicola Paoletti and
                  Luca Tesei},
  title        = {Adaptability checking in complex systems},
  journal      = {Sci. Comput. Program.},
  volume       = {115-116},
  pages        = {23--46},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.scico.2015.03.004},
  doi          = {10.1016/J.SCICO.2015.03.004},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/MerelliPT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{BCT2016,
  author       = {Marco Bernardo and
                  Flavio Corradini and
                  Luca Tesei},
  title        = {Timed process calculi with deterministic or stochastic delays: Commuting
                  between durational and durationless actions},
  journal      = {Theor. Comput. Sci.},
  volume       = {629},
  pages        = {2--39},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.tcs.2016.02.022},
  doi          = {10.1016/J.TCS.2016.02.022},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BernardoCT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{CFLP2016,
  author       = {Francesco Chiti and
                  Romano Fantacci and
                  Michele Loreti and
                  Rosario Pugliese},
  title        = {Context-aware wireless mobile autonomic computing and communications:
                  research trends and emerging applications},
  journal      = {{IEEE} Wirel. Commun.},
  volume       = {23},
  number       = {2},
  pages        = {86--92},
  year         = {2016},
  url          = {https://doi.org/10.1109/MWC.2016.7462489},
  doi          = {10.1109/MWC.2016.7462489},
  timestamp    = {Tue, 24 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/wc/ChitiFLP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{CCMTR2015,
  author       = {Flavio Corradini and
                  Rosario Culmone and
                  Leonardo Mostarda and
                  Luca Tesei and
                  Franco Raimondi},
  editor       = {Leonard Barolli and
                  Makoto Takizawa and
                  Fatos Xhafa and
                  Tomoya Enokido and
                  Jong Hyuk Park},
  title        = {A Constrained {ECA} Language Supporting Formal Verification of WSNs},
  booktitle    = {29th {IEEE} International Conference on Advanced Information Networking
                  and Applications Workshops, {AINA} 2015 Workshops, Gwangju, South
                  Korea, March 24-27, 2015},
  pages        = {187--192},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/WAINA.2015.109},
  doi          = {10.1109/WAINA.2015.109},
  timestamp    = {Thu, 26 Jun 2025 07:49:36 +0200},
  biburl       = {https://dblp.org/rec/conf/aina/CorradiniCMTR15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{MMT2015,
  author       = {Adane Letta Mamuye and
                  Emanuela Merelli and
                  Luca Tesei},
  editor       = {Junichi Suzuki and
                  Tadashi Nakano and
                  Henry Hess},
  title        = {Towards a Shape Language for Interpreting {RNA} Folding},
  booktitle    = {{BICT} 2015, Proceedings of the 9th {EAI} International Conference
                  on Bio-inspired Information and Communications Technologies (formerly
                  BIONETICS), New York City, United States, December 3-5, 2015},
  pages        = {185--188},
  publisher    = {{ICST/ACM}},
  year         = {2015},
  url          = {http://dl.acm.org/citation.cfm?id=2954836},
  timestamp    = {Fri, 03 Feb 2017 18:36:35 +0100},
  biburl       = {https://dblp.org/rec/conf/bionetics/MamuyeMT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{LLMS2015,
  author       = {Diego Latella and
                  Michele Loreti and
                  Mieke Massink and
                  Valerio Senni},
  editor       = {Rocco De Nicola and
                  Rolf Hennicker},
  title        = {On StocS: {A} Stochastic Extension of {SCEL}},
  booktitle    = {Software, Services, and Systems - Essays Dedicated to Martin Wirsing
                  on the Occasion of His Retirement from the Chair of Programming and
                  Software Engineering},
  series       = {Lecture Notes in Computer Science},
  volume       = {8950},
  pages        = {619--640},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-15545-6\_35},
  doi          = {10.1007/978-3-319-15545-6\_35},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/LatellaLMS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{LLM2015a,
  author       = {Diego Latella and
                  Michele Loreti and
                  Mieke Massink},
  editor       = {Tom Holvoet and
                  Mirko Viroli},
  title        = {Investigating Fluid-Flow Semantics of Asynchronous Tuple-Based Process
                  Languages for Collective Adaptive Systems},
  booktitle    = {Coordination Models and Languages - 17th {IFIP} {WG} 6.1 International
                  Conference, {COORDINATION} 2015, Held as Part of the 10th International
                  Federated Conference on Distributed Computing Techniques, DisCoTec
                  2015, Grenoble, France, June 2-4, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9037},
  pages        = {19--34},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-19282-6\_2},
  doi          = {10.1007/978-3-319-19282-6\_2},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/coordination/LatellaLM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{LLM2015b,
  author       = {Alberto Lluch{-}Lafuente and
                  Michele Loreti and
                  Ugo Montanari},
  editor       = {Tom Holvoet and
                  Mirko Viroli},
  title        = {A Fixpoint-Based Calculus for Graph-Shaped Computational Fields},
  booktitle    = {Coordination Models and Languages - 17th {IFIP} {WG} 6.1 International
                  Conference, {COORDINATION} 2015, Held as Part of the 10th International
                  Federated Conference on Distributed Computing Techniques, DisCoTec
                  2015, Grenoble, France, June 2-4, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9037},
  pages        = {101--116},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-19282-6\_7},
  doi          = {10.1007/978-3-319-19282-6\_7},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/coordination/Lluch-LafuenteL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{LLM2015c,
  author       = {Diego Latella and
                  Michele Loreti and
                  Mieke Massink},
  editor       = {Marta Beltr{\'{a}}n and
                  William J. Knottenbelt and
                  Jeremy T. Bradley},
  title        = {On-the-fly Fluid Model Checking via Discrete Time Population Models},
  booktitle    = {Computer Performance Engineering - 12th European Workshop, {EPEW}
                  2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9272},
  pages        = {193--207},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23267-6\_13},
  doi          = {10.1007/978-3-319-23267-6\_13},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/epew/LatellaLM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{FCH2015,
  author       = {Diego Fanesi and
                  Diletta Romana Cacciagrano and
                  Knut Hinkelmann},
  title        = {Semantic Business Process Representation to Enhance the Degree of
                  {BPM} Mechanization - An Ontology},
  booktitle    = {International Conference on Enterprise Systems, {ES} 2015, Basel,
                  Switzerland, October 14-15, 2015},
  pages        = {21--32},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/ES.2015.10},
  doi          = {10.1109/ES.2015.10},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/es/FanesiCH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{NBCLM2015,
  author       = {Laura Nenzi and
                  Luca Bortolussi and
                  Vincenzo Ciancia and
                  Michele Loreti and
                  Mieke Massink},
  editor       = {Ezio Bartocci and
                  Rupak Majumdar},
  title        = {Qualitative and Quantitative Monitoring of Spatio-Temporal Properties},
  booktitle    = {Runtime Verification - 6th International Conference, {RV} 2015 Vienna,
                  Austria, September 22-25, 2015. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9333},
  pages        = {21--37},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23820-3\_2},
  doi          = {10.1007/978-3-319-23820-3\_2},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rv/NenziBCLM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{ASL2015,
  author       = {Dhaminda B. Abeywickrama and
                  Nikola B. Serbedzija and
                  Michele Loreti},
  editor       = {Roger L. Wainwright and
                  Juan Manuel Corchado and
                  Alessio Bechini and
                  Jiman Hong},
  title        = {Monitoring and visualizing adaptation of autonomic systems at runtime},
  booktitle    = {Proceedings of the 30th Annual {ACM} Symposium on Applied Computing,
                  Salamanca, Spain, April 13-17, 2015},
  pages        = {1857--1860},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2695664.2695983},
  doi          = {10.1145/2695664.2695983},
  timestamp    = {Fri, 04 Jul 2025 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sac/AbeywickramaSL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{ADLTV2015,
  author       = {Yehia Abd Alrahman and
                  Rocco De Nicola and
                  Michele Loreti and
                  Francesco Tiezzi and
                  Roberto Vigo},
  editor       = {Roger L. Wainwright and
                  Juan Manuel Corchado and
                  Alessio Bechini and
                  Jiman Hong},
  title        = {A calculus for attribute-based communication},
  booktitle    = {Proceedings of the 30th Annual {ACM} Symposium on Applied Computing,
                  Salamanca, Spain, April 13-17, 2015},
  pages        = {1840--1845},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2695664.2695668},
  doi          = {10.1145/2695664.2695668},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sac/AlrahmanNLTV15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{CGLLM2015,
  author       = {Vincenzo Ciancia and
                  Gianluca Grilletti and
                  Diego Latella and
                  Michele Loreti and
                  Mieke Massink},
  editor       = {Domenico Bianculli and
                  Radu Calinescu and
                  Bernhard Rumpe},
  title        = {An Experimental Spatio-Temporal Model Checker},
  booktitle    = {Software Engineering and Formal Methods - {SEFM} 2015 Collocated Workshops:
                  ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9509},
  pages        = {297--311},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-662-49224-6\_24},
  doi          = {10.1007/978-3-662-49224-6\_24},
  timestamp    = {Sun, 19 Jan 2025 13:15:28 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/CianciaGLLM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{CTSNM2015,
  author       = {Chiara Cini and
                  Luca Tesei and
                  Giuseppe Scarcella and
                  Cesar Augusto Nieto Coria and
                  Emanuela Merelli},
  editor       = {Domenico Bianculli and
                  Radu Calinescu and
                  Bernhard Rumpe},
  title        = {Probabilistic Modelling and Analysis of a Fish Population},
  booktitle    = {Software Engineering and Formal Methods - {SEFM} 2015 Collocated Workshops:
                  ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9509},
  pages        = {192--197},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-662-49224-6\_16},
  doi          = {10.1007/978-3-662-49224-6\_16},
  timestamp    = {Sun, 19 Jan 2025 13:15:28 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/CiniTSCM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{BDL2015,
  author       = {Marco Bernardo and
                  Rocco De Nicola and
                  Michele Loreti},
  title        = {Revisiting bisimilarity and its modal logic for nondeterministic and
                  probabilistic processes},
  journal      = {Acta Informatica},
  volume       = {52},
  number       = {1},
  pages        = {61--106},
  year         = {2015},
  url          = {https://doi.org/10.1007/s00236-014-0210-1},
  doi          = {10.1007/S00236-014-0210-1},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/acta/BernardoNL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{BDGGHLLM2015,
  author       = {Luca Bortolussi and
                  Rocco De Nicola and
                  Vashti Galpin and
                  Stephen Gilmore and
                  Jane Hillston and
                  Diego Latella and
                  Michele Loreti and
                  Mieke Massink},
  editor       = {Nathalie Bertrand and
                  Mirco Tribastone},
  title        = {{CARMA:} Collective Adaptive Resource-sharing Markovian Agents},
  booktitle    = {Proceedings Thirteenth Workshop on Quantitative Aspects of Programming
                  Languages and Systems, {QAPL} 2015, London, UK, 11th-12th April 2015},
  series       = {{EPTCS}},
  volume       = {194},
  pages        = {16--31},
  year         = {2015},
  url          = {https://doi.org/10.4204/EPTCS.194.2},
  doi          = {10.4204/EPTCS.194.2},
  timestamp    = {Thu, 01 Oct 2026 11:25:46 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BortolussiNGGHL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{MRST2015a,
  author       = {Emanuela Merelli and
                  Matteo Rucco and
                  Peter M. A. Sloot and
                  Luca Tesei},
  title        = {Topological characterization of {S[B]} systems: From data to models
                  of complexity},
  journal      = {CoRR},
  volume       = {abs/1505.05768},
  year         = {2015},
  url          = {https://doi.org/10.48550/arXiv.1505.05768},
  doi          = {10.48550/ARXIV.1505.05768},
  eprinttype   = {arXiv},
  eprint       = {1505.05768},
  timestamp    = {Thu, 01 Oct 2026 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/MerelliRST15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{CL2015,
  author       = {Pierluigi Crescenzi and
                  Michele Loreti},
  editor       = {Pierluigi Crescenzi and
                  Michele Loreti},
  title        = {Preface},
  booktitle    = {Proceedings of the 16th Italian Conference on Theoretical Computer
                  Science, {ICTCS} 2015, Firenze, Italy, September 9-11, 2015},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {322},
  pages        = {1--2},
  publisher    = {Elsevier},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.entcs.2016.03.001},
  doi          = {10.1016/J.ENTCS.2016.03.001},
  timestamp    = {Sun, 12 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/CrescenziL16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{MRST2015b,
  author       = {Emanuela Merelli and
                  Matteo Rucco and
                  Peter M. A. Sloot and
                  Luca Tesei},
  title        = {Topological Characterization of Complex Systems: Using Persistent
                  Entropy},
  journal      = {Entropy},
  volume       = {17},
  number       = {10},
  pages        = {6872--6892},
  year         = {2015},
  url          = {https://doi.org/10.3390/e17106872},
  doi          = {10.3390/E17106872},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entropy/MerelliRST15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{BGL2015,
  author       = {Marco Bernardo and
                  Daniel Gebler and
                  Michele Loreti},
  title        = {Editorial for the Special Issue on Open Problems in Concurrency Theory},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {84},
  number       = {6},
  pages        = {731},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.jlamp.2015.10.002},
  doi          = {10.1016/J.JLAMP.2015.10.002},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/BernardoGL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{BBDL2015,
  author       = {Michele Boreale and
                  Roberto Bruni and
                  Rocco De Nicola and
                  Michele Loreti},
  title        = {CaSPiS: a calculus of sessions, pipelines and services},
  journal      = {Math. Struct. Comput. Sci.},
  volume       = {25},
  number       = {3},
  pages        = {666--709},
  year         = {2015},
  url          = {https://doi.org/10.1017/S0960129512000953},
  doi          = {10.1017/S0960129512000953},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/mscs/BorealeBNL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{LLM2015d,
  author       = {Diego Latella and
                  Michele Loreti and
                  Mieke Massink},
  title        = {On-the-fly {PCTL} fast mean-field approximated model-checking for
                  self-organising coordination},
  journal      = {Sci. Comput. Program.},
  volume       = {110},
  pages        = {23--50},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.scico.2015.06.009},
  doi          = {10.1016/J.SCICO.2015.06.009},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/LatellaLM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{ACHKKLLMMMMPTVV2015,
  author       = {Dhaminda B. Abeywickrama and
                  Jacques Combaz and
                  Vojtech Hork{\'{y}} and
                  Jaroslav Keznikl and
                  Jan Kofron and
                  Alberto Lluch{-}Lafuente and
                  Michele Loreti and
                  Andrea Margheri and
                  Philip Mayer and
                  Giacoma Valentina Monreale and
                  Ugo Montanari and
                  Carlo Pinciroli and
                  Petr Tuma and
                  Andrea Vandin and
                  Emil Vassev},
  editor       = {Martin Wirsing and
                  Matthias M. H{\"{o}}lzl and
                  Nora Koch and
                  Philip Mayer},
  title        = {Tools for Ensemble Design and Runtime},
  booktitle    = {Software Engineering for Collective Autonomic Systems - The {ASCENS}
                  Approach},
  series       = {Lecture Notes in Computer Science},
  volume       = {8998},
  pages        = {429--448},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-16310-9\_13},
  doi          = {10.1007/978-3-319-16310-9\_13},
  timestamp    = {Fri, 04 Jul 2025 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/lncs/AbeywickramaCHKKLLMMMMPTVV15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DLLLMMMPTV2015,
  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, 15 Nov 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/series/lncs/NicolaLLLMMMPTV15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{HL2014,
  author       = {Jane Hillston and
                  Michele Loreti},
  editor       = {Danny Weyns and
                  Fabien Michel},
  title        = {Specification and Analysis of Open-Ended Systems with {CARMA}},
  booktitle    = {Agent Environments for Multi-Agent Systems {IV} - 4th International
                  Workshop, {E4MAS} 2014 - 10 Years Later, Paris, France, May 6, 2014,
                  Revised Selected and Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9068},
  pages        = {95--116},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-23850-0\_7},
  doi          = {10.1007/978-3-319-23850-0\_7},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/e4mas/HillstonL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DLLMPST2014,
  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, 15 Nov 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/etaps/NicolaLLMPST14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{BCT2014,
  author       = {Marco Bernardo and
                  Flavio Corradini and
                  Luca Tesei},
  editor       = {Stefano Bistarelli and
                  Andrea Formisano},
  title        = {Timed process calculi: from durationless actions to durational ones},
  booktitle    = {Proceedings of the 15th Italian Conference on Theoretical Computer
                  Science, Perugia, Italy, September 17-19, 2014},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1231},
  pages        = {21--32},
  publisher    = {CEUR-WS.org},
  year         = {2014},
  url          = {https://ceur-ws.org/Vol-1231/long1.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:17 +0100},
  biburl       = {https://dblp.org/rec/conf/ictcs/BernardoCT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{CLLM2014a,
  author       = {Vincenzo Ciancia and
                  Diego Latella and
                  Michele Loreti and
                  Mieke Massink},
  editor       = {Josep D{\'{\i}}az and
                  Ivan Lanese and
                  Davide Sangiorgi},
  title        = {Specifying and Verifying Properties of Space},
  booktitle    = {Theoretical Computer Science - 8th {IFIP} {TC} 1/WG 2.2 International
                  Conference, {TCS} 2014, Rome, Italy, September 1-3, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8705},
  pages        = {222--235},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-662-44602-7\_18},
  doi          = {10.1007/978-3-662-44602-7\_18},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ifipTCS/CianciaLLM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{LMPT2014,
  author       = {Michele Loreti and
                  Andrea Margheri and
                  Rosario Pugliese and
                  Francesco Tiezzi},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {On Programming and Policing Autonomic Computing Systems},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation.
                  Technologies for Mastering Change - 6th International Symposium, ISoLA
                  2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part
                  {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {8802},
  pages        = {164--183},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-662-45234-9\_12},
  doi          = {10.1007/978-3-662-45234-9\_12},
  timestamp    = {Thu, 20 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/LoretiMPT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{CFGMOQCGM2014,
  author       = {Rosario Culmone and
                  Marco Falcioni and
                  Paolo Giuliodori and
                  Emanuela Merelli and
                  Alessandro Orr{\`{u}} and
                  Michela Quadrini and
                  Paolo Ciampolini and
                  Ferdinando Grossi and
                  Guido Matrella},
  title        = {{AAL} domain ontology for event-based human activity recognition},
  booktitle    = {10th {IEEE/ASME} International Conference on Mechatronic and Embedded
                  Systems and Applications, {MESA} 2014, Senigallia, Italy, September
                  10-12, 2014},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/MESA.2014.6935631},
  doi          = {10.1109/MESA.2014.6935631},
  timestamp    = {Wed, 24 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mesa/CulmoneFGMOQCGM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{RBDDFGPPPPRSZCCCDMR2014,
  author       = {Lorena Rossi and
                  Alberto Belli and
                  Adelmo De Santis and
                  Claudia Diamantini and
                  Emanuele Frontoni and
                  Ennio Gambi and
                  Lorenzo Palma and
                  Luca Pernini and
                  Paola Pierleoni and
                  Domenico Potena and
                  Laura Raffaeli and
                  Susanna Spinsante and
                  Primo Zingaretti and
                  Diletta Cacciagrano and
                  Flavio Corradini and
                  Rosario Culmone and
                  Francesco De Angelis and
                  Emanuela Merelli and
                  Barbara Re},
  title        = {Interoperability issues among smart home technological frameworks},
  booktitle    = {10th {IEEE/ASME} International Conference on Mechatronic and Embedded
                  Systems and Applications, {MESA} 2014, Senigallia, Italy, September
                  10-12, 2014},
  pages        = {1--7},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/MESA.2014.6935626},
  doi          = {10.1109/MESA.2014.6935626},
  timestamp    = {Sun, 01 Feb 2026 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mesa/RossiBSDFGPPPPR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{CGLLM2014,
  author       = {Vincenzo Ciancia and
                  Stephen Gilmore and
                  Diego Latella and
                  Michele Loreti and
                  Mieke Massink},
  title        = {Data Verification for Collective Adaptive Systems: Spatial Model-Checking
                  of Vehicle Location Data},
  booktitle    = {Eighth {IEEE} International Conference on Self-Adaptive and Self-Organizing
                  Systems Workshops, {SASOW} 2014, London, United Kingdom, September
                  8-12, 2014},
  pages        = {32--37},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/SASOW.2014.16},
  doi          = {10.1109/SASOW.2014.16},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/saso/CianciaGLLM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{NTSRM2014,
  author       = {Cesar Augusto Nieto Coria and
                  Luca Tesei and
                  Giuseppe Scarcella and
                  Tommaso Russo and
                  Emanuela Merelli},
  editor       = {Carlos Canal and
                  Akram Idani},
  title        = {Sea-Scale Agent-Based Simulator of Solea solea in the Adriatic Sea},
  booktitle    = {Software Engineering and Formal Methods - {SEFM} 2014 Collocated Workshops:
                  HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September
                  1-2, 2014, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8938},
  pages        = {259--275},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-15201-1\_17},
  doi          = {10.1007/978-3-319-15201-1\_17},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/CoriaTSRM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{BDL2014a,
  author       = {Marco Bernardo and
                  Rocco De Nicola and
                  Michele Loreti},
  title        = {Revisiting Trace and Testing Equivalences for Nondeterministic and
                  Probabilistic Processes},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {10},
  number       = {1},
  year         = {2014},
  url          = {https://doi.org/10.2168/LMCS-10(1:16)2014},
  doi          = {10.2168/LMCS-10(1:16)2014},
  timestamp    = {Thu, 01 Oct 2026 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BernardoNL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{CLLM2014b,
  author       = {Vincenzo Ciancia and
                  Diego Latella and
                  Michele Loreti and
                  Mieke Massink},
  title        = {Specifying and Verifying Properties of Space - Extended Version},
  journal      = {CoRR},
  volume       = {abs/1406.6393},
  year         = {2014},
  url          = {https://doi.org/10.48550/arXiv.1406.6393},
  doi          = {10.48550/ARXIV.1406.6393},
  eprinttype   = {arXiv},
  eprint       = {1406.6393},
  timestamp    = {Thu, 01 Oct 2026 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/CianciaLLM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{LLM2014,
  author       = {Diego Latella and
                  Michele Loreti and
                  Mieke Massink},
  editor       = {Ivan Lanese and
                  Alberto Lluch{-}Lafuente and
                  Ana Sokolova and
                  Hugo Torres Vieira},
  title        = {On-the-fly Probabilistic Model Checking},
  booktitle    = {Proceedings 7th Interaction and Concurrency Experience, {ICE} 2014,
                  Berlin, Germany, 6th June 2014},
  series       = {{EPTCS}},
  volume       = {166},
  pages        = {45--59},
  year         = {2014},
  url          = {https://doi.org/10.4204/EPTCS.166.6},
  doi          = {10.4204/EPTCS.166.6},
  timestamp    = {Thu, 01 Oct 2026 11:30:06 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/LatellaLM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{LLMS2014,
  author       = {Diego Latella and
                  Michele Loreti and
                  Mieke Massink and
                  Valerio Senni},
  editor       = {Nathalie Bertrand and
                  Luca Bortolussi},
  title        = {Stochastically timed predicate-based communication primitives for
                  autonomic computing},
  booktitle    = {Proceedings Twelfth International Workshop on Quantitative Aspects
                  of Programming Languages and Systems, {QAPL} 2014, Grenoble, France,
                  12-13 April 2014},
  series       = {{EPTCS}},
  volume       = {154},
  pages        = {1--16},
  year         = {2014},
  url          = {https://doi.org/10.4204/EPTCS.154.1},
  doi          = {10.4204/EPTCS.154.1},
  timestamp    = {Thu, 01 Oct 2026 11:25:50 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/LatellaLMS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{MPT2014,
  author       = {Emanuela Merelli and
                  Nicola Paoletti and
                  Luca Tesei},
  title        = {Adaptability Checking in Multi-Level Complex Systems},
  journal      = {CoRR},
  volume       = {abs/1404.0698},
  year         = {2014},
  url          = {https://doi.org/10.48550/arXiv.1404.0698},
  doi          = {10.48550/ARXIV.1404.0698},
  eprinttype   = {arXiv},
  eprint       = {1404.0698},
  timestamp    = {Thu, 01 Oct 2026 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/MerelliPT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{BGL2014,
  author       = {Marco Bernardo and
                  Daniel Gebler and
                  Michele Loreti},
  title        = {Report on {OPCT} 2014},
  journal      = {Bull. {EATCS}},
  volume       = {114},
  year         = {2014},
  url          = {http://eatcs.org/beatcs/index.php/beatcs/article/view/289},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/eatcs/BernardoGL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DLPT2014,
  author       = {Rocco De Nicola and
                  Michele Loreti and
                  Rosario Pugliese and
                  Francesco Tiezzi},
  title        = {A Formal Approach to Autonomic Systems Programming: The {SCEL} Language},
  journal      = {{ACM} Trans. Auton. Adapt. Syst.},
  volume       = {9},
  number       = {2},
  pages        = {7:1--7:29},
  year         = {2014},
  url          = {https://doi.org/10.1145/2619998},
  doi          = {10.1145/2619998},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/taas/NicolaLPT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{BDL2014b,
  author       = {Marco Bernardo and
                  Rocco De Nicola and
                  Michele Loreti},
  title        = {Relating strong behavioral equivalences for processes with nondeterminism
                  and probabilities},
  journal      = {Theor. Comput. Sci.},
  volume       = {546},
  pages        = {63--92},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.tcs.2014.03.001},
  doi          = {10.1016/J.TCS.2014.03.001},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BernardoNL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{BT2013,
  author       = {Marco Bernardo and
                  Luca Tesei},
  editor       = {Maria Simonetta Balsamo and
                  William J. Knottenbelt and
                  Andrea Marin},
  title        = {Encoding Timed Models as Uniform Labeled Transition Systems},
  booktitle    = {Computer Performance Engineering - 10th European Workshop, {EPEW}
                  2013, Venice, Italy, September 16-17, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8168},
  pages        = {104--118},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40725-3\_9},
  doi          = {10.1007/978-3-642-40725-3\_9},
  timestamp    = {Tue, 05 Aug 2025 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/epew/BernardoT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{PPSTMM2013,
  author       = {Pierluigi Penna and
                  Nicola Paoletti and
                  Giuseppe Scarcella and
                  Luca Tesei and
                  Mauro Marini and
                  Emanuela Merelli},
  editor       = {Steve Counsell and
                  Manuel N{\'{u}}{\~{n}}ez},
  title        = {{DISPAS:} An Agent-Based Tool for the Management of Fishing Effort},
  booktitle    = {Software Engineering and Formal Methods - {SEFM} 2013 Collocated Workshops:
                  BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain,
                  September 23-24, 2013, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8368},
  pages        = {362--367},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-319-05032-4\_26},
  doi          = {10.1007/978-3-319-05032-4\_26},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sefm/PennaPSTMM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{BDL2013a,
  author       = {Marco Bernardo and
                  Rocco De Nicola and
                  Michele Loreti},
  editor       = {Mart{\'{\i}}n Abadi and
                  Alberto Lluch{-}Lafuente},
  title        = {Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations},
  booktitle    = {Trustworthy Global Computing - 8th International Symposium, {TGC}
                  2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8358},
  pages        = {315--330},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-319-05119-2\_18},
  doi          = {10.1007/978-3-319-05119-2\_18},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tgc/BernardoNL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{LLM2013a,
  author       = {Diego Latella and
                  Michele Loreti and
                  Mieke Massink},
  editor       = {Mart{\'{\i}}n Abadi and
                  Alberto Lluch{-}Lafuente},
  title        = {On-the-fly Fast Mean-Field Model-Checking},
  booktitle    = {Trustworthy Global Computing - 8th International Symposium, {TGC}
                  2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8358},
  pages        = {297--314},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-319-05119-2\_17},
  doi          = {10.1007/978-3-319-05119-2\_17},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tgc/LatellaLM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{BDL2013b,
  author       = {Marco Bernardo and
                  Rocco De Nicola and
                  Michele Loreti},
  editor       = {Luca Bortolussi and
                  Herbert Wiklicky},
  title        = {The Spectrum of Strong Behavioral Equivalences for Nondeterministic
                  and Probabilistic Processes},
  booktitle    = {Proceedings 11th International Workshop on Quantitative Aspects of
                  Programming Languages and Systems, {QAPL} 2013, Rome, Italy, March
                  23-24, 2013},
  series       = {{EPTCS}},
  volume       = {117},
  pages        = {81--96},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.117.6},
  doi          = {10.4204/EPTCS.117.6},
  timestamp    = {Thu, 01 Oct 2026 11:25:41 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BernardoNL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{LLM2013b,
  author       = {Diego Latella and
                  Michele Loreti and
                  Mieke Massink},
  title        = {On-the-fly Fast Mean-Field Model-Checking: Extended Version},
  journal      = {CoRR},
  volume       = {abs/1312.3416},
  year         = {2013},
  url          = {https://doi.org/10.48550/arXiv.1312.3416},
  doi          = {10.48550/ARXIV.1312.3416},
  eprinttype   = {arXiv},
  eprint       = {1312.3416},
  timestamp    = {Thu, 01 Oct 2026 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/LatellaLM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{BDL2013c,
  author       = {Marco Bernardo and
                  Rocco De Nicola and
                  Michele Loreti},
  title        = {A Companion of "Relating Strong Behavioral Equivalences for Processes
                  with Nondeterminism and Probabilities"},
  journal      = {CoRR},
  volume       = {abs/1305.0538},
  year         = {2013},
  url          = {https://doi.org/10.48550/arXiv.1305.0538},
  doi          = {10.48550/ARXIV.1305.0538},
  eprinttype   = {arXiv},
  eprint       = {1305.0538},
  timestamp    = {Thu, 01 Oct 2026 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1305-0538.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DLLM2013,
  author       = {Rocco De Nicola and
                  Diego Latella and
                  Michele Loreti and
                  Mieke Massink},
  title        = {A uniform definition of stochastic process calculi},
  journal      = {{ACM} Comput. Surv.},
  volume       = {46},
  number       = {1},
  pages        = {5:1--5:35},
  year         = {2013},
  url          = {https://doi.org/10.1145/2522968.2522973},
  doi          = {10.1145/2522968.2522973},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/csur/NicolaLLM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{BDL2013d,
  author       = {Marco Bernardo and
                  Rocco De Nicola and
                  Michele Loreti},
  title        = {A uniform framework for modeling nondeterministic, probabilistic,
                  stochastic, or mixed processes and their behavioral equivalences},
  journal      = {Inf. Comput.},
  volume       = {225},
  pages        = {29--82},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.ic.2013.02.004},
  doi          = {10.1016/J.IC.2013.02.004},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/BernardoNL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{BDL2012,
  author       = {Marco Bernardo and
                  Rocco De Nicola and
                  Michele Loreti},
  editor       = {Lars Birkedal},
  title        = {Revisiting Trace and Testing Equivalences for Nondeterministic and
                  Probabilistic Processes},
  booktitle    = {Foundations of Software Science and Computational Structures - 15th
                  International Conference, {FOSSACS} 2012, Held as Part of the European
                  Joint Conferences on Theory and Practice of Software, {ETAPS} 2012,
                  Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7213},
  pages        = {195--209},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-28729-9\_13},
  doi          = {10.1007/978-3-642-28729-9\_13},
  timestamp    = {Sat, 06 Sep 2025 20:31:32 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/BernardoNL12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{GLPTPBBD2012,
  author       = {Edmond Gjondrekaj and
                  Michele Loreti and
                  Rosario Pugliese and
                  Francesco Tiezzi and
                  Carlo Pinciroli and
                  Manuele Brambilla and
                  Mauro Birattari and
                  Marco Dorigo},
  editor       = {Toshiaki Aoki and
                  Kenji Taguchi},
  title        = {Towards a Formal Verification Methodology for Collective Robotic Systems},
  booktitle    = {Formal Methods and Software Engineering - 14th International Conference
                  on Formal Engineering Methods, {ICFEM} 2012, Kyoto, Japan, November
                  12-16, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7635},
  pages        = {54--70},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-34281-3\_7},
  doi          = {10.1007/978-3-642-34281-3\_7},
  timestamp    = {Thu, 20 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/GjondrekajLPTPBBD12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{GLPT2012,
  author       = {Edmond Gjondrekaj and
                  Michele Loreti and
                  Rosario Pugliese and
                  Francesco Tiezzi},
  editor       = {Sascha Ossowski and
                  Paola Lecca},
  title        = {Modeling adaptation with a tuple-based coordination language},
  booktitle    = {Proceedings of the {ACM} Symposium on Applied Computing, {SAC} 2012,
                  Riva, Trento, Italy, March 26-30, 2012},
  pages        = {1522--1527},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2245276.2232019},
  doi          = {10.1145/2245276.2232019},
  timestamp    = {Thu, 20 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sac/GjondrekajLPT12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{BCMT2012,
  author       = {Federico Buti and
                  Flavio Corradini and
                  Emanuela Merelli and
                  Luca Tesei},
  editor       = {Nuno Pina and
                  Janusz Kacprzyk and
                  Mohammad S. Obaidat},
  title        = {A Geometrical Refinement of Shape Calculus Enabling Direct Simulation},
  booktitle    = {{SIMULTECH} 2012 - Proceedings of the 2nd International Conference
                  on Simulation and Modeling Methodologies, Technologies and Applications,
                  Rome, Italy, 28 - 31 July, 2012},
  pages        = {218--227},
  publisher    = {SciTePress},
  year         = {2012},
  timestamp    = {Wed, 05 Sep 2012 19:44:12 +0200},
  biburl       = {https://dblp.org/rec/conf/simultech/ButiCMT12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{MPT2012,
  author       = {Emanuela Merelli and
                  Nicola Paoletti and
                  Luca Tesei},
  editor       = {Natallia Kokash and
                  Ant{\'{o}}nio Ravara},
  title        = {A multi-level model for self-adaptive systems},
  booktitle    = {Proceedings 11th International Workshop on Foundations of Coordination
                  Languages and Self Adaptation, {FOCLASA} 2012, Newcastle, U.K., September
                  8, 2012},
  series       = {{EPTCS}},
  volume       = {91},
  pages        = {112--126},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.91.8},
  doi          = {10.4204/EPTCS.91.8},
  timestamp    = {Thu, 01 Oct 2026 11:17:21 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1209-1628.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{BCDMV2012,
  author       = {Ezio Bartocci and
                  Diletta Cacciagrano and
                  Maria Rita Di Berardini and
                  Emanuela Merelli and
                  Leonardo Vito},
  title        = {UBioLab: a web-LABoratory for Ubiquitous in-silico experiments},
  journal      = {J. Integr. Bioinform.},
  volume       = {9},
  number       = {1},
  year         = {2012},
  url          = {https://doi.org/10.2390/biecoll-jib-2012-192},
  doi          = {10.2390/BIECOLL-JIB-2012-192},
  timestamp    = {Tue, 14 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jib/BartocciCBMV12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{TLLP2011,
  author       = {Maurice H. ter Beek and
                  Alessandro Lapadula and
                  Michele Loreti and
                  Claudio Palasciano},
  editor       = {Martin Wirsing and
                  Matthias M. H{\"{o}}lzl},
  title        = {Analysing Robot Movement Using the Sensoria Methods},
  booktitle    = {Rigorous Software Engineering for Service-Oriented Systems - Results
                  of the {SENSORIA} Project on Software Engineering for Service-Oriented
                  Computing},
  series       = {Lecture Notes in Computer Science},
  volume       = {6582},
  pages        = {678--697},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-20401-2\_33},
  doi          = {10.1007/978-3-642-20401-2\_33},
  timestamp    = {Mon, 29 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/sp/sensoria2011/BeekLLP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{CCGLLQS2011,
  author       = {Igor Cappello and
                  Allan Clark and
                  Stephen Gilmore and
                  Diego Latella and
                  Michele Loreti and
                  Paola Quaglia and
                  Stefano Schivo},
  editor       = {Martin Wirsing and
                  Matthias M. H{\"{o}}lzl},
  title        = {Quantitative Analysis of Services},
  booktitle    = {Rigorous Software Engineering for Service-Oriented Systems - Results
                  of the {SENSORIA} Project on Software Engineering for Service-Oriented
                  Computing},
  series       = {Lecture Notes in Computer Science},
  volume       = {6582},
  pages        = {522--540},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-20401-2\_25},
  doi          = {10.1007/978-3-642-20401-2\_25},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/sp/sensoria2011/CappelloCGLLQS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DLLM2011,
  author       = {Rocco De Nicola and
                  Diego Latella and
                  Michele Loreti and
                  Mieke Massink},
  editor       = {Martin Wirsing and
                  Matthias M. H{\"{o}}lzl},
  title        = {SoSL: {A} Service-Oriented Stochastic Logic},
  booktitle    = {Rigorous Software Engineering for Service-Oriented Systems - Results
                  of the {SENSORIA} Project on Software Engineering for Service-Oriented
                  Computing},
  series       = {Lecture Notes in Computer Science},
  volume       = {6582},
  pages        = {447--466},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-20401-2\_21},
  doi          = {10.1007/978-3-642-20401-2\_21},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/sp/sensoria2011/NicolaLLM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DFLP2011,
  author       = {Rocco De Nicola and
                  Gian{-}Luigi Ferrari and
                  Michele Loreti and
                  Rosario Pugliese},
  editor       = {Bernhard Beckert and
                  Ferruccio Damiani and
                  Frank S. de Boer and
                  Marcello M. Bonsangue},
  title        = {A Language-Based Approach to Autonomic Computing},
  booktitle    = {Formal Methods for Components and Objects, 10th International Symposium,
                  {FMCO} 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7542},
  pages        = {25--48},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-35887-6\_2},
  doi          = {10.1007/978-3-642-35887-6\_2},
  timestamp    = {Mon, 26 Jun 2023 20:47:53 +0200},
  biburl       = {https://dblp.org/rec/conf/fmco/NicolaFLP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{BCCCMT2011,
  author       = {Federico Buti and
                  Diletta Cacciagrano and
                  Massimo Callisto De Donato and
                  Flavio Corradini and
                  Emanuela Merelli and
                  Luca Tesei},
  editor       = {Maria Francesca Costabile and
                  Yvonne Dittrich and
                  Gerhard Fischer and
                  Antonio Piccinno},
  title        = {BIOSHAPE{\textbackslash}textsc\{BioShape\}: End-User Development for
                  Simulating Biological Systems},
  booktitle    = {End-User Development - Third International Symposium, {IS-EUD} 2011,
                  Torre Canne (BR), Italy, June 7-10, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6654},
  pages        = {379--382},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-21530-8\_45},
  doi          = {10.1007/978-3-642-21530-8\_45},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iseud/ButiCDCMT11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DL2011,
  author       = {Liliana D'Errico and
                  Michele Loreti},
  editor       = {Roberto Bruni and
                  Vladimiro Sassone},
  title        = {Context Aware Specification and Verification of Distributed Systems},
  booktitle    = {Trustworthy Global Computing - 6th International Symposium, {TGC}
                  2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7173},
  pages        = {142--159},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-30065-3\_9},
  doi          = {10.1007/978-3-642-30065-3\_9},
  timestamp    = {Thu, 26 Sep 2024 16:29:51 +0200},
  biburl       = {https://dblp.org/rec/conf/tgc/DErricoL11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{BDL2011,
  author       = {Marco Bernardo and
                  Rocco De Nicola and
                  Michele Loreti},
  editor       = {Luca Aceto and
                  Mohammad Reza Mousavi},
  title        = {Uniform Labeled Transition Systems for Nondeterministic, Probabilistic,
                  and Stochastic Process Calculi},
  booktitle    = {Proceedings First International Workshop on Process Algebra and Coordination,
                  {PACO} 2011, Reykjavik, Iceland, 9th June 2011},
  series       = {{EPTCS}},
  volume       = {60},
  pages        = {66--75},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.60.5},
  doi          = {10.4204/EPTCS.60.5},
  timestamp    = {Thu, 01 Oct 2026 11:17:20 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1108-1865.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{BCMMT2011,
  author       = {Roberto Barbuti and
                  Diletta Romana Cacciagrano and
                  Andrea Maggiolo{-}Schettini and
                  Paolo Milazzo and
                  Luca Tesei},
  title        = {A Testing Framework for {P} Systems},
  journal      = {CoRR},
  volume       = {abs/1108.3424},
  year         = {2011},
  url          = {https://doi.org/10.48550/arXiv.1108.3424},
  doi          = {10.48550/ARXIV.1108.3424},
  eprinttype   = {arXiv},
  eprint       = {1108.3424},
  timestamp    = {Thu, 01 Oct 2026 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1108-3424.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{BCCMT2011a,
  author       = {Federico Buti and
                  Massimo Callisto De Donato and
                  Flavio Corradini and
                  Emanuela Merelli and
                  Luca Tesei},
  title        = {Multiscale Modelling: {A} Mobile Membrane Approach},
  journal      = {CoRR},
  volume       = {abs/1108.3434},
  year         = {2011},
  url          = {https://doi.org/10.48550/arXiv.1108.3434},
  doi          = {10.48550/ARXIV.1108.3434},
  eprinttype   = {arXiv},
  eprint       = {1108.3434},
  timestamp    = {Thu, 01 Oct 2026 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1108-3434.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{BCCMT2011b,
  author       = {Federico Buti and
                  Diletta Cacciagrano and
                  Flavio Corradini and
                  Emanuela Merelli and
                  Luca Tesei},
  editor       = {Paola Giannini and
                  Jean Krivine},
  title        = {A Uniform Multiscale Meta-model of BioShape},
  booktitle    = {The Second International Workshop on Interactions between Computer
                  Science and Biology, CS2Bio@DisCoTec 2011, Reykjavik, Iceland, June
                  9, 2011},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {277},
  pages        = {15--27},
  publisher    = {Elsevier},
  year         = {2011},
  url          = {https://doi.org/10.1016/j.entcs.2011.09.032},
  doi          = {10.1016/J.ENTCS.2011.09.032},
  timestamp    = {Fri, 10 Mar 2023 15:14:25 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/ButiCCMT11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{BCCDMT2011,
  author       = {Federico Buti and
                  Massimo Callisto De Donato and
                  Flavio Corradini and
                  Maria Rita Di Berardini and
                  Emanuela Merelli and
                  Luca Tesei},
  editor       = {J{\'{e}}r{\^{o}}me Feret and
                  Andre Levchenko},
  title        = {Towards Abstraction-Based Verification of Shape Calculus},
  booktitle    = {Proceedings of the 2nd International Workshop on Static Analysis and
                  Systems Biology, {SASB} 2011, Venice, Italy, September 13, 2011},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {284},
  pages        = {23--34},
  publisher    = {Elsevier},
  year         = {2011},
  url          = {https://doi.org/10.1016/j.entcs.2012.05.013},
  doi          = {10.1016/J.ENTCS.2012.05.013},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/ButiDCBMT12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{CMCCTV2011,
  author       = {Flavio Corradini and
                  Emanuela Merelli and
                  Diletta Romana Cacciagrano and
                  Rosario Culmone and
                  Luca Tesei and
                  Leonardo Vito},
  title        = {ACTIVAge: proACTIVe and Self-Adaptive Social Sensor Network for Ageing
                  People},
  journal      = {{ERCIM} News},
  volume       = {2011},
  number       = {87},
  year         = {2011},
  url          = {http://ercim-news.ercim.eu/en87/special/activage-proactive-and-self-adaptive-social-sensor-network-for-ageing-people},
  timestamp    = {Wed, 22 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ercim/CorradiniMCCTV11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{BMMPT2011,
  author       = {Roberto Barbuti and
                  Andrea Maggiolo{-}Schettini and
                  Paolo Milazzo and
                  Giovanni Pardini and
                  Luca Tesei},
  title        = {Spatial {P} systems},
  journal      = {Nat. Comput.},
  volume       = {10},
  number       = {1},
  pages        = {3--16},
  year         = {2011},
  url          = {https://doi.org/10.1007/s11047-010-9187-z},
  doi          = {10.1007/S11047-010-9187-Z},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/nc/BarbutiMMPT11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{CCM2010,
  author       = {Diletta Cacciagrano and
                  Flavio Corradini and
                  Emanuela Merelli},
  editor       = {Stefania Bandini and
                  Sara Manzoni and
                  Hiroshi Umeo and
                  Giuseppe Vizzari},
  title        = {Bone Remodelling: {A} Complex Automata-Based Model Running in BioShape},
  booktitle    = {Cellular Automata - 9th International Conference on Cellular Automata
                  for Research and Industry, {ACRI} 2010, Ascoli Piceno, Italy, September
                  21-24, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6350},
  pages        = {116--127},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15979-4\_12},
  doi          = {10.1007/978-3-642-15979-4\_12},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/acri/CacciagranoCM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{CL2010,
  author       = {Francesco Calzolai and
                  Michele Loreti},
  editor       = {Dave Clarke and
                  Gul A. Agha},
  title        = {Simulation and Analysis of Distributed Systems in Klaim},
  booktitle    = {Coordination Models and Languages, 12th International Conference,
                  {COORDINATION} 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6116},
  pages        = {122--136},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-13414-2\_9},
  doi          = {10.1007/978-3-642-13414-2\_9},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/coordination/CalzolaiL10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{BDL2010,
  author       = {Marco Bernardo and
                  Rocco De Nicola and
                  Michele Loreti},
  editor       = {Martin Wirsing and
                  Martin Hofmann and
                  Axel Rauschmayer},
  title        = {Uniform Labeled Transition Systems for Nondeterministic, Probabilistic,
                  and Stochastic Processes},
  booktitle    = {Trustworthly Global Computing - 5th International Symposium, {TGC}
                  2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6084},
  pages        = {35--56},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15640-3\_3},
  doi          = {10.1007/978-3-642-15640-3\_3},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tgc/BernardoNL10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DL2010,
  author       = {Liliana D'Errico and
                  Michele Loreti},
  editor       = {Martin Wirsing and
                  Martin Hofmann and
                  Axel Rauschmayer},
  title        = {Property-Preserving Refinement of Concurrent Systems},
  booktitle    = {Trustworthly Global Computing - 5th International Symposium, {TGC}
                  2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6084},
  pages        = {222--236},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15640-3\_15},
  doi          = {10.1007/978-3-642-15640-3\_15},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tgc/DErricoL10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{BDT2010,
  author       = {Roberto Barbuti and
                  Nicoletta De Francesco and
                  Luca Tesei},
  title        = {An Abstract Interpretation Approach for Enhancing the Java Bytecode
                  Verifier},
  journal      = {Comput. J.},
  volume       = {53},
  number       = {6},
  pages        = {679--700},
  year         = {2010},
  url          = {https://doi.org/10.1093/comjnl/bxp031},
  doi          = {10.1093/COMJNL/BXP031},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cj/BarbutiFT10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{BCMPPT2010,
  author       = {Federico Buti and
                  Flavio Corradini and
                  Emanuela Merelli and
                  Elio Paschini and
                  Pierluigi Penna and
                  Luca Tesei},
  editor       = {Paolo Milazzo and
                  Mario de J. P{\'{e}}rez{-}Jim{\'{e}}nez},
  title        = {An Individual-based Probabilistic Model for Fish Stock Simulation},
  booktitle    = {Proceedings First Workshop on Applications of Membrane computing,
                  Concurrency and Agent-based modelling in POPulation biology, {AMCA-POP}
                  2010, Jena, Germany, 25th August 2010},
  series       = {{EPTCS}},
  volume       = {33},
  pages        = {37--55},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.33.3},
  doi          = {10.4204/EPTCS.33.3},
  timestamp    = {Thu, 01 Oct 2026 11:17:16 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1008-3303.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{CCMT2010,
  author       = {Diletta Cacciagrano and
                  Flavio Corradini and
                  Emanuela Merelli and
                  Luca Tesei},
  editor       = {Gabriel Ciobanu and
                  Maciej Koutny},
  title        = {Multiscale Bone Remodelling with Spatial {P} Systems},
  booktitle    = {Proceedings Fourth Workshop on Membrane Computing and Biologically
                  Inspired Process Calculi, MeCBIC 2010, Jena, Germany, 23 August 2010},
  series       = {{EPTCS}},
  volume       = {40},
  pages        = {70--84},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.40.6},
  doi          = {10.4204/EPTCS.40.6},
  timestamp    = {Thu, 01 Oct 2026 11:17:30 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1011-0492.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{BCDMT2010a,
  author       = {Ezio Bartocci and
                  Diletta Romana Cacciagrano and
                  Maria Rita Di Berardini and
                  Emanuela Merelli and
                  Luca Tesei},
  title        = {Shape Calculus: Timed Operational Semantics and Well-formedness},
  journal      = {CoRR},
  volume       = {abs/1011.2488},
  year         = {2010},
  url          = {https://doi.org/10.48550/arXiv.1011.2488},
  doi          = {10.48550/ARXIV.1011.2488},
  eprinttype   = {arXiv},
  eprint       = {1011.2488},
  timestamp    = {Thu, 01 Oct 2026 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1011-2488.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{BCDMT2010b,
  author       = {Ezio Bartocci and
                  Flavio Corradini and
                  Maria Rita Di Berardini and
                  Emanuela Merelli and
                  Luca Tesei},
  title        = {Shape Calculus. {A} Spatial Mobile Calculus for 3D Shapes},
  journal      = {Sci. Ann. Comput. Sci.},
  volume       = {20},
  pages        = {1--31},
  year         = {2010},
  url          = {http://www.info.uaic.ro/bin/Annals/Article?v=XX\&\#38;a=0},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cuza/BartocciCBMT10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{BCDMT2010c,
  author       = {Ezio Bartocci and
                  Diletta Romana Cacciagrano and
                  Maria Rita Di Berardini and
                  Emanuela Merelli and
                  Luca Tesei},
  title        = {Timed Operational Semantics and Well-Formedness of Shape Calculus},
  journal      = {Sci. Ann. Comput. Sci.},
  volume       = {20},
  pages        = {32--52},
  year         = {2010},
  url          = {http://www.info.uaic.ro/bin/Annals/Article?v=XX\&\#38;a=1},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cuza/BartocciCBMT10a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{BCCMTP2010,
  author       = {Federico Buti and
                  Diletta Cacciagrano and
                  Flavio Corradini and
                  Emanuela Merelli and
                  Luca Tesei and
                  M. Pani},
  editor       = {Jean Krivine and
                  Angelo Troina},
  title        = {Bone Remodelling in BioShape},
  booktitle    = {Proceedings of the 1st International Workshop on Interactions between
                  Computer Science and Biology, CS2Bio 2010, Amsterdam, The Netherlands,
                  June 10, 2010},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {268},
  pages        = {17--29},
  publisher    = {Elsevier},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.entcs.2010.12.003},
  doi          = {10.1016/J.ENTCS.2010.12.003},
  timestamp    = {Thu, 09 Mar 2023 16:02:23 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/ButiCCMTP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{BCCMT2010,
  author       = {Federico Buti and
                  Diletta Cacciagrano and
                  Flavio Corradini and
                  Emanuela Merelli and
                  Luca Tesei},
  editor       = {Peter M. A. Sloot and
                  G. Dick van Albada and
                  Jack J. Dongarra},
  title        = {BioShape: a spatial shape-based scale-independent simulation environment
                  for biological systems},
  booktitle    = {Proceedings of the International Conference on Computational Science,
                  {ICCS} 2010, University of Amsterdam, The Netherlands, May 31 - June
                  2, 2010},
  series       = {Procedia Computer Science},
  volume       = {1},
  number       = {1},
  pages        = {827--835},
  publisher    = {Elsevier},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.procs.2010.04.090},
  doi          = {10.1016/J.PROCS.2010.04.090},
  timestamp    = {Sun, 02 Nov 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/procedia/ButiCCMT10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{BCMT2010,
  author       = {Ezio Bartocci and
                  Flavio Corradini and
                  Emanuela Merelli and
                  Luca Tesei},
  title        = {Detecting synchronisation of biological oscillators by model checking},
  journal      = {Theor. Comput. Sci.},
  volume       = {411},
  number       = {20},
  pages        = {1999--2018},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.tcs.2009.12.019},
  doi          = {10.1016/J.TCS.2009.12.019},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BartocciCMT10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DL2009a,
  author       = {Liliana D'Errico and
                  Michele Loreti},
  editor       = {John Field and
                  Vasco Thudichum Vasconcelos},
  title        = {Assume-Guarantee Verification of Concurrent Systems},
  booktitle    = {Coordination Models and Languages, 11th International Conference,
                  {COORDINATION} 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5521},
  pages        = {288--305},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02053-7\_15},
  doi          = {10.1007/978-3-642-02053-7\_15},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/coordination/DErricoL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DL2009b,
  author       = {Liliana D'Errico and
                  Michele Loreti},
  editor       = {Jo{\~{a}}o Paulo Carvalho and
                  Didier Dubois and
                  Uzay Kaymak and
                  Jo{\~{a}}o Miguel da Costa Sousa},
  title        = {A process Algebra Approach to Fuzzy Reasoning},
  booktitle    = {Proceedings of the Joint 2009 International Fuzzy Systems Association
                  World Congress and 2009 European Society of Fuzzy Logic and Technology
                  Conference, Lisbon, Portugal, July 20-24, 2009},
  pages        = {1136--1141},
  year         = {2009},
  url          = {http://www.eusflat.org/proceedings/IFSA-EUSFLAT\_2009/pdf/tema\_1136.pdf},
  timestamp    = {Wed, 20 Aug 2025 20:29:34 +0200},
  biburl       = {https://dblp.org/rec/conf/eusflat/DErricoL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DLLM2009a,
  author       = {Rocco De Nicola and
                  Diego Latella and
                  Michele Loreti and
                  Mieke Massink},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Byron Cook and
                  Christophe Joubert},
  title        = {On a Uniform Framework for the Definition of Stochastic Process Languages},
  booktitle    = {Formal Methods for Industrial Critical Systems, 14th International
                  Workshop, {FMICS} 2009, Eindhoven, The Netherlands, November 2-3,
                  2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5825},
  pages        = {9--25},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04570-7\_2},
  doi          = {10.1007/978-3-642-04570-7\_2},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/NicolaLLM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DLLM2009b,
  author       = {Rocco De Nicola and
                  Diego Latella and
                  Michele Loreti and
                  Mieke Massink},
  editor       = {Susanne Albers and
                  Alberto Marchetti{-}Spaccamela and
                  Yossi Matias and
                  Sotiris E. Nikoletseas and
                  Wolfgang Thomas},
  title        = {Rate-Based Transition Systems for Stochastic Process Calculi},
  booktitle    = {Automata, Languages and Programming, 36th Internatilonal Colloquium,
                  {ICALP} 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {5556},
  pages        = {435--446},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02930-1\_36},
  doi          = {10.1007/978-3-642-02930-1\_36},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/NicolaLLM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{CCCV2009,
  author       = {Diletta Cacciagrano and
                  Flavio Corradini and
                  Rosario Culmone and
                  Leonardo Vito},
  editor       = {Jaime Lloret Mauri and
                  Vicente Casares Giner and
                  Rafael Tomas and
                  Tomeu Serra and
                  Oana Dini},
  title        = {Constraint-Based Dynamic Conversations},
  booktitle    = {The Fifth International Conference on Networking and Services, {ICNS}
                  2009, 20-25 April 2009, Valencia, Spain},
  pages        = {7--12},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/ICNS.2009.55},
  doi          = {10.1109/ICNS.2009.55},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icns/CacciagranoCCV09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{BCDMT2009,
  author       = {Ezio Bartocci and
                  Flavio Corradini and
                  Maria Rita Di Berardini and
                  Emanuela Merelli and
                  Luca Tesei},
  editor       = {Alessandra Cherubini and
                  Mario Coppo and
                  Giuseppe Persiano},
  title        = {A Shape Calculus for Biological Processes},
  booktitle    = {Theoretical Computer Science, 11th Italian Conference, {ICTCS} 2009,
                  Cremona, Italy, September 28-30, 2009, Proceedings},
  pages        = {30--33},
  year         = {2009},
  timestamp    = {Tue, 28 May 2013 14:21:59 +0200},
  biburl       = {https://dblp.org/rec/conf/ictcs/BartocciCBMT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{CCP2009,
  author       = {Diletta Cacciagrano and
                  Flavio Corradini and
                  Catuscia Palamidessi},
  title        = {Explicit fairness in testing semantics},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {5},
  number       = {2},
  year         = {2009},
  url          = {https://doi.org/10.48550/arXiv.0904.2340},
  doi          = {10.48550/ARXIV.0904.2340},
  timestamp    = {Thu, 01 Oct 2026 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0904-2340.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{BMMT2009,
  author       = {Roberto Barbuti and
                  Andrea Maggiolo{-}Schettini and
                  Paolo Milazzo and
                  Luca Tesei},
  title        = {Timed {P} Automata},
  journal      = {Fundam. Informaticae},
  volume       = {94},
  number       = {1},
  pages        = {1--19},
  year         = {2009},
  url          = {https://doi.org/10.3233/FI-2009-114},
  doi          = {10.3233/FI-2009-114},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fuin/BarbutiMMT09a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{BDL2008,
  author       = {Lorenzo Bettini and
                  Rocco De Nicola and
                  Michele Loreti},
  editor       = {Doug Lea and
                  Gianluigi Zavattaro},
  title        = {Implementing Session Centered Calculi},
  booktitle    = {Coordination Models and Languages, 10th International Conference,
                  {COORDINATION} 2008, Oslo, Norway, June 4-6, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5052},
  pages        = {17--32},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68265-3\_2},
  doi          = {10.1007/978-3-540-68265-3\_2},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/coordination/BettiniNL08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{BBDL2008,
  author       = {Michele Boreale and
                  Roberto Bruni and
                  Rocco De Nicola and
                  Michele Loreti},
  editor       = {Gilles Barthe and
                  Frank S. de Boer},
  title        = {Sessions and Pipelines for Structured Service Programming},
  booktitle    = {Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP}
                  {WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June
                  4-6, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5051},
  pages        = {19--38},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68863-1\_3},
  doi          = {10.1007/978-3-540-68863-1\_3},
  timestamp    = {Thu, 26 Sep 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmoods/BorealeBNL08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{CCCTV2008,
  author       = {Diletta Cacciagrano and
                  Flavio Corradini and
                  Rosario Culmone and
                  Luca Tesei and
                  Leonardo Vito},
  editor       = {Gabriele Kotsis and
                  David Taniar and
                  Eric Pardede and
                  Ismail Khalil Ibrahim},
  title        = {A model-prover for constrained dynamic conversations},
  booktitle    = {iiWAS'2008 - The Tenth International Conference on Information Integration
                  and Web-based Applications Services, 24-26 November 2008, Linz, Austria},
  pages        = {630--633},
  publisher    = {{ACM}},
  year         = {2008},
  url          = {https://doi.org/10.1145/1497308.1497428},
  doi          = {10.1145/1497308.1497428},
  timestamp    = {Sat, 15 Aug 2026 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iiwas/CacciagranoCCTV08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{MLTHL2008,
  author       = {Mieke Massink and
                  Diego Latella and
                  Maurice H. ter Beek and
                  Michael D. Harrison and
                  Michele Loreti},
  editor       = {Peter Forbrig and
                  Fabio Patern{\`{o}}},
  title        = {A Fluid Flow Approach to Usability Analysis of Multi-user Systems},
  booktitle    = {Engineering Interactive Systems, Second Conference on Human-Centered
                  Software Engineering, {HCSE} 2008, and 7th International Workshop
                  on Task Models and Diagrams, {TAMODIA} 2008, Pisa, Italy, September
                  25-26, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5247},
  pages        = {166--180},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-85992-5\_15},
  doi          = {10.1007/978-3-540-85992-5\_15},
  timestamp    = {Thu, 07 May 2026 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tamodia/MassinkLBHL08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{BLLMZ2008,
  author       = {Mario Bravetti and
                  Diego Latella and
                  Michele Loreti and
                  Mieke Massink and
                  Gianluigi Zavattaro},
  editor       = {Christos Kaklamanis and
                  Flemming Nielson},
  title        = {Combining Timed Coordination Primitives and Probabilistic Tuple Spaces},
  booktitle    = {Trustworthy Global Computing, 4th International Symposium, {TGC} 2008,
                  Barcelona, Spain, November 3-4, 2008, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5474},
  pages        = {52--68},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-642-00945-7\_4},
  doi          = {10.1007/978-3-642-00945-7\_4},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tgc/BravettiLLMZ08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{BDLM2008,
  author       = {Roberto Bruni and
                  Rocco De Nicola and
                  Michele Loreti and
                  Leonardo Gaetano Mezzina},
  editor       = {Christos Kaklamanis and
                  Flemming Nielson},
  title        = {Provably Correct Implementations of Services},
  booktitle    = {Trustworthy Global Computing, 4th International Symposium, {TGC} 2008,
                  Barcelona, Spain, November 3-4, 2008, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5474},
  pages        = {69--86},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-642-00945-7\_5},
  doi          = {10.1007/978-3-642-00945-7\_5},
  timestamp    = {Thu, 26 Sep 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tgc/BruniNLM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{BMMT2008,
  author       = {Roberto Barbuti and
                  Andrea Maggiolo{-}Schettini and
                  Paolo Milazzo and
                  Luca Tesei},
  editor       = {Gabriel Ciobanu},
  title        = {Timed {P} Automata},
  booktitle    = {Proceedings of the Second International Meeting on Membrane Computing
                  and Biologically Inspired Process Calculi, MeCBIC 2008, Ia{\c{s}}i,
                  Romania, September 3-4, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {227},
  pages        = {21--36},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2008.12.102},
  doi          = {10.1016/J.ENTCS.2008.12.102},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BarbutiMMT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{BCMT2008,
  author       = {Ezio Bartocci and
                  Flavio Corradini and
                  Emanuela Merelli and
                  Luca Tesei},
  editor       = {Nicola Cannata and
                  Emanuela Merelli and
                  Irek Ulidowski},
  title        = {Model Checking Biological Oscillators},
  booktitle    = {Proceedings of the Second Workshop From Biology to Concurrency and
                  Back, FBTC@ICALP 2008, Reykjavik, Iceland, July 12, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {229},
  number       = {1},
  pages        = {41--58},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.02.004},
  doi          = {10.1016/J.ENTCS.2009.02.004},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BartocciCMT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DLLM2008,
  author       = {Rocco De Nicola and
                  Diego Latella and
                  Michele Loreti and
                  Mieke Massink},
  editor       = {Matthew Hennessy and
                  Bartek Klin},
  title        = {MarCaSPiS: a Markovian Extension of a Calculus for Services},
  booktitle    = {Proceedings of the Fifth Workshop on Structural Operational Semantics,
                  SOS@ICALP 2008, Reykjavik, Iceland, July 6, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {229},
  number       = {4},
  pages        = {11--26},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.07.071},
  doi          = {10.1016/J.ENTCS.2009.07.071},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/NicolaLLM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{CPRT2008,
  author       = {Flavio Corradini and
                  Alberto Polzonetti and
                  Barbara Re and
                  Luca Tesei},
  title        = {Quality of service in e-government underlines the role of information
                  usability},
  journal      = {Int. J. Inf. Qual.},
  volume       = {2},
  number       = {2},
  pages        = {133--151},
  year         = {2008},
  url          = {https://doi.org/10.1504/IJIQ.2008.022960},
  doi          = {10.1504/IJIQ.2008.022960},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijiq/CorradiniPRT08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DL2008,
  author       = {Rocco De Nicola and
                  Michele Loreti},
  title        = {Multiple-Labelled Transition Systems for nominal calculi and their
                  logics},
  journal      = {Math. Struct. Comput. Sci.},
  volume       = {18},
  number       = {1},
  pages        = {107--143},
  year         = {2008},
  url          = {https://doi.org/10.1017/S0960129507006585},
  doi          = {10.1017/S0960129507006585},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/mscs/NicolaL08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{CDLT2008,
  author       = {Francesco Calzolai and
                  Rocco De Nicola and
                  Michele Loreti and
                  Francesco Tiezzi},
  title        = {TAPAs: {A} Tool for the Analysis of Process Algebras},
  journal      = {Trans. Petri Nets Other Model. Concurr.},
  volume       = {1},
  pages        = {54--70},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-89287-8\_4},
  doi          = {10.1007/978-3-540-89287-8\_4},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/topnoc/CalzolaiNLT08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{MKL2007a,
  author       = {Andrea Manganaro and
                  Mingyur Koblensky and
                  Michele Loreti},
  editor       = {Joaquim Filipe and
                  Mohammad S. Obaidat},
  title        = {Design of a Password-Based {EAP} Method},
  booktitle    = {E-business and Telecommunications - 4th International Conference,
                  {ICETE} 2007, Barcelona, Spain, July 28-31, 2007, Revised Selected
                  Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {23},
  pages        = {343--355},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-88653-2\_26},
  doi          = {10.1007/978-3-540-88653-2\_26},
  timestamp    = {Tue, 16 Aug 2022 23:04:29 +0200},
  biburl       = {https://dblp.org/rec/conf/icete/ManganaroKL07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DL2007,
  author       = {Liliana D'Errico and
                  Michele Loreti},
  editor       = {Giuseppe F. Italiano and
                  Eugenio Moggi and
                  Luigi Laura},
  title        = {Modeling Fuzzy Behaviours in Concurrent Systems},
  booktitle    = {Theoretical Computer Science, 10th Italian Conference, {ICTCS} 2007,
                  Rome, Italy, October 3-5, 2007, Proceedings},
  pages        = {94--105},
  publisher    = {World Scientific},
  year         = {2007},
  timestamp    = {Wed, 11 Jun 2008 08:55:26 +0200},
  biburl       = {https://dblp.org/rec/conf/ictcs/DErricoL07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{MKL2007b,
  author       = {Andrea Manganaro and
                  Mingyur Koblensky and
                  Michele Loreti},
  editor       = {Mohammad S. Obaidat and
                  Victor Peral Lecha and
                  Rafael F. S. Caldeirinha},
  title        = {Design of a Password-based Authentication Method for Wireless Networks},
  booktitle    = {{WINSYS} 2007 - Proceedings of the International Conference on Wireless
                  Information Networks and Systems, Barcelona, Spain, July 28-31, 2007,
                  {WINSYS} is part of {ICETE} - The International Joint Conference on
                  e-Business and Telecommunications},
  pages        = {9--16},
  publisher    = {{INSTICC} Press},
  year         = {2007},
  timestamp    = {Wed, 09 Sep 2009 08:20:58 +0200},
  biburl       = {https://dblp.org/rec/conf/winsys/ManganaroKL07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{CCAV2007,
  author       = {Diletta Cacciagrano and
                  Flavio Corradini and
                  Jes{\'{u}}s Aranda and
                  Frank D. Valencia},
  editor       = {Roberto M. Amadio and
                  Thomas T. Hildebrandt},
  title        = {Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus},
  booktitle    = {Proceedings of the 14th International Workshop on Expressiveness in
                  Concurrency, {EXPRESS} 2007, Lisbon, Portugal, September 3, 2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {194},
  number       = {2},
  pages        = {59--84},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2007.11.006},
  doi          = {10.1016/J.ENTCS.2007.11.006},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/CacciagranoCAV08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{CCP2007,
  author       = {Diletta Cacciagrano and
                  Flavio Corradini and
                  Catuscia Palamidessi},
  title        = {Separation of synchronous and asynchronous communication via testing},
  journal      = {Theor. Comput. Sci.},
  volume       = {386},
  number       = {3},
  pages        = {218--235},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.tcs.2007.07.009},
  doi          = {10.1016/J.TCS.2007.07.009},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/CacciagranoCP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DKLLM2007,
  author       = {Rocco De Nicola and
                  Joost{-}Pieter Katoen and
                  Diego Latella and
                  Michele Loreti and
                  Mieke Massink},
  title        = {Model checking mobile stochastic logic},
  journal      = {Theor. Comput. Sci.},
  volume       = {382},
  number       = {1},
  pages        = {42--70},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.tcs.2007.05.008},
  doi          = {10.1016/J.TCS.2007.05.008},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/NicolaKLLM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{CLP2006,
  author       = {Pilu Crescenzi and
                  Michele Loreti and
                  Rosario Pugliese},
  editor       = {Renzo Davoli and
                  Michael Goldweber and
                  Paola Salomoni},
  title        = {Assessing {CS1} java skills: a three-year experience},
  booktitle    = {Proceedings of the 11th Annual {SIGCSE} Conference on Innovation and
                  Technology in Computer Science Education, ITiCSE 2006, Bologna, Italy,
                  June 26-28, 2006},
  pages        = {348},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1140124.1140257},
  doi          = {10.1145/1140124.1140257},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iticse/CrescenziLP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{BBCDLLMMRSVZ2006,
  author       = {Michele Boreale and
                  Roberto Bruni and
                  Lu{\'{\i}}s Caires and
                  Rocco De Nicola and
                  Ivan Lanese and
                  Michele Loreti and
                  Francisco Martins and
                  Ugo Montanari and
                  Ant{\'{o}}nio Ravara and
                  Davide Sangiorgi and
                  Vasco Thudichum Vasconcelos and
                  Gianluigi Zavattaro},
  editor       = {Mario Bravetti and
                  Manuel N{\'{u}}{\~{n}}ez and
                  Gianluigi Zavattaro},
  title        = {{SCC:} {A} Service Centered Calculus},
  booktitle    = {Web Services and Formal Methods, Third International Workshop, {WS-FM}
                  2006 Vienna, Austria, September 8-9, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4184},
  pages        = {38--57},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11841197\_3},
  doi          = {10.1007/11841197\_3},
  timestamp    = {Thu, 26 Sep 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wsfm/BorealeBCNLLMMRSVZ06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{CCCV2006,
  author       = {Diletta Cacciagrano and
                  Flavio Corradini and
                  Rosario Culmone and
                  Leonardo Vito},
  editor       = {Mario Bravetti and
                  Manuel N{\'{u}}{\~{n}}ez and
                  Gianluigi Zavattaro},
  title        = {Dynamic Constraint-Based Invocation of Web Services},
  booktitle    = {Web Services and Formal Methods, Third International Workshop, {WS-FM}
                  2006 Vienna, Austria, September 8-9, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4184},
  pages        = {138--147},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11841197\_9},
  doi          = {10.1007/11841197\_9},
  timestamp    = {Sat, 15 Aug 2026 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wsfm/CacciagranoCCV06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{BDFL2006,
  author       = {Lorenzo Bettini and
                  Rocco De Nicola and
                  Daniele Falassi and
                  Michele Loreti},
  editor       = {Guido Boella and
                  Mehdi Dastani and
                  Andrea Omicini and
                  Leon van der Torre and
                  Ivana Cern{\'{a}} and
                  Isabelle Linden},
  title        = {Implementing a Distributed Mobile Calculus Using the {IMC} Framework},
  booktitle    = {Combined Proceedings of the Second International Workshop on Coordination
                  and Organization (CoOrg 2006) and the Second International Workshop
                  on Methods and Tools for Coordinating Concurrent, Distributed and
                  Mobile Systems (MTCoord 2006), Bologna, Italy, June 13, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {181},
  pages        = {63--79},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2007.01.054},
  doi          = {10.1016/J.ENTCS.2007.01.054},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BettiniNFL07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{CCP2006,
  author       = {Diletta Cacciagrano and
                  Flavio Corradini and
                  Catuscia Palamidessi},
  editor       = {Roberto M. Amadio and
                  Iain Phillips},
  title        = {Fair Pi},
  booktitle    = {Proceedings of the 13th International Workshop on Expressiveness in
                  Concurrency, {EXPRESS} 2006, Bonn, Germany, August 26, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {175},
  number       = {3},
  pages        = {3--26},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2006.10.051},
  doi          = {10.1016/J.ENTCS.2006.10.051},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/CacciagranoCP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DL2006,
  author       = {Rocco De Nicola and
                  Michele Loreti},
  editor       = {Flavio Corradini and
                  Carlo Toffalori},
  title        = {Multi Labelled Transition Systems: {A} Semantic Framework for Nominal
                  Calculi},
  booktitle    = {Proceedings of the Workshop on Logic, Models and Computer Science,
                  {LMCS} 2006, Camerino, Italy, April 20-22, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {169},
  pages        = {133--146},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2007.05.019},
  doi          = {10.1016/J.ENTCS.2007.05.019},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/NicolaL07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{BDL2006,
  author       = {Lorenzo Bettini and
                  Rocco De Nicola and
                  Michele Loreti},
  title        = {Implementing Mobile and Distributed Applications in X-Klaim},
  journal      = {Scalable Comput. Pract. Exp.},
  volume       = {7},
  number       = {4},
  year         = {2006},
  url          = {http://www.scpe.org/index.php/scpe/article/view/384},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scpe/BettiniNL06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{BDFLL2005,
  author       = {Lorenzo Bettini and
                  Rocco De Nicola and
                  Daniele Falassi and
                  Marc Lacoste and
                  Michele Loreti},
  editor       = {Lea Kutvonen and
                  Nancy Alonistioti},
  title        = {A Flexible and Modular Framework for Implementing Infrastructures
                  for Global Computing},
  booktitle    = {Distributed Applications and Interoperable Systems, 5th {IFIP} {WG}
                  6.1 International Conference, {DAIS} 2005, Athens, Greece, June 15-17,
                  2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3543},
  pages        = {181--193},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11498094\_17},
  doi          = {10.1007/11498094\_17},
  timestamp    = {Tue, 24 Mar 2026 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dais/BettiniNFLL05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{CCP2005,
  author       = {Diletta Cacciagrano and
                  Flavio Corradini and
                  Catuscia Palamidessi},
  editor       = {Jos C. M. Baeten and
                  Iain Phillips},
  title        = {Separation of Synchronous and Asynchronous Communication Via Testing},
  booktitle    = {Proceedings of the 12th Workshop on Expressiveness on Concurrency,
                  {EXPRESS} 2005, San Francisco, CA, USA, August 27, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {154},
  number       = {3},
  pages        = {95--108},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2006.05.009},
  doi          = {10.1016/J.ENTCS.2006.05.009},
  timestamp    = {Wed, 28 Jan 2026 16:15:55 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/CacciagranoCP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DL2004a,
  author       = {Rocco De Nicola and
                  Michele Loreti},
  editor       = {Frank S. de Boer and
                  Marcello M. Bonsangue and
                  Susanne Graf and
                  Willem P. de Roever},
  title        = {MoMo: {A} Modal Logic for Reasoning About Mobility},
  booktitle    = {Formal Methods for Components and Objects, Third International Symposium,
                  {FMCO} 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised
                  Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {3657},
  pages        = {95--119},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/11561163\_5},
  doi          = {10.1007/11561163\_5},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmco/NicolaL04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{BCILC2004,
  author       = {Lorenzo Bettini and
                  Pilu Crescenzi and
                  Gaia Innocenti and
                  Michele Loreti and
                  Leonardo Cecchi},
  editor       = {Kinshuk and
                  Chee{-}Kit Looi and
                  Erkki Sutinen and
                  Demetrios G. Sampson and
                  Ignacio Aedo and
                  Lorna Uden and
                  Esko K{\"{a}}hk{\"{o}}nen},
  title        = {An Environment for Self-Assessing Java Programming Skills in Undergraduate
                  First Programming Courses},
  booktitle    = {Proceedings of the {IEEE} International Conference on Advanced Learning
                  Technologies, {ICALT} 2004, Joensuu, Finland, August 30 - September
                  1, 2004},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICALT.2004.1357395},
  doi          = {10.1109/ICALT.2004.1357395},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icalt/BettiniCILC04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{CC2004,
  author       = {Diletta Cacciagrano and
                  Flavio Corradini},
  editor       = {Marco Bernardo and
                  Flavio Corradini},
  title        = {Expressiveness of Timed Events and Timed Languages},
  booktitle    = {Formal Methods for the Design of Real-Time Systems, International
                  School on Formal Methods for the Design of Computer, Communication
                  and Software Systems, {SFM-RT} 2004, Bertinoro, Italy, September 13-18,
                  2004, Revised Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {3185},
  pages        = {98--131},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30080-9\_4},
  doi          = {10.1007/978-3-540-30080-9\_4},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/sfm/CacciagranoC04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{BT2004,
  author       = {Roberto Barbuti and
                  Luca Tesei},
  title        = {Timed automata with urgent transitions},
  journal      = {Acta Informatica},
  volume       = {40},
  number       = {5},
  pages        = {317--347},
  year         = {2004},
  url          = {https://doi.org/10.1007/s00236-003-0135-6},
  doi          = {10.1007/S00236-003-0135-6},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/acta/BarbutiT04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{BDL2004,
  author       = {Lorenzo Bettini and
                  Rocco De Nicola and
                  Michele Loreti},
  title        = {Formulae Meet Programs Over the Net: {A} Framework for Correct Network
                  Aware Programming},
  journal      = {Autom. Softw. Eng.},
  volume       = {11},
  number       = {3},
  pages        = {245--288},
  year         = {2004},
  url          = {https://doi.org/10.1023/B:AUSE.0000028536.34044.47},
  doi          = {10.1023/B:AUSE.0000028536.34044.47},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ase/BettiniNL04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{BCT2004,
  author       = {Roberto Barbuti and
                  Stefano Cataudella and
                  Luca Tesei},
  title        = {Abstract Interpretation Against Races},
  journal      = {Fundam. Informaticae},
  volume       = {60},
  number       = {1-4},
  pages        = {67--79},
  year         = {2004},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi60-1-4-06},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/BarbutiCT04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DL2004b,
  author       = {Rocco De Nicola and
                  Michele Loreti},
  title        = {A modal logic for mobile agents},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {5},
  number       = {1},
  pages        = {79--128},
  year         = {2004},
  url          = {https://doi.org/10.1145/963927.963930},
  doi          = {10.1145/963927.963930},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tocl/NicolaL04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{BBDFGLMPTV2003,
  author       = {Lorenzo Bettini and
                  Viviana Bono and
                  Rocco De Nicola and
                  Gian{-}Luigi Ferrari and
                  Daniele Gorla and
                  Michele Loreti and
                  Eugenio Moggi and
                  Rosario Pugliese and
                  Emilio Tuosto and
                  Betti Venneri},
  editor       = {Corrado Priami},
  title        = {The Klaim Project: Theory and Practice},
  booktitle    = {Global Computing. Programming Environments, Languages, Security, and
                  Analysis of Systems, {IST/FET} International Workshop, {GC} 2003,
                  Rovereto, Italy, February 9-14, 2003, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2874},
  pages        = {88--150},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-40042-4\_4},
  doi          = {10.1007/978-3-540-40042-4\_4},
  timestamp    = {Tue, 24 Mar 2026 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/global/BettiniBNFGLMPTV03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{BT2003,
  author       = {Roberto Barbuti and
                  Luca Tesei},
  title        = {A Decidable Notion of Timed Non-Interference},
  journal      = {Fundam. Informaticae},
  volume       = {54},
  number       = {2-3},
  pages        = {137--150},
  year         = {2003},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi54-2-3-03},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/BarbutiT03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DST2003,
  author       = {Nicoletta De Francesco and
                  Antonella Santone and
                  Luca Tesei},
  title        = {Abstract Interpretation and Model Checking for Checking Secure Information
                  Flow in Concurrent Systems},
  journal      = {Fundam. Informaticae},
  volume       = {54},
  number       = {2-3},
  pages        = {195--211},
  year         = {2003},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi54-2-3-07},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/FrancescoST03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{BDL2002a,
  author       = {Lorenzo Bettini and
                  Rocco De Nicola and
                  Michele Loreti},
  editor       = {Farhad Arbab and
                  Carolyn L. Talcott},
  title        = {Formalizing Properties of Mobile Agent Systems},
  booktitle    = {Coordination Models and Languages, 5th International Conference, {COORDINATION}
                  2002, YORK, UK, April 8-11, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2315},
  pages        = {72--87},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-46000-4\_9},
  doi          = {10.1007/3-540-46000-4\_9},
  timestamp    = {Tue, 24 Mar 2026 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/coordination/BettiniNL02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{BLP2002,
  author       = {Lorenzo Bettini and
                  Michele Loreti and
                  Rosario Pugliese},
  editor       = {Gary B. Lamont and
                  Hisham Haddad and
                  George A. Papadopoulos and
                  Brajendra Panda},
  title        = {An infrastructure language for open nets},
  booktitle    = {Proceedings of the 2002 {ACM} Symposium on Applied Computing (SAC),
                  March 10-14, 2002, Madrid, Spain},
  pages        = {373--377},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/508791.508862},
  doi          = {10.1145/508791.508862},
  timestamp    = {Tue, 24 Mar 2026 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sac/BettiniLP02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{BDL2002b,
  author       = {Lorenzo Bettini and
                  Rocco De Nicola and
                  Michele Loreti},
  editor       = {Gary B. Lamont and
                  Hisham Haddad and
                  George A. Papadopoulos and
                  Brajendra Panda},
  title        = {Software update via mobile agent based programming},
  booktitle    = {Proceedings of the 2002 {ACM} Symposium on Applied Computing (SAC),
                  March 10-14, 2002, Madrid, Spain},
  pages        = {32--36},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/508791.508800},
  doi          = {10.1145/508791.508800},
  timestamp    = {Tue, 06 Nov 2018 11:06:47 +0100},
  biburl       = {https://dblp.org/rec/conf/sac/BettiniNL02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{BTBD2002,
  author       = {Roberto Barbuti and
                  Luca Tesei and
                  Cinzia Bernardeschi and
                  Nicoletta De Francesco},
  title        = {Fixing the Java bytecode verifier by a suitable type domain},
  booktitle    = {Proceedings of the 14th international conference on Software engineering
                  and knowledge engineering, {SEKE} 2002, Ischia, Italy, July 15-19,
                  2002},
  pages        = {377--382},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/568760.568826},
  doi          = {10.1145/568760.568826},
  timestamp    = {Sun, 02 Nov 2025 21:27:26 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/BarbutiTBF02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{ABBBCDFGGHKKLLLLMMMOPTWWZ2002,
  author       = {Lu{\'{\i}}s Andrade and
                  Paolo Baldan and
                  Hubert Baumeister and
                  Roberto Bruni and
                  Andrea Corradini and
                  Rocco De Nicola and
                  Jos{\'{e}} Luiz Fiadeiro and
                  Fabio Gadducci and
                  Stefania Gnesi and
                  Piotr Hoffman and
                  Nora Koch and
                  Piotr Kosiuczenko and
                  Alessandro Lapadula and
                  Diego Latella and
                  Ant{\'{o}}nia Lopes and
                  Michele Loreti and
                  Mieke Massink and
                  Franco Mazzanti and
                  Ugo Montanari and
                  Crist{\'{o}}v{\~{a}}o Oliveira and
                  Rosario Pugliese and
                  Andrzej Tarlecki and
                  Michel Wermelinger and
                  Martin Wirsing and
                  Artur Zawlocki},
  editor       = {Martin Wirsing and
                  Dirk Pattinson and
                  Rolf Hennicker},
  title        = {{AGILE:} Software Architecture for Mobility},
  booktitle    = {Recent Trends in Algebraic Development Techniques, 16th International
                  Workshop, {WADT} 2002, Frauenchiemsee, Germany, September 24-27, 2002,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2755},
  pages        = {1--33},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/978-3-540-40020-2\_1},
  doi          = {10.1007/978-3-540-40020-2\_1},
  timestamp    = {Thu, 26 Sep 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/AndradeBBBCNFGGHKKLLLLMMMOPTWWZ02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{BDST2002,
  author       = {Roberto Barbuti and
                  Nicoletta De Francesco and
                  Antonella Santone and
                  Luca Tesei},
  title        = {A Notion of Non-Interference for Timed Automata},
  journal      = {Fundam. Informaticae},
  volume       = {51},
  number       = {1-2},
  pages        = {1--11},
  year         = {2002},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi51-1-2-02},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/BarbutiFST02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{CC2001,
  author       = {Diletta Cacciagrano and
                  Flavio Corradini},
  editor       = {Antonio Restivo and
                  Simona Ronchi Della Rocca and
                  Luca Roversi},
  title        = {On Synchronous and Asynchronous Communication Paradigms},
  booktitle    = {Theoretical Computer Science, 7th Italian Conference, {ICTCS} 2001,
                  Torino, Italy, October 4-6, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2202},
  pages        = {256--268},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45446-2\_16},
  doi          = {10.1007/3-540-45446-2\_16},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/ictcs/CacciagranoC01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{BLP2001,
  author       = {Lorenzo Bettini and
                  Michele Loreti and
                  Rosario Pugliese},
  editor       = {Ugo Montanari and
                  Vladimiro Sassone},
  title        = {Modelling Node Connectivity in Dynamically Evolving Networks},
  booktitle    = {International Workshop on Concurrency and Coordination, ConCoord 2001,
                  associated to the 13th Lipari School, Lipari Island, Italy, July 6-8,
                  2001},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {54},
  pages        = {81--91},
  publisher    = {Elsevier},
  year         = {2001},
  url          = {https://doi.org/10.1016/S1571-0661(04)00237-3},
  doi          = {10.1016/S1571-0661(04)00237-3},
  timestamp    = {Wed, 30 Nov 2022 11:59:11 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BettiniLP01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{CLV2001,
  author       = {Beatrice Capitani and
                  Michele Loreti and
                  Betti Venneri},
  editor       = {Jean{-}Jacques L{\'{e}}vy},
  title        = {Hyperformulae, Parallel Deductions and Intersection Types},
  booktitle    = {Bohm's theorem: applications to Computer Science Theory, {BOTH} 2001,
                  Satellite Workshop of {ICALP} 2001, Crete, Greece, July 13, 2001},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {50},
  number       = {2},
  pages        = {178--195},
  publisher    = {Elsevier},
  year         = {2001},
  url          = {https://doi.org/10.1016/S1571-0661(04)00172-0},
  doi          = {10.1016/S1571-0661(04)00172-0},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/CapitaniLV01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{BDT2001,
  author       = {Roberto Barbuti and
                  Nicoletta De Francesco and
                  Luca Tesei},
  title        = {Timed Automata with non-Instantaneous Actions},
  journal      = {Fundam. Informaticae},
  volume       = {47},
  number       = {3-4},
  pages        = {189--200},
  year         = {2001},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi47-3-4-02},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/BarbutiFT01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DL2000,
  author       = {Rocco De Nicola and
                  Michele Loreti},
  editor       = {Teodor Rus},
  title        = {A Modal Logic for {KLAIM}},
  booktitle    = {Algebraic Methodology and Software Technology. 8th International Conference,
                  {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1816},
  pages        = {339--354},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45499-3\_25},
  doi          = {10.1007/3-540-45499-3\_25},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/amast/NicolaL00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{BLP2000,
  author       = {Lorenzo Bettini and
                  Michele Loreti and
                  Rosario Pugliese},
  editor       = {Barrett R. Bryant and
                  Janice H. Carroll and
                  Ernesto Damiani and
                  Hisham Haddad and
                  Dave Oppenheim},
  title        = {Structured Nets in {KLAIM}},
  booktitle    = {Applied Computing 2000, Proceedings of the 2000 {ACM} Symposium on
                  Applied Computing, Villa Olmo, Via Cantoni 1, 22100 Como, Italy, March
                  19-21, 2000. Volume 1},
  pages        = {174--180},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/335603.335736},
  doi          = {10.1145/335603.335736},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sac/BettiniLP00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}