MARRONE, Stefano

MARRONE, Stefano  

Dipartimento di Matematica e Fisica (DMF)  

Mostra records
Risultati 1 - 20 di 87 (tempo di esecuzione: 0.062 secondi).
Titolo Data di pubblicazione Autore(i) File
A Compositional Modelling Approach for Large Sensor Networks Design 1-gen-2013 E., Battista; V., Casola; Marrone, Stefano; N., Mazzocca; R., Nardone
A new modeling approach to the safety evaluation of N-modular redundant computer systems in presence of imperfect maintenance 1-gen-2009 Flammini, F.; Marrone, Stefano; Mazzocca, N.; Vittorini, V.
A Performance Driven Modelling Approach for SOA Based Application 1-gen-2008 Iacono, Mauro; Marrone, Stefano
A SAN-Based Modeling Approach to Performance Evaluation of an IMS-Compliant Conferencing Framework 1-gen-2012 Marrone, Stefano; N., Mazzocca; R., Nardone; R., Presta; S. P., Romano; V., Vittorini
Adaptive Monitoring of Marine Disasters with Intelligent Mobile Sensor Networks 1-gen-2010 Iacono, Mauro; Romano, Elvira; Marrone, Stefano
An integrated lifetime and network quality model of large WSNs 1-gen-2013 E., Battista; V., Casola; Marrone, Stefano; N., Mazzocca; R., Nardone; V., Vittorini
An approach for the automatic verification of blockchain protocols: the Tweetchain case study 1-gen-2022 Raimondo, M; Bernardi, S; Marrone, S; Merseguer, J
Automatic resource allocation for high availability cloud services 1-gen-2015 Marrone, Stefano; Nardone, Roberto
Combining Genetic Algorithm and Fault Tree Analysis in Reliability/Cost Optimization for Critical Complex Systems 1-gen-2007 DE CARLO, F; Iacono, Mauro; Marrone, Stefano
Combining Genetic Algorithms and Fault Tree Analysis in reliability/cost optimization for critical complex systems 1-gen-2007 DE CARLO, F; Iacono, Mauro; Marrone, S.
Combining heterogeneity, compositionality and automatic generation in formal modelling 1-gen-2013 Marrone, Stefano; N., Mazzocca; R., Nardone; V., Vittorini
Compositional modeling of complex systems: contact center scenarios in OsMoSys 1-gen-2004 Franceschinis, G.; Gribaudo, M.; Iacono, Mauro; Marrone, Stefano; Mazzocca, N.; Vittorini, V.
Compositional modeling of railway Virtual Coupling with Stochastic Activity Networks 1-gen-2021 Flammini, F.; Marrone, S.; Nardone, R.; Vittorini, V.
Computer-Aided Security Assessment of Water Networks Monitoring Platforms 1-gen-2020 Gentile, U.; Marrone, S.; Nardone, R.; Bellini, E.
Cost-energy modelling and profiling of smart domestic grids 1-gen-2016 Gentile, Ugo; Marrone, Stefano; Mazzocca, Nicola; Nardone, Roberto
A cost-energy trade-off model in smart energy grids 1-gen-2014 Gentile, Ugo; Mazzocca, Nicola; Nardone, Roberto; Marrone, Stefano
Cyber resilience meta-modelling: The railway communication case study 1-gen-2021 Bellini, E.; Marrone, S.; Marulli, F.
Development of a Testbed for Fully Homomorphic Encryption Solutions 1-gen-2021 Marrone, Stefano; Tortora, Antonio; Bellini, Emanuele; Maione, Antonella; Raimondo, Mariapia
Dynamic state machines for formalizing railway control system specifications 1-gen-2015 Nardone, Roberto; Gentile, Ugo; Peron, Adriano; Benerecetti, Massimo; Vittorini, Valeria; Marrone, Stefano; De Guglielmo, Renato; Mazzocca, Nicola; Velardi, Luigi
Dynamic state machines for modelling railway control systems 1-gen-2017 Benerecetti, M.; De Guglielmo, R.; Gentile, U.; Marrone, Stefano; Mazzocca, N.; Nardone, R.; Peron, A.; Velardi, L.; Vittorini, V.