IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 129
Titolo Tipologia Data di pubblicazione Autore(i) File
Modeling railway control systems in promela 2.1 Contributo in volume (Capitolo o Saggio) 2016 Nardone, Roberto; Gentile, Ugo; Benerecetti, Massimo; Peron, Adriano; Vittorini, Valeria; Marrone, Stefano; Mazzocca, Nicola
Fuzzy decision fusion and multiformalism modelling in physical security monitoring 2.1 Contributo in volume (Capitolo o Saggio) 2016 Flammini, Francesco; Marrone, Stefano; Mazzocca, Nicola; Vittorini, Valeria
On synergies of cyber and physical security modelling in vulnerability assessment of railway systems 1.1 Articolo in rivista 2015 Marrone, Stefano; Rodríguez, Ricardo J.; Nardone, Roberto; Flammini, Francesco; Vittorini, Valeria
Dynamic State Machines for Formalizing Railway Control System Specifications 4.1 Articoli in Atti di convegno 2015 Nardone, Roberto; Gentile, Ugo; Peron, Adriano; Benerecetti, Massimo; Vittorini, Valeria; Marrone, Stefano; De Guglielmo, Renato; Mazzocca, Nicola; Velardi, Luigi
Improving the dependability of distributed surveillance systems using diverse redundant detectors 2.1 Contributo in volume (Capitolo o Saggio) 2015 Flammini, Francesco; Mazzocca, Nicola; Pappalardo, Alfio; Pragliola, Concetta; Vittorini, Valeria
A model-driven process for physical protection system design and vulnerability evaluation 2.1 Contributo in volume (Capitolo o Saggio) 2015 Vittorini, Valeria; Marrone, Stefano; Mazzocca, Nicola; Nardone, Roberto; Drago, Annarita
The METRIP Tool 2.1 Contributo in volume (Capitolo o Saggio) 2015 Marrone, Stefano; Mazzocca, Nicola; Pragliola, Concetta; Sforza, Antonio; Sterle, Claudio; Vittorini, Valeria
Improving Automatic Test Case Generation Process with Knowledge Engineering in the Crystal Project 2.1 Contributo in volume (Capitolo o Saggio) 2015 Marrone, S.; Nardone, Roberto; Rinaldi, ANTONIO MARIA; Vittorini, Valeria
A multiformalism modular approach to ertms/etcs failure modeling 1.1 Articolo in rivista 2014 Flammini, Francesco; S., Marrone; M., Iacono; Mazzocca, Nicola; Vittorini, Valeria
Improving code coverage in android apps testing by exploiting patterns and automatic test case generation 4.1 Articoli in Atti di convegno 2014 Amalfitano, D.; Amatucci, N.; Fasolino, A. R.; Gentile, U.; Mele, G.; Nardone, R.; Vittorini, V.; Marrone, S.
A Petri Net pattern-oriented approach for the design of physical protection systems 2.1 Contributo in volume (Capitolo o Saggio) 2014 Flammini, Francesco; Gentile, Ugo; Marrone, Stefano; Nardone, Roberto; Vittorini, Valeria
An interoperable testing environment for ERTMS/ETCS control systems 2.1 Contributo in volume (Capitolo o Saggio) 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
Towards Model-Driven V&V assessment of railway control systems 1.1 Articolo in rivista 2014 S., Marrone; F., Flammini; Mazzocca, Nicola; Nardone, Roberto; Vittorini, Valeria
An integrated lifetime and network quality model of large WSNs. 4.1 Articoli in Atti di convegno 2013 Battista, Ermanno; Casola, Valentina; Marrone, Stefano; Mazzocca, Nicola; Nardone, Roberto; Vittorini, Valeria
Information Fusion e sorveglianza 1.1 Articolo in rivista 2013 F., Flammini; Pappalardo, Alfio; Vittorini, Valeria
Enabling the usage of UML in the verification of railway systems: The DAM-rail approach 1.1 Articolo in rivista 2013 S., Bernardi; F., Flammini; S., Marrone; Mazzocca, Nicola; J., Merseguer; Nardone, Roberto; Vittorini, Valeria
Petri net modelling of physical vulnerability 2.1 Contributo in volume (Capitolo o Saggio) 2013 F., Flammini; S., Marrone; Mazzocca, Nicola; Vittorini, Valeria
Vulnerability modeling and analysis for critical infrastructure protection applications 1.1 Articolo in rivista 2013 Marrone, S.; Nardone, Roberto; Tedesco, A.; D'Amore, P.; Vittorini, Valeria; Setola, R.; Cillis, F. D.; Mazzocca, Nicola
Model-driven estimation of distributed vulnerability in complex railway networks 4.1 Articoli in Atti di convegno 2013 Drago, Annarita; Marrone, S.; Mazzocca, Nicola; Tedesco, A.; Vittorini, Valeria
Combining Heterogeneity, Compositionality, and Automatic Generation in Formal Modelling 2.1 Contributo in volume (Capitolo o Saggio) 2013 Stefano, Marrone; Mazzocca, Nicola; Nardone, Roberto; Vittorini, Valeria
Mostrati risultati da 21 a 40 di 129
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