IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 32
Titolo Data di pubblicazione Autore(i) File
Real-time climate control in a complex greenhouse 1-gen-2006 Candido, A; Cicirelli, F; Furfaro, Angelo; Nigro, L.
Statistical Model Checking of GSPN Models 1-gen-2015 Cicirelli, Franco; Nigro, Christian; Nigro, Libero
Qualitative and Quantitative Evaluation of Stochastic Time Petri Nets 1-gen-2015 Cicirelli, Franco; Nigro, Christian; Nigro, Libero
Modelling and Verification of Starvation-Free Mutual Exclusion Algorithms based on Weak Semaphores 1-gen-2015 Cicirelli, Franco; Nigro, Libero
An Approach to Concurrent/Parallel Programming in Java 1-gen-2015 Cicirelli, Franco; Nigro, Christian; Nigro, Libero
Model Checking Mutual Exclusion Algorithms Using UPPAAL 1-gen-2016 Cicirelli, Franco; Nigro, Libero; Sciammarella, Paolo F.
Model continuity in Cyber-Physical Systems: A control centered methodology based on Agents 1-gen-2017 Cicirelli, Franco; Nigro, Libero; Sciammarella, Paolo F.
Seamless Development in Java of Distributed Real-Time Systems using Actors 1-gen-2018 Cicirelli, Franco; Nigro, Libero; Sciammarella, PAOLO FRANCESCO
A Scalable Agent-Based Smart Environment for Edge-Based Urban IoT Systems 1-gen-2018 Cicirelli, F.; Fortino, G.; Guerrieri, A.; Spezzano, G.; Vinci, A.
Exploiting the sem framework for modeling smart cities 1-gen-2018 Cicirelli, F.; Fortino, G.; Guerrieri, A.; Mercuri, A.; Spezzano, G.; Vinci, A.
A metamodel framework for edge-based smart environments 1-gen-2018 Cicirelli, Franco; Fortino, Giancarlo; Guerrieri, Antonio; Mercuri, Alessandro; Spezzano, Giandomenico; Vinci, Andrea
Home Energy Management Using Theatre With Hybrid Actors 1-gen-2019 Cicirelli, Franco; Nigro, Libero
Formal Modelling and Verification of Real-Time Self-Adaptive Systems 1-gen-2019 Cicirelli, Franco; Nigro, Libero; Pupo, Francesco
Model checking actor-based cyber-physical systems 1-gen-2020 Cicirelli, Franco; Nigro, Libero
Using Deterministic Theatre for Energy Management in Smart Environments 1-gen-2020 Cicirelli, Franco; Nigro, Libero
Seamless Development of Distributed Real-Time Systems using Actors 1-gen-2020 Cicirelli, Franco; Nigro, Libero; Sciammarella, Paolo F.
Parallel Simulation of Stochastic Reward Nets using Theatre 1-gen-2021 Cicirelli, Franco; Nigro, Libero
Performance Comparison of two Java-based Actor Systems 1-gen-2021 Cicirelli, Franco; Nigro, Christian; Nigro, Libero; Pupo, Francesco
Performance prediction of scalable multi-agent systems using Parallel Theatre 1-gen-2021 Nigro, Libero; Cicirelli, Franco
A DEVELOPMENT METHODOLOGY FOR CYBER-PHYSICAL SYSTEMS BASED ON DETERMINISTIC THEATRE WITH HYBRID ACTORS 1-gen-2021 Cicirelli, Franco; Nigro, Libero
Mostrati risultati da 1 a 20 di 32
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile