\n \n \n
\n
\n\n \n \n \n \n \n \n Virtual Functions Placement With Time Constraints in Fog Computing: A Matching Theory Perspective.\n \n \n \n \n\n\n \n Chiti, F.; Fantacci, R.; Paganelli, F.; and Picano, B.\n\n\n \n\n\n\n
IEEE Trans. Netw. Serv. Manag., 16(3): 980–989. 2019.\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/tnsm/ChitiFPP19,\n author = {Francesco Chiti and\n Romano Fantacci and\n Federica Paganelli and\n Benedetta Picano},\n title = {Virtual Functions Placement With Time Constraints in Fog Computing:\n {A} Matching Theory Perspective},\n journal = {{IEEE} Trans. Netw. Serv. Manag.},\n volume = {16},\n number = {3},\n pages = {980--989},\n year = {2019},\n url = {https://doi.org/10.1109/TNSM.2019.2918637},\n doi = {10.1109/TNSM.2019.2918637},\n timestamp = {Thu, 27 Aug 2020 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/tnsm/ChitiFPP19.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 Efficient Resource Allocation Scheme for Applications in LR-WPANs Based on a Stable Matching With Externalities Approach.\n \n \n \n \n\n\n \n Bartoli, G.; Chiti, F.; Fantacci, R.; and Picano, B.\n\n\n \n\n\n\n
IEEE Trans. Veh. Technol., 68(6): 5893–5903. 2019.\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/tvt/BartoliCFP19,\n author = {Giulio Bartoli and\n Francesco Chiti and\n Romano Fantacci and\n Benedetta Picano},\n title = {An Efficient Resource Allocation Scheme for Applications in LR-WPANs\n Based on a Stable Matching With Externalities Approach},\n journal = {{IEEE} Trans. Veh. Technol.},\n volume = {68},\n number = {6},\n pages = {5893--5903},\n year = {2019},\n url = {https://doi.org/10.1109/TVT.2019.2909136},\n doi = {10.1109/TVT.2019.2909136},\n timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/tvt/BartoliCFP19.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 Nonlinear Dynamic Chaos Theory Framework for Passenger Demand Forecasting in Smart City.\n \n \n \n \n\n\n \n Picano, B.; Fantacci, R.; and Han, Z.\n\n\n \n\n\n\n
IEEE Trans. Veh. Technol., 68(9): 8533–8545. 2019.\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/tvt/PicanoFH19,\n author = {Benedetta Picano and\n Romano Fantacci and\n Zhu Han},\n title = {Nonlinear Dynamic Chaos Theory Framework for Passenger Demand Forecasting\n in Smart City},\n journal = {{IEEE} Trans. Veh. Technol.},\n volume = {68},\n number = {9},\n pages = {8533--8545},\n year = {2019},\n url = {https://doi.org/10.1109/TVT.2019.2930363},\n doi = {10.1109/TVT.2019.2930363},\n timestamp = {Wed, 05 Jan 2022 00:00:00 +0100},\n biburl = {https://dblp.org/rec/journals/tvt/PicanoFH19.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 Passengers Demand Forecasting Based on Chaos Theory.\n \n \n \n \n\n\n \n Picano, B.; Chiti, F.; Fantacci, R.; and Han, Z.\n\n\n \n\n\n\n In
2019 IEEE International Conference on Communications, ICC 2019, Shanghai, China, May 20-24, 2019, pages 1–6, 2019. 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/icc/PicanoCFH19,\n author = {Benedetta Picano and\n Francesco Chiti and\n Romano Fantacci and\n Zhu Han},\n title = {Passengers Demand Forecasting Based on Chaos Theory},\n booktitle = {2019 {IEEE} International Conference on Communications, {ICC} 2019,\n Shanghai, China, May 20-24, 2019},\n pages = {1--6},\n publisher = {{IEEE}},\n year = {2019},\n url = {https://doi.org/10.1109/ICC.2019.8762041},\n doi = {10.1109/ICC.2019.8762041},\n timestamp = {Wed, 05 Jan 2022 00:00:00 +0100},\n biburl = {https://dblp.org/rec/conf/icc/PicanoCFH19.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 Efficient Matching for Almost Blank Subframes Allocation in Ultra Dense Networks.\n \n \n \n \n\n\n \n Bartoli, G.; Fantacci, R.; Marabissi, D.; and Picano, B.\n\n\n \n\n\n\n In
2019 IEEE Wireless Communications and Networking Conference, WCNC 2019, Marrakesh, Morocco, April 15-18, 2019, pages 1–6, 2019. 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/wcnc/BartoliFMP19,\n author = {Giulio Bartoli and\n Romano Fantacci and\n Dania Marabissi and\n Benedetta Picano},\n title = {Efficient Matching for Almost Blank Subframes Allocation in Ultra\n Dense Networks},\n booktitle = {2019 {IEEE} Wireless Communications and Networking Conference, {WCNC}\n 2019, Marrakesh, Morocco, April 15-18, 2019},\n pages = {1--6},\n publisher = {{IEEE}},\n year = {2019},\n url = {https://doi.org/10.1109/WCNC.2019.8885735},\n doi = {10.1109/WCNC.2019.8885735},\n timestamp = {Wed, 06 Nov 2019 12:28:18 +0100},\n biburl = {https://dblp.org/rec/conf/wcnc/BartoliFMP19.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 Data Flow Management and Visual Analytic for Big Data Smart City/IOT.\n \n \n \n \n\n\n \n Bellini, P.; Bugli, F.; Nesi, P.; Pantaleo, G.; Paolucci, M.; and Zaza, I.\n\n\n \n\n\n\n In
2019 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computing, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovation, SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2019, Leicester, United Kingdom, August 19-23, 2019, pages 1529–1536, 2019. 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/uic/BelliniBNPPZ19,\n author = {Pierfrancesco Bellini and\n Francesco Bugli and\n Paolo Nesi and\n Gianni Pantaleo and\n Michela Paolucci and\n Imad Zaza},\n title = {Data Flow Management and Visual Analytic for Big Data Smart City/IOT},\n booktitle = {2019 {IEEE} SmartWorld, Ubiquitous Intelligence {\\&} Computing, Advanced\n {\\&} Trusted Computing, Scalable Computing {\\&} Communications, Cloud\n {\\&} Big Data Computing, Internet of People and Smart City Innovation,\n SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2019, Leicester, United\n Kingdom, August 19-23, 2019},\n pages = {1529--1536},\n publisher = {{IEEE}},\n year = {2019},\n url = {https://doi.org/10.1109/SmartWorld-UIC-ATC-SCALCOM-IOP-SCI.2019.00276},\n doi = {10.1109/SmartWorld-UIC-ATC-SCALCOM-IOP-SCI.2019.00276},\n timestamp = {Mon, 20 Apr 2020 11:50:00 +0200},\n biburl = {https://dblp.org/rec/conf/uic/BelliniBNPPZ19.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 Model-Based Quantitative Evaluation of Repair Procedures in Gas Distribution Networks.\n \n \n \n \n\n\n \n Biagi, M.; Carnevali, L.; Tarani, F.; and Vicario, E.\n\n\n \n\n\n\n
ACM Trans. Cyber Phys. Syst., 3(2): 19:1–19:26. 2019.\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/tcps/BiagiCTV19,\n author = {Marco Biagi and\n Laura Carnevali and\n Fabio Tarani and\n Enrico Vicario},\n title = {Model-Based Quantitative Evaluation of Repair Procedures in Gas Distribution\n Networks},\n journal = {{ACM} Trans. Cyber Phys. Syst.},\n volume = {3},\n number = {2},\n pages = {19:1--19:26},\n year = {2019},\n url = {https://doi.org/10.1145/3284037},\n doi = {10.1145/3284037},\n timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/tcps/BiagiCTV19.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 Continuous-Time Model-Based Approach for Activity Recognition in Pervasive Environments.\n \n \n \n \n\n\n \n Biagi, M.; Carnevali, L.; Paolieri, M.; Patara, F.; and Vicario, E.\n\n\n \n\n\n\n
IEEE Trans. Hum. Mach. Syst., 49(4): 293–303. 2019.\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/thms/BiagiCPPV19,\n author = {Marco Biagi and\n Laura Carnevali and\n Marco Paolieri and\n Fulvio Patara and\n Enrico Vicario},\n title = {A Continuous-Time Model-Based Approach for Activity Recognition in\n Pervasive Environments},\n journal = {{IEEE} Trans. Hum. Mach. Syst.},\n volume = {49},\n number = {4},\n pages = {293--303},\n year = {2019},\n url = {https://doi.org/10.1109/THMS.2019.2903091},\n doi = {10.1109/THMS.2019.2903091},\n timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},\n biburl = {https://dblp.org/rec/journals/thms/BiagiCPPV19.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 Marked Markov Modulated Poisson Processes for Online Predictive Analysis of Attack Scenarios.\n \n \n \n \n\n\n \n Carnevali, L.; Santoni, F.; and Vicario, E.\n\n\n \n\n\n\n In Wolter, K.; Schieferdecker, I.; Gallina, B.; Cukier, M.; Natella, R.; Ivaki, N. R.; and Laranjeiro, N., editor(s),
30th IEEE International Symposium on Software Reliability Engineering, ISSRE 2019, Berlin, Germany, October 28-31, 2019, pages 195–205, 2019. 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/CarnevaliSV19,\n author = {Laura Carnevali and\n Francesco Santoni and\n Enrico Vicario},\n editor = {Katinka Wolter and\n Ina Schieferdecker and\n Barbara Gallina and\n Michel Cukier and\n Roberto Natella and\n Naghmeh Ramezani Ivaki and\n Nuno Laranjeiro},\n title = {Learning Marked Markov Modulated Poisson Processes for Online Predictive\n Analysis of Attack Scenarios},\n booktitle = {30th {IEEE} International Symposium on Software Reliability Engineering,\n {ISSRE} 2019, Berlin, Germany, October 28-31, 2019},\n pages = {195--205},\n publisher = {{IEEE}},\n year = {2019},\n url = {https://doi.org/10.1109/ISSRE.2019.00028},\n doi = {10.1109/ISSRE.2019.00028},\n timestamp = {Mon, 28 Dec 2020 11:31:03 +0100},\n biburl = {https://dblp.org/rec/conf/issre/CarnevaliSV19.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 novel layered approach to evaluate reliability of complex systems.\n \n \n \n \n\n\n \n Carnevali, L.; Ciani, L.; Fantechi, A.; and Papini, M.\n\n\n \n\n\n\n In
5th IEEE International forum on Research and Technology for Society and Industry, RTSI 2019, Florence, Italy, September 9-12, 2019, pages 291–295, 2019. 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/rtsi/CarnevaliCFP19,\n author = {Laura Carnevali and\n Lorenzo Ciani and\n Alessandro Fantechi and\n Marco Papini},\n title = {A novel layered approach to evaluate reliability of complex systems},\n booktitle = {5th {IEEE} International forum on Research and Technology for Society\n and Industry, {RTSI} 2019, Florence, Italy, September 9-12, 2019},\n pages = {291--295},\n publisher = {{IEEE}},\n year = {2019},\n url = {https://doi.org/10.1109/RTSI.2019.8895568},\n doi = {10.1109/RTSI.2019.8895568},\n timestamp = {Thu, 14 Nov 2019 11:03:29 +0100},\n biburl = {https://dblp.org/rec/conf/rtsi/CarnevaliCFP19.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 Flood Resilience of a Water Distribution System.\n \n \n \n \n\n\n \n Tarani, F.; Arrighi, C.; Carnevali, L.; Castelli, F.; and Vicario, E.\n\n\n \n\n\n\n In Flammini, F., editor(s),
Resilience of Cyber-Physical Systems, From Risk Modelling to Threat Counteraction, pages 177–194. Springer, 2019.\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/19/TaraniACCV19,\n author = {Fabio Tarani and\n Chiara Arrighi and\n Laura Carnevali and\n Fabio Castelli and\n Enrico Vicario},\n editor = {Francesco Flammini},\n title = {Flood Resilience of a Water Distribution System},\n booktitle = {Resilience of Cyber-Physical Systems, From Risk Modelling to Threat\n Counteraction},\n pages = {177--194},\n publisher = {Springer},\n year = {2019},\n url = {https://doi.org/10.1007/978-3-319-95597-1\\_8},\n doi = {10.1007/978-3-319-95597-1\\_8},\n timestamp = {Fri, 01 Nov 2019 13:32:04 +0100},\n biburl = {https://dblp.org/rec/books/sp/19/TaraniACCV19.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 From Behavioural Contracts to Session Types.\n \n \n \n \n\n\n \n Fantechi, A.; Najm, E.; and Stefani, J.\n\n\n \n\n\n\n In Boreale, M.; Corradini, F.; Loreti, M.; and Pugliese, R., editor(s),
Models, Languages, and Tools for Concurrent and Distributed Programming - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday, volume 11665, of
Lecture Notes in Computer Science, pages 278–297, 2019. 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/birthday/FantechiNS19,\n author = {Alessandro Fantechi and\n Elie Najm and\n Jean{-}Bernard Stefani},\n editor = {Michele Boreale and\n Flavio Corradini and\n Michele Loreti and\n Rosario Pugliese},\n title = {From Behavioural Contracts to Session Types},\n booktitle = {Models, Languages, and Tools for Concurrent and Distributed Programming\n - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th\n Birthday},\n series = {Lecture Notes in Computer Science},\n volume = {11665},\n pages = {278--297},\n publisher = {Springer},\n year = {2019},\n url = {https://doi.org/10.1007/978-3-030-21485-2\\_16},\n doi = {10.1007/978-3-030-21485-2\\_16},\n timestamp = {Thu, 04 Jul 2019 14:12:17 +0200},\n biburl = {https://dblp.org/rec/conf/birthday/FantechiNS19.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 From Generic Requirements to Variability.\n \n \n \n \n\n\n \n Fantechi, A.; Gnesi, S.; and Semini, L.\n\n\n \n\n\n\n In Spoletini, P.; Mäder, P.; Berry, D. M.; Dalpiaz, F.; Daneva, M.; Ferrari, A.; Franch, X.; Gregory, S.; Groen, E. C.; Herrmann, A.; Hess, A.; Houdek, F.; Karras, O.; Koziolek, A.; Lauenroth, K.; Palomares, C.; Sabetzadeh, M.; Seyff, N.; Trapp, M.; Vogelsang, A.; and Weyer, T., editor(s),
Joint Proceedings of REFSQ-2019 Workshops, Doctoral Symposium, Live Studies Track, and Poster Track co-located with the 25th International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2019), Essen, Germany, March 18th, 2019, volume 2376, of
CEUR Workshop Proceedings, 2019. CEUR-WS.org\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
@inproceedings{DBLP:conf/refsq/FantechiGS19,\n author = {Alessandro Fantechi and\n Stefania Gnesi and\n Laura Semini},\n editor = {Paola Spoletini and\n Patrick M{\\"{a}}der and\n Daniel M. Berry and\n Fabiano Dalpiaz and\n Maya Daneva and\n Alessio Ferrari and\n Xavier Franch and\n Sarah Gregory and\n Eduard C. Groen and\n Andrea Herrmann and\n Anne Hess and\n Frank Houdek and\n Oliver Karras and\n Anne Koziolek and\n Kim Lauenroth and\n Cristina Palomares and\n Mehrdad Sabetzadeh and\n Norbert Seyff and\n Marcus Trapp and\n Andreas Vogelsang and\n Thorsten Weyer},\n title = {From Generic Requirements to Variability},\n booktitle = {Joint Proceedings of {REFSQ-2019} Workshops, Doctoral Symposium, Live\n Studies Track, and Poster Track co-located with the 25th International\n Conference on Requirements Engineering: Foundation for Software Quality\n {(REFSQ} 2019), Essen, Germany, March 18th, 2019},\n series = {{CEUR} Workshop Proceedings},\n volume = {2376},\n publisher = {CEUR-WS.org},\n year = {2019},\n url = {https://ceur-ws.org/Vol-2376/NLP4RE19\\_paper16.pdf},\n timestamp = {Fri, 10 Mar 2023 16:23:43 +0100},\n biburl = {https://dblp.org/rec/conf/refsq/FantechiGS19.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 Connected or Autonomous Trains?.\n \n \n \n \n\n\n \n Fantechi, A.\n\n\n \n\n\n\n In Dutilleul, S. C.; Lecomte, T.; and Romanovsky, A. B., editor(s),
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Third International Conference, RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings, volume 11495, of
Lecture Notes in Computer Science, pages 3–19, 2019. 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/rssrail/Fantechi19,\n author = {Alessandro Fantechi},\n editor = {Simon Collart Dutilleul and\n Thierry Lecomte and\n Alexander B. Romanovsky},\n title = {Connected or Autonomous Trains?},\n booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,\n Verification, and Certification - Third International Conference,\n RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {11495},\n pages = {3--19},\n publisher = {Springer},\n year = {2019},\n url = {https://doi.org/10.1007/978-3-030-18744-6\\_1},\n doi = {10.1007/978-3-030-18744-6\\_1},\n timestamp = {Fri, 31 May 2019 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/rssrail/Fantechi19.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 Statistical Model Checking of Hazards in an Autonomous Tramway Positioning System.\n \n \n \n \n\n\n \n Basile, D.; Fantechi, A.; Rucher, L.; and Mandò, G.\n\n\n \n\n\n\n In Dutilleul, S. C.; Lecomte, T.; and Romanovsky, A. B., editor(s),
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Third International Conference, RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings, volume 11495, of
Lecture Notes in Computer Science, pages 41–58, 2019. 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/rssrail/BasileFRM19,\n author = {Davide Basile and\n Alessandro Fantechi and\n Luigi Rucher and\n Gianluca Mand{\\`{o}}},\n editor = {Simon Collart Dutilleul and\n Thierry Lecomte and\n Alexander B. Romanovsky},\n title = {Statistical Model Checking of Hazards in an Autonomous Tramway Positioning\n System},\n booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,\n Verification, and Certification - Third International Conference,\n RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {11495},\n pages = {41--58},\n publisher = {Springer},\n year = {2019},\n url = {https://doi.org/10.1007/978-3-030-18744-6\\_3},\n doi = {10.1007/978-3-030-18744-6\\_3},\n timestamp = {Thu, 02 Sep 2021 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/rssrail/BasileFRM19.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 A novel layered approach to evaluate reliability of complex systems.\n \n \n \n \n\n\n \n Carnevali, L.; Ciani, L.; Fantechi, A.; and Papini, M.\n\n\n \n\n\n\n In
5th IEEE International forum on Research and Technology for Society and Industry, RTSI 2019, Florence, Italy, September 9-12, 2019, pages 291–295, 2019. 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/rtsi/CarnevaliCFP19,\n author = {Laura Carnevali and\n Lorenzo Ciani and\n Alessandro Fantechi and\n Marco Papini},\n title = {A novel layered approach to evaluate reliability of complex systems},\n booktitle = {5th {IEEE} International forum on Research and Technology for Society\n and Industry, {RTSI} 2019, Florence, Italy, September 9-12, 2019},\n pages = {291--295},\n publisher = {{IEEE}},\n year = {2019},\n url = {https://doi.org/10.1109/RTSI.2019.8895568},\n doi = {10.1109/RTSI.2019.8895568},\n timestamp = {Thu, 14 Nov 2019 11:03:29 +0100},\n biburl = {https://dblp.org/rec/conf/rtsi/CarnevaliCFP19.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 The SISTER Approach for Verification and Validation: A Lightweight Process for Reusable Results.\n \n \n \n \n\n\n \n Ceccarelli, A.; Basile, D.; Bondavalli, A.; Falai, L.; Fantechi, A.; Ferrari, S.; Mandò, G.; Nostro, N.; and Rucher, L.\n\n\n \n\n\n\n In Romanovsky, A. B.; Troubitsyna, E.; Gashi, I.; Schoitsch, E.; and Bitsch, F., editor(s),
Computer Safety, Reliability, and Security - SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings, volume 11699, of
Lecture Notes in Computer Science, pages 185–197, 2019. 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/CeccarelliBBFFF19,\n author = {Andrea Ceccarelli and\n Davide Basile and\n Andrea Bondavalli and\n Lorenzo Falai and\n Alessandro Fantechi and\n Sandro Ferrari and\n Gianluca Mand{\\`{o}} and\n Nicola Nostro and\n Luigi Rucher},\n editor = {Alexander B. Romanovsky and\n Elena Troubitsyna and\n Ilir Gashi and\n Erwin Schoitsch and\n Friedemann Bitsch},\n title = {The {SISTER} Approach for Verification and Validation: {A} Lightweight\n Process for Reusable Results},\n booktitle = {Computer Safety, Reliability, and Security - {SAFECOMP} 2019 Workshops,\n ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September\n 10, 2019, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {11699},\n pages = {185--197},\n publisher = {Springer},\n year = {2019},\n url = {https://doi.org/10.1007/978-3-030-26250-1\\_15},\n doi = {10.1007/978-3-030-26250-1\\_15},\n timestamp = {Thu, 02 Sep 2021 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/safecomp/CeccarelliBBFFF19.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 Smart Services for Railways.\n \n \n \n \n\n\n \n Giandomenico, F. D.; Gnesi, S.; Spagnolo, G. O.; and Fantechi, A.\n\n\n \n\n\n\n
ERCIM News, 2019(117). 2019.\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/GiandomenicoGSF19,\n author = {Felicita Di Giandomenico and\n Stefania Gnesi and\n Giorgio Oronzo Spagnolo and\n Alessandro Fantechi},\n title = {Smart Services for Railways},\n journal = {{ERCIM} News},\n volume = {2019},\n number = {117},\n year = {2019},\n url = {https://ercim-news.ercim.eu/en117/r-i/smart-services-for-railways},\n timestamp = {Wed, 22 May 2019 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/ercim/GiandomenicoGSF19.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 Model-Based Quantitative Evaluation of Repair Procedures in Gas Distribution Networks.\n \n \n \n \n\n\n \n Biagi, M.; Carnevali, L.; Tarani, F.; and Vicario, E.\n\n\n \n\n\n\n
ACM Trans. Cyber Phys. Syst., 3(2): 19:1–19:26. 2019.\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/tcps/BiagiCTV19,\n author = {Marco Biagi and\n Laura Carnevali and\n Fabio Tarani and\n Enrico Vicario},\n title = {Model-Based Quantitative Evaluation of Repair Procedures in Gas Distribution\n Networks},\n journal = {{ACM} Trans. Cyber Phys. Syst.},\n volume = {3},\n number = {2},\n pages = {19:1--19:26},\n year = {2019},\n url = {https://doi.org/10.1145/3284037},\n doi = {10.1145/3284037},\n timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/tcps/BiagiCTV19.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 Continuous-Time Model-Based Approach for Activity Recognition in Pervasive Environments.\n \n \n \n \n\n\n \n Biagi, M.; Carnevali, L.; Paolieri, M.; Patara, F.; and Vicario, E.\n\n\n \n\n\n\n
IEEE Trans. Hum. Mach. Syst., 49(4): 293–303. 2019.\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/thms/BiagiCPPV19,\n author = {Marco Biagi and\n Laura Carnevali and\n Marco Paolieri and\n Fulvio Patara and\n Enrico Vicario},\n title = {A Continuous-Time Model-Based Approach for Activity Recognition in\n Pervasive Environments},\n journal = {{IEEE} Trans. Hum. Mach. Syst.},\n volume = {49},\n number = {4},\n pages = {293--303},\n year = {2019},\n url = {https://doi.org/10.1109/THMS.2019.2903091},\n doi = {10.1109/THMS.2019.2903091},\n timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},\n biburl = {https://dblp.org/rec/journals/thms/BiagiCPPV19.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 Marked Markov Modulated Poisson Processes for Online Predictive Analysis of Attack Scenarios.\n \n \n \n \n\n\n \n Carnevali, L.; Santoni, F.; and Vicario, E.\n\n\n \n\n\n\n In Wolter, K.; Schieferdecker, I.; Gallina, B.; Cukier, M.; Natella, R.; Ivaki, N. R.; and Laranjeiro, N., editor(s),
30th IEEE International Symposium on Software Reliability Engineering, ISSRE 2019, Berlin, Germany, October 28-31, 2019, pages 195–205, 2019. 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/CarnevaliSV19,\n author = {Laura Carnevali and\n Francesco Santoni and\n Enrico Vicario},\n editor = {Katinka Wolter and\n Ina Schieferdecker and\n Barbara Gallina and\n Michel Cukier and\n Roberto Natella and\n Naghmeh Ramezani Ivaki and\n Nuno Laranjeiro},\n title = {Learning Marked Markov Modulated Poisson Processes for Online Predictive\n Analysis of Attack Scenarios},\n booktitle = {30th {IEEE} International Symposium on Software Reliability Engineering,\n {ISSRE} 2019, Berlin, Germany, October 28-31, 2019},\n pages = {195--205},\n publisher = {{IEEE}},\n year = {2019},\n url = {https://doi.org/10.1109/ISSRE.2019.00028},\n doi = {10.1109/ISSRE.2019.00028},\n timestamp = {Mon, 28 Dec 2020 11:31:03 +0100},\n biburl = {https://dblp.org/rec/conf/issre/CarnevaliSV19.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 JARVIS, A Hardware/Software Framework for Resilient Industry 4.0 Systems.\n \n \n \n \n\n\n \n Parri, J.; Patara, F.; Sampietro, S.; and Vicario, E.\n\n\n \n\n\n\n In Calinescu, R.; and Giandomenico, F. D., editor(s),
Software Engineering for Resilient Systems - 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings, volume 11732, of
Lecture Notes in Computer Science, pages 85–93, 2019. 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/serene/ParriPSV19,\n author = {Jacopo Parri and\n Fulvio Patara and\n Samuele Sampietro and\n Enrico Vicario},\n editor = {Radu Calinescu and\n Felicita Di Giandomenico},\n title = {JARVIS, {A} Hardware/Software Framework for Resilient Industry 4.0\n Systems},\n booktitle = {Software Engineering for Resilient Systems - 11th International Workshop,\n {SERENE} 2019, Naples, Italy, September 17, 2019, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {11732},\n pages = {85--93},\n publisher = {Springer},\n year = {2019},\n url = {https://doi.org/10.1007/978-3-030-30856-8\\_6},\n doi = {10.1007/978-3-030-30856-8\\_6},\n timestamp = {Mon, 23 Sep 2019 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/serene/ParriPSV19.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 Flood Resilience of a Water Distribution System.\n \n \n \n \n\n\n \n Tarani, F.; Arrighi, C.; Carnevali, L.; Castelli, F.; and Vicario, E.\n\n\n \n\n\n\n In Flammini, F., editor(s),
Resilience of Cyber-Physical Systems, From Risk Modelling to Threat Counteraction, pages 177–194. Springer, 2019.\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/19/TaraniACCV19,\n author = {Fabio Tarani and\n Chiara Arrighi and\n Laura Carnevali and\n Fabio Castelli and\n Enrico Vicario},\n editor = {Francesco Flammini},\n title = {Flood Resilience of a Water Distribution System},\n booktitle = {Resilience of Cyber-Physical Systems, From Risk Modelling to Threat\n Counteraction},\n pages = {177--194},\n publisher = {Springer},\n year = {2019},\n url = {https://doi.org/10.1007/978-3-319-95597-1\\_8},\n doi = {10.1007/978-3-319-95597-1\\_8},\n timestamp = {Fri, 01 Nov 2019 13:32:04 +0100},\n biburl = {https://dblp.org/rec/books/sp/19/TaraniACCV19.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 Connecting People, Services, and Data for Continuity of Care.\n \n \n \n \n\n\n \n Patara, F.; and Vicario, E.\n\n\n \n\n\n\n
ERCIM News, 2019(118). 2019.\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/PataraV19,\n author = {Fulvio Patara and\n Enrico Vicario},\n title = {Connecting People, Services, and Data for Continuity of Care},\n journal = {{ERCIM} News},\n volume = {2019},\n number = {118},\n year = {2019},\n url = {https://ercim-news.ercim.eu/en118/special/connecting-people-services-and-data-for-continuity-of-care},\n timestamp = {Fri, 19 Jul 2019 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/ercim/PataraV19.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 DecidArch: Playing Cards as Software Architects.\n \n \n \n\n\n \n Lago, P; Cai, J. F; de Boer, R.; Kruchten, P.; and Verdecchia, R\n\n\n \n\n\n\n In
Hawaii International Conference on System Sciences (HICSS), 2019. \n
\n\n
\n\n
\n\n
\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
@inproceedings{lago2019decidarch,\n title={DecidArch: Playing Cards as Software Architects},\n author={Lago, P and Cai, Jia F and de Boer, RC and Kruchten, Philippe and Verdecchia, R},\n booktitle={Hawaii International Conference on System Sciences (HICSS)},\n year={2019}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n Guidelines for Architecting Android Apps: A Mixed-Method Empirical Study.\n \n \n \n\n\n \n Verdecchia, R; Malavolta, I; and Lago, P\n\n\n \n\n\n\n In
International Conference on Software Architecture (ICSA), 2019. \n
\n\n
\n\n
\n\n
\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
@inproceedings{verdecchia2019guidelines,\n title={Guidelines for Architecting Android Apps: A Mixed-Method Empirical Study},\n author={Verdecchia, R and Malavolta, I and Lago, P},\n booktitle={International Conference on Software Architecture (ICSA)},\n year={2019}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n Scalable Approaches for Test Suite Reduction.\n \n \n \n\n\n \n Cruciani, E.; Miranda, B.; Verdecchia, R.; and Bertolino, A.\n\n\n \n\n\n\n In
International Conference Software Engineering (ICSE), 2019. \n
\n\n
\n\n
\n\n
\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
@inproceedings{cruciani2019scalable,\n title={Scalable Approaches for Test Suite Reduction},\n author={Cruciani, Emilio and Miranda, Breno and Verdecchia, Roberto and Bertolino, Antonia},\n booktitle={International Conference Software Engineering (ICSE)},\n year={2019}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n Decidarch v2: An improved game to teach architecture design decision making.\n \n \n \n\n\n \n De Boer, R. C; Lago, P.; Verdecchia, R.; and Kruchten, P.\n\n\n \n\n\n\n In
2019 IEEE International Conference on Software Architecture Companion (ICSA-C), pages 153–157, 2019. IEEE\n
\n\n
\n\n
\n\n
\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
@inproceedings{de2019decidarch,\n title={Decidarch v2: An improved game to teach architecture design decision making},\n author={De Boer, Remco C and Lago, Patricia and Verdecchia, Roberto and Kruchten, Philippe},\n booktitle={2019 IEEE International Conference on Software Architecture Companion (ICSA-C)},\n pages={153--157},\n year={2019},\n organization={IEEE}\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n