IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 107
Titolo Data di pubblicazione Autore(i) File
Model-driven availability evaluation of railway control systems 1-gen-2011 Bernardi, S; Flammini, F; Marrone, Stefano; Merseguer, J; Papa, C; Vittorini, V.
Model-driven V&V processes for computer based control systems: a unifying perspective 1-gen-2012 F., Flammini; Marrone, Stefano; N., Mazzocca; R., Nardone; V., Vittorini
Improving Verification Process in Driverless Metro Systems: the MBAT project 1-gen-2012 Marrone, Stefano; R., Nardone; A., Orazzo; I., Petrone; L., Velardi
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
PerfBPEL: a graph-based approach for the performance analysis of BPEL SOA applications 1-gen-2012 Barbierato, E; Iacono, Mauro; Marrone, Stefano
Petri Net based Evaluation of Energy Consumption in Wireless Sensor Nodes 1-gen-2013 D'Arienzo, Maurizio; Iacono, Mauro; R., Nardone; Marrone, Stefano
Model-driven estimation of distributed vulnerability in complex railway networks 1-gen-2013 A., Drago; Marrone, Stefano; N., Mazzocca; A., Tedesco; V., Vittorini
A Compositional Modelling Approach for Large Sensor Networks Design 1-gen-2013 E., Battista; V., Casola; Marrone, Stefano; N., Mazzocca; R., Nardone
A model-driven methodology to evaluate performability of metro systems 1-gen-2013 Nardone, Roberto; Marrone, Stefano
Petri Net Modelling of Physical Vulnerability 1-gen-2013 Flammini, F; Marrone, Stefano; Mazzocca, N; Vittorini, V.
Telemaco: a language oriented tool for graph-based models layout optimization 1-gen-2013 Iacono, Mauro; Marrone, Stefano
Enabling the usage of UML in the verification of railway systems: The DAM-rail approach 1-gen-2013 S., Bernardi; F., Flammini; Marrone, Stefano; N., Mazzocca; J., Merseguer; R., Nardone; V., Vittorini
Combining heterogeneity, compositionality and automatic generation in formal modelling 1-gen-2013 Marrone, Stefano; N., Mazzocca; R., Nardone; V., Vittorini
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
Estimation of the energy consumption of mobile sensors in WSN environmental monitoring applications 1-gen-2013 D'Arienzo, Maurizio; Iacono, Mauro; R., Nardone; Marrone, Stefano
Vulnerability modeling and analysis for critical infrastructure protection applications 1-gen-2013 Marrone, Stefano; R., Nardone; A., Tedesco; P., D'Amore; V., Vittorini; R., Setola; F., De Cillis; N., Mazzocca
Trustworthiness Evaluation of Multi-Sensor Situation Recognition in Transit Surveillance Scenarios 1-gen-2013 F., Flammini; Marrone, Stefano; N., Mazzocca; A., Pappalardo; C., Pragliola; V., Vittorini
A Petri Net pattern-oriented approach for the design of physical protection systems 1-gen-2014 Flammini, Francesco; Gentile, Ugo; Marrone, Stefano; Nardone, Roberto; Vittorini, Valeria
An interoperable testing environment for ERTMS/ETCS control systems 1-gen-2014 Barberio, Gregorio; DI MARTINO, Beniamino; Mazzocca, Nicola; Velardi, Luigi; Amato, Aniello; De Guglielmo, Renato; Gentile, Ugo; Marrone, Stefano; Nardone, Roberto; Peron, Adriano; Vittorini, Valeria
A cost-energy trade-off model in smart energy grids 1-gen-2014 Gentile, Ugo; Mazzocca, Nicola; Nardone, Roberto; Marrone, Stefano
Mostrati risultati da 21 a 40 di 107
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