Libero Nigro - RankMe

128 papers A 1B 1C 36Misc 1Journal 50Unranked 39

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Black-White Bakery Algorithm Made RW-Safe. Comput. Libero Nigro, Franco Cicirelli
2026	J	`jnl`	Genetic Elitist Approach and Density Peaks to Improve K-Means Clustering. Algorithms Libero Nigro, Franco Cicirelli, Francesco Pupo
2025	J	`jnl`	Formal Analysis of Bakery-Based Mutual Exclusion Algorithms. Comput. Libero Nigro
2025	J	`jnl`	Proving Properties of Dekker's Algorithm for Mutual Exclusion of N Processes. Algorithms Libero Nigro, Franco Cicirelli
2025	C	`conf`	Using Uppaal and Actors for Property Checking of Mutual Exclusion Algorithms in Anonymous Memory. DS-RT Libero Nigro, Franco Cicirelli
2024	J	`jnl`	Modeling and Analysis of Dekker-Based Mutual Exclusion Algorithms. Comput. Libero Nigro, Franco Cicirelli, Francesco Pupo
2024	J	`jnl`	Verifying Mutual Exclusion Algorithms with Non-Atomic Registers. Algorithms Libero Nigro
2023	C	`conf`	An Efficient Algorithm for Clustering Sets. DS-RT Libero Nigro, Franco Cicirelli
2023	—	`conf`	Assessing Time Behaviour in Disaster Management by Using Petri Nets and Model Checking. ICT-DM Franco Cicirelli, Libero Nigro
2023	J	`jnl`	Improving Clustering Accuracy of K-Means and Random Swap by an Evolutionary Technique Based on Careful Seeding. Algorithms Libero Nigro, Franco Cicirelli
2023	J	`jnl`	Parallel random swap: An efficient and reliable clustering algorithm in Java. Simul. Model. Pract. Theory Libero Nigro, Franco Cicirelli, Pasi Fränti
2023	C	`conf`	Performance of a K-Means Algorithm Driven by Careful Seeding. SIMULTECH Libero Nigro, Franco Cicirelli
2023	J	`jnl`	Two Medoid-Based Algorithms for Clustering Sets. Algorithms Libero Nigro, Pasi Fränti
2022	J	`jnl`	Analyzing stochastic reward nets by model checking and parallel simulation. Simul. Model. Pract. Theory Franco Cicirelli, Libero Nigro
2022	C	`conf`	Efficient and Reliable Clustering by Parallel Random Swap Algorithm. DS-RT Libero Nigro, Franco Cicirelli, Pasi Fränti
2022	J	`jnl`	Performance of Parallel K-Means Algorithms in Java. Algorithms Libero Nigro
2021	C	`conf`	Parallel Simulation of Stochastic Reward Nets using Theatre. DS-RT Franco Cicirelli, Libero Nigro
2021	J	`jnl`	Parallel Theatre: An actor framework in Java for high performance computing. Simul. Model. Pract. Theory Libero Nigro
2021	—	`conf`	Performance Comparison of Two Java-Based Actor Systems. ICICT (3) Franco Cicirelli, Christian Nigro, Libero Nigro, Francesco Pupo
2020	J	`jnl`	Formal reasoning on knowledge and commitments in multi-agent systems using Theatre. Simul. Christian Nigro, Libero Nigro, Paolo F. Sciammarella
2020	C	`conf`	Model Checking Actor-based Cyber-Physical Systems. DS-RT Franco Cicirelli, Libero Nigro
2020	J	`jnl`	Seamless development in Java of distributed real-time systems using actors. Int. J. Simul. Process. Model. Franco Cicirelli, Libero Nigro, Paolo F. Sciammarella
2019	—	`conf`	Formal Modeling and Analysis of Probabilistic Real-Time Systems. ICICT (1) Christian Nigro, Libero Nigro, Paolo F. Sciammarella
2019	C	`conf`	Formal Modelling and Verification of Real-Time Self-Adaptive Systems. DS-RT Franco Cicirelli, Libero Nigro, Francesco Pupo
2019	C	`conf`	Home Energy Management Using Theatre With Hybrid Actors. DS-RT Franco Cicirelli, Libero Nigro
2019	C	`conf`	Model-driven development of cyber-physical systems using Theatre. DS-RT Libero Nigro
2019	—	`conf`	Statistical Model Checking of Cyber-Physical Systems Using Hybrid Theatre. IntelliSys (1) Libero Nigro, Paolo F. Sciammarella
2018	C	`conf`	Model Checking Knowledge And Commitments In Multi-Agent Systems Using Actors And UPPAAL. ECMS Christian Nigro, Libero Nigro, Paolo F. Sciammarella
2018	J	`jnl`	Model continuity in cyber-physical systems: A control-centered methodology based on agents. Simul. Model. Pract. Theory Franco Cicirelli, Libero Nigro, Paolo F. Sciammarella
2018	J	`jnl`	Modelling and analysis of multi-agent systems using UPPAAL SMC. Int. J. Simul. Process. Model. Christian Nigro, Libero Nigro, Paolo F. Sciammarella
2018	J	`jnl`	Qualitative and quantitative model checking of distributed probabilistic timed actors. Simul. Model. Pract. Theory Libero Nigro, Paolo F. Sciammarella
2018	C	`conf`	Time Synchronization in Wireless Sensor Networks: A Modeling and Analysis Experience Using Theatre. DS-RT Libero Nigro, Paolo F. Sciammarella
2017	—	`conf`	Agent-based software architecture for distributed measurement systems and cyber-physical systems design. I2MTC Domenico Luca Carnì, Domenico Grimaldi, Libero Nigro, Paolo F. Sciammarella, Franco Cicirelli
2017	—	`conf`	Exploiting Model Continuity in Agent-Based Cyber-Physical Systems. CSOC (2) Domenico Luca Carnì, Franco Cicirelli, Domenico Grimaldi, Libero Nigro, Paolo F. Sciammarella
2017	J	`jnl`	From Distributed Measurement Systems to Cyber-Physical Systems: a Design Approach. Int. J. Comput. Domenico Luca Carnì, Domenico Grimaldi, Francesco Lamonaca, Libero Nigro, Paolo F. Sciammarella
2017	C	`conf`	Statistical Model Checking Of Multi-Agent Systems. ECMS Libero Nigro, Paolo F. Sciammarella
2017	C	`conf`	Statistical model checking of distributed real-time actor systems. DS-RT Libero Nigro, Paolo F. Sciammarella
2016	C	`conf`	Agent-Based Model Continuity Of Stochastic Time Petri Nets. ECMS Franco Cicirelli, Libero Nigro, Paolo F. Sciammarella
2016	C	`conf`	Agents+Control: A Methodology for CPSs. DS-RT Franco Cicirelli, Libero Nigro, Paolo F. Sciammarella
2016	J	`jnl`	Control centric framework for model continuity in time-dependent multi-agent systems. Concurr. Comput. Pract. Exp. Franco Cicirelli, Libero Nigro
2016	J	`jnl`	Exploiting Social Capabilities in the Minority Game. ACM Trans. Model. Comput. Simul. Franco Cicirelli, Libero Nigro
2016	—	`conf`	Model Checking Mutual Exclusion Algorithms Using Uppaal. CSOC (2) Franco Cicirelli, Libero Nigro, Paolo F. Sciammarella
2016	C	`conf`	Modelling and Verification of Mutual Exclusion Algorithms. DS-RT Franco Cicirelli, Libero Nigro
2015	J	`jnl`	Efficient environment management for distributed simulation of large-scale situated multi-agent systems. Concurr. Comput. Pract. Exp. Franco Cicirelli, Andrea Giordano, Libero Nigro
2015	C	`conf`	Modelling and verification of starvation-free mutual exclusion algorithms based on weak semaphores. FedCSIS Franco Cicirelli, Libero Nigro
2015	C	`conf`	Qualitative and quantitative evaluation of stochastic Time Petri Nets. FedCSIS Franco Cicirelli, Christian Nigro, Libero Nigro
2015	C	`conf`	Statistical Model Checking of GSPN Models. SIMULTECH Franco Cicirelli, Christian Nigro, Libero Nigro
2014	C	`conf`	A Control Framework for Model Continuity in JADE. DS-RT Franco Cicirelli, Libero Nigro
2014	C	`conf`	Agent-Based Control Framework In Jade. ECMS Franco Cicirelli, Libero Nigro, Francesco Pupo
2014	—	`conf`	Modelling and Analysis of Parallel/Distributed Time-dependent Systems: An Approach Based on JADE. IDCS Franco Cicirelli, Libero Nigro
2013	C	`conf`	A Smartphone Application For The Monitoring Of Domestic Consumption Of Electricity. ECMS Franco Cicirelli, Emmanuele Neri, Libero Nigro, Francesco Pupo
2013	C	`conf`	Agent Methodological Layers In Repast Simphony. ECMS Franco Cicirelli, Angelo Furfaro, Libero Nigro, Francesco Pupo
2013	—	`conf`	An Agent Framework for High Performance Simulations over Multi-core Clusters. AsiaSim Franco Cicirelli, Libero Nigro
2013	C	`conf`	Modelling Java Concurrency: An Approach and a Uppaal Library. FedCSIS Franco Cicirelli, Angelo Furfaro, Libero Nigro, Francesco Pupo
2013	J	`jnl`	Using time stream Petri nets for workflow modelling analysis and enactment. Simul. Franco Cicirelli, Angelo Furfaro, Libero Nigro
2012	C	`conf`	Agents Over The Grid: An Experience Using The Globus Toolkit 4. ECMS Franco Cicirelli, Angelo Furfaro, Libero Nigro, Francesco Pupo
2012	C	`conf`	Development of a Schedulability Analysis Framework Based on pTPN and UPPAAL with Stopwatches. DS-RT Franco Cicirelli, Angelo Furfaro, Libero Nigro, Francesco Pupo
2012	J	`jnl`	Model checking time-dependent system specifications using Time Stream Petri Nets and Uppaal. Appl. Math. Comput. Franco Cicirelli, Angelo Furfaro, Libero Nigro
2011	C	`conf`	Distributed Simulation of Situated Multi-agent Systems. DS-RT Franco Cicirelli, Andrea Giordano, Libero Nigro
2011	C	`conf`	Dynamic Sociality Minority Game. ECMS Franco Cicirelli, Angelo Furfaro, Libero Nigro, Francesco Pupo
2011	J	`jnl`	HLA_ACTOR_REPAST: An approach to distributing RePast models for high-performance simulations. Simul. Model. Pract. Theory Franco Cicirelli, Angelo Furfaro, Andrea Giordano, Libero Nigro
2011	C	`conf`	Modelling And Verification Of Concurrent Programs Using UPPAAL. ECMS Franco Cicirelli, Libero Nigro, Francesco Pupo
2011	J	`jnl`	Modelling and simulation of complex manufacturing systems using statechart-based actors. Simul. Model. Pract. Theory Franco Cicirelli, Angelo Furfaro, Libero Nigro
2011	—	`conf`	Performance of a multi-agent system over a multi-core cluster managed by Terracotta. SpringSim (TMS-DEVS) Franco Cicirelli, Angelo Furfaro, Andrea Giordano, Libero Nigro
2010	J	`jnl`	A service-based architecture for dynamically reconfigurable workflows. J. Syst. Softw. Franco Cicirelli, Angelo Furfaro, Libero Nigro
2010	C	`conf`	Parallel Simulation of Multi-agent Systems Using Terracotta. DS-RT Franco Cicirelli, Angelo Furfaro, Andrea Giordano, Libero Nigro
2010	—	`conf`	Temporal verification of RT-DEVS models with implementation aspects. SpringSim Franco Cicirelli, Angelo Furfaro, Libero Nigro, Francesco Pupo
2010	—	`conf`	Using time stream Petri nets over a service architecture for workflow modelling and enactment. SpringSim Franco Cicirelli, Angelo Furfaro, Libero Nigro
2009	J	`jnl`	A development methodology for embedded systems based on RT-DEVS. Innov. Syst. Softw. Eng. Angelo Furfaro, Libero Nigro
2009	J	`jnl`	An Agent Infrastructure over HLA for Distributed Simulation of Reconfigurable Systems and its Application to UAV Coordination. Simul. Franco Cicirelli, Angelo Furfaro, Libero Nigro
2009	C	`conf`	Distributed Simulation of RePast Models over HLA/Actors. DS-RT Franco Cicirelli, Angelo Furfaro, Andrea Giordano, Libero Nigro
2009	C	`conf`	Distributing RePast Simulations Using Actors. ECMS Franco Cicirelli, Angelo Furfaro, Andrea Giordano, Libero Nigro
2009	C	`conf`	Statechart-Based Actors For Modelling And Distributed Simulation Of Complex Multi-Agent Systems. ECMS Franco Cicirelli, Angelo Furfaro, Andrea Giordano, Libero Nigro
2008	—	`conf`	Actor-Based Simulation of PDEVS systems over HLA. Annual Simulation Symposium Franco Cicirelli, Angelo Furfaro, Libero Nigro
2008	—	`conf`	Embedded Control Systems Design based on RT-DEVS and temporal analysis using UPPAAL. IMCSIT Angelo Furfaro, Libero Nigro
2007	J	`jnl`	A General Brokering Architecture Layer and its application to Video on-Demand over the Internet. Informatica (Slovenia) Franco Cicirelli, Libero Nigro
2007	—	`conf`	An Agent Infrastructure for Distributed Simulations over HLA and a Case Study Using Unmanned Aerial Vehicles. Annual Simulation Symposium Franco Cicirelli, Angelo Furfaro, Andrea Giordano, Libero Nigro
2007	—	`conf`	Conflict management in PDEVS: an experience in modelling and simulation of time petri nets. SCSC Franco Cicirelli, Angelo Furfaro, Libero Nigro
2007	J	`jnl`	Distributed simulation of modular time Petri nets: An approach and a case study exploiting temporal uncertainty. Real Time Syst. Franco Cicirelli, Angelo Furfaro, Libero Nigro
2007	J	`jnl`	Exploiting agents for modelling and simulation of coverage control protocols in large sensor networks. J. Syst. Softw. Franco Cicirelli, Angelo Furfaro, Libero Nigro
2007	—	`conf`	Integration and Interoperability between Jini services andWeb Services. IEEE SCC Franco Cicirelli, Angelo Furfaro, Libero Nigro
2007	J	`jnl`	Timed verification of hierarchical communicating real-time state machines. Comput. Stand. Interfaces Angelo Furfaro, Libero Nigro
2006	—	`conf`	An Approach to Protocol Modeling and Validation. Annual Simulation Symposium Franco Cicirelli, Angelo Furfaro, Libero Nigro
2006	J	`jnl`	MADAMS: A software architecture for the management of networked measurement services. Comput. Stand. Interfaces Franco Cicirelli, Angelo Furfaro, Domenico Grimaldi, Libero Nigro, Francesco Pupo
2006	J	`jnl`	Modular Design of Real-Time Systems Using Hierarchical Communicating Real-time State Machines. Real Time Syst. Angelo Furfaro, Libero Nigro, Francesco Pupo
2005	—	`conf`	Exploiting Temporal Uncertainty in the Distributed Simulation of Time Petri Nets. Annual Simulation Symposium Franco Cicirelli, Angelo Furfaro, Libero Nigro
2005	—	`conf`	Model Checking Time Petri Nets: A Translation Approach based on UPPAAL and a Case Study. IASTED Conf. on Software Engineering Angelo Furfaro, Libero Nigro
2005	C	`conf`	Model checking hierarchical communicating real-time state machines. ETFA Angelo Furfaro, Libero Nigro
2004	—	`conf`	Deployment, configuration and management of mobile actor systems. IASTED Conf. on Software Engineering and Applications Franco Cicirelli, Angelo Furfaro, Libero Nigro
2004	J	`jnl`	Multimedia synchronization based on aspect oriented programming. Microprocess. Microsystems Angelo Furfaro, Libero Nigro, Francesco Pupo
2004	—	`conf`	Scripting and Monitoring in TPN Designer Simulations: A Case Study Using the Production Cell. MSV/AMCS Franco Cicirelli, Angelo Furfaro, Libero Nigro, Francesco Pupo
2003	J	`jnl`	Modelling and simulation of complex systems using TPN Designer. Simul. Model. Pract. Theory Luigi Carullo, Angelo Furfaro, Libero Nigro, Francesco Pupo
2003	—	`conf`	Real-Time Systems Development Using Hierarchical State Machines. JMLC Angelo Furfaro, Libero Nigro, Francesco Pupo
2003	J	`jnl`	Temporal Uncertainty Time Warp: An Implementation Based on Java and ActorFoundry. Simul. Roberto Beraldi, Libero Nigro, Antonino Orlando
2002	—	`conf`	A Java Toolset for Modelling and Simulation of Complex Timed Petri Nets. ESM Luigi Carullo, Angelo Furfaro, Libero Nigro, Francesco Pupo
2002	—	`conf`	Aspect Oriented Programming Using Actors. ICDCS Workshops Angelo Furfaro, Libero Nigro, Francesco Pupo
2002	C	`conf`	Distributed Simulation of Timed Coloured Petri Nets. DS-RT Angelo Furfaro, Libero Nigro, Francesco Pupo
2002	—	`conf`	Temporal Uncertainty Time Warp: An Agent-Based Implementation. Annual Simulation Symposium Roberto Beraldi, Libero Nigro, Antonino Orlando, Francesco Pupo
2001	—	`conf`	An MBone-Based On-Demand System for Cooperative Off-line Learning. EUROMICRO Giancarlo Fortino, Libero Nigro, Francesco Pupo
2001	—	`conf`	Schedulability Analysis of Real Time Actor Systems Using Coloured Petri Nets. Concurrent Object-Oriented Programming and Petri Nets Libero Nigro, Francesco Pupo
2001	—	`conf`	Super Actors for Real Time. WORDS Giancarlo Fortino, Libero Nigro, Francesco Pupo, D. Spezzano
2000	A	`conf`	A Cooperative Playback System for On-Demand Multimedia Sessions over Internet. IEEE International Conference on Multimedia and Expo (I) Giancarlo Fortino, Libero Nigro
2000	—	`conf`	A Methodology Centered on Modularization of QoS Constraints for the Development and Performance Evaluation of Multimedia Systems. Annual Simulation Symposium Giancarlo Fortino, Libero Nigro
2000	J	`jnl`	A toolset in Java2 for modelling, prototyping and implementing communicating real-time state machines. Microprocess. Microsystems Giancarlo Fortino, Libero Nigro
2000	C	`conf`	Exploiting Temporal Uncertainty in Time Warp Simulations. DS-RT Roberto Beraldi, Libero Nigro
2000	B	`conf`	Prototyping distributed multimedia systems using communicating real-time state machines. ECRTS Giancarlo Fortino, Libero Nigro
2000	J	`jnl`	ViCRO: An Interactive and Cooperative VideoRecording on-demand System over MBone. Informatica (Slovenia) Giancarlo Fortino, Libero Nigro
1999	J	`jnl`	Distributed simulation of timed Petri nets. A modular approach using actors and Time Warp. IEEE Concurr. Roberto Beraldi, Libero Nigro
1999	—	`conf`	Experimenting Advanced Visualization in the Operational Context of Transportation Networks: The VENN Project. ICMCS, Vol. 2 Jürgen Assfalg, C. Leveque, Marc Mautref, P. Neel, Libero Nigro, M. Philippou, Jean-Michel Tanneau, Enrico Vicario, G. Zardetto
1999	Misc	`conf`	Modeling, Analysis and Implementation of Actor-based Multimedia Systems. PDPTA Giancarlo Fortino, Libero Nigro
1999	—	`conf`	Simulation of Multimedia Systems Based on Actors and QoSsynchronizers. DIS-RT Giancarlo Fortino, Libero Nigro
1998	—	`conf`	A Modular Approach to the Distributed Simulation of Timed Petri-Nets. ESM Roberto Beraldi, Libero Nigro
1998	J	`jnl`	Java-based distributed measurement systems. IEEE Trans. Instrum. Meas. Domenico Grimaldi, Libero Nigro, Francesco Pupo
1998	J	`jnl`	Multicast control of mobile measurement systems. IEEE Trans. Instrum. Meas. Giancarlo Fortino, Domenico Grimaldi, Libero Nigro
1998	J	`jnl`	Performance of a Time Warp based simulator of large scale PCS networks. Simul. Pract. Theory Roberto Beraldi, Libero Nigro
1998	—	`conf`	QoS Centred Java and Actor-based Framework for Real-virtual Teleconferences. EUROMEDIA Giancarlo Fortino, Libero Nigro
1997	J	`jnl`	Distributed measurement systems: An object-oriented architecture and a case study. Comput. Stand. Interfaces Pasquale Daponte, Domenico Grimaldi, Libero Nigro, Francesco Pupo
1997	—	`conf`	Using Real Time Constraints for Modularisation. JMLC Brian Kirk, Libero Nigro, Francesco Pupo
1996	—	`conf`	Distributed simulation of PCS networks using a time warp mechanism. EUROSIM Roberto Beraldi, Salvatore Marano, Libero Nigro
1996	—	`conf`	Modeling and Analysing DART Systems Through High-Level Petri Nets. Application and Theory of Petri Nets Libero Nigro, Francesco Pupo
1996	—	`conf`	Performance of a Time Warp Based Simulator of Large-Scale PCS Networks. ESM Roberto Beraldi, Libero Nigro
1996	J	`jnl`	Timing as a programming-in-the-large issue. Microprocess. Microsystems Libero Nigro, Francesco Tisato
1995	J	`jnl`	A Real-Time Architecture Based on Shlaer-Mellor Object Lifecycles. J. Object Oriented Program. Libero Nigro
1994	J	`jnl`	Control Abstractions in Modula-2: A Case Study Using Advanced Backtracking. Informatica (Slovenia) Libero Nigro, Giuseppe Veneziano
1993	J	`jnl`	On the Type Extensions of Oberon-2. ACM SIGPLAN Notices Libero Nigro
1990	J	`jnl`	Programmer-Defined Control Abstractions in Modula-2. Comput. Lang. Michele Di Santo, Libero Nigro, Wilma Russo
1988	—	`conf`	Object-based real-time programming. OOPSLA/ECOOP Workshop on Object-based Concurrent Programming Libero Nigro, Francesco Tisato
1981	J	`jnl`	On the efficient implementation of retention block-structured languages. Int. J. Parallel Program. Michele Di Santo, Libero Nigro, Wilma Russo