Pubblicazioni

Colombo-Mendoza, Luis Omar; Valencia-García, Rafael; Alor-Hernández, Giner; Bellavista, Paolo, Special Issue on Context-aware Mobile Recommender Systems, «PERVASIVE AND MOBILE COMPUTING», 2017, 38, pp. 444 - 445 [Articolo in rivista]

Bellavista, Paolo; Giannelli, Carlo; Lanzone, Stefano; Riberto, Giulio; Stefanelli, Cesare; Tortonesi, Mauro, A middleware solution for wireless iot applications in sparse smart cities, «SENSORS», 2017, 17, pp. 2525 - 2542 [Articolo in rivista]

Ellinas, Georgios; Aghvami, Hamid; Vassiliou, Vasos; Verikoukis, Christos; Bellavista, Paolo, Welcome note, in: Ellinas, Georgios*, Proceedings of the 24th International Conference on Telecommunications: Intelligence in Every Form, ICT 2017, Institute of Electrical and Electronics Engineers Inc., 2017, pp. 1 - 1 (atti di: 24th International Conference on Telecommunications, ICT 2017, cyp, 2017) [Contributo in Atti di convegno]

Zanni, Alessandro; Se-young, Yu; Secci, Stefano; Langar, Rami; Bellavista, Paolo; Macedo, Daniel F., Automated offloading of android applications for computation/energy optimizations, in: Proceedings of IEEE INFOCOM Workshops, 2017, pp. 990 - 991 (atti di: IEEE INFOCOM, Atlanta, USA, 1-4 Maggio 2017) [Contributo in Atti di convegno]

Bellavista, Paolo; Zanni, Alessandro, Feasibility of fog computing deployment based on docker containerization over RaspberryPi, in: ACM International Conference Proceeding Series, Association for Computing Machinery, 2017, pp. 1 - 10 (atti di: 18th International Conference on Distributed Computing and Networking, ICDCN 2017, Hyderabad, India, Gennaio 2017) [Contributo in Atti di convegno]

Bellavista, Paolo; Zanni, Alessandro; Solimando, Michele, A migration-enhanced edge computing support for mobile devices in hostile environments, in: 2017 13th International Wireless Communications and Mobile Computing Conference, IWCMC 2017, Institute of Electrical and Electronics Engineers Inc., 2017, pp. 957 - 962 (atti di: 13th IEEE International Wireless Communications and Mobile Computing Conference, IWCMC 2017, Valencia, Spain, Giugno 2017) [Contributo in Atti di convegno]

Tse, Rita; Zhang, Lu Fan; Lei, Philip; Pau, Giovanni, Crowd sensing of weather conditions and traffic congestion based on data mining in social networks, in: SMART OBJECTS AND TECHNOLOGIES FOR SOCIAL GOOD, Springer Verlag, «LECTURE NOTES OF THE INSTITUTE FOR COMPUTER SCIENCES, SOCIAL INFORMATICS AND TELECOMMUNICATIONS ENGINEERING», 2017, 195, pp. 353 - 361 (atti di: 2nd EAI International Conference on Smart Objects and Technologies for Social Good, GOODTECHS 2016, ita, 2016) [Contributo in Atti di convegno]

Davoli, Gianluca; Cerroni, Walter; Contoli, Chiara; Foresta, Francesco; Callegati, Franco, Implementation of service function chaining control plane through OpenFlow, in: Proc. of 2017 IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN), IEEE, 2017, pp. 1 - 4 (atti di: 2017 IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN), Berlin, Germany, 6-8 Nov. 2017) [Contributo in Atti di convegno] Open Access

Bravetti, Mario, Restful services and web-os middleware: A formal specification approach, «JOURNAL OF UNIVERSAL COMPUTER SCIENCE», 2017, 23, pp. 808 - 844 [Articolo in rivista]

Marilisa, Cortesi; Bandiera, L.; Pasini, A.; Bevilacqua, A.; Gherardi, A.; Furini, S.; Giordano, E., MUSIQ: a reliable method for the quantification of E. coli single cell fluorescence distributions using a standard microscope set-up, in: Atti del Congresso Biennale dell' Associazione Nazionale Biologia Cellulare e Differenziamento (ABCD), 2017(atti di: Congresso Biennale dell' Associazione Nazionale Biologia Cellulare e Differenziamento (ABCD), Bologna, 21-23 Settembre 2017) [Poster]

Bravetti, Mario; Hierons, Robert M.; Merayo, Mercedes G., Introduction to the Software Engineering and Formal Methods 2013 special issue, Berlin, Springer Verlag, 2017, pp. 2 . [Curatela]

Russo, Daniel; Ciancarini, Paolo, Towards Antifragile Software Architectures, «PROCEDIA COMPUTER SCIENCE», 2017, 109, pp. 929 - 934 [Articolo in rivista]

Missiroli, Marcello; Russo, Daniel; Ciancarini, Paolo, Teaching Test-First Programming: Assessment and Solutions, in: Computer Software and Applications Conference (COMPSAC), 2017 IEEE 41st Annual, IEEE, 2017, pp. 420 - 425 (atti di: 41 IEEE COMPSAC, Torino, July 2017) [Contributo in Atti di convegno]

Missiroli, Marcello; Russo, Daniel; Ciancarini, Paolo, Cooperative Thinking, or: Computational Thinking Meets Agile, in: Software Engineering Education and Training (CSEE&T), 2017 IEEE 30th Conference on, IEEE, 2017, pp. 187 - 191 (atti di: 30th IEEE Conference on Software Engineering Education and Training (CSEET), Savannah, GA, 7-9 Niovember) [Contributo in Atti di convegno]

Russo, Daniel; Ciancarini, Paolo; Falasconi, Tommaso; Tomasi, Massimo, Software Quality Concerns in the Italian Bank Sector: The Emergence of a Meta-Quality Dimension, in: IEEE/ACM 39th International Conference on Software Engineering, IEEE, 2017, pp. 63 - 72 (atti di: International Conference on Software Engineering (ICSE), Buenos Aires, Argentina, May 2017) [Contributo in Atti di convegno]

De Maria, Elisabetta; Di Giusto, Cinzia; Ciatto, Giovanni, Formal validation of neural networks as timed automata, in: De Maria, Elisabetta, PROCEEDINGS OF THE EIGHTH INTERNATIONAL CONFERENCE ON COMPUTATIONAL SYSTEMS-BIOLOGY AND BIOINFORMATICS (CSBIO 2017), Association for Computing Machinery, 2017, 132747, pp. 15 - 22 (atti di: 8th International Conference on Computational Systems-Biology and Bioinformatics, CSBio 2017, Vietnam, 2017) [Contributo in Atti di convegno]

Ciatto, Giovanni; De Maria, Elisabetta; Di Giusto, Cinzia, Spiking Neural Networks as Timed Automata, in: Proceedings of the Lyon Spring School on Advances in Systems and Synthetic Biology, 2017, pp. 55 - 68 (atti di: Advances in Systems and Synthetic Biology, Lione, 13/03/2017) [Contributo in Atti di convegno]

Abel, Garcia; Laneve, Cosimo; Lienhardt, Michael, Static analysis of cloud elasticity, «SCIENCE OF COMPUTER PROGRAMMING», 2017, 147, pp. 27 - 53 [Articolo in rivista] Open Access

Henrio, Ludovic; Laneve, Cosimo; Mastandrea, Vincenzo, Analysis of synchronisations in stateful active objects, in: Integrated Formal Methods. IFM 2017., Cham, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2017, 10510, pp. 195 - 210 (atti di: 13th International Conference on Integrated Formal Methods, IFM 2017, Turin, Italy, September 20-22, 2017) [Contributo in Atti di convegno]

Alessandro, Amoroso, Preliminary Considerations on Approaching Computer Forensic, in: Proceedings 2017 IEEE Symposium on Computers and Communications (ISCC), Piscatanaway, IEEE, 2017, pp. 143 - 147 (atti di: 2017 IEEE Symposium on Computers and Communications (ISCC), heraklion, 3-7 Luglio 2017) [Contributo in Atti di convegno]