Verification and Control of Hybrid Systems under Safety Requirements

W. Lucia, Famularo, D., Franzè, G., and Furfaro, A., “Verification and Control of Hybrid Systems under Safety Requirements”, in Joint 9th IFAC Symposium on Robust Control Design and 2nd IFAC Workshop on Linear Parameter Varying Systems, 2018.

A Cloud-based Platform for the Emulation of Complex Cybersecurity Scenarios

A. Furfaro, Piccolo, A., Parise, A., Argento, L., and Saccà, D., “A Cloud-based Platform for the Emulation of Complex Cybersecurity Scenarios”, Future Generation Computer Systems, vol. 89, pp. 791-803, 2018.

Effectiveness of content spatial distribution analysis in securing IoT environments

F. Angiulli, Argento, L., and Furfaro, A., “Effectiveness of content spatial distribution analysis in securing IoT environments”, in IEEE 6th International Conference on Future Internet of Things and Cloud (FiCloud-2018), 2018.

Using CalcuList To MapReduce Jsons

D. Saccà and Furfaro, A., “Using CalcuList To MapReduce Jsons”, in 22nd International Database Engineering & Applications Symposium (IDEAS 2018), 2018.

Achieving Service Accountability through Blockchain and Digital Identity

F. Angiulli, Fassetti, F., Furfaro, A., Piccolo, A., and Saccà, D., “Achieving Service Accountability through Blockchain and Digital Identity”, in Forum of 30th International Conference on Advanced Information Systems Engineering (CAiSE'18 Forum), Tallin, Estonia, 2018.

Adaptive Ladder Queue: achieving O(1) amortized access time in practice

A. Furfaro and Sacco, L., “Adaptive Ladder Queue: achieving O(1) amortized access time in practice”, in SIGSIM-PADS '18: SIGSIM Principles of Advanced Discrete Simulation, Rome, Italy, 2018.

A Hierarchical Hybrid Framework for Modelling Anomalous Behaviours

F. Angiulli, Argento, L., Furfaro, A., and Parise, A., “A Hierarchical Hybrid Framework for Modelling Anomalous Behaviours”, Simulation Modelling Practice and Theory, vol. 82, pp. 103-115, 2018.

Exploiting content spatial distribution to improve detection of intrusions

F. Angiulli, Argento, L., and Furfaro, A., “Exploiting content spatial distribution to improve detection of intrusions”, ACM Transactions on Internet Technology, vol. 18, no. 2, 2018.

CalcuList: a Functional Language Extended with Imperative Features

D. Saccà and Furfaro, A., “CalcuList: a Functional Language Extended with Imperative Features”, 25th International Workshop on Functional and Logic Programming. Wuerzburg, Germany, 2017.

A cloud based framework for Emergency Management: experiences in Calabria Region

G. Tradigo, Picarelli, R., Caroprese, L., Cappadone, P., Zumpano, E., Tagarelli, A., Furfaro, A., Tansi, C., Veltri, P., and Guzzi, P. Hiram, “A cloud based framework for Emergency Management: experiences in Calabria Region”, in Italian Symposium on Advanced Database Systems, 2017.

Pages