\n \n \n
\n
\n\n \n \n \n \n \n \n Network Digital Twins: A Systematic Review.\n \n \n \n \n\n\n \n Verdecchia, R.; Scommegna, L.; Picano, B.; Becattini, M.; and Vicario, E.\n\n\n \n\n\n\n
IEEE Access, 12: 145400–145416. 2024.\n
\n\n
\n\n
\n\n
\n\n \n \n
Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@article{DBLP:journals/access/VerdecchiaSPBV24,\n author = {Roberto Verdecchia and\n Leonardo Scommegna and\n Benedetta Picano and\n Marco Becattini and\n Enrico Vicario},\n title = {Network Digital Twins: {A} Systematic Review},\n journal = {{IEEE} Access},\n volume = {12},\n pages = {145400--145416},\n year = {2024},\n url = {https://doi.org/10.1109/ACCESS.2024.3453034},\n doi = {10.1109/ACCESS.2024.3453034},\n timestamp = {Wed, 06 Nov 2024 00:00:00 +0100},\n biburl = {https://dblp.org/rec/journals/access/VerdecchiaSPBV24.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Unveiling Faulty User Sequences: A Model-Based Approach to Test Three-Tier Software Architectures.\n \n \n \n \n\n\n \n Scommegna, L.; Verdecchia, R.; and Vicario, E.\n\n\n \n\n\n\n
J. Syst. Softw., 212: 112015. 2024.\n
\n\n
\n\n
\n\n
\n\n \n \n
Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@article{DBLP:journals/jss/ScommegnaVV24,\n author = {Leonardo Scommegna and\n Roberto Verdecchia and\n Enrico Vicario},\n title = {Unveiling Faulty User Sequences: {A} Model-Based Approach to Test\n Three-Tier Software Architectures},\n journal = {J. Syst. Softw.},\n volume = {212},\n pages = {112015},\n year = {2024},\n url = {https://doi.org/10.1016/j.jss.2024.112015},\n doi = {10.1016/J.JSS.2024.112015},\n timestamp = {Sat, 08 Jun 2024 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/jss/ScommegnaVV24.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n\n
\n\n\n\n
\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n CLAIM: a Lightweight Approach to Identify Microservices in Dockerized Environments.\n \n \n \n \n\n\n \n Maggi, K.; Verdecchia, R.; Scommegna, L.; and Vicario, E.\n\n\n \n\n\n\n In
Proceedings of the 28th International Conference on Evaluation and Assessment in Software Engineering, EASE 2024, Salerno, Italy, June 18-21, 2024, pages 357–362, 2024. ACM\n
\n\n
\n\n
\n\n
\n\n \n \n
Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{DBLP:conf/ease/MaggiVSV24,\n author = {Kevin Maggi and\n Roberto Verdecchia and\n Leonardo Scommegna and\n Enrico Vicario},\n title = {{CLAIM:} a Lightweight Approach to Identify Microservices in Dockerized\n Environments},\n booktitle = {Proceedings of the 28th International Conference on Evaluation and\n Assessment in Software Engineering, {EASE} 2024, Salerno, Italy, June\n 18-21, 2024},\n pages = {357--362},\n publisher = {{ACM}},\n year = {2024},\n url = {https://doi.org/10.1145/3661167.3661206},\n doi = {10.1145/3661167.3661206},\n timestamp = {Sun, 19 Jan 2025 13:15:22 +0100},\n biburl = {https://dblp.org/rec/conf/ease/MaggiVSV24.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Learning Programming without Teachers: An Ongoing Ethnographic Study at 42.\n \n \n \n \n\n\n \n Pollini, N.; Maggi, K.; Verdecchia, R.; and Vicario, E.\n\n\n \n\n\n\n In
Proceedings of the 28th International Conference on Evaluation and Assessment in Software Engineering, EASE 2024, Salerno, Italy, June 18-21, 2024, pages 590–594, 2024. ACM\n
\n\n
\n\n
\n\n
\n\n \n \n
Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{DBLP:conf/ease/PolliniMVV24,\n author = {Nicol{\\`{o}} Pollini and\n Kevin Maggi and\n Roberto Verdecchia and\n Enrico Vicario},\n title = {Learning Programming without Teachers: An Ongoing Ethnographic Study\n at 42},\n booktitle = {Proceedings of the 28th International Conference on Evaluation and\n Assessment in Software Engineering, {EASE} 2024, Salerno, Italy, June\n 18-21, 2024},\n pages = {590--594},\n publisher = {{ACM}},\n year = {2024},\n url = {https://doi.org/10.1145/3661167.3661275},\n doi = {10.1145/3661167.3661275},\n timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},\n biburl = {https://dblp.org/rec/conf/ease/PolliniMVV24.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n How Green Is Continual Learning, Really? Analyzing the Energy Consumption in Continual Training of Vision Foundation Models.\n \n \n \n \n\n\n \n Trinci, T.; Magistri, S.; Verdecchia, R.; and Bagdanov, A. D.\n\n\n \n\n\n\n In Bue, A. D.; Canton, C.; Pont-Tuset, J.; and Tommasi, T., editor(s),
Computer Vision - ECCV 2024 Workshops - Milan, Italy, September 29-October 4, 2024, Proceedings, Part XXII, of
Lecture Notes in Computer Science, pages 300–317, 2024. Springer\n
\n\n
\n\n
\n\n
\n\n \n \n
Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{DBLP:conf/eccv/TrinciMVB24,\n author = {Tomaso Trinci and\n Simone Magistri and\n Roberto Verdecchia and\n Andrew D. Bagdanov},\n editor = {Alessio Del Bue and\n Cristian Canton and\n Jordi Pont{-}Tuset and\n Tatiana Tommasi},\n title = {How Green Is Continual Learning, Really? Analyzing the Energy Consumption\n in Continual Training of Vision Foundation Models},\n booktitle = {Computer Vision - {ECCV} 2024 Workshops - Milan, Italy, September\n 29-October 4, 2024, Proceedings, Part {XXII}},\n series = {Lecture Notes in Computer Science},\n pages = {300--317},\n publisher = {Springer},\n year = {2024},\n url = {https://doi.org/10.1007/978-3-031-92089-9\\_19},\n doi = {10.1007/978-3-031-92089-9\\_19},\n timestamp = {Fri, 04 Jul 2025 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/eccv/TrinciMVB24.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Architectural Views: The State of Practice in Open-Source Software Projects.\n \n \n \n \n\n\n \n Migliorini, S.; Verdecchia, R.; Malavolta, I.; Lago, P.; and Vicario, E.\n\n\n \n\n\n\n In Galster, M.; Scandurra, P.; Mikkonen, T.; Antonino, P. O.; Nakagawa, E. Y.; and Navarro, E., editor(s),
Software Architecture - 18th European Conference, ECSA 2024, Luxembourg City, Luxembourg, September 3-6, 2024, Proceedings, of
Lecture Notes in Computer Science, pages 396–415, 2024. Springer\n
\n\n
\n\n
\n\n
\n\n \n \n
Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{DBLP:conf/ecsa/MiglioriniVMLV24,\n author = {Sofia Migliorini and\n Roberto Verdecchia and\n Ivano Malavolta and\n Patricia Lago and\n Enrico Vicario},\n editor = {Matthias Galster and\n Patrizia Scandurra and\n Tommi Mikkonen and\n Pablo Oliveira Antonino and\n Elisa Yumi Nakagawa and\n Elena Navarro},\n title = {Architectural Views: The State of Practice in Open-Source Software\n Projects},\n booktitle = {Software Architecture - 18th European Conference, {ECSA} 2024, Luxembourg\n City, Luxembourg, September 3-6, 2024, Proceedings},\n series = {Lecture Notes in Computer Science},\n pages = {396--415},\n publisher = {Springer},\n year = {2024},\n url = {https://doi.org/10.1007/978-3-031-70797-1\\_27},\n doi = {10.1007/978-3-031-70797-1\\_27},\n timestamp = {Mon, 03 Mar 2025 00:00:00 +0100},\n biburl = {https://dblp.org/rec/conf/ecsa/MiglioriniVMLV24.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Threats to Validity in Software Engineering - hypocritical paper section or essential analysis?.\n \n \n \n \n\n\n \n Lago, P.; Runeson, P.; Song, Q.; and Verdecchia, R.\n\n\n \n\n\n\n In Franch, X.; Daneva, M.; Martínez-Fernández, S.; and Quaranta, L., editor(s),
Proceedings of the 18th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, ESEM 2024, Barcelona, Spain, October 24-25, 2024, pages 314–324, 2024. ACM\n
\n\n
\n\n
\n\n
\n\n \n \n
Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{DBLP:conf/esem/LagoRSV24,\n author = {Patricia Lago and\n Per Runeson and\n Qunying Song and\n Roberto Verdecchia},\n editor = {Xavier Franch and\n Maya Daneva and\n Silverio Mart{\\'{\\i}}nez{-}Fern{\\'{a}}ndez and\n Luigi Quaranta},\n title = {Threats to Validity in Software Engineering - hypocritical paper section\n or essential analysis?},\n booktitle = {Proceedings of the 18th {ACM/IEEE} International Symposium on Empirical\n Software Engineering and Measurement, {ESEM} 2024, Barcelona, Spain,\n October 24-25, 2024},\n pages = {314--324},\n publisher = {{ACM}},\n year = {2024},\n url = {https://doi.org/10.1145/3674805.3686691},\n doi = {10.1145/3674805.3686691},\n timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},\n biburl = {https://dblp.org/rec/conf/esem/LagoRSV24.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Teaching Mining Software Repositories.\n \n \n \n \n\n\n \n Codabux, Z.; Fard, F. H.; Verdecchia, R.; Palomba, F.; Nucci, D. D.; and Recupito, G.\n\n\n \n\n\n\n In Méndez, D.; Avgeriou, P.; Kalinowski, M.; and Ali, N. B., editor(s),
Handbook on Teaching Empirical Software Engineering, pages 325–362. Springer Nature Switzerland, 2024.\n
\n\n
\n\n
\n\n
\n\n \n \n
Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@incollection{DBLP:books/sp/24/CodabuxFVPNR24,\n author = {Zadia Codabux and\n Fatemeh H. Fard and\n Roberto Verdecchia and\n Fabio Palomba and\n Dario Di Nucci and\n Gilberto Recupito},\n editor = {Daniel M{\\'{e}}ndez and\n Paris Avgeriou and\n Marcos Kalinowski and\n Nauman Bin Ali},\n title = {Teaching Mining Software Repositories},\n booktitle = {Handbook on Teaching Empirical Software Engineering},\n pages = {325--362},\n publisher = {Springer Nature Switzerland},\n year = {2024},\n url = {https://doi.org/10.1007/978-3-031-71769-7\\_12},\n doi = {10.1007/978-3-031-71769-7\\_12},\n timestamp = {Mon, 03 Mar 2025 00:00:00 +0100},\n biburl = {https://dblp.org/rec/books/sp/24/CodabuxFVPNR24.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n\n
\n\n\n\n
\n\n\n \n\n\n
\n
\n\n \n \n \n \n \n \n STLab-UniFI/JSS-2023-architectural-IoC-testing-rep-pkg: JSS Release (Version v1.0.0).\n \n \n \n \n\n\n \n Scommegna, L.; Verdecchia, R.; and Vicario, E.\n\n\n \n\n\n\n ˘rlhttps://doi.org/10.5281/zenodo.10727675, February 2024.\n
Accessed on YYYY-MM-DD.\n\n
\n\n
\n\n
\n\n \n \n
Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@misc{DBLP:data/11/ScommegnaVV24,\n author = {Leonardo Scommegna and\n Roberto Verdecchia and\n Enrico Vicario},\n title = {STLab-UniFI/JSS-2023-architectural-IoC-testing-rep-pkg: {JSS} Release\n (Version v1.0.0)},\n publisher = {Zenodo},\n year = {2024},\n month = feb,\n howpublished = {\\url{https://doi.org/10.5281/zenodo.10727675}},\n note = {Accessed on YYYY-MM-DD.},\n url = {https://doi.org/10.5281/zenodo.10727675},\n doi = {10.5281/ZENODO.10727675},\n timestamp = {Tue, 07 Oct 2025 01:00:00 +0200},\n biburl = {https://dblp.org/rec/data/11/ScommegnaVV24.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Training Green AI Models Using Elite Samples.\n \n \n \n \n\n\n \n Alswaitti, M.; Verdecchia, R.; Danoy, G.; Bouvry, P.; and Pecero, J. E.\n\n\n \n\n\n\n
CoRR, abs/2402.12010. 2024.\n
\n\n
\n\n
\n\n
\n\n \n \n
Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@article{DBLP:journals/corr/abs-2402-12010,\n author = {Mohammed Alswaitti and\n Roberto Verdecchia and\n Gr{\\'{e}}goire Danoy and\n Pascal Bouvry and\n Johnatan E. Pecero},\n title = {Training Green {AI} Models Using Elite Samples},\n journal = {CoRR},\n volume = {abs/2402.12010},\n year = {2024},\n url = {https://doi.org/10.48550/arXiv.2402.12010},\n doi = {10.48550/ARXIV.2402.12010},\n eprinttype = {arXiv},\n eprint = {2402.12010},\n timestamp = {Tue, 07 May 2024 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/corr/abs-2402-12010.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n How green is continual learning, really? Analyzing the energy consumption in continual training of vision foundation models.\n \n \n \n \n\n\n \n Trinci, T.; Magistri, S.; Verdecchia, R.; and Bagdanov, A. D.\n\n\n \n\n\n\n
CoRR, abs/2409.18664. 2024.\n
\n\n
\n\n
\n\n
\n\n \n \n
Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@article{DBLP:journals/corr/abs-2409-18664,\n author = {Tomaso Trinci and\n Simone Magistri and\n Roberto Verdecchia and\n Andrew D. Bagdanov},\n title = {How green is continual learning, really? Analyzing the energy consumption\n in continual training of vision foundation models},\n journal = {CoRR},\n volume = {abs/2409.18664},\n year = {2024},\n url = {https://doi.org/10.48550/arXiv.2409.18664},\n doi = {10.48550/ARXIV.2409.18664},\n eprinttype = {arXiv},\n eprint = {2409.18664},\n timestamp = {Thu, 17 Oct 2024 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/corr/abs-2409-18664.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n\n
\n\n\n\n
\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Edge to Cloud Network Function Offloading in the ADAPTO Framework.\n \n \n \n \n\n\n \n Botta, A.; Canonico, R.; Navarro, A.; Stanco, G.; Ventre, G.; Buonocunto, A.; Fresa, A.; Gentile, V.; Scommegna, L.; and Vicario, E.\n\n\n \n\n\n\n In Barolli, L., editor(s),
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 5, of
Lecture Notes on Data Engineering and Communications Technologies, pages 69–78, 2024. Springer\n
\n\n
\n\n
\n\n
\n\n \n \n
Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{DBLP:conf/aina/BottaCNSVBFGSV24,\n author = {Alessio Botta and\n Roberto Canonico and\n Annalisa Navarro and\n Giovanni Stanco and\n Giorgio Ventre and\n Antonio Buonocunto and\n Antonio Fresa and\n Vincenzo Gentile and\n Leonardo Scommegna and\n Enrico Vicario},\n editor = {Leonard Barolli},\n title = {Edge to Cloud Network Function Offloading in the {ADAPTO} Framework},\n booktitle = {Advanced Information Networking and Applications - Proceedings of\n the 38th International Conference on Advanced Information Networking\n and Applications (AINA-2024), Kitakyushu, Japan, 17-19 April, 2024,\n Volume 5},\n series = {Lecture Notes on Data Engineering and Communications Technologies},\n pages = {69--78},\n publisher = {Springer},\n year = {2024},\n url = {https://doi.org/10.1007/978-3-031-57931-8\\_7},\n doi = {10.1007/978-3-031-57931-8\\_7},\n timestamp = {Mon, 03 Mar 2025 00:00:00 +0100},\n biburl = {https://dblp.org/rec/conf/aina/BottaCNSVBFGSV24.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Elastic Autoscaling for Distributed Workflows in MEC Networks.\n \n \n \n \n\n\n \n Picano, B.; Reali, R.; Scommegna, L.; and Vicario, E.\n\n\n \n\n\n\n In Barolli, L., editor(s),
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 5, of
Lecture Notes on Data Engineering and Communications Technologies, pages 151–160, 2024. Springer\n
\n\n
\n\n
\n\n
\n\n \n \n
Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{DBLP:conf/aina/PicanoRSV24,\n author = {Benedetta Picano and\n Riccardo Reali and\n Leonardo Scommegna and\n Enrico Vicario},\n editor = {Leonard Barolli},\n title = {Elastic Autoscaling for Distributed Workflows in {MEC} Networks},\n booktitle = {Advanced Information Networking and Applications - Proceedings of\n the 38th International Conference on Advanced Information Networking\n and Applications (AINA-2024), Kitakyushu, Japan, 17-19 April, 2024,\n Volume 5},\n series = {Lecture Notes on Data Engineering and Communications Technologies},\n pages = {151--160},\n publisher = {Springer},\n year = {2024},\n url = {https://doi.org/10.1007/978-3-031-57931-8\\_15},\n doi = {10.1007/978-3-031-57931-8\\_15},\n timestamp = {Mon, 15 Apr 2024 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/aina/PicanoRSV24.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n\n
\n\n\n\n
\n\n\n
\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Approximation of First Passage Time Distributions of Compositions of Independent Markov Chains.\n \n \n \n \n\n\n \n Horváth, A.; Paolieri, M.; and Vicario, E.\n\n\n \n\n\n\n In Doncel, J.; Remke, A.; and Pompeo, D. D., editor(s),
Computer Performance Engineering - 20th European Workshop, EPEW 2024, Venice, Italy, June 14, 2024, Revised Selected Papers, of
Lecture Notes in Computer Science, pages 75–90, 2024. Springer\n
\n\n
\n\n
\n\n
\n\n \n \n
Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{DBLP:conf/epew/HorvathPV24,\n author = {Andr{\\'{a}}s Horv{\\'{a}}th and\n Marco Paolieri and\n Enrico Vicario},\n editor = {Josu Doncel and\n Anne Remke and\n Daniele Di Pompeo},\n title = {Approximation of First Passage Time Distributions of Compositions\n of Independent Markov Chains},\n booktitle = {Computer Performance Engineering - 20th European Workshop, {EPEW}\n 2024, Venice, Italy, June 14, 2024, Revised Selected Papers},\n series = {Lecture Notes in Computer Science},\n pages = {75--90},\n publisher = {Springer},\n year = {2024},\n url = {https://doi.org/10.1007/978-3-031-80932-3\\_6},\n doi = {10.1007/978-3-031-80932-3\\_6},\n timestamp = {Fri, 07 Mar 2025 00:00:00 +0100},\n biburl = {https://dblp.org/rec/conf/epew/HorvathPV24.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Democratized Learning Enabling Multi-Level Digital Twin Model Integration.\n \n \n \n \n\n\n \n Picano, B.; Becattini, M.; Carnevali, L.; and Vicario, E.\n\n\n \n\n\n\n In
29th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2024, Padova, Italy, September 10-13, 2024, pages 1–8, 2024. IEEE\n
\n\n
\n\n
\n\n
\n\n \n \n
Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{DBLP:conf/etfa/PicanoBCV24,\n author = {Benedetta Picano and\n Marco Becattini and\n Laura Carnevali and\n Enrico Vicario},\n title = {Democratized Learning Enabling Multi-Level Digital Twin Model Integration},\n booktitle = {29th {IEEE} International Conference on Emerging Technologies and\n Factory Automation, {ETFA} 2024, Padova, Italy, September 10-13, 2024},\n pages = {1--8},\n publisher = {{IEEE}},\n year = {2024},\n url = {https://doi.org/10.1109/ETFA61755.2024.10710988},\n doi = {10.1109/ETFA61755.2024.10710988},\n timestamp = {Wed, 30 Oct 2024 17:28:17 +0100},\n biburl = {https://dblp.org/rec/conf/etfa/PicanoBCV24.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Quantitative evaluation of software rejuvenation of a pool of service replicas.\n \n \n \n \n\n\n \n Scommegna, L.; Becattini, M.; Fontani, G.; Paroli, L.; and Vicario, E.\n\n\n \n\n\n\n In
35th IEEE International Symposium on Software Reliability Engineering, ISSRE 2024 - Workshops, Tsukuba, Japan, October 28-31, 2024, pages 402–409, 2024. IEEE\n
\n\n
\n\n
\n\n
\n\n \n \n
Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{DBLP:conf/issre/ScommegnaBFPV24,\n author = {Leonardo Scommegna and\n Marco Becattini and\n Giovanni Fontani and\n Leonardo Paroli and\n Enrico Vicario},\n title = {Quantitative evaluation of software rejuvenation of a pool of service\n replicas},\n booktitle = {35th {IEEE} International Symposium on Software Reliability Engineering,\n {ISSRE} 2024 - Workshops, Tsukuba, Japan, October 28-31, 2024},\n pages = {402--409},\n publisher = {{IEEE}},\n year = {2024},\n url = {https://doi.org/10.1109/ISSREW63542.2024.00110},\n doi = {10.1109/ISSREW63542.2024.00110},\n timestamp = {Tue, 10 Dec 2024 13:55:07 +0100},\n biburl = {https://dblp.org/rec/conf/issre/ScommegnaBFPV24.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n A Compositional Approach to Coordinated Software Rejuvenation of Component-Based Systems.\n \n \n \n \n\n\n \n Paroli, L.; Botarelli, T.; Carnevali, L.; and Vicario, E.\n\n\n \n\n\n\n In
35th IEEE International Symposium on Software Reliability Engineering, ISSRE 2024, Tsukuba, Japan, October 28-31, 2024, pages 593–604, 2024. IEEE\n
\n\n
\n\n
\n\n
\n\n \n \n
Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{DBLP:conf/issre/ParoliBCV24,\n author = {Leonardo Paroli and\n Tommaso Botarelli and\n Laura Carnevali and\n Enrico Vicario},\n title = {A Compositional Approach to Coordinated Software Rejuvenation of Component-Based\n Systems},\n booktitle = {35th {IEEE} International Symposium on Software Reliability Engineering,\n {ISSRE} 2024, Tsukuba, Japan, October 28-31, 2024},\n pages = {593--604},\n publisher = {{IEEE}},\n year = {2024},\n url = {https://doi.org/10.1109/ISSRE62328.2024.00062},\n doi = {10.1109/ISSRE62328.2024.00062},\n timestamp = {Tue, 01 Apr 2025 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/issre/ParoliBCV24.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Approximation of Cumulative Distribution Functions by Bernstein Phase-Type Distributions.\n \n \n \n \n\n\n \n Horváth, A.; Horváth, I.; Paolieri, M.; Telek, M.; and Vicario, E.\n\n\n \n\n\n\n In Hillston, J.; Soudjani, S.; and Waga, M., editor(s),
Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems - First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024, Proceedings, of
Lecture Notes in Computer Science, pages 90–106, 2024. Springer\n
\n\n
\n\n
\n\n
\n\n \n \n
Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{DBLP:conf/qestformats/HorvathHPTV24,\n author = {Andr{\\'{a}}s Horv{\\'{a}}th and\n Ill{\\'{e}}s Horv{\\'{a}}th and\n Marco Paolieri and\n Mikl{\\'{o}}s Telek and\n Enrico Vicario},\n editor = {Jane Hillston and\n Sadegh Soudjani and\n Masaki Waga},\n title = {Approximation of Cumulative Distribution Functions by Bernstein Phase-Type\n Distributions},\n booktitle = {Quantitative Evaluation of Systems and Formal Modeling and Analysis\n of Timed Systems - First International Joint Conference, {QEST+FORMATS}\n 2024, Calgary, AB, Canada, September 9-13, 2024, Proceedings},\n series = {Lecture Notes in Computer Science},\n pages = {90--106},\n publisher = {Springer},\n year = {2024},\n url = {https://doi.org/10.1007/978-3-031-68416-6\\_6},\n doi = {10.1007/978-3-031-68416-6\\_6},\n timestamp = {Mon, 03 Mar 2025 00:00:00 +0100},\n biburl = {https://dblp.org/rec/conf/qestformats/HorvathHPTV24.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Transient Evaluation of Non-Markovian Models by Stochastic State Classes and Simulation.\n \n \n \n \n\n\n \n Dengler, G.; Carnevali, L.; Budde, C. E.; and Vicario, E.\n\n\n \n\n\n\n In Hillston, J.; Soudjani, S.; and Waga, M., editor(s),
Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems - First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024, Proceedings, of
Lecture Notes in Computer Science, pages 213–232, 2024. Springer\n
\n\n
\n\n
\n\n
\n\n \n \n
Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{DBLP:conf/qestformats/DenglerCBV24,\n author = {Gabriel Dengler and\n Laura Carnevali and\n Carlos E. Budde and\n Enrico Vicario},\n editor = {Jane Hillston and\n Sadegh Soudjani and\n Masaki Waga},\n title = {Transient Evaluation of Non-Markovian Models by Stochastic State Classes\n and Simulation},\n booktitle = {Quantitative Evaluation of Systems and Formal Modeling and Analysis\n of Timed Systems - First International Joint Conference, {QEST+FORMATS}\n 2024, Calgary, AB, Canada, September 9-13, 2024, Proceedings},\n series = {Lecture Notes in Computer Science},\n pages = {213--232},\n publisher = {Springer},\n year = {2024},\n url = {https://doi.org/10.1007/978-3-031-68416-6\\_13},\n doi = {10.1007/978-3-031-68416-6\\_13},\n timestamp = {Fri, 20 Sep 2024 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/qestformats/DenglerCBV24.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n\n
\n\n\n\n
\n\n\n
\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Artifact of the ISSRE 2024 paper titled \"A Compositional Approach to Coordinated Software Rejuvenation of Component-Based Systems\" (Version 1).\n \n \n \n \n\n\n \n Paroli, L.; Botarelli, T.; Carnevali, L.; and Vicario, E.\n\n\n \n\n\n\n ˘rlhttps://doi.org/10.5281/zenodo.13366908, August 2024.\n
Accessed on YYYY-MM-DD.\n\n
\n\n
\n\n
\n\n \n \n
Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@misc{DBLP:data/11/ParoliBCV24,\n author = {Leonardo Paroli and\n Tommaso Botarelli and\n Laura Carnevali and\n Enrico Vicario},\n title = {Artifact of the {ISSRE} 2024 paper titled "A Compositional Approach\n to Coordinated Software Rejuvenation of Component-Based Systems" (Version\n 1)},\n publisher = {Zenodo},\n year = {2024},\n month = aug,\n howpublished = {\\url{https://doi.org/10.5281/zenodo.13366908}},\n note = {Accessed on YYYY-MM-DD.},\n url = {https://doi.org/10.5281/zenodo.13366908},\n doi = {10.5281/ZENODO.13366908},\n timestamp = {Mon, 20 Oct 2025 01:00:00 +0200},\n biburl = {https://dblp.org/rec/data/11/ParoliBCV24.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Artifact of the ISSRE 2024 paper titled \"A Compositional Approach to Coordinated Software Rejuvenation of Component-Based Systems\" (Version 2).\n \n \n \n \n\n\n \n Paroli, L.; Botarelli, T.; Carnevali, L.; and Vicario, E.\n\n\n \n\n\n\n ˘rlhttps://doi.org/10.5281/zenodo.13366961, September 2024.\n
Accessed on YYYY-MM-DD.\n\n
\n\n
\n\n
\n\n \n \n
Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@misc{DBLP:data/11/ParoliBCV24a,\n author = {Leonardo Paroli and\n Tommaso Botarelli and\n Laura Carnevali and\n Enrico Vicario},\n title = {Artifact of the {ISSRE} 2024 paper titled "A Compositional Approach\n to Coordinated Software Rejuvenation of Component-Based Systems" (Version\n 2)},\n publisher = {Zenodo},\n year = {2024},\n month = sep,\n howpublished = {\\url{https://doi.org/10.5281/zenodo.13366961}},\n note = {Accessed on YYYY-MM-DD.},\n url = {https://doi.org/10.5281/zenodo.13366961},\n doi = {10.5281/ZENODO.13366961},\n timestamp = {Mon, 20 Oct 2025 01:00:00 +0200},\n biburl = {https://dblp.org/rec/data/11/ParoliBCV24a.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Quantitative evaluation of software rejuvenation of a pool of service replicas - Replication Package (Version 1).\n \n \n \n \n\n\n \n Scommegna, L.; Becattini, M.; Fontani, G.; Paroli, L.; and Vicario, E.\n\n\n \n\n\n\n ˘rlhttps://doi.org/10.5281/zenodo.13370986, August 2024.\n
Accessed on YYYY-MM-DD.\n\n
\n\n
\n\n
\n\n \n \n
Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@misc{DBLP:data/11/ScommegnaBFPV24,\n author = {Leonardo Scommegna and\n Marco Becattini and\n Giovanni Fontani and\n Leonardo Paroli and\n Enrico Vicario},\n title = {Quantitative evaluation of software rejuvenation of a pool of service\n replicas - Replication Package (Version 1)},\n publisher = {Zenodo},\n year = {2024},\n month = aug,\n howpublished = {\\url{https://doi.org/10.5281/zenodo.13370986}},\n note = {Accessed on YYYY-MM-DD.},\n url = {https://doi.org/10.5281/zenodo.13370986},\n doi = {10.5281/ZENODO.13370986},\n timestamp = {Mon, 20 Oct 2025 01:00:00 +0200},\n biburl = {https://dblp.org/rec/data/11/ScommegnaBFPV24.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Transient Evaluation of Non-Markovian Models by Stochastic State Classes and Simulation.\n \n \n \n \n\n\n \n Dengler, G.; Carnevali, L.; Budde, C. E.; and Vicario, E.\n\n\n \n\n\n\n
CoRR, abs/2406.16447. 2024.\n
\n\n
\n\n
\n\n
\n\n \n \n
Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@article{DBLP:journals/corr/abs-2406-16447,\n author = {Gabriel Dengler and\n Laura Carnevali and\n Carlos E. Budde and\n Enrico Vicario},\n title = {Transient Evaluation of Non-Markovian Models by Stochastic State Classes\n and Simulation},\n journal = {CoRR},\n volume = {abs/2406.16447},\n year = {2024},\n url = {https://doi.org/10.48550/arXiv.2406.16447},\n doi = {10.48550/ARXIV.2406.16447},\n eprinttype = {arXiv},\n eprint = {2406.16447},\n timestamp = {Tue, 16 Jul 2024 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/corr/abs-2406-16447.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Dynamic MEC resource management for URLLC in Industry X.0 scenarios: a quantitative approach based on digital twin networks.\n \n \n \n \n\n\n \n Becattini, M.; Carnevali, L.; Fontani, G.; Paroli, L.; Scommegna, L.; Masoumi, M.; de Miguel, I.; and Brasca, F.\n\n\n \n\n\n\n In
IEEE International Workshop on Metrology for Industry 4.0 and IoT, MetroInd4.0 & IoT 2024, Firenze, Italy, May 29-31, 2024, pages 372–376, 2024. IEEE\n
\n\n
\n\n
\n\n
\n\n \n \n
Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{DBLP:conf/metroi/BecattiniCFPSMMB24,\n author = {Marco Becattini and\n Laura Carnevali and\n Giovanni Fontani and\n Leonardo Paroli and\n Leonardo Scommegna and\n Maryam Masoumi and\n Ignacio de Miguel and\n Fabrizio Brasca},\n title = {Dynamic {MEC} resource management for {URLLC} in Industry {X.0} scenarios:\n a quantitative approach based on digital twin networks},\n booktitle = {{IEEE} International Workshop on Metrology for Industry 4.0 and IoT,\n MetroInd4.0 {\\&} IoT 2024, Firenze, Italy, May 29-31, 2024},\n pages = {372--376},\n publisher = {{IEEE}},\n year = {2024},\n url = {https://doi.org/10.1109/MetroInd4.0IoT61288.2024.10584165},\n doi = {10.1109/METROIND4.0IOT61288.2024.10584165},\n timestamp = {Mon, 15 Jul 2024 15:28:30 +0200},\n biburl = {https://dblp.org/rec/conf/metroi/BecattiniCFPSMMB24.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Digital Twin Networks for Sustainable In-network Computing in Future 6G Networks.\n \n \n \n \n\n\n \n Becattini, M.; Fontani, G.; Paroli, L.; and Iera, A.\n\n\n \n\n\n\n In
35th IEEE International Symposium on Personal, Indoor and Mobile Radio Communications, PIMRC 2024, Valencia, Spain, September 2-5, 2024, pages 1–6, 2024. IEEE\n
\n\n
\n\n
\n\n
\n\n \n \n
Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{DBLP:conf/pimrc/BecattiniFPI24,\n author = {Marco Becattini and\n Giovanni Fontani and\n Leonardo Paroli and\n Antonio Iera},\n title = {Digital Twin Networks for Sustainable In-network Computing in Future\n 6G Networks},\n booktitle = {35th {IEEE} International Symposium on Personal, Indoor and Mobile\n Radio Communications, {PIMRC} 2024, Valencia, Spain, September 2-5,\n 2024},\n pages = {1--6},\n publisher = {{IEEE}},\n year = {2024},\n url = {https://doi.org/10.1109/PIMRC59610.2024.10817423},\n doi = {10.1109/PIMRC59610.2024.10817423},\n timestamp = {Mon, 20 Jan 2025 09:53:49 +0100},\n biburl = {https://dblp.org/rec/conf/pimrc/BecattiniFPI24.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Empirical Application Insights on Industrial Data and Service Aspects of Digital Twin Networks.\n \n \n \n \n\n\n \n Becattini, M.; Borsatti, D.; Bujari, A.; Carnevali, L.; Garbugli, A.; Khachatrian, H.; Raptis, T. P.; and Tarchi, D.\n\n\n \n\n\n\n In
IEEE International Mediterranean Conference on Communications and Networking, MeditCom 2024, Madrid, Spain, July 8-11, 2024, pages 323–328, 2024. IEEE\n
\n\n
\n\n
\n\n
\n\n \n \n
Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{DBLP:conf/meditcom/BecattiniBBCGKRT24,\n author = {Marco Becattini and\n Davide Borsatti and\n Armir Bujari and\n Laura Carnevali and\n Andrea Garbugli and\n Hrant Khachatrian and\n Theofanis P. Raptis and\n Daniele Tarchi},\n title = {Empirical Application Insights on Industrial Data and Service Aspects\n of Digital Twin Networks},\n booktitle = {{IEEE} International Mediterranean Conference on Communications and\n Networking, MeditCom 2024, Madrid, Spain, July 8-11, 2024},\n pages = {323--328},\n publisher = {{IEEE}},\n year = {2024},\n url = {https://doi.org/10.1109/MeditCom61057.2024.10621427},\n doi = {10.1109/MEDITCOM61057.2024.10621427},\n timestamp = {Sat, 15 Nov 2025 00:00:00 +0100},\n biburl = {https://dblp.org/rec/conf/meditcom/BecattiniBBCGKRT24.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Empirical Application Insights on Industrial Data and Service Aspects of Digital Twin Networks.\n \n \n \n \n\n\n \n Becattini, M.; Borsatti, D.; Bujari, A.; Carnevali, L.; Garbugli, A.; Khachatrian, H.; Raptis, T. P.; and Tarchi, D.\n\n\n \n\n\n\n
CoRR, abs/2405.07605. 2024.\n
\n\n
\n\n
\n\n
\n\n \n \n
Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@article{DBLP:journals/corr/abs-2405-07605,\n author = {Marco Becattini and\n Davide Borsatti and\n Armir Bujari and\n Laura Carnevali and\n Andrea Garbugli and\n Hrant Khachatrian and\n Theofanis P. Raptis and\n Daniele Tarchi},\n title = {Empirical Application Insights on Industrial Data and Service Aspects\n of Digital Twin Networks},\n journal = {CoRR},\n volume = {abs/2405.07605},\n year = {2024},\n url = {https://doi.org/10.48550/arXiv.2405.07605},\n doi = {10.48550/ARXIV.2405.07605},\n eprinttype = {arXiv},\n eprint = {2405.07605},\n timestamp = {Mon, 03 Mar 2025 00:00:00 +0100},\n biburl = {https://dblp.org/rec/journals/corr/abs-2405-07605.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n An Integrated Perspective on the Evaluation of Complex Railway Systems.\n \n \n \n \n\n\n \n Basile, D.; ter Beek, M. H.; Carnevali, L.; Chiaradonna, S.; Giandomenico, F. D.; Fantechi, A.; and Gori, G.\n\n\n \n\n\n\n In Margaria, T.; and Steffen, B., editor(s),
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas - 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V, of
Lecture Notes in Computer Science, pages 190–207, 2024. Springer\n
\n\n
\n\n
\n\n
\n\n \n \n
Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{DBLP:conf/isola/BasileBCCGFG24,\n author = {Davide Basile and\n Maurice H. ter Beek and\n Laura Carnevali and\n Silvano Chiaradonna and\n Felicita Di Giandomenico and\n Alessandro Fantechi and\n Gloria Gori},\n editor = {Tiziana Margaria and\n Bernhard Steffen},\n title = {An Integrated Perspective on the Evaluation of Complex Railway Systems},\n booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.\n Application Areas - 12th International Symposium, ISoLA 2024, Crete,\n Greece, October 27-31, 2024, Proceedings, Part {V}},\n series = {Lecture Notes in Computer Science},\n pages = {190--207},\n publisher = {Springer},\n year = {2024},\n url = {https://doi.org/10.1007/978-3-031-75390-9\\_13},\n doi = {10.1007/978-3-031-75390-9\\_13},\n timestamp = {Mon, 09 Dec 2024 22:46:05 +0100},\n biburl = {https://dblp.org/rec/conf/isola/BasileBCCGFG24.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Neuro-Symbolic Artificial Intelligence for Safety Engineering.\n \n \n \n \n\n\n \n Carnevali, L.; and Lippi, M.\n\n\n \n\n\n\n In Ceccarelli, A.; Trapp, M.; Bondavalli, A.; Schoitsch, E.; Gallina, B.; and Bitsch, F., editor(s),
Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops - DECSoS, SASSUR, TOASTS, and WAISE, Florence, Italy, September 17, 2024, Proceedings, of
Lecture Notes in Computer Science, pages 438–445, 2024. Springer\n
\n\n
\n\n
\n\n
\n\n \n \n
Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{DBLP:conf/safecomp/CarnevaliL24,\n author = {Laura Carnevali and\n Marco Lippi},\n editor = {Andrea Ceccarelli and\n Mario Trapp and\n Andrea Bondavalli and\n Erwin Schoitsch and\n Barbara Gallina and\n Friedemann Bitsch},\n title = {Neuro-Symbolic Artificial Intelligence for Safety Engineering},\n booktitle = {Computer Safety, Reliability, and Security. {SAFECOMP} 2024 Workshops\n - DECSoS, SASSUR, TOASTS, and WAISE, Florence, Italy, September 17,\n 2024, Proceedings},\n series = {Lecture Notes in Computer Science},\n pages = {438--445},\n publisher = {Springer},\n year = {2024},\n url = {https://doi.org/10.1007/978-3-031-68738-9\\_35},\n doi = {10.1007/978-3-031-68738-9\\_35},\n timestamp = {Fri, 20 Sep 2024 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/safecomp/CarnevaliL24.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Advanced Integrated Evaluation of Railway Systems.\n \n \n \n \n\n\n \n Basile, D.; ter Beek, M. H.; Giandomenico, F. D.; Carnevali, L.; and Fantechi, A.\n\n\n \n\n\n\n
ERCIM News, 2024(137). 2024.\n
\n\n
\n\n
\n\n
\n\n \n \n
Paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@article{DBLP:journals/ercim/0001BGCF24,\n author = {Davide Basile and\n Maurice H. ter Beek and\n Felicita Di Giandomenico and\n Laura Carnevali and\n Alessandro Fantechi},\n title = {Advanced Integrated Evaluation of Railway Systems},\n journal = {{ERCIM} News},\n volume = {2024},\n number = {137},\n year = {2024},\n url = {https://ercim-news.ercim.eu/en137/r-i/advanced-integrated-evaluation-of-railway-systems},\n timestamp = {Mon, 13 May 2024 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/ercim/0001BGCF24.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Coherent modal transition systems refinement.\n \n \n \n \n\n\n \n Basile, D.; ter Beek, M. H.; Fantechi, A.; and Gnesi, S.\n\n\n \n\n\n\n
J. Log. Algebraic Methods Program., 138: 100954. 2024.\n
\n\n
\n\n
\n\n
\n\n \n \n
Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@article{DBLP:journals/jlap/BasileBFG24,\n author = {Davide Basile and\n Maurice H. ter Beek and\n Alessandro Fantechi and\n Stefania Gnesi},\n title = {Coherent modal transition systems refinement},\n journal = {J. Log. Algebraic Methods Program.},\n volume = {138},\n pages = {100954},\n year = {2024},\n url = {https://doi.org/10.1016/j.jlamp.2024.100954},\n doi = {10.1016/J.JLAMP.2024.100954},\n timestamp = {Thu, 07 May 2026 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/jlap/BasileBFG24.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n\n
\n\n\n\n
\n\n\n
\n\n\n
\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Exploring LLMs' Ability to Detect Variability in Requirements.\n \n \n \n \n\n\n \n Fantechi, A.; Gnesi, S.; and Semini, L.\n\n\n \n\n\n\n In Méndez, D.; and Moreira, A., editor(s),
Requirements Engineering: Foundation for Software Quality - 30th International Working Conference, REFSQ 2024, Winterthur, Switzerland, April 8-11, 2024, Proceedings, of
Lecture Notes in Computer Science, pages 178–188, 2024. Springer\n
\n\n
\n\n
\n\n
\n\n \n \n
Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{DBLP:conf/refsq/FantechiGS24,\n author = {Alessandro Fantechi and\n Stefania Gnesi and\n Laura Semini},\n editor = {Daniel M{\\'{e}}ndez and\n Ana Moreira},\n title = {Exploring LLMs' Ability to Detect Variability in Requirements},\n booktitle = {Requirements Engineering: Foundation for Software Quality - 30th International\n Working Conference, {REFSQ} 2024, Winterthur, Switzerland, April 8-11,\n 2024, Proceedings},\n series = {Lecture Notes in Computer Science},\n pages = {178--188},\n publisher = {Springer},\n year = {2024},\n url = {https://doi.org/10.1007/978-3-031-57327-9\\_11},\n doi = {10.1007/978-3-031-57327-9\\_11},\n timestamp = {Mon, 15 Apr 2024 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/refsq/FantechiGS24.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n\n
\n\n\n\n
\n\n\n\n\n\n