Distributed Simulation of Timed Coloured Petri Nets. - Angelo Furfaro; Libero Nigro; Francesco Pupo (DS-RT, 2002)

A Java Toolset for Modelling and Simulation of Complex Timed Petri Nets. - Luigi Carullo; Angelo Furfaro; Libero Nigro; Francesco Pupo (ESM, 2002)

Aspect Oriented Programming Using Actors. - Angelo Furfaro; Libero Nigro; Francesco Pupo (ICDCS Workshops, 2002)

Real-Time Systems Development Using Hierarchical State Machines. - Angelo Furfaro; Libero Nigro; Francesco Pupo (JMLC, 2003)

Modelling and simulation of complex systems using TPN Designer. - Luigi Carullo; Angelo Furfaro; Libero Nigro; Francesco Pupo (Simul. Model. Pract. Theory, 2003)

Deployment, configuration and management of mobile actor systems. - Franco Cicirelli; Angelo Furfaro; Libero Nigro (IASTED Conf. on Software Engineering and Applications, 2004)

Scripting and Monitoring in TPN Designer Simulations: A Case Study Using the Production Cell. - Franco Cicirelli; Angelo Furfaro; Libero Nigro; Francesco Pupo (MSV/AMCS, 2004)

Multimedia synchronization based on aspect oriented programming. - Angelo Furfaro; Libero Nigro; Francesco Pupo (Microprocess. Microsystems, 2004)

Exploiting Temporal Uncertainty in the Distributed Simulation of Time Petri Nets. - Franco Cicirelli; Angelo Furfaro; Libero Nigro (Annual Simulation Symposium, 2005)

Model checking hierarchical communicating real-time state machines. - Angelo Furfaro; Libero Nigro (ETFA, 2005)

Model Checking Time Petri Nets: A Translation Approach based on UPPAAL and a Case Study. - Angelo Furfaro; Libero Nigro (IASTED Conf. on Software Engineering, 2005)

Methods and tools for modelling, analysis and implementation of time-dependent systems. - Angelo Furfaro (2005)

An Approach to Protocol Modeling and Validation. - Franco Cicirelli; Angelo Furfaro; Libero Nigro (Annual Simulation Symposium, 2006)

MADAMS: A software architecture for the management of networked measurement services. - Franco Cicirelli; Angelo Furfaro; Domenico Grimaldi; Libero Nigro; Francesco Pupo (Comput. Stand. Interfaces, 2006)

Modular Design of Real-Time Systems Using Hierarchical Communicating Real-time State Machines. - Angelo Furfaro; Libero Nigro; Francesco Pupo (Real Time Syst., 2006)

Integration and Interoperability between Jini services andWeb Services. - Franco Cicirelli; Angelo Furfaro; Libero Nigro (IEEE SCC, 2007)

An Agent Infrastructure for Distributed Simulations over HLA and a Case Study Using Unmanned Aerial Vehicles. - Franco Cicirelli; Angelo Furfaro; Andrea Giordano; Libero Nigro (Annual Simulation Symposium, 2007)

Conflict management in PDEVS: an experience in modelling and simulation of time petri nets. - Franco Cicirelli; Angelo Furfaro; Libero Nigro (SCSC, 2007)

Timed verification of hierarchical communicating real-time state machines. - Angelo Furfaro; Libero Nigro (Comput. Stand. Interfaces, 2007)

Exploiting agents for modelling and simulation of coverage control protocols in large sensor networks. - Franco Cicirelli; Angelo Furfaro; Libero Nigro (J. Syst. Softw., 2007)

Distributed simulation of modular time Petri nets: An approach and a case study exploiting temporal uncertainty. - Franco Cicirelli; Angelo Furfaro; Libero Nigro (Real Time Syst., 2007)

Actor-Based Simulation of PDEVS systems over HLA. - Franco Cicirelli; Angelo Furfaro; Libero Nigro (Annual Simulation Symposium, 2008)

Embedded Control Systems Design based on RT-DEVS and temporal analysis using UPPAAL. - Angelo Furfaro; Libero Nigro (IMCSIT, 2008)

Distributed Simulation of RePast Models over HLA/Actors. - Franco Cicirelli; Angelo Furfaro; Andrea Giordano; Libero Nigro (DS-RT, 2009)

Distributing RePast Simulations Using Actors. - Franco Cicirelli; Angelo Furfaro; Andrea Giordano; Libero Nigro (ECMS, 2009)

Statechart-Based Actors For Modelling And Distributed Simulation Of Complex Multi-Agent Systems. - Franco Cicirelli; Angelo Furfaro; Andrea Giordano; Libero Nigro (ECMS, 2009)

A development methodology for embedded systems based on RT-DEVS. - Angelo Furfaro; Libero Nigro (Innov. Syst. Softw. Eng., 2009)

An Agent Infrastructure over HLA for Distributed Simulation of Reconfigurable Systems and its Application to UAV Coordination. - Franco Cicirelli; Angelo Furfaro; Libero Nigro (Simul., 2009)

A fault-tolerant real-time supervisory scheme for an interconnected four-tank system. - Alessandro Casavola; Domenico Famularo; Giuseppe Franzè; Angelo Furfaro (ACC, 2010)

Parallel Simulation of Multi-agent Systems Using Terracotta. - Franco Cicirelli; Angelo Furfaro; Andrea Giordano; Libero Nigro (DS-RT, 2010)

Using time stream Petri nets over a service architecture for workflow modelling and enactment. - Franco Cicirelli; Angelo Furfaro; Libero Nigro (SpringSim, 2010)

Temporal verification of RT-DEVS models with implementation aspects. - Franco Cicirelli; Angelo Furfaro; Libero Nigro; Francesco Pupo (SpringSim, 2010)

A service-based architecture for dynamically reconfigurable workflows. - Franco Cicirelli; Angelo Furfaro; Libero Nigro (J. Syst. Softw., 2010)

A hybrid real-time supervisory scheme for nonlinear systems. - Domenico Famularo; Giuseppe Franzè; Angelo Furfaro; Massimiliano Mattei (ACC, 2011)

Dynamic Sociality Minority Game. - Franco Cicirelli; Angelo Furfaro; Libero Nigro; Francesco Pupo (ECMS, 2011)

Performance of a multi-agent system over a multi-core cluster managed by Terracotta. - Franco Cicirelli; Angelo Furfaro; Andrea Giordano; Libero Nigro (SpringSim (TMS-DEVS), 2011)

HLA_ACTOR_REPAST: An approach to distributing RePast models for high-performance simulations. - Franco Cicirelli; Angelo Furfaro; Andrea Giordano; Libero Nigro (Simul. Model. Pract. Theory, 2011)

Modelling and simulation of complex manufacturing systems using statechart-based actors. - Franco Cicirelli; Angelo Furfaro; Libero Nigro (Simul. Model. Pract. Theory, 2011)

Development of a Schedulability Analysis Framework Based on pTPN and UPPAAL with Stopwatches. - Franco Cicirelli; Angelo Furfaro; Libero Nigro; Francesco Pupo (DS-RT, 2012)

Agents Over The Grid: An Experience Using The Globus Toolkit 4. - Franco Cicirelli; Angelo Furfaro; Libero Nigro; Francesco Pupo (ECMS, 2012)

Model checking time-dependent system specifications using Time Stream Petri Nets and Uppaal. - Franco Cicirelli; Angelo Furfaro; Libero Nigro (Appl. Math. Comput., 2012)

Agent Methodological Layers In Repast Simphony. - Franco Cicirelli; Angelo Furfaro; Libero Nigro; Francesco Pupo (ECMS, 2013)

Modelling Java Concurrency: An Approach and a Uppaal Library. - Franco Cicirelli; Angelo Furfaro; Libero Nigro; Francesco Pupo (FedCSIS, 2013)

Image Classification Based on 2D Feature Motifs. - Angelo Furfaro; Maria Carmela Groccia; Simona E. Rombo (FQAS, 2013)

Application of the Artificial Neural Network for blood pressure evaluation with smartphones. - Francesco Lamonaca; Kurt Barbé; Yuriy Kurylyak; Domenico Grimaldi; Wendy Van Moer; Angelo Furfaro; Vitaliano Spagnuolo (IDAACS, 2013)

Using time stream Petri nets for workflow modelling analysis and enactment. - Franco Cicirelli; Angelo Furfaro; Libero Nigro (Simul., 2013)

Mastering Concept Exploration in Large Industrial Research Projects. - Simona Citrigno; Angelo Furfaro; Teresa Gallo; Alfredo Garro; Sabrina Graziano; Domenico Saccà (CIISE, 2014)

Towards Security as a Service (SecaaS): On the modeling of Security Services for Cloud Computing. - Angelo Furfaro; Alfredo Garro; Andrea Tundis (ICCST, 2014)

Modelling and Simulation of a Defense Strategy to Face Indirect DDoS Flooding Attacks. - Angelo Furfaro; Pasquale Pace; Andrea Parise; Lorena Molina Valdiviezo (IDCS, 2014)

PCkAD: an unsupervised intrusion detection technique exploiting within payload n-gram location distribution. - Fabrizio Angiulli; Luciano Argento; Angelo Furfaro (CoRR, 2014)

A multi-protocol framework for the development of collaborative virtual environments. - Luciano Argento; Angelo Furfaro (CSCWD, 2015)

Exploiting N-Gram Location for Intrusion Detection. - Fabrizio Angiulli; Luciano Argento; Angelo Furfaro (ICTAI, 2015)

An analytical processing approach to supporting cyber security compliance assessment. - Francesco Buccafurri; Lidia Fotia; Angelo Furfaro; Alfredo Garro; Matteo Giacalone; Andrea Tundis (SIN, 2015)

A Simulation Model for the Analysis of DDoS Amplification Attacks. - Angelo Furfaro; Giovanna Malena; Lorena Molina Valdiviezo; Andrea Parise (UKSim, 2015)

A safe supervisory flight control scheme in the presence of constraints and anomalies. - Giuseppe Franzè; Angelo Furfaro; Massimiliano Mattei; Valerio Scordamaglia (Int. J. Appl. Math. Comput. Sci., 2015)

Honeypot-powered Malware Reverse Engineering. - Michele Bombardieri; Salvatore Castanò; Fabrizio Curcio; Angelo Furfaro (CoRR, 2015)

A Hybrid Real-Time Command Governor Supervisory Scheme for Constrained Control Systems. - Domenico Famularo; Giuseppe Franzè; Angelo Furfaro; Massimiliano Mattei (IEEE Trans. Control. Syst. Technol., 2015)

Modeling Cyber Systemic Risk for the Business Continuity Plan of a Bank. - Angelo Furfaro; Teresa Gallo; Domenico Saccà (CD-ARES, 2016)

Extending GOReM Through the RAMSoS Method for Supporting Modeling and Virtual Evaluation of the Systemic Risk. - Simona Citrigno; Angelo Furfaro; Teresa Gallo; Alfredo Garro; Sabrina Graziano; Domenico Saccà; Andrea Tundis (CIISE, 2016)

Honeypot-Powered Malware Reverse Engineering. - Michele Bombardieri; Salvatore Castanò; Fabrizio Curcio; Angelo Furfaro; Helen D. Karatza (IC2E Workshops, 2016)

ResDevOps: A Software Engineering Framework for Achieving Long-Lasting Complex Systems. - Angelo Furfaro; Teresa Gallo; Alfredo Garro; Domenico Saccà; Andrea Tundis (RE, 2016)

A cloud based framework for Emergency Management: experiences in Calabria Region. - Giuseppe Tradigo; Rocco Picarelli; Luciano Caroprese; Paolo Cappadone; Ester Zumpano; Andrea Tagarelli; Angelo Furfaro; Carlo Tansi; Pierangelo Veltri; Pietro Hiram Guzzi (SEBD, 2017)

2D Motif Basis Applied to the Classification of Digital Images. - Angelo Furfaro; Maria Carmela Groccia; Simona E. Rombo (Comput. J., 2017)

Using virtual environments for the assessment of cybersecurity issues in IoT scenarios. - Angelo Furfaro; Luciano Argento; Andrea Parise; Antonio Piccolo (Simul. Model. Pract. Theory, 2017)

Achieving Service Accountability Through Blockchain and Digital Identity. - Fabrizio Angiulli; Fabio Fassetti; Angelo Furfaro; Antonio Piccolo; Domenico Saccà (CAiSE Forum, 2018)

Exploiting Adaptive Ladder Queue into Repast Simulation platform. - Angelo Furfaro; Ludovica Sacco (DS-RT, 2018)

Effectiveness of Content Spatial Distribution Analysis in Securing IoT Environments. - Fabrizio Angiulli; Luciano Argento; Angelo Furfaro (FiCloud, 2018)

Using CalcuList To MapReduce Jsons. - Domenico Saccà; Angelo Furfaro (IDEAS, 2018)

Adaptive Ladder Queue: Achieving O(1) Amortized Access Time in Practice. - Angelo Furfaro; Ludovica Sacco (SIGSIM-PADS, 2018)

Efficient Classification of Digital Images based on Pattern-features. - Angelo Furfaro; Simona E. Rombo (PhyCS, 2018)

Detection, Prevention and Simulation Approaches to Address Anomalies in Cyber Security. - Luciano Argento; Fabrizio Angiulli; Angelo Furfaro (SEBD, 2018)

Cybersecurity compliance analysis as a service: Requirements specification and application scenarios. - Angelo Furfaro; Teresa Gallo; Alfredo Garro; Domenico Saccà; Andrea Tundis (Concurr. Comput. Pract. Exp., 2018)

CalcuList: a Functional Language Extended with Imperative Features. - Domenico Saccà; Angelo Furfaro (CoRR, 2018)

A Cloud-based platform for the emulation of complex cybersecurity scenarios. - Angelo Furfaro; Antonio Piccolo; Andrea Parise; Luciano Argento; Domenico Saccà (Future Gener. Comput. Syst., 2018)

A hierarchical hybrid framework for modelling anomalous behaviours. - Fabrizio Angiulli; Luciano Argento; Angelo Furfaro; Andrea Parise (Simul. Model. Pract. Theory, 2018)

Exploiting Content Spatial Distribution to Improve Detection of Intrusions. - Fabrizio Angiulli; Luciano Argento; Angelo Furfaro (ACM Trans. Internet Techn., 2018)

Making IoT Services Accountable: A Solution Based on Blockchain and Physically Unclonable Functions. - Carmelo Felicetti; Angelo Furfaro; Domenico Saccà; Massimo Vatalaro; Marco Lanuzza; Felice Crupi (IDCS, 2019)

An Infrastructure for Service Accountability based on Digital Identity and Blockchain 3.0. - Angelo Furfaro; Luciano Argento; Domenico Saccà; Fabrizio Angiulli; Fabio Fassetti (INFOCOM Workshops, 2019)

A Knowledge-Based Platform for the Classification of Accounting Documents. - Alessia Amelio; Alberto Falcone; Angelo Furfaro; Alfredo Garro; Domenico Saccà (SEBD, 2019)

Using CalcuList To MapReduce Json Documents. - Domenico Saccà; Angelo Furfaro (SEBD, 2019)

Mixing Heterogeneous Authentication and Authorization Infrastructures through Proxies. - Angelo Furfaro; Giuseppe De Marco (ICEIS (1), 2020)

Gathering Malware Data through High-Interaction Honeypots. - Angelo Furfaro; Francesco Lupia; Domenico Saccà (SEBD, 2020)

Facing DDoS bandwidth flooding attacks. - Angelo Furfaro; Pasquale Pace; Andrea Parise (Simul. Model. Pract. Theory, 2020)

Evaluating Deep Packet Inspection in Large-scale Data Processing. - Fabrizio Angiulli; Angelo Furfaro; Domenico Saccà; Ludovica Sacco (FiCloud, 2022)

Mining sponge phenomena in RNA expression data. - Fabrizio Angiulli; Teresa Colombo; Fabio Fassetti; Angelo Furfaro; Paola Paci (J. Bioinform. Comput. Biol., 2022)

Special issue on virtual environments for cybersecurity. - Angelo Furfaro (Simul. Model. Pract. Theory, 2022)

HoneyICS: A High-interaction Physics-aware Honeynet for Industrial Control Systems. - Marco Lucchese; Francesco Lupia; Massimo Merro; Federica Paci; Nicola Zannone; Angelo Furfaro (ARES, 2023)

Toward a Log-based Anomaly Detection System for Cyber Range Platforms. - Francesco Blefari; Francesco Aurelio Pironti; Angelo Furfaro (ARES, 2024)

Towards Very-High Interaction Honeypots for ICS: a Proof of Concept. - Francesco Blefari; Carmelo Felicetti; Francesco Aurelio Pironti; Angelo Furfaro (FiCloud, 2024)

Supporting C2C Communications in a Smart Shire Environment Using DLT-based Data Mules. - Francesco Aurelio Pironti; Francesco Blefari; Angelo Furfaro (FiCloud, 2024)

Combining Anti-typosquatting Techniques. - Francesco Blefari; Angelo Furfaro; Giovambattista Ianni; Alessandro Viscomi (ICWE, 2024)

TypoAlert: a browser extension against typosquatting. - Francesco Blefari; Angelo Furfaro; Giovambattista Ianni; Alessandro Viscomi (SEBD, 2024)

ARCeR: An Agentic RAG for the Automated Definition of Cyber Ranges. - Matteo Lupinacci; Francesco Blefari; Francesco Romeo; Francesco Aurelio Pironti; Angelo Furfaro (ARES (Workshops 1), 2025)

Unveiling Attack Patterns from CTF Network Logs with Process Mining Techniques. - Francesco Romeo; Francesco Blefari; Francesco Aurelio Pironti; Angelo Furfaro (ITASEC/SERICS, 2025)

CyberRAG: An agentic RAG cyber attack classification and reporting tool. - Francesco Blefari; Cristian Cosentino; Francesco Aurelio Pironti; Angelo Furfaro; Fabrizio Marozzo (CoRR, 2025)

The Dark Side of LLMs Agent-based Attacks for Complete Computer Takeover. - Matteo Lupinacci; Francesco Aurelio Pironti; Francesco Blefari; Francesco Romeo; Luigi Arena; Angelo Furfaro (CoRR, 2025)

ARPaCCino: An Agentic-RAG for Policy as Code Compliance. - Francesco Romeo; Luigi Arena; Francesco Blefari; Francesco Aurelio Pironti; Matteo Lupinacci; Angelo Furfaro (CoRR, 2025)