Libero Nigro

ORCID

Publication Activity (10 Years)

Years Active: 1981-2024
Publications (10 Years): 41

Top Venues

DS-RT

Simul. Model. Pract. Theory

ECMS

Algorithms

Publications

Libero Nigro, Franco Cicirelli, Francesco Pupo
Modeling and Analysis of Dekker-Based Mutual Exclusion Algorithms. Comput. 13 (6) (2024)
Franco Cicirelli, Libero Nigro
Assessing Time Behaviour in Disaster Management by Using Petri Nets and Model Checking. ICT-DM (2023)
Libero Nigro, Franco Cicirelli, Pasi Fränti
Parallel random swap: An efficient and reliable clustering algorithm in Java. Simul. Model. Pract. Theory 124 (2023)
Libero Nigro, Franco Cicirelli
An Efficient Algorithm for Clustering Sets. DS-RT (2023)
Libero Nigro, Pasi Fränti
Two Medoid-Based Algorithms for Clustering Sets. Algorithms 16 (7) (2023)
Libero Nigro, Franco Cicirelli
Performance of a K-Means Algorithm Driven by Careful Seeding. SIMULTECH (2023)
Libero Nigro, Franco Cicirelli
Improving Clustering Accuracy of K-Means and Random Swap by an Evolutionary Technique Based on Careful Seeding. Algorithms 16 (12) (2023)
Libero Nigro, Franco Cicirelli, Pasi Fränti
Efficient and Reliable Clustering by Parallel Random Swap Algorithm. DS-RT (2022)
Libero Nigro
Performance of Parallel K-Means Algorithms in Java. Algorithms 15 (4) (2022)
Franco Cicirelli, Libero Nigro
Analyzing stochastic reward nets by model checking and parallel simulation. Simul. Model. Pract. Theory 116 (2022)
Franco Cicirelli, Libero Nigro
Parallel Simulation of Stochastic Reward Nets using Theatre. DS-RT (2021)
Franco Cicirelli, Christian Nigro, Libero Nigro, Francesco Pupo
Performance Comparison of Two Java-Based Actor Systems. ICICT (3) (2021)
Libero Nigro
Parallel Theatre: An actor framework in Java for high performance computing. Simul. Model. Pract. Theory 106 (2021)
Christian Nigro, Libero Nigro, Paolo F. Sciammarella
Formal reasoning on knowledge and commitments in multi-agent systems using Theatre. Simul. 96 (2) (2020)
Franco Cicirelli, Libero Nigro, Paolo F. Sciammarella
Seamless development in Java of distributed real-time systems using actors. Int. J. Simul. Process. Model. 15 (1/2) (2020)
Franco Cicirelli, Libero Nigro
Model Checking Actor-based Cyber-Physical Systems. DS-RT (2020)
Franco Cicirelli, Libero Nigro, Francesco Pupo
Formal Modelling and Verification of Real-Time Self-Adaptive Systems. DS-RT (2019)
Franco Cicirelli, Libero Nigro
Home Energy Management Using Theatre With Hybrid Actors. DS-RT (2019)
Libero Nigro, Paolo F. Sciammarella
Statistical Model Checking of Cyber-Physical Systems Using Hybrid Theatre. IntelliSys (1) (2019)
Libero Nigro
Model-driven development of cyber-physical systems using Theatre. DS-RT (2019)
Christian Nigro, Libero Nigro, Paolo F. Sciammarella
Formal Modeling and Analysis of Probabilistic Real-Time Systems. ICICT (1) (2019)
Libero Nigro, Paolo F. Sciammarella
Time Synchronization in Wireless Sensor Networks: A Modeling and Analysis Experience Using Theatre. DS-RT (2018)
Libero Nigro, Paolo F. Sciammarella
Qualitative and quantitative model checking of distributed probabilistic timed actors. Simul. Model. Pract. Theory 87 (2018)
Christian Nigro, Libero Nigro, Paolo F. Sciammarella
Modelling and analysis of multi-agent systems using UPPAAL SMC. Int. J. Simul. Process. Model. 13 (1) (2018)
Christian Nigro, Libero Nigro, Paolo F. Sciammarella
Model Checking Knowledge And Commitments In Multi-Agent Systems Using Actors And UPPAAL. ECMS (2018)
Franco Cicirelli, Libero Nigro, Paolo F. Sciammarella
Model continuity in cyber-physical systems: A control-centered methodology based on agents. Simul. Model. Pract. Theory 83 (2018)
Domenico Luca Carnì, Domenico Grimaldi, Francesco Lamonaca, Libero Nigro, Paolo F. Sciammarella
From Distributed Measurement Systems to Cyber-Physical Systems: a Design Approach. Int. J. Comput. 16 (2017)
Domenico Luca Carnì, Domenico Grimaldi, Libero Nigro, Paolo F. Sciammarella, Franco Cicirelli
Agent-based software architecture for distributed measurement systems and cyber-physical systems design. I2MTC (2017)
Libero Nigro, Paolo F. Sciammarella
Statistical Model Checking Of Multi-Agent Systems. ECMS (2017)
Domenico Luca Carnì, Franco Cicirelli, Domenico Grimaldi, Libero Nigro, Paolo F. Sciammarella
Exploiting Model Continuity in Agent-Based Cyber-Physical Systems. CSOC (2) (2017)
Libero Nigro, Paolo F. Sciammarella
Statistical model checking of distributed real-time actor systems. DS-RT (2017)
Franco Cicirelli, Libero Nigro, Paolo F. Sciammarella
Agents+Control: A Methodology for CPSs. DS-RT (2016)
Franco Cicirelli, Libero Nigro
Control centric framework for model continuity in time-dependent multi-agent systems. Concurr. Comput. Pract. Exp. 28 (12) (2016)
Franco Cicirelli, Libero Nigro
Modelling and Verification of Mutual Exclusion Algorithms. DS-RT (2016)
Franco Cicirelli, Libero Nigro, Paolo F. Sciammarella
Agent-Based Model Continuity Of Stochastic Time Petri Nets. ECMS (2016)
Franco Cicirelli, Libero Nigro, Paolo F. Sciammarella
Model Checking Mutual Exclusion Algorithms Using Uppaal. CSOC (2) (2016)
Franco Cicirelli, Libero Nigro
Exploiting Social Capabilities in the Minority Game. ACM Trans. Model. Comput. Simul. 27 (1) (2016)
Franco Cicirelli, Andrea Giordano, Libero Nigro
Efficient environment management for distributed simulation of large-scale situated multi-agent systems. Concurr. Comput. Pract. Exp. 27 (3) (2015)
Franco Cicirelli, Christian Nigro, Libero Nigro
Qualitative and quantitative evaluation of stochastic Time Petri Nets. FedCSIS (2015)
Franco Cicirelli, Christian Nigro, Libero Nigro
Statistical Model Checking of GSPN Models. SIMULTECH (2015)
Franco Cicirelli, Libero Nigro
Modelling and verification of starvation-free mutual exclusion algorithms based on weak semaphores. FedCSIS (2015)
Franco Cicirelli, Libero Nigro, Francesco Pupo
Agent-Based Control Framework In Jade. ECMS (2014)
Franco Cicirelli, Libero Nigro
Modelling and Analysis of Parallel/Distributed Time-dependent Systems: An Approach Based on JADE. IDCS (2014)
Franco Cicirelli, Libero Nigro
A Control Framework for Model Continuity in JADE. DS-RT (2014)
Franco Cicirelli, Angelo Furfaro, Libero Nigro, Francesco Pupo
Modelling Java Concurrency: An Approach and a Uppaal Library. FedCSIS (2013)
Franco Cicirelli, Angelo Furfaro, Libero Nigro, Francesco Pupo
Agent Methodological Layers In Repast Simphony. ECMS (2013)
Franco Cicirelli, Angelo Furfaro, Libero Nigro
Using time stream Petri nets for workflow modelling analysis and enactment. Simul. 89 (1) (2013)
Franco Cicirelli, Emmanuele Neri, Libero Nigro, Francesco Pupo
A Smartphone Application For The Monitoring Of Domestic Consumption Of Electricity. ECMS (2013)
Franco Cicirelli, Libero Nigro
An Agent Framework for High Performance Simulations over Multi-core Clusters. AsiaSim (2013)
Franco Cicirelli, Angelo Furfaro, Libero Nigro
Model checking time-dependent system specifications using Time Stream Petri Nets and Uppaal. Appl. Math. Comput. 218 (16) (2012)
Franco Cicirelli, Angelo Furfaro, Libero Nigro, Francesco Pupo
Agents Over The Grid: An Experience Using The Globus Toolkit 4. ECMS (2012)
Franco Cicirelli, Angelo Furfaro, Libero Nigro, Francesco Pupo
Development of a Schedulability Analysis Framework Based on pTPN and UPPAAL with Stopwatches. DS-RT (2012)
Franco Cicirelli, Libero Nigro, Francesco Pupo
Modelling And Verification Of Concurrent Programs Using UPPAAL. ECMS (2011)
Franco Cicirelli, Andrea Giordano, Libero Nigro
Distributed Simulation of Situated Multi-agent Systems. DS-RT (2011)
Franco Cicirelli, Angelo Furfaro, Libero Nigro
Modelling and simulation of complex manufacturing systems using statechart-based actors. Simul. Model. Pract. Theory 19 (2) (2011)
Franco Cicirelli, Angelo Furfaro, Andrea Giordano, Libero Nigro
Performance of a multi-agent system over a multi-core cluster managed by Terracotta. SpringSim (TMS-DEVS) (2011)
Franco Cicirelli, Angelo Furfaro, Andrea Giordano, Libero Nigro
HLA_ACTOR_REPAST: An approach to distributing RePast models for high-performance simulations. Simul. Model. Pract. Theory 19 (1) (2011)
Franco Cicirelli, Angelo Furfaro, Libero Nigro, Francesco Pupo
Dynamic Sociality Minority Game. ECMS (2011)
Franco Cicirelli, Angelo Furfaro, Libero Nigro
Using time stream Petri nets over a service architecture for workflow modelling and enactment. SpringSim (2010)
Franco Cicirelli, Angelo Furfaro, Libero Nigro, Francesco Pupo
Temporal verification of RT-DEVS models with implementation aspects. SpringSim (2010)
Franco Cicirelli, Angelo Furfaro, Andrea Giordano, Libero Nigro
Parallel Simulation of Multi-agent Systems Using Terracotta. DS-RT (2010)
Franco Cicirelli, Angelo Furfaro, Libero Nigro
A service-based architecture for dynamically reconfigurable workflows. J. Syst. Softw. 83 (7) (2010)
Franco Cicirelli, Angelo Furfaro, Andrea Giordano, Libero Nigro
Distributing RePast Simulations Using Actors. ECMS (2009)
Franco Cicirelli, Angelo Furfaro, Andrea Giordano, Libero Nigro
Distributed Simulation of RePast Models over HLA/Actors. DS-RT (2009)
Franco Cicirelli, Angelo Furfaro, Libero Nigro
An Agent Infrastructure over HLA for Distributed Simulation of Reconfigurable Systems and its Application to UAV Coordination. Simul. 85 (1) (2009)
Angelo Furfaro, Libero Nigro
A development methodology for embedded systems based on RT-DEVS. Innov. Syst. Softw. Eng. 5 (2) (2009)
Franco Cicirelli, Angelo Furfaro, Andrea Giordano, Libero Nigro
Statechart-Based Actors For Modelling And Distributed Simulation Of Complex Multi-Agent Systems. ECMS (2009)
Angelo Furfaro, Libero Nigro
Embedded Control Systems Design based on RT-DEVS and temporal analysis using UPPAAL. IMCSIT (2008)
Franco Cicirelli, Angelo Furfaro, Libero Nigro
Actor-Based Simulation of PDEVS systems over HLA. Annual Simulation Symposium (2008)
Franco Cicirelli, Angelo Furfaro, Libero Nigro
Conflict management in PDEVS: an experience in modelling and simulation of time petri nets. SCSC (2007)
Franco Cicirelli, Angelo Furfaro, Libero Nigro
Integration and Interoperability between Jini services andWeb Services. IEEE SCC (2007)
Franco Cicirelli, Angelo Furfaro, Andrea Giordano, Libero Nigro
An Agent Infrastructure for Distributed Simulations over HLA and a Case Study Using Unmanned Aerial Vehicles. Annual Simulation Symposium (2007)
Franco Cicirelli, Libero Nigro
A General Brokering Architecture Layer and its application to Video on-Demand over the Internet. Informatica (Slovenia) 31 (1) (2007)
Franco Cicirelli, Angelo Furfaro, Libero Nigro
Distributed simulation of modular time Petri nets: An approach and a case study exploiting temporal uncertainty. Real Time Syst. 35 (2) (2007)
Angelo Furfaro, Libero Nigro
Timed verification of hierarchical communicating real-time state machines. Comput. Stand. Interfaces 29 (6) (2007)
Franco Cicirelli, Angelo Furfaro, Libero Nigro
Exploiting agents for modelling and simulation of coverage control protocols in large sensor networks. J. Syst. Softw. 80 (11) (2007)
Franco Cicirelli, Angelo Furfaro, Domenico Grimaldi, Libero Nigro, Francesco Pupo
MADAMS: A software architecture for the management of networked measurement services. Comput. Stand. Interfaces 28 (4) (2006)
Angelo Furfaro, Libero Nigro, Francesco Pupo
Modular Design of Real-Time Systems Using Hierarchical Communicating Real-time State Machines. Real Time Syst. 32 (1-2) (2006)
Franco Cicirelli, Angelo Furfaro, Libero Nigro
An Approach to Protocol Modeling and Validation. Annual Simulation Symposium (2006)
Franco Cicirelli, Angelo Furfaro, Libero Nigro
Exploiting Temporal Uncertainty in the Distributed Simulation of Time Petri Nets. Annual Simulation Symposium (2005)
Angelo Furfaro, Libero Nigro
Model Checking Time Petri Nets: A Translation Approach based on UPPAAL and a Case Study. IASTED Conf. on Software Engineering (2005)
Angelo Furfaro, Libero Nigro
Model checking hierarchical communicating real-time state machines. ETFA (2005)
Franco Cicirelli, Angelo Furfaro, Libero Nigro, Francesco Pupo
Scripting and Monitoring in TPN Designer Simulations: A Case Study Using the Production Cell. MSV/AMCS (2004)
Angelo Furfaro, Libero Nigro, Francesco Pupo
Multimedia synchronization based on aspect oriented programming. Microprocess. Microsystems 28 (2) (2004)
Franco Cicirelli, Angelo Furfaro, Libero Nigro
Deployment, configuration and management of mobile actor systems. IASTED Conf. on Software Engineering and Applications (2004)
Roberto Beraldi, Libero Nigro, Antonino Orlando
Temporal Uncertainty Time Warp: An Implementation Based on Java and ActorFoundry. Simul. 79 (10) (2003)
Angelo Furfaro, Libero Nigro, Francesco Pupo
Real-Time Systems Development Using Hierarchical State Machines. JMLC (2003)
Luigi Carullo, Angelo Furfaro, Libero Nigro, Francesco Pupo
Modelling and simulation of complex systems using TPN Designer. Simul. Model. Pract. Theory 11 (7-8) (2003)
Roberto Beraldi, Libero Nigro, Antonino Orlando, Francesco Pupo
Temporal Uncertainty Time Warp: An Agent-Based Implementation. Annual Simulation Symposium (2002)
Angelo Furfaro, Libero Nigro, Francesco Pupo
Distributed Simulation of Timed Coloured Petri Nets. DS-RT (2002)
Luigi Carullo, Angelo Furfaro, Libero Nigro, Francesco Pupo
A Java Toolset for Modelling and Simulation of Complex Timed Petri Nets. ESM (2002)
Angelo Furfaro, Libero Nigro, Francesco Pupo
Aspect Oriented Programming Using Actors. ICDCS Workshops (2002)
Giancarlo Fortino, Libero Nigro, Francesco Pupo
An MBone-Based On-Demand System for Cooperative Off-line Learning. EUROMICRO (2001)
Giancarlo Fortino, Libero Nigro, Francesco Pupo, D. Spezzano
Super Actors for Real Time. WORDS (2001)
Libero Nigro, Francesco Pupo
Schedulability Analysis of Real Time Actor Systems Using Coloured Petri Nets. Concurrent Object-Oriented Programming and Petri Nets (2001)
Giancarlo Fortino, Libero Nigro
A Methodology Centered on Modularization of QoS Constraints for the Development and Performance Evaluation of Multimedia Systems. Annual Simulation Symposium (2000)
Roberto Beraldi, Libero Nigro
Exploiting Temporal Uncertainty in Time Warp Simulations. DS-RT (2000)
Giancarlo Fortino, Libero Nigro
Prototyping distributed multimedia systems using communicating real-time state machines. ECRTS (2000)
Giancarlo Fortino, Libero Nigro
A toolset in Java2 for modelling, prototyping and implementing communicating real-time state machines. Microprocess. Microsystems 23 (10) (2000)
Giancarlo Fortino, Libero Nigro
ViCRO: An Interactive and Cooperative VideoRecording on-demand System over MBone. Informatica (Slovenia) 24 (1) (2000)

Libero Nigro.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Libero Nigro