On the efficient implementation of retention block-structured languages. - Michele Di Santo; Libero Nigro; Wilma Russo (Int. J. Parallel Program., 1981)

Object-based real-time programming. - Libero Nigro; Francesco Tisato (OOPSLA/ECOOP Workshop on Object-based Concurrent Programming, 1988)

Programmer-Defined Control Abstractions in Modula-2. - Michele Di Santo; Libero Nigro; Wilma Russo (Comput. Lang., 1990)

On the Type Extensions of Oberon-2. - Libero Nigro (ACM SIGPLAN Notices, 1993)

Control Abstractions in Modula-2: A Case Study Using Advanced Backtracking. - Libero Nigro; Giuseppe Veneziano (Informatica (Slovenia), 1994)

A Real-Time Architecture Based on Shlaer-Mellor Object Lifecycles. - Libero Nigro (J. Object Oriented Program., 1995)

Modeling and Analysing DART Systems Through High-Level Petri Nets. - Libero Nigro; Francesco Pupo (Application and Theory of Petri Nets, 1996)

Distributed simulation of PCS networks using a time warp mechanism. - Roberto Beraldi; Salvatore Marano; Libero Nigro (EUROSIM, 1996)

Timing as a programming-in-the-large issue. - Libero Nigro; Francesco Tisato (Microprocess. Microsystems, 1996)

Using Real Time Constraints for Modularisation. - Brian Kirk; Libero Nigro; Francesco Pupo (JMLC, 1997)

Distributed measurement systems: An object-oriented architecture and a case study. - Pasquale Daponte; Domenico Grimaldi; Libero Nigro; Francesco Pupo (Comput. Stand. Interfaces, 1997)

A Modular Approach to the Distributed Simulation of Timed Petri-Nets. - Roberto Beraldi; Libero Nigro (ESM, 1998)

QoS Centred Java and Actor-based Framework for Real-virtual Teleconferences. - Giancarlo Fortino; Libero Nigro (EUROMEDIA, 1998)

Performance of a Time Warp based simulator of large scale PCS networks. - Roberto Beraldi; Libero Nigro (Simul. Pract. Theory, 1998)

Multicast control of mobile measurement systems. - Giancarlo Fortino; Domenico Grimaldi; Libero Nigro (IEEE Trans. Instrum. Meas., 1998)

Java-based distributed measurement systems. - Domenico Grimaldi; Libero Nigro; Francesco Pupo (IEEE Trans. Instrum. Meas., 1998)

Simulation of Multimedia Systems Based on Actors and QoSsynchronizers. - Giancarlo Fortino; Libero Nigro (DIS-RT, 1999)

Experimenting Advanced Visualization in the Operational Context of Transportation Networks: The VENN Project. - Jürgen Assfalg; C. Leveque; Marc Mautref; P. Neel; Libero Nigro; M. Philippou; Jean-Michel Tanneau; Enrico Vicario; G. Zardetto (ICMCS, Vol. 2, 1999)

Modeling, Analysis and Implementation of Actor-based Multimedia Systems. - Giancarlo Fortino; Libero Nigro (PDPTA, 1999)

Distributed simulation of timed Petri nets. A modular approach using actors and Time Warp. - Roberto Beraldi; Libero Nigro (IEEE Concurr., 1999)

A Methodology Centered on Modularization of QoS Constraints for the Development and Performance Evaluation of Multimedia Systems. - Giancarlo Fortino; Libero Nigro (Annual Simulation Symposium, 2000)

Exploiting Temporal Uncertainty in Time Warp Simulations. - Roberto Beraldi; Libero Nigro (DS-RT, 2000)

Prototyping distributed multimedia systems using communicating real-time state machines. - Giancarlo Fortino; Libero Nigro (ECRTS, 2000)

A Cooperative Playback System for On-Demand Multimedia Sessions over Internet. - Giancarlo Fortino; Libero Nigro (IEEE International Conference on Multimedia and Expo (I), 2000)

ViCRO: An Interactive and Cooperative VideoRecording on-demand System over MBone. - Giancarlo Fortino; Libero Nigro (Informatica (Slovenia), 2000)

A toolset in Java2 for modelling, prototyping and implementing communicating real-time state machines. - Giancarlo Fortino; Libero Nigro (Microprocess. Microsystems, 2000)

Schedulability Analysis of Real Time Actor Systems Using Coloured Petri Nets. - Libero Nigro; Francesco Pupo (Concurrent Object-Oriented Programming and Petri Nets, 2001)

An MBone-Based On-Demand System for Cooperative Off-line Learning. - Giancarlo Fortino; Libero Nigro; Francesco Pupo (EUROMICRO, 2001)

Super Actors for Real Time. - Giancarlo Fortino; Libero Nigro; Francesco Pupo; D. Spezzano (WORDS, 2001)

Temporal Uncertainty Time Warp: An Agent-Based Implementation. - Roberto Beraldi; Libero Nigro; Antonino Orlando; Francesco Pupo (Annual Simulation Symposium, 2002)

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)

Temporal Uncertainty Time Warp: An Implementation Based on Java and ActorFoundry. - Roberto Beraldi; Libero Nigro; Antonino Orlando (Simul., 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)

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)

A General Brokering Architecture Layer and its application to Video on-Demand over the Internet. - Franco Cicirelli; Libero Nigro (Informatica (Slovenia), 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)

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)

Distributed Simulation of Situated Multi-agent Systems. - Franco Cicirelli; Andrea Giordano; Libero Nigro (DS-RT, 2011)

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

Modelling And Verification Of Concurrent Programs Using UPPAAL. - Franco Cicirelli; 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)

An Agent Framework for High Performance Simulations over Multi-core Clusters. - Franco Cicirelli; Libero Nigro (AsiaSim, 2013)

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

A Smartphone Application For The Monitoring Of Domestic Consumption Of Electricity. - Franco Cicirelli; Emmanuele Neri; 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)

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

A Control Framework for Model Continuity in JADE. - Franco Cicirelli; Libero Nigro (DS-RT, 2014)

Agent-Based Control Framework In Jade. - Franco Cicirelli; Libero Nigro; Francesco Pupo (ECMS, 2014)

Modelling and Analysis of Parallel/Distributed Time-dependent Systems: An Approach Based on JADE. - Franco Cicirelli; Libero Nigro (IDCS, 2014)

Modelling and verification of starvation-free mutual exclusion algorithms based on weak semaphores. - Franco Cicirelli; Libero Nigro (FedCSIS, 2015)

Qualitative and quantitative evaluation of stochastic Time Petri Nets. - Franco Cicirelli; Christian Nigro; Libero Nigro (FedCSIS, 2015)

Statistical Model Checking of GSPN Models. - Franco Cicirelli; Christian Nigro; Libero Nigro (SIMULTECH, 2015)

Efficient environment management for distributed simulation of large-scale situated multi-agent systems. - Franco Cicirelli; Andrea Giordano; Libero Nigro (Concurr. Comput. Pract. Exp., 2015)

Model Checking Mutual Exclusion Algorithms Using Uppaal. - Franco Cicirelli; Libero Nigro; Paolo F. Sciammarella (CSOC (2), 2016)

Modelling and Verification of Mutual Exclusion Algorithms. - Franco Cicirelli; Libero Nigro (DS-RT, 2016)

Agents+Control: A Methodology for CPSs. - Franco Cicirelli; Libero Nigro; Paolo F. Sciammarella (DS-RT, 2016)

Agent-Based Model Continuity Of Stochastic Time Petri Nets. - Franco Cicirelli; Libero Nigro; Paolo F. Sciammarella (ECMS, 2016)

Control centric framework for model continuity in time-dependent multi-agent systems. - Franco Cicirelli; Libero Nigro (Concurr. Comput. Pract. Exp., 2016)

Exploiting Social Capabilities in the Minority Game. - Franco Cicirelli; Libero Nigro (ACM Trans. Model. Comput. Simul., 2016)

Exploiting Model Continuity in Agent-Based Cyber-Physical Systems. - Domenico Luca Carnì; Franco Cicirelli; Domenico Grimaldi; Libero Nigro; Paolo F. Sciammarella (CSOC (2), 2017)

Statistical model checking of distributed real-time actor systems. - Libero Nigro; Paolo F. Sciammarella (DS-RT, 2017)

Statistical Model Checking Of Multi-Agent Systems. - Libero Nigro; Paolo F. Sciammarella (ECMS, 2017)

Agent-based software architecture for distributed measurement systems and cyber-physical systems design. - Domenico Luca Carnì; Domenico Grimaldi; Libero Nigro; Paolo F. Sciammarella; Franco Cicirelli (I2MTC, 2017)

From Distributed Measurement Systems to Cyber-Physical Systems: a Design Approach. - Domenico Luca Carnì; Domenico Grimaldi; Francesco Lamonaca; Libero Nigro; Paolo F. Sciammarella (Int. J. Comput., 2017)

Time Synchronization in Wireless Sensor Networks: A Modeling and Analysis Experience Using Theatre. - Libero Nigro; Paolo F. Sciammarella (DS-RT, 2018)

Model Checking Knowledge And Commitments In Multi-Agent Systems Using Actors And UPPAAL. - Christian Nigro; Libero Nigro; Paolo F. Sciammarella (ECMS, 2018)

Modelling and analysis of multi-agent systems using UPPAAL SMC. - Christian Nigro; Libero Nigro; Paolo F. Sciammarella (Int. J. Simul. Process. Model., 2018)

Model continuity in cyber-physical systems: A control-centered methodology based on agents. - Franco Cicirelli; Libero Nigro; Paolo F. Sciammarella (Simul. Model. Pract. Theory, 2018)

Qualitative and quantitative model checking of distributed probabilistic timed actors. - Libero Nigro; Paolo F. Sciammarella (Simul. Model. Pract. Theory, 2018)

Home Energy Management Using Theatre With Hybrid Actors. - Franco Cicirelli; Libero Nigro (DS-RT, 2019)

Formal Modelling and Verification of Real-Time Self-Adaptive Systems. - Franco Cicirelli; Libero Nigro; Francesco Pupo (DS-RT, 2019)

Model-driven development of cyber-physical systems using Theatre. - Libero Nigro (DS-RT, 2019)

Formal Modeling and Analysis of Probabilistic Real-Time Systems. - Christian Nigro; Libero Nigro; Paolo F. Sciammarella (ICICT (1), 2019)

Statistical Model Checking of Cyber-Physical Systems Using Hybrid Theatre. - Libero Nigro; Paolo F. Sciammarella (IntelliSys (1), 2019)

Model Checking Actor-based Cyber-Physical Systems. - Franco Cicirelli; Libero Nigro (DS-RT, 2020)

Seamless development in Java of distributed real-time systems using actors. - Franco Cicirelli; Libero Nigro; Paolo F. Sciammarella (Int. J. Simul. Process. Model., 2020)

Formal reasoning on knowledge and commitments in multi-agent systems using Theatre. - Christian Nigro; Libero Nigro; Paolo F. Sciammarella (Simul., 2020)

Parallel Simulation of Stochastic Reward Nets using Theatre. - Franco Cicirelli; Libero Nigro (DS-RT, 2021)

Performance Comparison of Two Java-Based Actor Systems. - Franco Cicirelli; Christian Nigro; Libero Nigro; Francesco Pupo (ICICT (3), 2021)

Parallel Theatre: An actor framework in Java for high performance computing. - Libero Nigro (Simul. Model. Pract. Theory, 2021)

Efficient and Reliable Clustering by Parallel Random Swap Algorithm. - Libero Nigro; Franco Cicirelli; Pasi Fränti (DS-RT, 2022)

Performance of Parallel K-Means Algorithms in Java. - Libero Nigro (Algorithms, 2022)

Analyzing stochastic reward nets by model checking and parallel simulation. - Franco Cicirelli; Libero Nigro (Simul. Model. Pract. Theory, 2022)

An Efficient Algorithm for Clustering Sets. - Libero Nigro; Franco Cicirelli (DS-RT, 2023)

Assessing Time Behaviour in Disaster Management by Using Petri Nets and Model Checking. - Franco Cicirelli; Libero Nigro (ICT-DM, 2023)

Performance of a K-Means Algorithm Driven by Careful Seeding. - Libero Nigro; Franco Cicirelli (SIMULTECH, 2023)

Improving Clustering Accuracy of K-Means and Random Swap by an Evolutionary Technique Based on Careful Seeding. - Libero Nigro; Franco Cicirelli (Algorithms, 2023)

Parallel random swap: An efficient and reliable clustering algorithm in Java. - Libero Nigro; Franco Cicirelli; Pasi Fränti (Simul. Model. Pract. Theory, 2023)

Two Medoid-Based Algorithms for Clustering Sets. - Libero Nigro; Pasi Fränti (Algorithms, 2023)

Modeling and Analysis of Dekker-Based Mutual Exclusion Algorithms. - Libero Nigro; Franco Cicirelli; Francesco Pupo (Comput., 2024)