Recent Publications

2025

• L. Nigro, F. Cicirelli "Clustering by an Evolutionary Random Swap Algorithm". In Proc. of ICICT 2025, 10th International Congress on Information and Communication Technology, 18-21 February, London, Springer LNNS, 2025.

2024

• L. Nigro, F. Cicirelli, F. Pupo "Clustering Performance of an Evolutionary K-Means Algorithm". In Proc. of ICICT 2024, 9th International Congress on Information and Communication Technology, 19-22 February, London, Springer LNNS, 2024.
• L. Nigro, F. Cicirelli. "Formal modelling and verification of embedded real-time systems: An approach and practical tool based on Constraint Time Petri Nets". Mathematics 2024, 12, 812. https://doi.org/10.3390/math12060812.
• L. Nigro, F. Cicirelli, F. Pupo. "Modeling and analysis of Dekker-based mutual exclusion algorithms". Computers 2024, 13, 133. https://doi.org/10.3390/computers13060133.
• L. Nigro, F. Cicirelli. "Fast Clustering Convergence by Genetic Algorithm". In Proc. of 8th Int. Conference WorldS4 2024, 23-26 July, London, UK, Springer LNNS, 2024.
• L. Nigro, F. Cicirelli. "Correctness Verification of Mutual Exclusion Algorithms by Model Checking". Modelling 2024, 5(3):694–719. https://doi.org/10.3390/modelling5030037.
• L. Nigro. "Formal Modelling and Verification of Lycklama and Hadzilacos's Mutual Exclusion Algorithm". Mathematics 2024, 12, 2443, pp.1-20, https://doi.org/10.3390/math12162443.
• L. Nigro, F. Cicirelli. "Property Assessment of Peterson's Mutual Exclusion Algorithms". Applied Computing and Intelligence (ACI) 2024, AIMS Press, vol. 4, no. 1, pp. 66-92, DOI: 10.3934/aci.2024005.
• L. Nigro. "Verifying Mutual Exclusion Algorithms with Non-Atomic Registers". Algorithms 2024, 17, 536. https://doi.org/10.3390/a17120536.

2023

• L. Nigro, F. Cicirelli, P. Franti. "Parallel Random Swap: An Efficient and Reliable Clustering Algorithm in Java". J. Simulation Modelling Practice and Theory, Vol. 124, April 2023, 102712. Published on-line December, 2022.
• L. Nigro, F. Cicirelli. "Performance of a K-Means Algorithm driven by careful seeding". In Proceedings of the 13th International Conference on Simulation and Modeling Methodologies, Technologies and Applications, ISBN 978-989-758-668-2, ISSN 2184-2841, pages 27-36, Rome, 12-14 July 2023.
• L. Nigro, F. Cicirelli. "An efficient algorithm for clustering sets". Proc. of 27th IEEE/ACM Int. Symposium on Distributed Simulation and Real-Time Applications (DS-RT 2023), IEEE CS, October 4-6, 2023.
• L. Nigro, F. Cicirelli. "Modelling and analysis of clustering by medoids using Uppaal". Seventh WorldS4, London, 23-24 August (Springer LNNS proceedings).
• F. Cicirelli, L. Nigro. "Assessing time behavior in disaster managemeng by using Petri nets and model checking". Proc. of 8th Int. Conf. on Information Technologies for Disaster Management, Cosenza, Italy, September 13-15, 2023.
• L. Nigro, F. Cicirelli, F. Pupo. "A K-Means variation based on careful seeding and constrained Silhouette coefficients". Proc. of 2nd Int. Conf. on Advances in Data-driven Computing and Intelligent Systems (ADCIS 2023), September 21-23, Springer LNNS.
• L. Nigro, P. Franti. "Two medoid-based algorithms for clustering sets". Algorithms, 16(349):1-17, https://doi.org/10.3390/a16070349, 2023.
• L. Nigro, F. Cicirelli. "Adapting Hartigan & Wong K-Means for the Efficient Clustering of Sets". Open Access Biostatistics & Bioinformatics, 3(3), DOI: 10.31031/OABB.2023.03.000564, 2023.
• L. Nigro, F. Cicirelli. "Improving clustering accuracy of K-Means and Random Swap by an evolutionary technique based on careful seeding". Algorithms, 16(572):1-25, 2023, https://doi.org/10.3390/a16120572.

2022

• F. Cicirelli, L. Nigro. "Analyzing Stochastic Reward Nets by model checking and parallel simulation". J. Simulation Modelling Practice and Theory, vol. 116, April 2022, https://doi.org/10.1016/j.simpat.2021.102467, on-line published December 2021.
• F. Cicirelli, L. Nigro, F. Pupo. "Performance of Parallel K-Means Based on Theatre". Int. Congress on Information and Communication Technology (ICICT) 2022, 21-24 February, London (UK). Springer LNNS, Vol. 4, (Eds. Xin-She Yang, Simon Sherrat, Nilanjan Day, Amit Joshi) ISSN: 2367-3370. 2022.
• L. Nigro. "Performance of Parallel K-Means Algorithms in Java". MDPI Journal Algorithms, 15, 117, https://doi.org/10.3390/a15040117, 2022.
• L. Nigro, F. Cicirelli, P. Franti. "Efficient and Reliable Clustering by Parallel Random Swap Algorithm". 26th Int. Symposium on Distributed Simulation and Real Time Applications (DSRT 2022), 26-28 September, Alès, France, 2022.
• L. Nigro, F. Cicirelli. "Parallel Clustering Method based on Density Peaks". Sixth World Conference on Smart Trends in Systems, Security and Sustainability (WorldS4 2022), London, 26-27 August, Springer LNNS, ISSN:2367-3370, 2022.
• L. Nigro, F. Cicirelli. "Fast and Accurate K-means Clustering based on Density Peaks". Int. Conf. on Advances in Data-driven Computing and Intelligent Systems (ADCIS 2022), September 25-26, Proc. by Springer LNNS, 2022.
• L. Nigro, F. Cicirelli. "Improving K-means by an Agglomerative Method and Density Peaks". 3rd Congress on Intelligent Systems (CIS 2022), September 5-6, Proc. by Springer LNNS, 2022.

2021

• F. Cicirelli, C. Nigro, L. Nigro, F. Pupo. "Performance Comparison of two Java-based Actor Systems", 6th Int. Congress on Information and Communication Technology (ICICT 2021) ; London (UK), 25-26 February, Springer, Lecture Notes in Networks and Systems (LNNS) serie, ISSN:2367-3370.
• F. Cicirelli, L. Nigro. "Admission control in Home Energy Management Systems using Theatre with hybrid actors. Modelling, MDPI, 2(2):288-307, https://doi.org/10.3390/modelling2020015.
• F. Cicirelli, L. Nigro. "Performance Prediction of Scalable Multi-Agent Systems using Parallel Theatre". Fifth IEEE World Conference on Smart Trends in Systems, Security and Sustainability (WS4 2021), London, 29-30 July. Springer LNNS (Lecture Notes in Networks and Systems), vol. 334, pp. 45-64, 2022, https://doi.org/10.1007/978-981-16-6369-7_5.
• F. Cicirelli, L. Nigro. "Parallel Simulation of Stochastic Reward Nets using Theatre". Proceedings of 25th ACM/IEEE International Symposium on Distributed Simulation and Real-Time Applications (DS-RT), DOI: 10.1109/DS-RT52167.2021.9576140, Valencia, Spain, September 27-29, IEEE Xplore, 2021.
• F. Cicirelli, L. Nigro. "A development methodology for cyber-physical systems based on deterministic Theatre with hybrid actors". TASK Quarterly, Special Issue on CyberPhysical Systems, Vol. 25, No. 2, pp. 233-261, 2021.

2020

• C. Nigro, L. Nigro. "Lock-free Parallel Computing using Theatre", Int. Congress on Information and Communication Technology (ICICT 2020) ; London (UK), 20-21 February, Springer, Advances in Intelligent Systems and Computing, ISBN Number 2194-5357, http://www.springer.com/series/11156, 2020.
• L. Nigro. "Modelling and analysis of cyber-physical systems using Deterministic Theatre", Fourth IEEE World Conference on Smart Trends in Systems, Security and Sustainability (WorldS4 2020); London (UK), 27-28 July, forthcoming proceedings by IEEE Xplore, 2020.
• F. Cicirelli, L. Nigro. "Model checking actor-based cyber-physical systems", 24th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications (DSRT 2020), Prague, 14-16 September, 2020.
• L. Nigro. "Parallel Theatre: An actor framework in Java for high performance computing." Journal of Simulation Modelling Practice and Theory, https://authors.elsevier.com/a/1bkkQ,ZhUETglZ, doi:10.1016/j.simpat.2020.102189, 2020.
• F. Cicirelli, L. Nigro. "Using Deterministic Theatre for Energy Management in Smart Environments." Chapter 12 of Springer book "Intelligent Sustainable Systems", Springer ASST Series on Advances in Sustainability Science and Technology, ISSN:2662-6829, 2020.
• L. Nigro. "2020 SoSyMo Best Reviewer Award: Top 1% SoSyMo Reviewers for 2020", J. of Software and System Modeling, Springer, https://drive.google.com/file/d/1SrZfSZlHjMTgCvG8KOLqH2YjjBGjSJSX/view?usp=sharing, 2020.

2019

• C. Nigro, L. Nigro, P. F. Sciammarella. "Formal modelling and analysis of probabilistic real-time systems", Int. Congress on Information and Communication Technology (ICICT 2019); Best paper award; London (UK), 25-26 February, Springer, Advances in Intelligent Systems and Computing, ISBN Number - 2194-53572018, 2019.
• C. Nigro, L. Nigro, P. F. Sciammarella. "Modelling and Analysis of Partially Stochastic Time Petri Nets using UPPAAL Model Checkers", In Proc. of Computing Conference (CC 2019) London (UK), 16-17 July, Springer, Advances in Intelligent Systems and Computing, 2019.
• L. Nigro, P. F. Sciammarella. "Statistical Model Checking of Cyber-Physical Systems using Hybrid Theatre", In Proc. of Intelligent Systems Conference (IntelliSys) 2019 London (UK), 5-6 September, Springer, Advances in Intelligent Systems and Computing, 2019.
• F. Cicirelli, L. Nigro, P. F. Sciammarella. "Seamless Development in Java of Distributed Real-Time Systems using Actors", Int. J. of Simulation and Process Modeling (IJSPM), Vol. 15, Nos. 1/2, 2020, pp. 13-29.
• L. Nigro, P. F. Sciammarella. "Verification of a Smart Power Control Systems using Hybrid Actors", IEEE WorldS4, keynote speech and Invited paper, 30-31 July, London, 2019.
• F. Cicirelli, L. Nigro, F. Pupo. "Formal Modelling and Verification of Real-Time Self-Adaptive systems", IEEE/ACM 23rd Int. Symp. on Distributed Simulation and Real Time Application (DS-RT 2019), 7-9 October, Cosenza, Italy, 2019.
• F. Cicirelli, L. Nigro. "Home Energy Management using Theatre with Hybrid Actors", IEEE/ACM 23rd Int. Symp. on Distributed Simulation and Real Time Application (DS-RT 2019), 7-9 October, Cosenza, Italy, 2019.
• C. Nigro, L. Nigro, P.F. Sciammarella. "Formal reasoning on knowledge and commitments in multi-agent systems using Theatre", SIMULATION-Transactions of the Society for Modeling and Simulation International, 2020, Vol. 96(2), pp. 233–250, DOI: 10.1177/0037549719879753.

2018

• C. Nigro, L. Nigro, P. F. Sciammarella. "Modelling and Analysis of Multi-Agent Systems Using Uppaal SMC", Int. J. of Simulation and Process Modelling, Vol. 13, No. 1, pp. 73-87, 2018.
• F. Cicirelli, L. Nigro, P. F. Sciammarella. "Model continuity in Cyber-Physical Systems: A control centered methodology based on Agents", Simulation Modelling Practice and Theory, Vol. 83, pp. 93-107, 2018, doi 10.1016/j.simpat.2017.12.008.
• C. Nigro, L. Nigro, P. F. Sciammarella. "Model checking knowledge and committments in multi-agent systems using actors and Uppaal", 32nd European Conf. on Modelling and Simulation (ECMS 2018), May 22-25, Wilhelmshaven, Germany.
• L. Nigro. "Model continuity in timed systems: Actor modelling, verification and Java implementation", Keynote speech at Int. Symposium Simulation and Process Modelling (ISSPM 2018), July 21-22, Shenyang, Liaoning, China.
• F. Cicirelli, L. Nigro, P. F. Sciammarella. "Seamless Development in Java of Distributed Real-Time Systems using Actors", Int. Symposium Simulation and Process Modelling (ISSPM 2018), July 21-22, Shenyang, Liaoning, China.
• L. Nigro, P. F. Sciammarella. "Qualitative and quantitative model checking of distributed probabilistic timed actors", Simulation Modelling Practice and Theory, doi 10.1016/j.simpat.2018.07.011, vol. 87 (September 2018), pp. 343-368
• L. Nigro, P. F. Sciammarella. "Time synchronization in wireless sensor networks: A modelling and analysis experience using Theatre", The 22nd International Symposium on Distributed Simulation and Real Time Applications (IEEE/ACM DS-RT 2018), October 15-17, Madrid, Spain

2017

• D.L. Carni, F. Cicirelli, D. Grimaldi, L. Nigro, P. F. Sciammarella. "Exploiting Model Continuity in Agent-based Cyber-Physical Systems", Advances in Intelligent Systems and Computing, ISSN 2194-5357, Springer, 2017.
• D.L. Carni, F. Cicirelli, D. Grimaldi, L. Nigro, P. F. Sciammarella. "Agent-based Software Architecture for Distributed Measurement Systems and Cyber-Physical Systems Design", in Proc. of IEEE Int. Instrumentation and Measurement Technology Conference (I2MTC 2017), Torino, May 22-25, 2017.
• L. Nigro, P. F. Sciammarella. "Statistical Model Checking of Multi-Agent Systems", in Proc. of 31st European Conference on Modelling and Simulation (ECMS 2017), Budapest, May 23-26, 2017.
• L. Nigro, P. F. Sciammarella. "Modelling and Analysis of Distributed Asynchronous Actor Systems using Theatre", Advances in Intelligent Systems and Computing 661, DOI 10.1007/978-3-319-67618-0_14, Springer, 2017.
• L. Nigro, P. F. Sciammarella. "Statistical Model Checking of Distributed Real-Time Actor Systems", In Proceedings of 21st IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications (DS-RT'17), October 18-20, Rome, 2017.

2016

• F. Cicirelli, L. Nigro. "Exploiting Social Capabilities in the Minority Game", ACM Transactions on Modeling and Computer Simulation (TOMACS), Vol. 27, n. 1, Article n. 6, 2016.
• F. Cicirelli, L. Nigro, P.F. Sciammarella. "Agent-based Model Continuity of Stochastic Time Petri nets", in Proc. of 30th ECMS 2016, Regensburg, Germany, May 31th - June 3rd, 2016.
• F. Cicirelli, L. Nigro, P.F. Sciammarella. "Model Checking Mutual Exclusion Algorithms Using UPPAAL", Advances in Intelligent Systems and Computing - ISSN 2194-5357, pp. 203-215, Springer, 2016.
• F. Cicirelli, L. Nigro, P.F. Sciammarella."Agents+Control: A Methodology for CPSs", in Proc. of IEEE/ACM 20th Int. Symp. on Distributed Simulation and Real Time Application, 21-23 September, pp. 45-52, 2016.
• F. Cicirelli, L. Nigro."Modelling and Verification of Mutual Exclusion Algorithms", in Proc. of IEEE/ACM 20th Int. Symp. on Distributed Simulation and Real Time Application, 21-23 September, pp. 136-144, 2016.
• F. Cicirelli, L. Nigro. "Control Centric Framework for Model Continuity in Time-Dependent Multi-Agent Systems". Concurrency and Computation: Practice and Experience, Volume 28, n. 12, pp. 3333-3356, Wiley, 2016.

2015

• F. Cicirelli, C. Nigro, L.Nigro. "An Approach to Concurrent/Parallel Programming in Java", Proc. of Informatics 2015, Poprad (Slovakia), pp. 67-72, November 18-20, 2015.
• F. Cicirelli, C. Nigro, L. Nigro."Qualitative and Quantitative Evaluation of Stochastic Time Petri Nets". Proc. of 2nd International Workshop on Cyber-Physical Systems (IWCPS'15),Lodz, Poland, pp. 775-784, September 13-16, 2015.
• F. Cicirelli, L. Nigro."Modelling and Verification of Starvation-Free Mutual Exclusion Algorithms based on Weak Semaphores". Proc. of 2nd International Workshop on Cyber-Physical Systems (IWCPS'15),Lodz, Poland, pp. 785-791, September 13-16, 2015.
• F. Cicirelli, C. Nigro, L. Nigro. "Statistical Model Checking of GSPN Models". Proc. of 5th Int. Conf. on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2015),Colmar, Alsace, France, pp. 69-76, 21-23 July 2015.
• F. Cicirelli, L. Nigro. "Control Aspects in Multiagent Systems". Chapter 2 of book Intelligent Agents in Data Intensive Computing, Springer, Studies in Big Data, Kolodziej J.,Correia L., Manuel Molina J. (Eds.), pp. 27-50.

2014

• F. Cicirelli, A. Giordano, L. Nigro. "Efficient environment management for distributed simulation of large-scale situated multi-agent systems", Concurrency and Computation: Practice and Experience, Wiley, 2014.
• F. Cicirelli, L. Nigro, F. Pupo. "Agent-based control framework in Jade". Proc. of 28th European Conference on Modelling and Simulation (ECMS 2014), pp. 25-31, 27-30 May, Brescia, Italy, 2014.
• F. Cicirelli and Libero Nigro. "A Control Framework for Model Continuity in JADE". Proc. of The 18th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications (DS-RT 2014), pp. 97-104,1-3 October, Toulouse, France, 2014.
• F. Cicirelli and Libero Nigro. "Modelling and Analysis of Parallel/Distributed Time-dependent Systems: An Approach based on JADE". Lecture Notes in Computer Science (LNCS), Volume 8729, pp. 204-214, Springer, 2014.

2013

• F. Cicirelli, L. Nigro. "An Agent Framework For High Performance Simulations Over Multi-Core Clusters". Communications in Computer and Information Science (CCIS), Volume 402, pp. 49-60, Springer, 2013.
• F. Cicirelli, L. Nigro, F. Pupo. "Reasoning on Concurrency: An Approach to Modeling and Verification of Java Thread-safe Objects". Proc. of 5th International Conference on Advances in System Simulation (SIMUL2013), pp. 53-58, October 27th - November 1st, Venice, Italy, 2013.
• F. Cicirelli, A. Furfaro, L. Nigro, F. Pupo. "Modelling Java Concurrency: An Approach and a UPPAAL Library". Proc. of International Workshop on Cyber-Physical Systems (IWCPS13), pp. 1373-1380, September 8-11, Krakow, Poland, 2013.
• F. Cicirelli, E. Neri, L. Nigro, F. Pupo. "A smartphone application for the monitoring of domestic consumption of electricity". Proc. of 27th European Conference on Modelling and Simulation (ECMS'2013), May 27th - 30th, Alesund, Norway, 2013.
• F. Cicirelli, A. Furfaro, L. Nigro, F. Pupo. "Agent methodological layers in Repast Simphony". Proc. of 27th European Conference on Modelling and Simulation (ECMS'2013), May 27th - 30st, Alesund, Norway, 2013.
• F. Cicirelli, A. Furfaro, L. Nigro. "Using time stream Petri nets for workflow modelling analysis and enactment". SIMULATION - Transactions of the Society for Modeling and Simulation International 89(1):68-86, 2013.

2012

• F. Cicirelli, L. Nigro, F. Pupo. "Model-based Prediction of Complex Multimedia/Hypermedia Systems". Proc. of the 4th International Conference on Advances in System Simulation (SIMUL 2012), November 18-23, Lisbon, Portugal, 2012, pp. 145-151.
• F. Cicirelli, A. Furfaro, L. Nigro, F. Pupo. "Development of a Schedulability Analysis Framework based on pTPN and Uppaal with Stopwatches". Proc. of the 16th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications (DS-RT), October 25-27, Dublin, Ireland, 2012.
• F. Cicirelli, A. Furfaro, L. Nigro, F. Pupo. "Agents over the Grid: An experience using the Globus Toolkit 4". Proc. of the 26th European Conference on Modelling and Simulation (ECMS'2012), Koblenz, Germany, May 29th - June 1st, 2012.
• F. Cicirelli, A. Furfaro, L. Nigro. "Model checking time-dependent system specifications using Time Stream Petri Nets and UPPAAL". Applied Mathematics and Computation, 218(16):8160-8186, Elsevier, 2012.

2011

• F. Cicirelli, A. Furfaro, L. Nigro, F. Pupo. "Dynamic Sociality Minority Game". Proc of 25th European Conference on Modelling and Simulation", Krakow, Poland, 2011, pp. 27-33.
• F. Cicirelli, A. Furfaro, L. Nigro. "Modelling and simulation of complex manufacturing systems using statechart-based actors". Simulation Modelling Practice and Theory, 2011, Vol. 19, n. 2, pp. 685-703.
• F. Cicirelli, A. Furfaro, A. Giordano, L. Nigro. "HLA_ACTOR_REPAST: An Approach to Distributing RePast Models for High-Performance Simulations". Simulation Modelling Practice and Theory, 2011, Vol. 19, n. 1, pp. 283-300.
• F. Cicirelli, A. Giordano, L. Nigro. "Distributed simulation of situated multi-agent systems". Proc of IEEE/ACM 15th International Symposium on Distributed Simulation and Real Time Applications (DS-RT), Salford, Manchester, UK, Ottobre, 2011, pp. 28-35.
• F. Cicirelli, L. Nigro, F. Pupo. "Modelling And Verification Of Concurrent Programs Using Uppaal". Proc. of 25th European Conference on Modelling and Simulation, Krakow, Poland, 2011, pp. 525-533.
• F. Cicirelli, A. Furfaro, A. Giordano, L. Nigro. "Performance of a multi-agent system over a multi-core cluster managed by Terracotta". Proc. of Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium, Boston, MA, USA, 2011, pp. 125-133.

2010

• F. Cicirelli, A. Furfaro, L. Nigro. "Using Time Stream Petri Nets over a Service Architecture for Workflow Modelling and Enactment". Proc. of Symposium On Theory of Modeling and Simulation - DEVS Integrative M&S Symposium (DEVS'10), Orlando, Fl, USA, 2010, 2010, pp. 71-78.
• F. Cicirelli, A. Furfaro, A. Giordano, L. Nigro. "Parallel Simulation of Multi-Agent Systems using Terracotta". Proc. of 14th ACM International Symposium on Distributed Simulation and Real Time Applications (DS-RT2010), Fairfax, Virginia, USA, October 17-20, 2010, pp. 219-222.
• F. Cicirelli, A. Furfaro, L. Nigro, F. Pupo. "Temporal Verification of RT-DEVS Models with Implementation Aspects". Proc. of Symposium On Theory of Modeling and Simulation - DEVS Integrative M&S Symposium (DEVS'10), Orlando, Fl, USA, 2010, 2010, pp. 131-138.
• F. Cicirelli, A. Furfaro, L. Nigro. "A Service-Based Architecture for Dynamically Reconfigurable Workflows". Journal of Systems and Software, 2010, Vol. 83, n. 7, pp. 1148-1164.
• F. Cicirelli, A. Furfaro, L. Nigro, F. Pupo. "Model-checking Time Stream Petri Nets: An Approach and an Application to Project Management". International Workshop on Infinite and Infinitesimal in Mathematics, Computing, and Natural Sciences, Cetraro, Italy, May 17-21, 2010.

2009

• A. Furfaro, L. Nigro. "A development methodology for embedded systems based on RT-DEVS". Innovations in Systems and Software Engineering, 2009, Vol. 5, n. 2, pp. 117-127.
• F. Cicirelli, A. Furfaro, L. Nigro. "Modelling and Analysing Real Time System Specifications using Time Stream Petri Nets". Proc. of 30th IFAC Workshop on Real-Time Programming and 4th International Workshop on Real-Time Software (WRTP/RTS'09), Mragowo, Poland, October 12-14, 2009, pp. 35-42.
• F. Cicirelli, A. Furfaro, A. Giordano, L. Nigro. "Statechart-based Actors for Modelling and Distributed Simulation of Complex Multi-Agent Systems". Proc. of 23rd EUROPEAN Conference on Modelling and Simulation (ECMS'2009), Madrid, Spain, 2009, pp. 233-239.
• F. Cicirelli, A. Furfaro, A. Giordano, L. Nigro. "Distributing Repast Simulations Using Actors". Proc. of 23rd EUROPEAN Conference on Modelling and Simulation (ECMS'2009), Madrid, Spain, 2009, pp. 226-232.
• F. Cicirelli, A. Furfaro, A. Giordano, L. Nigro. "Distributed Simulation of RePast Models over HLA/Actors". Proc. of 13th ACM International Symposium on Distributed Simulation and Real Time Applications (DSRT'09), Singapore, 25-28 October, 2009, pp. 184-191.
• F. Cicirelli, A. Furfaro, L. Nigro. "An Agent Infrastructure over HLA for Distributed Simulation of Reconfigurable Systems and its Application to UAV Coordination". Simulation Transactions of The Society for Modelling and Simulation International, 2009, Vol. 85, n. 1, pp. 17-32.

2008

• A. Furfaro, L. Nigro. Embedded control systems design based on RT-DEVS and temporal analysis using Uppaal. Proc. of Proc. of International Workshop on Real Time Software (RTS'08). International Workshop on Real Time Software (RTS08) , Wisla, Poland, October 20-22, pp. 601-608, 2008.
• F. Cicirelli, A. Furfaro, L. Nigro. A service-based enactment engine for dynamically recongurable workflows. Proc. of European Simulation and Modelling Conference (ESM'08), Le Havre, France, October 27-29, 2008.
• F. Cicirelli, A. Furfaro, L. Nigro. "Actor-based Simulation of PDEVS Systems over HLA". Proc. of 41st Annual Simulation Symposium (ANSS'08), Ottawa, Canada, April 14 - 16, 2008, pp. 229-236, 2008.
• F. Cicirelli, A. Furfaro, L. Nigro. "Modelling and Simulation Using Statechart-Based Actors". Proc. of International Workshop on Modeling & Applied Simulation (MAS'08), Campora San Giovanni, Italy, September 17-19, pp. 301-307, 2008.
• F. Cicirelli, A. Furfaro, L. Nigro, F. Pupo. "Temporal Analysis of Complex Time-Dependent Systems: an Approach Based on Time Petri Nets, ActorDEVS and HLA". Proc. of 20th European Modeling and Simulation Symposium (EMSS'08), Campora San Giovanni, Italy, September 17-19, pp. 455-462, 2008.
• F. Cicirelli, A. Furfaro, A. Giordano, L. Nigro. "Net Centric Modelling and Simulation Using ActorDEVS". Proc. of 20th European Modeling and Simulation Symposium (EMSS'08), Campora San Giovanni, Italy, September 17-19, pp. 447-454, 2008.

2007

• F. Cicirelli, A. Furfaro, L. Nigro. "Using TPN/Designer and Uppaal for Modular Modelling and Analysis of Time-critical Systems". International Journal of Simulation Systems, Science & Technology, Special Issue on: Frameworks and Applications in Science and Engineering. vol. 8/4, November, 2007, pp. 8-20.
• A. Furfaro, L. Nigro. "Modelling and Schedulability Analysis of Real-time Sequence Patterns using Time Petri Nets and Uppaal". Proc. of International Workshop on Real Time Software (RTS'07) Wisla, Poland, October 16, 2007, pp. 821-835.
• F. Cicirelli, A. Furfaro, L. Nigro. "A Service-based Control Engine for the Distributed Execution of Petri Nets and its Application to Workflow Management Systems". In Proc. of 19th European Modelling and Simulation Symposium (EMSS'07), Bergeggi, Italy, 4-6 October, 2007.
• F. Cicirelli, A. Furfaro, L. Nigro. "Conflict management in PDEVS: An experience in modelling and simulation of time Petri nets". In Proc. of Summer Computer Simulation Conference (SCSC'07), S. Diego (CA), 15-18 July, 2007, pp. 349-356.
• F. Cicirelli, A. Furfaro, L. Nigro. "Integration and Interoperability between Jini services and Web Services". In Proc. of IEEE International Conference on Services Computing (SCC'07), Salt Lake City, Utah, USA, July 9-13, 2007, pp. 278-285.
• A. Furfaro and L. Nigro. "Timed verification of hierarchical communicating real-time state machines". Computer Standards & Interfaces, vol. 29/6, pp. 635-646, Elsevier.
• F. Cicirelli and L. Nigro. "A General Brokering Architecture Layer and its Application to Video on-Demand over the Internet". Informatica - An Int. J. of Computing and Informatics, Vol. 31/1, pp. 29-39.
• F. Cicirelli, A. Furfaro, L. Nigro and F. Pupo. "A component-based architecture for modelling and simulation of adaptive complex systems". In Proc. of 21st European Conference on Modelling and Simulation (ECMS'07), pp. 156-163, 4-6 June, Prague, 2007.
• F. Cicirelli, A. Furfaro, L. Nigro. "Exploiting Agents for Modelling and Simulation of Coverage Control Protocols in Large Sensor Networks". The Journal of Systems and Software, vol. 80/11, pp. 1817-1832, Elsevier.
• A. Candido, F. Cicirelli, A. Furfaro, L. Nigro. "An Embedded Real-time System for Climate Control in a Complex Greenhouse". International Agrophysics, vol. 21/1, pp. 17-27.
• F. Cicirelli, A. Furfaro, A. Giordano, L. Nigro. "An Agent Infrastructure for Distributed Simulation over HLA and a Case Study using Unmanned Aerial Vehicles". Proc. of 40th Annual Simulation Symposium (ANSS'07), pp. 231-238, Norfolk, VA, USA, March 26 - 28, 2007.
• F. Cicirelli, A. Furfaro, L. Nigro. "Distributed simulation of modular time Petri nets: an approach and a case study exploiting temporal uncertainty". Real-Time Systems, Vol. 35/2, pp. 153-179, Springer.

2006

• F. Cicirelli, A. Furfaro, L. Nigro. "A DEVS M&S Framework based on Java and Actors". Proc. of 2nd European Modeling and Simulation Symposium (EMSS'06), Barcelona, Spain, October 4-6, pp. 337-342, 2006.
• A. Candido, F. Cicirelli, A. Furfaro, L. Nigro. "Real-time climate control in a complex greenhouse". Proc. of 3rd IFAC Workshop on Discrete-Event System Design (DESDes'06), Rydzyna, Poland, September 26-28, pp. 271-276, 2006.
• F. Cicirelli, A. Furfaro, L. Nigro, F. Pupo. "Modelling and Analysis of Dynamic-Priority Real-Time Systems". Proc. of Summer Computer Simulation Conference (SCSC'06), Calgary, Canada, July 31 - August 2, pp. 349-355, 2006.
• F. Cicirelli, A. Furfaro, L. Nigro. "Agent-based Evaluation of Two Protocols for Coverage Control in Sensor Networks". Proc. of Summer Computer Simulation Conference (SCSC'06), Calgary, Canada, July 31 - August 2, pp. 19-26, 2006.
• A. Furfaro, L. Nigro, F. Pupo. Modular Design of Real-Time Systems Using Hierarchical Communicating Real-time State Machines. Real-Time Systems, vol. 32/1-2 , pp. 105-123, Springer.
• F. Cicirelli, D. Grimaldi, A. Furfaro, L. Nigro, F. Pupo. MADAMS: A Software Architecture for the Management of Networked Measurement Services. Int. J. Computer Standards & Interfaces, vol. 28/4, pp. 396-411, Elsevier.
• F. Cicirelli, A. Furfaro, L. Nigro. "A Distributed Agent-Based Simulation Model for Large Wireless Sensor Networks". Proc. of Agent-Directed Simulation (ADS'06), SCS Spring Simulation Multiconference (SpringSim'06), Von Braun Center, Huntsville, Alabama, USA, April 2 - 6, 2006, pp. 115-122.
• F. Cicirelli, A. Furfaro, L. Nigro. "An Approach to Protocol Modeling and Validation". Proc. of 39th Annual Simulation Symposium (ANSS'06), Von Braun Center, Huntsville, Alabama, USA, April 2 - 6, 2006, pp. 261-268.

2005

• F. Cicirelli, A. Furfaro, L. Nigro. "A Case Study Using Modular Time Petri Nets and Distributed Simulation" Proc. of European Simulation and Modelling Conference (ESM 2005), October 24-26, 2005, Porto, Portugal.
• A. Furfaro, L. Nigro. "Model Checking Hierarchical Communicating Real-Time State Machines". Proc. of 10th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2005), September 19-22 , 2005, Catania, Italy, vol. 1, pp. 365- 370.
• F. Cicirelli, A. Furfaro, D. Grimaldi, L. Nigro. "Remote Sensor Calibration Through MADAMS Services". Proc. of IEEE International Workshop on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS'2005), September 5-7, 2005, Sofia, Bulgaria.
• A. Furfaro, L. Nigro. "An Approach Based on Simulation and Verification for the Schedulability Analysis of Real-Time Systems". Proc. of Summer Computer Simulation Conference (SCSC'05), Philadelphia, Pennsylvania, USA, July 24-28, 2005, SCS.
• F. Cicirelli, A. Furfaro, L. Nigro, F. Pupo, "Modular Modelling and Analysis of Time-dependent Systems". Proc. of 19th European Conference on Modelling and Simulation (ECMS'2005) Latvia, June 1-4, 2005, SCS, pp. 125-131.
• F. Cicirelli, A. Furfaro, L. Nigro. "Exploiting Temporal Uncertainty in the Distributed Simulation of Time Petri Nets". Proc. of 38th Annual Simulation Symposium (ANSS'05), San Diego, California, USA, 2-8 April, 2005, IEEE Computer Society, pp. 233-240.
• A. Furfaro, L. Nigro. "Model Checking Time Petri Nets: A Translation Approach based on Uppaal and a Case Study". Proc. of IASTED International Conference on Software Engineering (SE 2005), Innsbruck, Austria, 15-17, February, 2005.

2004

• F. Cicirelli, A. Furfaro, L. Nigro. "Deployment Configuration and Management of Mobile Actor Systems". Proc. of 8th IASTED Int. Conf. on Software Engineering and Applications (SEA 2004), MIT Cambridge, MA (USA), 9-11 November, 2004.
• A. Furfaro, L. Nigro, F. Pupo. "Model Checking Tasking Sets using Time Petri Nets and Uppaal". Proc. of 28th IFAC/IFIP Workshop on Real-Time Programming (WRTP'04), Istanbul, Turkey, 6-8/September, 2004.
• F. Cicirelli, A. Furfaro, D. Grimaldi, L. Nigro, F. Pupo. "Management Architecture for Distributed Measurement Services", Proc. of IEEE Instrumentation and Measurement Technology Conference (IMTC 2004), Como, Italy, 18-20/May, 2004.
• F. Cicirelli , A. Furfaro , L. Nigro, F. Pupo. "Scripting and Monitoring in TPN Designer Simulations: A Case Study using the Production Cell". Proc. of International Conference on Modeling, Simulation and Visualization Methods (MSV'04), Las Vegas, Nevada, USA, 21-24/June, 2004.
• A. Furfaro, L. Nigro, F. Pupo. Multimedia synchronization based on Aspect Oriented Programming. Microprocessors and Microsystems. Volume 8, nr. 2, pp. 47-56, 2004.

2003

• F. Cicirelli, A. Furfaro, L. Nigro, F. Pupo. Petri Net Tools for Modelling and Simulation of Complex Systems. Proc. of Italian Society for Computer Simulation (ISCS 2003), Cefalu' (Palermo), 28-29 Novembre, 2003
• F. Cicirelli, A. Furfaro, L. Nigro. A Brokering Architecture for Video-on Demand over the Internet. Proc. of 2nd IASTED International Conference on on Communications, Internet, and Information Technology (CIIT 2003), Scottsdale, Arizona, 17-19 November, pp 538-543, 2003.
• R. Beraldi, L. Nigro, A. Orlando. Temporal Uncertainty Time Warp: an implementation based on Java and Actor Foundry. SIMULATION-Transactions of the Society for Modelling and Simulation International. Vol. 79, n. 10, 2003.
• L. Carullo, A. Furfaro, L. Nigro, F. Pupo. Modelling and simulation of complex systems using TPN Designer. Simulation Modelling Practice and Theory. Volume 11/7-8, pp. 503-532.
• A. Furfaro, L. Nigro. Temporal verification of Communicating Real-Time State Machines using Uppaal . Proc. of IEEE ICIT'03 - International Conference on Industrial Technology, Maribor, Slovenia, 10-12, December, 2003
• G. Fortino, L. Nigro. Collaborative Learning on-Demand on the Internet Mbone. Chapter 3 of Usability Evaluation of Online Learning Programs, C. Ghaoui (ed.), Idea Group Publishing, USA, pp. 40-68, 2003.
• A. Furfaro, L. Nigro, F. Pupo. Real-time systems development using hierachical state machines. Proc. of JMLC 2003 (Klagenfurt/Austria, 24-27/August), LNCS 2789, Springer Verlag, pp. 110-121, 2003.
• A. Furfaro, L. Nigro, F. Pupo. Modelling and discrete event simulation using Rainbow. Proc. of 17th European Simulation Multiconference (ESM 2003), Nottingham, UK, 9-11 June,pp.526-531, 2003.
• A. Furfaro, L. Nigro, F. Pupo. Development of a multimedia QoS synchronizer using AspectJ. Proc. of 27th IFIP/IFAC/IEEE WRTP 2003, Lagow, Poland, 14-17 May, 2003.
• A. Furfaro, L. Nigro, F. Pupo. Modular design and simulation of complex TPN models. Invited paper at 4th WSEAS Int. Conf. on Evolutionary Computation, Athens, Greece, May 29-31, WSEAS Transactions on Systems, vol. 2, n. 4, pp. 809-819, 2003.

2002

• R. Beraldi, L. Nigro, A. Orlando, F. Pupo. Temporal Uncertainty Time Warp: An agent-based implementation. Proc. of  35th IEEE Annual Simulation Symposium, IEEE CS, 14-18 April, San Diego, CA, pp. 72-79, 2002.
• A. Furfaro, L. Nigro, F. Pupo. ActorServer: a Java middleware for programming distributed applications over the Internet. Proc. of International Network Conference (INC 2002), July 16-18, Plymouth, UK, 2002.
• A. Furfaro, L. Nigro, F. Pupo. Aspect oriented programming using actors. Proc. of 2nd Int. Workshop on Aspect Oriented Programming for Distributed Computing Systems (AOSDCS 2002), IEEE CS, July 2-5, Vienna, 2002.
• L. Carullo, A. Furfaro, L. Nigro, F. Pupo. A Java toolset for modelling and simulation of complex timed Petri nets. Proc. of 16th European Simulation Multiconference (ESM 2002), June 3-5, Darmstadt, Germany, 2002.
• A. Furfaro, D. Grimaldi, L. Nigro, F. Pupo. A measurement laboratory over the Internet based on Jini. Proc. of 12th IMEKO TC4, Sept., Zagreb, Croatia, 2002.
• A. Furfaro, L. Nigro, F. Pupo. Distributed simulation of Timed Coloured Petri Nets. Sixth Int. IEEE Workshop on Distributed Simulation and Real Time Applications (DS-RT 2002), 11-13 October, Fort Worth, Texas, USA, 2002.

2001

• G. Fortino, L. Nigro, F. Pupo, D. Spezzano. Super Actors for Real Time. Proc. of 6th IEEE CS Workshop on Object-oriented Real-Time Dependable Systems (WORDS’01), 8-10 January, Rome, 2001.
• G. Fortino, L. Nigro. Design and evaluation of a teleconference tool based on actors and QoSsynchronizers, Proc. of SCS EuroMedia 2001, 18-20 April, Valencia, 2001.
• G. Fortino, L. Nigro, F. Pupo, W. Russo. Agent-based distributed execution of Coloured Petri Nets. Proc. of SCS European Simulation Multiconference (ESM’2001), pp. 547-553, Prague, June.
• R. Beraldi, L. Nigro. A Time Warp mechanism based on temporal uncertainty. Transactions of The Society for Modeling and Simulation International, Vol. 18, Nr. 2, pp. 60-72, June 2001.
• G. Fortino, L. Nigro, F. Pupo. An Mbone-based on-demand system for cooperative off-line learning. Proc. of  27thEuromicro Conference, IEEE Computer Society, pp. 336-334, 2001.
• L. Nigro, F. Pupo. Schedulability analysis of real time actor systems. Lecture Notes in Computer Science, vol. 2001, Advances in Petri Nets – Concurrent Programming and Petri Nets (Agha, De Cindio, Rozenberg eds.), April 2001.

2000

• G. Fortino and L. Nigro. ViCRO: An interactive and cooperative video recording on-demand system over Mbone. Informatica - An Int. J. of Computing and Informatics, vol. 24, nr. 1, March 2000, pp. 97-105.
• G. Fortino and L. Nigro. A Toolset in Java2 for Modelling, Prototyping and Implementing Communicating Real-Time State Machines. Microprocessors and Microsystems, vol. 23, March 2000, pp. 573-586, Elsevier.
• G. Fortino and L. Nigro. Prototyping distributed multimedia systems using Communicating Real Time State Machines. Proc. of 12th Euromicro Conference on Real Time Systems, pp. 273-280, 19-21 June, Stokolm, Sweden, 2000.
• G. Fortino and L. Nigro. A methodology centered on modularization of QoS constraints for the development and performance evaluation of multimedia systems. Proc. of 33rd IEEE Annual Simulation Symposium, pp. 177-184, Washington D.C., 16-20 April, 2000.
• R. Beraldi, L. Nigro. Exploiting temporal uncertainty in time warp simulations. Proc. of 4th IEEE Int. Workshop on Distributed Simulation and Real-Time Applications (DS-RT’2000), pp.39-46, San Francisco (CA), 24-26 August.
• G. Fortino, A. Furfaro, L. Nigro, F. Pupo. Hierarchical Communicating Real Time State Machines. Proc. of Parallel and Distributed Processing Techniques and Applications (PDPTA’2000), vol. VI, 24-26 June, Las Vegas.

1999

• R. Beraldi, L. Nigro. Distributed simulation of timed Petri nets: a modular approach using actors and Time Warp. IEEE Concurrency, vol. 7, no. 4, October-December 1999, pp. 52-62.
• G. Fortino and L. Nigro. An interactive and cooperative videorecording on-demand system over Mbone. Proc. of SCS EuroMedia99, Munich, April 25-28, 1999.
• G. Fortino, L. Nigro. Modeling, Analysis and Implementation of Actor-based Multimedia Systems. Proc. of the International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'99), June 28 - July 1, pp. 489-495, 1999.
• G. Fortino and L. Nigro. Simulation of Multimedia Systems based on Actors and QoSsynchronizers. Proc. of 3rd IEEE International Workshop on Distributed Interactive Simulation and Real Time Applications (DiS-RT'99), University of Maryland, MD, USA, October 24-28, 1999.
• G. Fortino, D. Grimaldi, and L. Nigro. An Agent Based Measurement Laboratory over Internet. Proc. of IEEE Autotestcon'99, pp. 61-66, S. Antonio, Texas, USA, August 30 - September 2, 1999.
• G. Fortino and L. Nigro. A Multimedia Networking based Approach to the Development of Distributed Virtual Instruments. Proc. of IEEE Instrumentation and Measurement Technology Conference (IMTC’1999), Venice, Italy, May 22-24, 1999.
• G. Fortino and L. Nigro. Development of Virtual Data Acquisition Systems based on Multimedia Internetworking. Computer Standards & Interfaces, Elsevier, vol. 21, no. 5, pp. 429-440, 1999.
• G. Fortino, L. Nigro, and F. Pupo. Supporting Communicating Real-Time State Machines by a Customisable Actor Kernel. In Proc. of  the 24th IFAC/IFIP Workshop on Real-Time Programming, Schloß Dagstuhl, Saarland, Germany, May 31 - June 2, 1999.