Angelo Furfaro
Orcid: 0000-0003-2537-8918
According to our database1,
Angelo Furfaro
authored at least 87 papers
between 2002 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2023
Proceedings of the 18th International Conference on Availability, Reliability and Security, 2023
2022
Simul. Model. Pract. Theory, 2022
Proceedings of the 9th International Conference on Future Internet of Things and Cloud, 2022
2020
Proceedings of the 28th Italian Symposium on Advanced Database Systems, 2020
Mixing Heterogeneous Authentication and Authorization Infrastructures through Proxies.
Proceedings of the 22nd International Conference on Enterprise Information Systems, 2020
2019
Proceedings of the 27th Italian Symposium on Advanced Database Systems, 2019
Proceedings of the 27th Italian Symposium on Advanced Database Systems, 2019
An Infrastructure for Service Accountability based on Digital Identity and Blockchain 3.0.
Proceedings of the IEEE INFOCOM 2019, 2019
Making IoT Services Accountable: A Solution Based on Blockchain and Physically Unclonable Functions.
Proceedings of the Internet and Distributed Computing Systems, 2019
2018
ACM Trans. Internet Techn., 2018
Simul. Model. Pract. Theory, 2018
Future Gener. Comput. Syst., 2018
Cybersecurity compliance analysis as a service: Requirements specification and application scenarios.
Concurr. Comput. Pract. Exp., 2018
Detection, Prevention and Simulation Approaches to Address Anomalies in Cyber Security.
Proceedings of the 26th Italian Symposium on Advanced Database Systems, 2018
Proceedings of the 5th International Conference on Physiological Computing Systems, 2018
Proceedings of the 2018 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, 2018
Proceedings of the 22nd International Database Engineering & Applications Symposium, 2018
Proceedings of the 6th IEEE International Conference on Future Internet of Things and Cloud, 2018
Proceedings of the 22nd IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, 2018
Proceedings of the Information Systems in the Big Data Era, 2018
2017
Using virtual environments for the assessment of cybersecurity issues in IoT scenarios.
Simul. Model. Pract. Theory, 2017
Proceedings of the 25th Italian Symposium on Advanced Database Systems, 2017
2016
ResDevOps: A Software Engineering Framework for Achieving Long-Lasting Complex Systems.
Proceedings of the 24th IEEE International Requirements Engineering Conference, 2016
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.
Proceedings of the 2nd INCOSE Italia Conference on Systems Engineering, 2016
Proceedings of the Availability, Reliability, and Security in Information Systems, 2016
2015
A Hybrid Real-Time Command Governor Supervisory Scheme for Constrained Control Systems.
IEEE Trans. Control. Syst. Technol., 2015
A safe supervisory flight control scheme in the presence of constraints and anomalies.
Int. J. Appl. Math. Comput. Sci., 2015
Proceedings of the UKSim-AMSS 17th International Conference on Computer Modelling and Simulation, 2015
An analytical processing approach to supporting cyber security compliance assessment.
Proceedings of the 8th International Conference on Security of Information and Networks, 2015
Proceedings of the 27th IEEE International Conference on Tools with Artificial Intelligence, 2015
A multi-protocol framework for the development of collaborative virtual environments.
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.
CoRR, 2014
Modelling and Simulation of a Defense Strategy to Face Indirect DDoS Flooding Attacks.
Proceedings of the Internet and Distributed Computing Systems, 2014
Towards Security as a Service (SecaaS): On the modeling of Security Services for Cloud Computing.
Proceedings of the International Carnahan Conference on Security Technology, 2014
Proceedings of the INCOSE Italia Conference on Systems Engineering, 2014
2013
Simul., 2013
Application of the Artificial Neural Network for blood pressure evaluation with smartphones.
Proceedings of the IEEE 7th International Conference on Intelligent Data Acquisition and Advanced Computing Systems, 2013
Proceedings of the Flexible Query Answering Systems - 10th International Conference, 2013
Proceedings of the 2013 Federated Conference on Computer Science and Information Systems, 2013
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.
Appl. Math. Comput., 2012
Proceedings of the 26th European Conference on Modelling and Simulation, 2012
Development of a Schedulability Analysis Framework Based on pTPN and UPPAAL with Stopwatches.
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.
Simul. Model. Pract. Theory, 2011
HLA_ACTOR_REPAST: An approach to distributing RePast models for high-performance simulations.
Simul. Model. Pract. Theory, 2011
Proceedings of the 2011 Spring Simulation Multi-conference, 2011
Proceedings of the 25th European Conference on Modelling and Simulation, 2011
Proceedings of the American Control Conference, 2011
2010
J. Syst. Softw., 2010
Proceedings of the 2010 Spring Simulation Multiconference, 2010
Using time stream Petri nets over a service architecture for workflow modelling and enactment.
Proceedings of the 2010 Spring Simulation Multiconference, 2010
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.
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.
Simul., 2009
Innov. Syst. Softw. Eng., 2009
Statechart-Based Actors For Modelling And Distributed Simulation Of Complex Multi-Agent Systems.
Proceedings of the European Conference on Modelling and Simulation, 2009
Proceedings of the European Conference on Modelling and Simulation, 2009
Proceedings of the 13th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, 2009
2008
Proceedings of the International Multiconference on Computer Science and Information Technology, 2008
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.
Real Time Syst., 2007
Exploiting agents for modelling and simulation of coverage control protocols in large sensor networks.
J. Syst. Softw., 2007
Comput. Stand. Interfaces, 2007
Conflict management in PDEVS: an experience in modelling and simulation of time petri nets.
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.
Proceedings of the Proceedings 40th Annual Simulation Symposium (ANSS-40 2007), 2007
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.
Real Time Syst., 2006
MADAMS: A software architecture for the management of networked measurement services.
Comput. Stand. Interfaces, 2006
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.
PhD thesis, 2005
Model Checking Time Petri Nets: A Translation Approach based on UPPAAL and a Case Study.
Proceedings of the IASTED International Conference on Software Engineering, 2005
Proceedings of 10th IEEE International Conference on Emerging Technologies and Factory Automation, 2005
Proceedings of the Proceedings 38th Annual Simulation Symposium (ANSS-38 2005), 2005
2004
Microprocess. Microsystems, 2004
Scripting and Monitoring in TPN Designer Simulations: A Case Study Using the Production Cell.
Proceedings of the International Conference on Modeling, 2004
Deployment, configuration and management of mobile actor systems.
Proceedings of the IASTED Conference on Software Engineering and Applications, 2004
2003
Simul. Model. Pract. Theory, 2003
Proceedings of the Modular Programming Languages, Joint Modular Languages Conference, 2003
2002
Proceedings of the 22nd International Conference on Distributed Computing Systems, 2002
A Java Toolset for Modelling and Simulation of Complex Timed Petri Nets.
Proceedings of the 16<sup>th</sup> European Simulation Multiconference: Modelling and Simulation 2002, 2002
Proceedings of the 6th IEEE International Workshop on Distributed Simulation and Real-Time Applications (DS-RT 2002), 2002