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