\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 \n Lago, P.; Cai, J. F.; de Boer, R. C.; Kruchten, P.; and Verdecchia, R.\n\n\n \n\n\n\n In Bui, T., editor(s),
52nd Hawaii International Conference on System Sciences, HICSS 2019, Grand Wailea, Maui, Hawaii, USA, January 8-11, 2019, pages 1–10, 2019. ScholarSpace\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/hicss/LagoCBKV19,\n author = "Lago, Patricia and Cai, Jia F. and de Boer, Remco C. and Kruchten, Philippe and Verdecchia, Roberto",\n editor = "Bui, Tung",\n title = "DecidArch: Playing Cards as Software Architects",\n booktitle = "52nd Hawaii International Conference on System Sciences, {HICSS} 2019, Grand Wailea, Maui, Hawaii, USA, January 8-11, 2019",\n pages = "1--10",\n publisher = "ScholarSpace",\n year = "2019",\n url = "https://hdl.handle.net/10125/60220",\n timestamp = "Wed, 04 May 2022 01:00:00 +0200",\n biburl = "https://dblp.org/rec/conf/hicss/LagoCBKV19.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 Guidelines for Architecting Android Apps: A Mixed-Method Empirical Study.\n \n \n \n \n\n\n \n Verdecchia, R.; Malavolta, I.; and Lago, P.\n\n\n \n\n\n\n In
IEEE International Conference on Software Architecture, ICSA 2019, Hamburg, Germany, March 25-29, 2019, pages 141–150, 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/icsa/VerdecchiaML19,\n author = "Verdecchia, Roberto and Malavolta, Ivano and Lago, Patricia",\n title = "Guidelines for Architecting Android Apps: {A} Mixed-Method Empirical Study",\n booktitle = "{IEEE} International Conference on Software Architecture, {ICSA} 2019, Hamburg, Germany, March 25-29, 2019",\n pages = "141--150",\n publisher = "{IEEE}",\n year = "2019",\n url = "https://doi.org/10.1109/ICSA.2019.00023",\n doi = "10.1109/ICSA.2019.00023",\n timestamp = "Tue, 29 Dec 2020 00:00:00 +0100",\n biburl = "https://dblp.org/rec/conf/icsa/VerdecchiaML19.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 DecidArch V2: An Improved Game to Teach Architecture Design Decision Making.\n \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
IEEE International Conference on Software Architecture Companion, ICSA Companion 2019, Hamburg, Germany, March 25-26, 2019, pages 153–157, 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/icsa/BoerLVK19,\n author = "de Boer, Remco C. and Lago, Patricia and Verdecchia, Roberto and Kruchten, Philippe",\n title = "DecidArch {V2:} An Improved Game to Teach Architecture Design Decision Making",\n booktitle = "{IEEE} International Conference on Software Architecture Companion, {ICSA} Companion 2019, Hamburg, Germany, March 25-26, 2019",\n pages = "153--157",\n publisher = "{IEEE}",\n year = "2019",\n url = "https://doi.org/10.1109/ICSA-C.2019.00034",\n doi = "10.1109/ICSA-C.2019.00034",\n timestamp = "Sun, 06 Oct 2024 01:00:00 +0200",\n biburl = "https://dblp.org/rec/conf/icsa/BoerLVK19.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 Scalable approaches for test suite reduction.\n \n \n \n \n\n\n \n Cruciani, E.; Miranda, B.; Verdecchia, R.; and Bertolino, A.\n\n\n \n\n\n\n In Atlee, J. M.; Bultan, T.; and Whittle, J., editor(s),
Proceedings of the 41st International Conference on Software Engineering, ICSE 2019, Montreal, QC, Canada, May 25-31, 2019, pages 419–429, 2019. IEEE / 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/icse/CrucianiMVB19,\n author = "Cruciani, Emilio and Miranda, Breno and Verdecchia, Roberto and Bertolino, Antonia",\n editor = "Atlee, Joanne M. and Bultan, Tevfik and Whittle, Jon",\n title = "Scalable approaches for test suite reduction",\n booktitle = "Proceedings of the 41st International Conference on Software Engineering, {ICSE} 2019, Montreal, QC, Canada, May 25-31, 2019",\n pages = "419--429",\n publisher = "{IEEE} / {ACM}",\n year = "2019",\n url = "https://doi.org/10.1109/ICSE.2019.00055",\n doi = "10.1109/ICSE.2019.00055",\n timestamp = "Tue, 24 May 2022 15:28:49 +0200",\n biburl = "https://dblp.org/rec/conf/icse/CrucianiMVB19.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 JTeC: A Large Collection of Java Test Classes forTest Code Analysis and Processing (Version 1.0).\n \n \n \n \n\n\n \n Corò, F.; Verdecchia, R.; Cruciani, E.; Miranda, B.; and Bertolino, A.\n\n\n \n\n\n\n ˘rlhttps://doi.org/10.5281/zenodo.2558714, February 2019.\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/10/CoroVCMB19,\n author = "Cor{\\`{o}}, Federico and Verdecchia, Roberto and Cruciani, Emilio and Miranda, Breno and Bertolino, Antonia",\n title = "JTeC: {A} Large Collection of Java Test Classes forTest Code Analysis and Processing (Version 1.0)",\n publisher = "Zenodo",\n year = "2019",\n month = "February",\n howpublished = "\\url{https://doi.org/10.5281/zenodo.2558714}",\n note = "Accessed on YYYY-MM-DD.",\n url = "https://doi.org/10.5281/zenodo.2558714",\n doi = "10.5281/ZENODO.2558714",\n timestamp = "Thu, 12 Dec 2024 00:00:00 +0100",\n biburl = "https://dblp.org/rec/data/10/CoroVCMB19.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 MSR19-JTeC/JTeC: Initial JTeC release (Version v1.0.0).\n \n \n \n \n\n\n \n Corò, F.; Verdecchia, R.; Cruciani, E.; Miranda, B.; and Bertolino, A.\n\n\n \n\n\n\n ˘rlhttps://doi.org/10.5281/zenodo.2560702, February 2019.\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/10/CoroVCMB19a,\n author = "Cor{\\`{o}}, Federico and Verdecchia, Roberto and Cruciani, Emilio and Miranda, Breno and Bertolino, Antonia",\n title = "MSR19-JTeC/JTeC: Initial JTeC release (Version v1.0.0)",\n publisher = "Zenodo",\n year = "2019",\n month = "February",\n howpublished = "\\url{https://doi.org/10.5281/zenodo.2560702}",\n note = "Accessed on YYYY-MM-DD.",\n url = "https://doi.org/10.5281/zenodo.2560702",\n doi = "10.5281/ZENODO.2560702",\n timestamp = "Fri, 06 Sep 2024 01:00:00 +0200",\n biburl = "https://dblp.org/rec/data/10/CoroVCMB19a.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 JTeC: A Large Collection of Java Test Classes forTest Code Analysis and Processing (Version 2.0).\n \n \n \n \n\n\n \n Corò, F.; Verdecchia, R.; Cruciani, E.; Miranda, B.; and Bertolino, A.\n\n\n \n\n\n\n ˘rlhttps://doi.org/10.5281/zenodo.2878368, May 2019.\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/10/CoroVCMB19b,\n author = "Cor{\\`{o}}, Federico and Verdecchia, Roberto and Cruciani, Emilio and Miranda, Breno and Bertolino, Antonia",\n title = "JTeC: {A} Large Collection of Java Test Classes forTest Code Analysis and Processing (Version 2.0)",\n publisher = "Zenodo",\n year = "2019",\n month = "May",\n howpublished = "\\url{https://doi.org/10.5281/zenodo.2878368}",\n note = "Accessed on YYYY-MM-DD.",\n url = "https://doi.org/10.5281/zenodo.2878368",\n doi = "10.5281/ZENODO.2878368",\n timestamp = "Thu, 12 Dec 2024 00:00:00 +0100",\n biburl = "https://dblp.org/rec/data/10/CoroVCMB19b.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 JTeC: A Large Collection of Java Test Classes forTest Code Analysis and Processing (Version 2.0).\n \n \n \n \n\n\n \n Corò, F.; Verdecchia, R.; Cruciani, E.; Miranda, B.; and Bertolino, A.\n\n\n \n\n\n\n ˘rlhttps://doi.org/10.5281/zenodo.3711509, May 2019.\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/10/CoroVCMB19c,\n author = "Cor{\\`{o}}, Federico and Verdecchia, Roberto and Cruciani, Emilio and Miranda, Breno and Bertolino, Antonia",\n title = "JTeC: {A} Large Collection of Java Test Classes forTest Code Analysis and Processing (Version 2.0)",\n publisher = "Zenodo",\n year = "2019",\n month = "May",\n howpublished = "\\url{https://doi.org/10.5281/zenodo.3711509}",\n note = "Accessed on YYYY-MM-DD.",\n url = "https://doi.org/10.5281/zenodo.3711509",\n doi = "10.5281/ZENODO.3711509",\n timestamp = "Thu, 12 Dec 2024 00:00:00 +0100",\n biburl = "https://dblp.org/rec/data/10/CoroVCMB19c.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 Scalable Approaches for Test Suite Reduction (Version v1.0.0).\n \n \n \n \n\n\n \n Cruciani, E.; Miranda, B.; Verdecchia, R.; and Bertolino, A.\n\n\n \n\n\n\n ˘rlhttps://doi.org/10.5281/zenodo.2550079, January 2019.\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/10/CrucianiMVB19,\n author = "Cruciani, Emilio and Miranda, Breno and Verdecchia, Roberto and Bertolino, Antonia",\n title = "Scalable Approaches for Test Suite Reduction (Version v1.0.0)",\n publisher = "Zenodo",\n year = "2019",\n month = "January",\n howpublished = "\\url{https://doi.org/10.5281/zenodo.2550079}",\n note = "Accessed on YYYY-MM-DD.",\n url = "https://doi.org/10.5281/zenodo.2550079",\n doi = "10.5281/ZENODO.2550079",\n timestamp = "Thu, 05 Sep 2024 01:00:00 +0200",\n biburl = "https://dblp.org/rec/data/10/CrucianiMVB19.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 = "Biagi, Marco and Carnevali, Laura and Tarani, Fabio and Vicario, Enrico",\n title = "Model-Based Quantitative Evaluation of Repair Procedures in Gas Distribution 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 = "Biagi, Marco and Carnevali, Laura and Paolieri, Marco and Patara, Fulvio and Vicario, Enrico",\n title = "A Continuous-Time Model-Based Approach for Activity Recognition in 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 = "Carnevali, Laura and Santoni, Francesco and Vicario, Enrico",\n editor = "Wolter, Katinka and Schieferdecker, Ina and Gallina, Barbara and Cukier, Michel and Natella, Roberto and Ivaki, Naghmeh Ramezani and Laranjeiro, Nuno",\n title = "Learning Marked Markov Modulated Poisson Processes for Online Predictive Analysis of Attack Scenarios",\n booktitle = "30th {IEEE} International Symposium on Software Reliability Engineering, {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 = "Parri, Jacopo and Patara, Fulvio and Sampietro, Samuele and Vicario, Enrico",\n editor = "Calinescu, Radu and Giandomenico, Felicita Di",\n title = "JARVIS, {A} Hardware/Software Framework for Resilient Industry 4.0 Systems",\n booktitle = "Software Engineering for Resilient Systems - 11th International Workshop, {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 = "Tarani, Fabio and Arrighi, Chiara and Carnevali, Laura and Castelli, Fabio and Vicario, Enrico",\n editor = "Flammini, Francesco",\n title = "Flood Resilience of a Water Distribution System",\n booktitle = "Resilience of Cyber-Physical Systems, From Risk Modelling to Threat 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 = "Patara, Fulvio and Vicario, Enrico",\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 \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 = "Chiti, Francesco and Fantacci, Romano and Paganelli, Federica and Picano, Benedetta",\n title = "Virtual Functions Placement With Time Constraints in Fog Computing: {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 = "Bartoli, Giulio and Chiti, Francesco and Fantacci, Romano and Picano, Benedetta",\n title = "An Efficient Resource Allocation Scheme for Applications in LR-WPANs 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 = "Picano, Benedetta and Fantacci, Romano and Han, Zhu",\n title = "Nonlinear Dynamic Chaos Theory Framework for Passenger Demand Forecasting 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 = "Picano, Benedetta and Chiti, Francesco and Fantacci, Romano and Han, Zhu",\n title = "Passengers Demand Forecasting Based on Chaos Theory",\n booktitle = "2019 {IEEE} International Conference on Communications, {ICC} 2019, 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 = "Bartoli, Giulio and Fantacci, Romano and Marabissi, Dania and Picano, Benedetta",\n title = "Efficient Matching for Almost Blank Subframes Allocation in Ultra Dense Networks",\n booktitle = "2019 {IEEE} Wireless Communications and Networking Conference, {WCNC} 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 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 = "Carnevali, Laura and Ciani, Lorenzo and Fantechi, Alessandro and Papini, Marco",\n title = "A novel layered approach to evaluate reliability of complex systems",\n booktitle = "5th {IEEE} International forum on Research and Technology for Society 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 \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 = "Fantechi, Alessandro and Najm, Elie and Stefani, Jean{-}Bernard",\n editor = "Boreale, Michele and Corradini, Flavio and Loreti, Michele and Pugliese, Rosario",\n title = "From Behavioural Contracts to Session Types",\n booktitle = "Models, Languages, and Tools for Concurrent and Distributed Programming - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th 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 = "Fantechi, Alessandro and Gnesi, Stefania and Semini, Laura",\n editor = {Spoletini, Paola and M{\\"{a}}der, Patrick and Berry, Daniel M. and Dalpiaz, Fabiano and Daneva, Maya and Ferrari, Alessio and Franch, Xavier and Gregory, Sarah and Groen, Eduard C. and Herrmann, Andrea and Hess, Anne and Houdek, Frank and Karras, Oliver and Koziolek, Anne and Lauenroth, Kim and Palomares, Cristina and Sabetzadeh, Mehrdad and Seyff, Norbert and Trapp, Marcus and Vogelsang, Andreas and Weyer, Thorsten},\n title = "From Generic Requirements to Variability",\n booktitle = "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",\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 = "Fantechi, Alessandro",\n editor = "Dutilleul, Simon Collart and Lecomte, Thierry and Romanovsky, Alexander B.",\n title = "Connected or Autonomous Trains?",\n booktitle = "Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Third International Conference, 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 = "Basile, Davide and Fantechi, Alessandro and Rucher, Luigi and Mand{\\`{o}}, Gianluca",\n editor = "Dutilleul, Simon Collart and Lecomte, Thierry and Romanovsky, Alexander B.",\n title = "Statistical Model Checking of Hazards in an Autonomous Tramway Positioning System",\n booktitle = "Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Third International Conference, 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 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 = "Ceccarelli, Andrea and Basile, Davide and Bondavalli, Andrea and Falai, Lorenzo and Fantechi, Alessandro and Ferrari, Sandro and Mand{\\`{o}}, Gianluca and Nostro, Nicola and Rucher, Luigi",\n editor = "Romanovsky, Alexander B. and Troubitsyna, Elena and Gashi, Ilir and Schoitsch, Erwin and Bitsch, Friedemann",\n title = "The {SISTER} Approach for Verification and Validation: {A} Lightweight Process for Reusable Results",\n booktitle = "Computer Safety, Reliability, and Security - {SAFECOMP} 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 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 = "Sat, 30 Sep 2023 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 = "Giandomenico, Felicita Di and Gnesi, Stefania and Spagnolo, Giorgio Oronzo and Fantechi, Alessandro",\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 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 = "Bellini, Pierfrancesco and Bugli, Francesco and Nesi, Paolo and Pantaleo, Gianni and Paolucci, Michela and Zaza, Imad",\n title = "Data Flow Management and Visual Analytic for Big Data Smart City/IOT",\n booktitle = "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",\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