| 2023 | SIMULTECH | Performance of a K-Means Algorithm Driven by Careful Seeding. | Libero Nigro, Franco Cicirelli |
| 2018 | ECMS | Model Checking Knowledge And Commitments In Multi-Agent Systems Using Actors And UPPAAL. | Christian Nigro, Libero Nigro, Paolo F. Sciammarella |
| 2017 | ECMS | Statistical Model Checking Of Multi-Agent Systems. | Libero Nigro, Paolo F. Sciammarella |
| 2016 | ECMS | Agent-Based Model Continuity Of Stochastic Time Petri Nets. | Franco Cicirelli, Libero Nigro, Paolo F. Sciammarella |
| 2015 | FedCSIS | Modelling and verification of starvation-free mutual exclusion algorithms based on weak semaphores. | Franco Cicirelli, Libero Nigro |
| 2015 | FedCSIS | Qualitative and quantitative evaluation of stochastic Time Petri Nets. | Franco Cicirelli, Christian Nigro, Libero Nigro |
| 2015 | SIMULTECH | Statistical Model Checking of GSPN Models. | Franco Cicirelli, Christian Nigro, Libero Nigro |
| 2014 | ECMS | Agent-Based Control Framework In Jade. | Franco Cicirelli, Libero Nigro, Francesco Pupo |
| 2013 | ECMS | Agent Methodological Layers In Repast Simphony. | Franco Cicirelli, Angelo Furfaro, Libero Nigro, Francesco Pupo |
| 2013 | ECMS | A Smartphone Application For The Monitoring Of Domestic Consumption Of Electricity. | Franco Cicirelli, Emmanuele Neri, Libero Nigro, Francesco Pupo |
| 2013 | FedCSIS | Modelling Java Concurrency: An Approach and a Uppaal Library. | Franco Cicirelli, Angelo Furfaro, Libero Nigro, Francesco Pupo |
| 2012 | ECMS | Agents Over The Grid: An Experience Using The Globus Toolkit 4. | Franco Cicirelli, Angelo Furfaro, Libero Nigro, Francesco Pupo |
| 2011 | ECMS | Dynamic Sociality Minority Game. | Franco Cicirelli, Angelo Furfaro, Libero Nigro, Francesco Pupo |
| 2011 | ECMS | Modelling And Verification Of Concurrent Programs Using UPPAAL. | Franco Cicirelli, Libero Nigro, Francesco Pupo |
| 2009 | ECMS | Distributing RePast Simulations Using Actors. | Franco Cicirelli, Angelo Furfaro, Andrea Giordano, Libero Nigro |
| 2009 | ECMS | Statechart-Based Actors For Modelling And Distributed Simulation Of Complex Multi-Agent Systems. | Franco Cicirelli, Angelo Furfaro, Andrea Giordano, Libero Nigro |
| 2005 | ETFA | Model checking hierarchical communicating real-time state machines. | Angelo Furfaro, Libero Nigro |
| 2000 | ECRTS | Prototyping distributed multimedia systems using communicating real-time state machines. | Giancarlo Fortino, Libero Nigro |
| 1999 | PDPTA | Modeling, Analysis and Implementation of Actor-based Multimedia Systems. | Giancarlo Fortino, Libero Nigro |