IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 107
Titolo Data di pubblicazione Autore(i) File
Performability modeling of exceptions-aware systems in multiformalism tools 1-gen-2011 Barbierato, E; Gribaudo, M; Iacono, Mauro; Marrone, Stefano
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
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
Improving Verification Process in Driverless Metro Systems: the MBAT project 1-gen-2012 Marrone, Stefano; R., Nardone; A., Orazzo; I., Petrone; L., Velardi
PerfBPEL: a graph-based approach for the performance analysis of BPEL SOA applications 1-gen-2012 Barbierato, E; Iacono, Mauro; Marrone, Stefano
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
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
Combining heterogeneity, compositionality and automatic generation in formal modelling 1-gen-2013 Marrone, Stefano; N., Mazzocca; R., Nardone; V., Vittorini
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
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
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
A Multiformalism Modular Approach to ERTMS/ETCS Failure Modelling 1-gen-2014 Flammini, F; Marrone, Stefano; Iacono, Mauro; Mazzocca, N; Vittorini, V.
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
Model-based availability evaluation of composed web services 1-gen-2014 Iacono, Mauro; 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