Verifying Mutual Exclusion Algorithms with Non-Atomic Registers von Nigro, Libero

Volltext

Performance of Parallel K-Means Algorithms in Java von Nigro, Libero

Volltext

Formal Modeling and Verification of Lycklama and Hadzilacos’s Mutual Exclusion Algorithm von Nigro, Libero

Volltext

Improving Clustering Accuracy of K-Means and Random Swap by an Evolutionary Technique Based on Careful Seeding von Nigro, Libero, Cicirelli, Franco

Volltext

Correctness Verification of Mutual Exclusion Algorithms by Model Checking von Nigro, Libero, Cicirelli, Franco

Volltext

Two Medoid-Based Algorithms for Clustering Sets von Nigro, Libero, Fränti, Pasi

Volltext

Formal Modeling and Verification of Embedded Real-Time Systems: An Approach and Practical Tool Based on Constraint Time Petri Nets von Nigro, Libero, Cicirelli, Franco

Volltext

Modeling and Analysis of Dekker-Based Mutual Exclusion Algorithms von Nigro, Libero, Cicirelli, Franco, Pupo, Francesco

Volltext

Admission Control in Home Energy Management Systems Using Theatre and Hybrid Actors von Cicirelli, Franco, Nigro, Libero

Volltext

Parallel Theatre: An actor framework in Java for high performance computing von Nigro, Libero

Volltext

Analyzing stochastic reward nets by model checking and parallel simulation von Cicirelli, Franco, Nigro, Libero

Volltext

Control centric framework for model continuity in time-dependent multi-agent systems von Cicirelli, Franco, Nigro, Libero

Volltext

A DEVELOPMENT METHODOLOGY FOR CYBER-PHYSICAL SYSTEMS BASED ON DETERMINISTIC THEATRE WITH HYBRID ACTORS von FRANCO CICIRELLI, LIBERO NIGRO

Volltext

Model continuity in cyber-physical systems: A control-centered methodology based on agents von Cicirelli, Franco, Nigro, Libero, Sciammarella, Paolo F.

Volltext

Parallel random swap: An efficient and reliable clustering algorithm in Java von Nigro, Libero, Cicirelli, Franco, Fränti, Pasi

Volltext

Exploiting Social Capabilities in the Minority Game von Cicirelli, Franco, Nigro, Libero

Volltext

Formal reasoning on knowledge and commitments in multi-agent systems using T heatre von Nigro, Christian, Nigro, Libero, Sciammarella, Paolo F

Volltext

Formal reasoning on knowledge and commitments in multi-agent systems using Theatre von Nigro, Christian, Nigro, Libero, Sciammarella, Paolo F

Volltext

Qualitative and quantitative model checking of distributed probabilistic timed actors von Nigro, Libero, Sciammarella, Paolo F.

Volltext

Efficient environment management for distributed simulation of large-scale situated multi-agent systems von Cicirelli, Franco, Giordano, Andrea, Nigro, Libero

Volltext