Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 71
Titolo Data di pubblicazione Autore(i) File
Towards a hybrid mesoscopic-microscopic railway simulation model 1-gen-2011 Quaglietta, E.; Punzo, V.; Montella, B.; Nardone, R.; Mazzocca, N.
A simulation framework for supporting design and real-time decisional phases in railway systems 1-gen-2011 Quaglietta, Egidio; D'Acierno, Luca; Punzo, Vincenzo; Nardone, Roberto; Mazzocca, Nicola
An integrated approach for availability and QoS evaluation In railway systems 1-gen-2011 Mazzeo, Antonino; Mazzocca, Nicola; Nardone, Roberto; D'Acierno, Luca; Montella, Bruno; Punzo, Vincenzo; Quaglietta, Egidio; Lamberti, I.; Marmo, P.
A SAN-Based Modeling Approach to Performance Evaluation of an IMS-Compliant Conferencing Framework 1-gen-2012 S., Marrone; Mazzocca, Nicola; Nardone, Roberto; R., Presta; Romano, SIMON PIETRO; Vittorini, Valeria
Improving Verification Process in Driverless Metro Systems: The MBAT Project 1-gen-2012 Marrone, Stefano; Nardone, Roberto; Orazzo, Antonio; Petrone, Ida; Velardi, Luigi
Model-driven V&V processes for computer based control systems: A unifying perspective 1-gen-2012 Flammini, Francesco; Marrone, Stefano; Mazzocca, Nicola; Nardone, Roberto; Vittorini, Valeria
A compositional modelling approach for large Sensor Networks design 1-gen-2013 Ermanno, Battista; Casola, Valentina; Mazzocca, Nicola; Nardone, Roberto; Stefano, Marrone
Combining Heterogeneity, Compositionality, and Automatic Generation in Formal Modelling Theory and Application of Multi-Formalism Modeling 1-gen-2013 Marrone, Stefano; Mazzocca, Nicola; Nardone, Roberto; Vittorini, Valeria
Enabling the usage of UML in the verification of railway systems: The DAM-rail approach 1-gen-2013 Bernardi, S.; Flammini, F.; Marrone, S.; Mazzocca, N.; Merseguer, J.; Nardone, R.; Vittorini, V.
Vulnerability modeling and analysis for critical infrastructure protection applications 1-gen-2013 Marrone, S.; Nardone, R.; Tedesco, A.; D'Amore, P.; Vittorini, V.; Setola, R.; Cillis, F. D.; Mazzocca, N.
An integrated lifetime and network quality model of large WSNs 1-gen-2013 Battista, Ermanno; Casola, Valentina; Marrone, Stefano; Mazzocca, Nicola; Nardone, Roberto; Vittorini, Valeria
Estimation of the energy consumption of mobile sensors in WSN environmental monitoring applications 1-gen-2013 D'Arienzo, M; Iacono, M; Marrone, S; Nardone, R
Vulnerability analysis and modeling for critical infrastructure protection 1-gen-2013 Marrone, S.; Nardone, R.; Tedesco, A.; D'Amore, P.; Vittorini, V.; Setola, R.; Cillis, F. D.; Mazzocca, N.
A Model-Driven Methodology to Evaluate Performability of Metro Systems 1-gen-2013 Nardone, Roberto; Marrone, Stefano
Petri net based evaluation of energy consumption in wireless sensor nodes 1-gen-2013 D'Arienzo, Maurizio; Iacono, Mauro; Marrone, Stefano; Nardone, Roberto
Test Specification Patterns for Automatic Generation of Test Sequences 1-gen-2014 Gentile, Ugo; Marrone, Stefano; Mele, Gianluca; Nardone, Roberto; Peron, Adriano
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
Towards Model-Driven V&V assessment of railway control systems 1-gen-2014 S., Marrone; F., Flammini; Mazzocca, Nicola; 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
Improving code coverage in android apps testing by exploiting patterns and automatic test case generation 1-gen-2014 Amalfitano, Domenico; Amatucci, Nicola; Fasolino, Anna Rita; Gentile, Ugo; Mele, Gianluca; Nardone, Roberto; Vittorini, Valeria; Marrone, Stefano
Mostrati risultati da 1 a 20 di 71
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