Angelo Furfaro

Francesco Aurelio Pironti

Proceedings of the 11th International Conference on Future Internet of Things and Cloud, 2024

Towards Very-High Interaction Honeypots for ICS: a Proof of Concept.

[BibT_eX]

[DOI]

Francesco Blefari

Carmelo Felicetti

Francesco Aurelio Pironti

Proceedings of the 11th International Conference on Future Internet of Things and Cloud, 2024

Toward a Log-based Anomaly Detection System for Cyber Range Platforms.

[BibT_eX]

[DOI]

Francesco Blefari

Proceedings of the 19th International Conference on Availability, Reliability and Security, 2024

2023

HoneyICS: A High-interaction Physics-aware Honeynet for Industrial Control Systems.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Availability, Reliability and Security, 2023

2022

Special issue on virtual environments for cybersecurity.

[BibT_eX]

[DOI]

Simul. Model. Pract. Theory, 2022

Mining sponge phenomena in RNA expression data.

[BibT_eX]

[DOI]

J. Bioinform. Comput. Biol., 2022

Evaluating Deep Packet Inspection in Large-scale Data Processing.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Future Internet of Things and Cloud, 2022

2020

Facing DDoS bandwidth flooding attacks.

[BibT_eX]

[DOI]

Pasquale Pace

Andrea Parise

Simul. Model. Pract. Theory, 2020

Gathering Malware Data through High-Interaction Honeypots.

[BibT_eX]

[DOI]

Francesco Lupia

Proceedings of the 28th Italian Symposium on Advanced Database Systems, 2020

Mixing Heterogeneous Authentication and Authorization Infrastructures through Proxies.

[BibT_eX]

[DOI]

Giuseppe De Marco

Proceedings of the 22nd International Conference on Enterprise Information Systems, 2020

2019

Using CalcuList To MapReduce Json Documents.

[BibT_eX]

[DOI]

Proceedings of the 27th Italian Symposium on Advanced Database Systems, 2019

A Knowledge-Based Platform for the Classification of Accounting Documents.

[BibT_eX]

[DOI]

Proceedings of the 27th Italian Symposium on Advanced Database Systems, 2019

An Infrastructure for Service Accountability based on Digital Identity and Blockchain 3.0.

[BibT_eX]

[DOI]

Proceedings of the IEEE INFOCOM 2019, 2019

Making IoT Services Accountable: A Solution Based on Blockchain and Physically Unclonable Functions.

[BibT_eX]

[DOI]

Proceedings of the Internet and Distributed Computing Systems, 2019

2018

Exploiting Content Spatial Distribution to Improve Detection of Intrusions.

[BibT_eX]

[DOI]

ACM Trans. Internet Techn., 2018

A hierarchical hybrid framework for modelling anomalous behaviours.

[BibT_eX]

[DOI]

Simul. Model. Pract. Theory, 2018

A Cloud-based platform for the emulation of complex cybersecurity scenarios.

[BibT_eX]

[DOI]

Future Gener. Comput. Syst., 2018

CalcuList: a Functional Language Extended with Imperative Features.

[BibT_eX]

[DOI]

CoRR, 2018

Cybersecurity compliance analysis as a service: Requirements specification and application scenarios.

[BibT_eX]

[DOI]

Concurr. Comput. Pract. Exp., 2018

Detection, Prevention and Simulation Approaches to Address Anomalies in Cyber Security.

[BibT_eX]

[DOI]

Proceedings of the 26th Italian Symposium on Advanced Database Systems, 2018

Efficient Classification of Digital Images based on Pattern-features.

[BibT_eX]

[DOI]

Simona E. Rombo

Proceedings of the 5th International Conference on Physiological Computing Systems, 2018

Adaptive Ladder Queue: Achieving <i>O</i>(1) Amortized Access Time in Practice.

[BibT_eX]

[DOI]

Ludovica Sacco

Proceedings of the 2018 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, 2018

Using CalcuList To MapReduce Jsons.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Database Engineering & Applications Symposium, 2018

Effectiveness of Content Spatial Distribution Analysis in Securing IoT Environments.

[BibT_eX]

[DOI]

Proceedings of the 6th IEEE International Conference on Future Internet of Things and Cloud, 2018

Exploiting Adaptive Ladder Queue into Repast Simulation platform.

[BibT_eX]

[DOI]

Ludovica Sacco

Proceedings of the 22nd IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, 2018

Achieving Service Accountability Through Blockchain and Digital Identity.

[BibT_eX]

[DOI]

Proceedings of the Information Systems in the Big Data Era, 2018

2017

Using virtual environments for the assessment of cybersecurity issues in IoT scenarios.

[BibT_eX]

[DOI]

Simul. Model. Pract. Theory, 2017

2D Motif Basis Applied to the Classification of Digital Images.

[BibT_eX]

[DOI]

Maria Carmela Groccia

Simona E. Rombo

Comput. J., 2017

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

[BibT_eX]

[DOI]

Proceedings of the 25th Italian Symposium on Advanced Database Systems, 2017

2016

ResDevOps: A Software Engineering Framework for Achieving Long-Lasting Complex Systems.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE International Requirements Engineering Conference, 2016

Honeypot-Powered Malware Reverse Engineering.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Conference on Cloud Engineering Workshop, 2016

Extending GOReM Through the RAMSoS Method for Supporting Modeling and Virtual Evaluation of the Systemic Risk.

[BibT_eX]

[DOI]

Proceedings of the 2nd INCOSE Italia Conference on Systems Engineering, 2016

Modeling Cyber Systemic Risk for the Business Continuity Plan of a Bank.

[BibT_eX]

[DOI]

Teresa Gallo

Proceedings of the Availability, Reliability, and Security in Information Systems, 2016

2015

A Hybrid Real-Time Command Governor Supervisory Scheme for Constrained Control Systems.

[BibT_eX]

[DOI]

IEEE Trans. Control. Syst. Technol., 2015

Honeypot-powered Malware Reverse Engineering.

[BibT_eX]

[DOI]

CoRR, 2015

A safe supervisory flight control scheme in the presence of constraints and anomalies.

[BibT_eX]

[DOI]

Int. J. Appl. Math. Comput. Sci., 2015

A Simulation Model for the Analysis of DDoS Amplification Attacks.

[BibT_eX]

[DOI]

Giovanna Malena

Lorena Molina Valdiviezo

Andrea Parise

Proceedings of the UKSim-AMSS 17th International Conference on Computer Modelling and Simulation, 2015

An analytical processing approach to supporting cyber security compliance assessment.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Security of Information and Networks, 2015

Exploiting N-Gram Location for Intrusion Detection.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE International Conference on Tools with Artificial Intelligence, 2015

A multi-protocol framework for the development of collaborative virtual environments.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE International Conference on Computer Supported Cooperative Work in Design, 2015

2014

PCkAD: an unsupervised intrusion detection technique exploiting within payload n-gram location distribution.

[BibT_eX]

[DOI]

CoRR, 2014

Modelling and Simulation of a Defense Strategy to Face Indirect DDoS Flooding Attacks.

[BibT_eX]

[DOI]

Pasquale Pace

Andrea Parise

Lorena Molina Valdiviezo

Proceedings of the Internet and Distributed Computing Systems, 2014

Towards Security as a Service (SecaaS): On the modeling of Security Services for Cloud Computing.

[BibT_eX]

[DOI]

Alfredo Garro

Andrea Tundis

Proceedings of the International Carnahan Conference on Security Technology, 2014

Mastering Concept Exploration in Large Industrial Research Projects.

[BibT_eX]

[DOI]

Proceedings of the INCOSE Italia Conference on Systems Engineering, 2014

2013

Using time stream Petri nets for workflow modelling analysis and enactment.

[BibT_eX]

[DOI]

Simul., 2013

Application of the Artificial Neural Network for blood pressure evaluation with smartphones.

[BibT_eX]

[DOI]

Proceedings of the IEEE 7th International Conference on Intelligent Data Acquisition and Advanced Computing Systems, 2013

Image Classification Based on 2D Feature Motifs.

[BibT_eX]

[DOI]

Maria Carmela Groccia

Simona E. Rombo

Proceedings of the Flexible Query Answering Systems - 10th International Conference, 2013

Modelling Java Concurrency: An Approach and a Uppaal Library.

[BibT_eX]

[DOI]

Proceedings of the 2013 Federated Conference on Computer Science and Information Systems, 2013

Agent Methodological Layers In Repast Simphony.

[BibT_eX]

[DOI]

Proceedings of the 27th European Conference on Modelling and Simulation, 2013

2012

Model checking time-dependent system specifications using Time Stream Petri Nets and Uppaal.

[BibT_eX]

[DOI]

Appl. Math. Comput., 2012

Agents Over The Grid: An Experience Using The Globus Toolkit 4.

[BibT_eX]

[DOI]

Proceedings of the 26th European Conference on Modelling and Simulation, 2012

Development of a Schedulability Analysis Framework Based on pTPN and UPPAAL with Stopwatches.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, 2012

2011

Modelling and simulation of complex manufacturing systems using statechart-based actors.

[BibT_eX]

[DOI]

Simul. Model. Pract. Theory, 2011

HLA_ACTOR_REPAST: An approach to distributing RePast models for high-performance simulations.

[BibT_eX]

[DOI]

Simul. Model. Pract. Theory, 2011

Performance of a multi-agent system over a multi-core cluster managed by Terracotta.

[BibT_eX]

[DOI]

Proceedings of the 2011 Spring Simulation Multi-conference, 2011

Dynamic Sociality Minority Game.

[BibT_eX]

[DOI]

Proceedings of the 25th European Conference on Modelling and Simulation, 2011

A hybrid real-time supervisory scheme for nonlinear systems.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2011

2010

A service-based architecture for dynamically reconfigurable workflows.

[BibT_eX]

[DOI]

J. Syst. Softw., 2010

Temporal verification of RT-DEVS models with implementation aspects.

[BibT_eX]

[DOI]

Proceedings of the 2010 Spring Simulation Multiconference, 2010

Using time stream Petri nets over a service architecture for workflow modelling and enactment.

[BibT_eX]

[DOI]

Proceedings of the 2010 Spring Simulation Multiconference, 2010

Parallel Simulation of Multi-agent Systems Using Terracotta.

[BibT_eX]

[DOI]

Proceedings of the DS-RT '10 Proceedings of the 2010 IEEE/ACM 14th International Symposium on Distributed Simulation and Real Time Applications, 2010

A fault-tolerant real-time supervisory scheme for an interconnected four-tank system.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2010

2009

An Agent Infrastructure over HLA for Distributed Simulation of Reconfigurable Systems and its Application to UAV Coordination.

[BibT_eX]

[DOI]

Simul., 2009

A development methodology for embedded systems based on RT-DEVS.

[BibT_eX]

[DOI]

Innov. Syst. Softw. Eng., 2009

Statechart-Based Actors For Modelling And Distributed Simulation Of Complex Multi-Agent Systems.

[BibT_eX]

[DOI]

Proceedings of the European Conference on Modelling and Simulation, 2009

Distributing RePast Simulations Using Actors.

[BibT_eX]

[DOI]

Proceedings of the European Conference on Modelling and Simulation, 2009

Distributed Simulation of RePast Models over HLA/Actors.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, 2009

2008

Embedded Control Systems Design based on RT-DEVS and temporal analysis using UPPAAL.

[BibT_eX]

[DOI]

Proceedings of the International Multiconference on Computer Science and Information Technology, 2008

Actor-Based Simulation of PDEVS systems over HLA.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 41st Annual Simulation Symposium (ANSS-41 2008), 2008

2007

Distributed simulation of modular time Petri nets: An approach and a case study exploiting temporal uncertainty.

[BibT_eX]

[DOI]

Real Time Syst., 2007

Exploiting agents for modelling and simulation of coverage control protocols in large sensor networks.

[BibT_eX]

[DOI]

J. Syst. Softw., 2007

Timed verification of hierarchical communicating real-time state machines.

[BibT_eX]

[DOI]

Comput. Stand. Interfaces, 2007

Conflict management in PDEVS: an experience in modelling and simulation of time petri nets.

[BibT_eX]

[DOI]

Proceedings of the 2007 Summer Computer Simulation Conference, 2007

An Agent Infrastructure for Distributed Simulations over HLA and a Case Study Using Unmanned Aerial Vehicles.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 40th Annual Simulation Symposium (ANSS-40 2007), 2007

Integration and Interoperability between Jini services andWeb Services.

[BibT_eX]

[DOI]

Proceedings of the 2007 IEEE International Conference on Services Computing (SCC 2007), 2007

2006

Modular Design of Real-Time Systems Using Hierarchical Communicating Real-time State Machines.

[BibT_eX]

[DOI]

Real Time Syst., 2006

MADAMS: A software architecture for the management of networked measurement services.

[BibT_eX]

[DOI]

Comput. Stand. Interfaces, 2006

An Approach to Protocol Modeling and Validation.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 39th Annual Simulation Symposium (ANSS-39 2006), 2006

2005

Methods and tools for modelling, analysis and implementation of time-dependent systems.

[BibT_eX]

[DOI]

PhD thesis, 2005

Model Checking Time Petri Nets: A Translation Approach based on UPPAAL and a Case Study.

[BibT_eX]

Proceedings of the IASTED International Conference on Software Engineering, 2005

Model checking hierarchical communicating real-time state machines.

[BibT_eX]

[DOI]

Proceedings of 10th IEEE International Conference on Emerging Technologies and Factory Automation, 2005

Exploiting Temporal Uncertainty in the Distributed Simulation of Time Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 38th Annual Simulation Symposium (ANSS-38 2005), 2005

2004

Multimedia synchronization based on aspect oriented programming.

[BibT_eX]

[DOI]

Microprocess. Microsystems, 2004

Scripting and Monitoring in TPN Designer Simulations: A Case Study Using the Production Cell.

[BibT_eX]

Proceedings of the International Conference on Modeling, 2004

Deployment, configuration and management of mobile actor systems.

[BibT_eX]

Proceedings of the IASTED Conference on Software Engineering and Applications, 2004

2003

Modelling and simulation of complex systems using TPN Designer.

[BibT_eX]

[DOI]

Simul. Model. Pract. Theory, 2003

Real-Time Systems Development Using Hierarchical State Machines.

[BibT_eX]

[DOI]

Proceedings of the Modular Programming Languages, Joint Modular Languages Conference, 2003

2002

Aspect Oriented Programming Using Actors.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference on Distributed Computing Systems, 2002

A Java Toolset for Modelling and Simulation of Complex Timed Petri Nets.

[BibT_eX]

Proceedings of the 16<sup>th</sup> European Simulation Multiconference: Modelling and Simulation 2002, 2002

Distributed Simulation of Timed Coloured Petri Nets.

[BibT_eX]

[DOI]