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

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

Smart Monitoring and Control in the Future Internet of Things von Cicirelli, Franco, Guerrieri, Antonio, Vinci, Andrea

Volltext

On the Design of Smart Homes: A Framework for Activity Recognition in Home Environment von Cicirelli, Franco, Fortino, Giancarlo, Giordano, Andrea, Guerrieri, Antonio, Spezzano, Giandomenico, Vinci, Andrea

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

The Internet of Things for Smart Urban Ecosystems von Cicirelli, Franco, Guerrieri, Antonio, Mastroianni, Carlo, Spezzano, Giandomenico, Vinci, Andrea

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

An edge-based platform for dynamic Smart City applications von Cicirelli, Franco, Guerrieri, Antonio, Spezzano, Giandomenico, Vinci, Andrea

Volltext

Analysis of Global and Local Synchronization in Parallel Computing von Cicirelli, Franco, Giordano, Andrea, Mastroianni, Carlo

Volltext

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

Volltext

ITEMa: A methodological approach for cognitive edge computing IoT ecosystems von Cicirelli, Franco, Guerrieri, Antonio, Mercuri, Alessandro, Spezzano, Giandomenico, Vinci, Andrea

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

Metamodeling of Smart Environments: from design to implementation von Cicirelli, Franco, Fortino, Giancarlo, Guerrieri, Antonio, Spezzano, Giandomenico, Vinci, Andrea

Volltext

Pursuing Energy Saving and Thermal Comfort With a Human-Driven DRL Approach von Scarcello, Luigi, Cicirelli, Franco, Guerrieri, Antonio, Mastroianni, Carlo, Spezzano, Giandomenico, Vinci, Andrea

Volltext

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

Volltext

Edge Computing and Social Internet of Things for Large-Scale Smart Environments Development von Cicirelli, Franco, Guerrieri, Antonio, Spezzano, Giandomenico, Vinci, Andrea, Briante, Orazio, Iera, Antonio, Ruggeri, Giuseppe

Volltext