IRIS

2.1 Contributo in volume (Capitolo o Saggio): [5305] Home page tipologia

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.501 a 1.520 di 5.305
Titolo Data di pubblicazione Autore(i) File
From Dynamic State Machines to Promela 1-gen-2019 Benerecetti, Massimo; Gentile, Ugo; Marrone, Stefano; Nardone, Roberto; Peron, Adriano; Starace, Luigi L. L.; 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
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 Blockchain-Based System For Tracking And Collision Avoidance Of Resident Space Objects 1-gen-2020 Russo, Antonia; Buccafurri, Francesco; Lax, Gianluca; Nardone, Roberto
A Framework to Evaluate 5G Networks for Smart and Fail-Safe Communications in ERTMS/ETCS 1-gen-2017 Canonico, R.; Marrone, S.; Nardone, R.; Vittorini, V.
A model-driven process for physical protection system design and vulnerability evaluation 1-gen-2015 Vittorini, Valeria; Marrone, Stefano; Mazzocca, Nicola; Nardone, Roberto; Drago, Annarita
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
Modeling railway control systems in promela 1-gen-2016 Nardone, Roberto; Gentile, Ugo; Benerecetti, Massimo; Peron, Adriano; Vittorini, Valeria; Marrone, Stefano; Mazzocca, Nicola
Model-Driven Engineering for Swarm-Based Space Exploration Missions 1-gen-2020 Nardone, Roberto; Buccafurri, Francesco; De Angelis, Vincenzo; Labrini, Cecilia; Lax, Gianluca; Musarella, Lorenzo; Russo, Antonia
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
A Model-Driven Methodology to Evaluate Performability of Metro Systems 1-gen-2013 Nardone, Roberto; Marrone, Stefano
A proposal of an example and experiments repository to foster industrial adoption of formal methods 1-gen-2018 Schlick, R; Felderer, M.; Majzik, I; Nardone, R; Raschke, A; Snook, C; Vittorini, V
Towards model-based security assessment of cloud applications 1-gen-2017 Casola, Valentina; De Benedictis, Alessandra; Nardone, Roberto
Improving Automatic Test Case Generation Process with Knowledge Engineering in the Crystal Project 1-gen-2015 Marrone, S.; Nardone, R.; Rinaldi, A. M.; Vittorini, V.
Using Bayesian Networks to evaluate the trustworthiness of ‘2 out of 3’ decision fusion mechanisms in multi-sensor applications 1-gen-2015 Flammini, Francesco; Marrone, Stefano; Mazzocca, Nicola; Nardone, Roberto; Vittorini, Valeria
A Model-Based Evaluation Methodology for Smart Energy Systems 1-gen-2018 De Benedictis, A; Mazzocca, N; Nardone, R; Venticinque, S
Towards model-driven assessment of clinical processes 1-gen-2015 Amato, Flora; Cozzolino, Giovanni; D'Alessio, Alessandra; Marrone, Stefano; Mazzocca, Nicola; Mele, Gianluca; Nardone, Roberto
Automatic generation of formal models for diagnosability of des 1-gen-2018 Nardone, R; De Tommasi, G; Mazzocca, N; Pironti, A; Vittorini, V
Corruption Prevention: a Risk Approach 1-gen-2021 De Vita, A.
Condizioni e limiti di operatività della delega di funzioni nel diritto penale dell’impresa. La cessione a terzi del “debito di sicurezza” e la trasmutazione del datore di lavoro da debitore a garante del debito 1-gen-2021 DE VITA, Alberto
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.501 a 1.520 di 5.305
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

Scopri
Tipologia
  • 2 Contributo in Volume5305
Autore
  • TAFURI, Domenico107
  • ALES, Edoardo99
  • CUNTI, Antonia98
  • IAVARONE, Maria Luisa89
  • ROMANELLI, Mauro75
  • PAPA, Anna74
  • MOSCHERA, Luigi63
  • SCHEPISI, Cristina60
  • CESARO, Vincenzo Maria57
  • NAPOLITANO, Maria Rosaria55
Data di pubblicazione
  • In corso di stampa14
  • 2020 - 20261467
  • 2010 - 20192571
  • 2000 - 20091087
  • 1990 - 1999148
  • 1980 - 198916
  • 1978 - 19792
Editore
  • Giappichelli226
  • FrancoAngeli179
  • Springer148
  • Edizioni Scientifiche Italiane127
  • Editoriale Scientifica123
  • Giuffrè108
  • Il Mulino84
  • Franco Angeli81
  • CEDAM64
  • Aracne51
Rivista
  • LECTURE NOTES IN COMPUTER SCIENCE29
  • CRISEI DISCUSSION PAPERS5
  • LECTURE NOTES IN INFORMATION SYST...5
  • STUDIES IN COMPUTATIONAL INTELLIG...5
  • AIEL SERIES IN LABOUR ECONOMICS4
  • DTA4
  • WIT TRANSACTIONS ON ECOLOGY AND T...4
  • COLLANA AIDEA3
  • COLLANA DI STUDI AZIENDALI3
  • SMART INNOVATION, SYSTEMS AND TEC...3
Serie
  • LECTURE NOTES IN INFORMATION SYST...21
  • SMART INNOVATION, SYSTEMS AND TEC...13
  • LECTURE NOTES IN COMPUTER SCIENCE9
  • SAGGI E MONOGRAFIE DI DIRITTO DEL...7
  • WORKING PAPER -UNIVERSITÀ DEGLI S...7
  • COMMUNICATIONS IN COMPUTER AND IN...6
  • SPRINGER SERIES IN MEASUREMENT SC...5
  • FINANCE & DEVELOPMENT4
  • GREEN ENERGY AND TECHNOLOGY4
  • LECTURE NOTES IN MECHANICAL ENGIN...4
Keyword
  • Rappresentazione33
  • Disegno31
  • Cina27
  • Computer Science (all)26
  • Documentazione26
  • Geometria26
  • Storia dell'Ingegneria26
  • terminologie24
  • Information Systems23
  • Information Systems and Management23
Lingua
  • ita2752
  • eng1598
  • fre118
  • spa50
  • ger8
  • und7
  • chi6
  • por6
  • fra2
  • slv2
Accesso al fulltext
  • no fulltext5219
  • reserved66
  • restricted16
  • open4