IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 32
Titolo Data di pubblicazione Autore(i) File
XAL: A Web Oriented Programming Language Based On Timed-Automata 1-gen-2008 S., Campana; Spalazzi, Luca; F., Spegni
Dynamic Networks of Timed Automata for Collaborative Systems: a Network Monitoring Case Study 1-gen-2010 S., Campana; Spalazzi, Luca; Spegni, F.
A modular environment for software development and re-engineering 1-gen-2012 Salvatore, Campana; Andrea, Poli; Spalazzi, Luca; Spegni, Francesco
Formal methods for practical reverse engineering and software verification 28-feb-2012 Spegni, Francesco
Model Checking Grid Security 1-gen-2013 Pagliarecci, Francesco; Spegni, Francesco; Spalazzi, Luca
Parameterized model-checking of timed systems with conjunctive guards 1-gen-2014 Spalazzi, Luca; Spegni, Francesco
Parametric and probabilistic model checking of confidentiality in data dispersal algorithms 1-gen-2016 Baldi, Marco; Cucchiarelli, Alessandro; Senigagliesi, Linda; Spalazzi, Luca; Spegni, Francesco
Security in heterogeneous distributed storage systems: a practically achievable information-theoretic approach 1-gen-2017 Baldi, Marco; Chiaraluce, Franco; Senigagliesi, Linda; Spalazzi, Luca; Spegni, Francesco
A probabilistic small model theorem to assess confidentiality of dispersed cloud storage (extended abstract) 1-gen-2017 Baldi, Marco; Bartocci, Ezio; Chiaraluce, Franco; Cucchiarelli, Alessandro; Senigagliesi, Linda; Spalazzi, Luca; Spegni, Francesco
Accuracy of message counting abstraction in fault-tolerant distributed algorithms 1-gen-2017 Konnov, Igor; Widder, Josef; Spegni, Francesco; Spalazzi, Luca
Disjunctive timed networks 1-gen-2017 Spalazzi, Luca; Spegni, Francesco
A probabilistic small model theorem to assess confidentiality of dispersed cloud storage 1-gen-2017 Baldi, Marco; Bartocci, Ezio; Chiaraluce, Franco; Cucchiarelli, Alessandro; Senigagliesi, Linda; Spalazzi, Luca; Spegni, Francesco
Modeling Time in Java Programs for Automatic Error Detection 1-gen-2018 Liva, Giovanni; Khan, Muhammad Taimoor; Spalazzi, Luca; Spegni, Francesco; Bollin, Andreas; Pinzger, Martin
Towards model checking security of real time Java software 1-gen-2018 Spalazzi, Luca; Spegni, Francesco; Liva, Giovanni; Pinzger, Martin
Verification-as-a-Service for Parameter Assessment 1-gen-2019 Spalazzi, L.; Spegni, F.
High-Performance Computing for Formal Security Assessment 1-gen-2019 Spalazzi, L.; Spegni, F.
Verifying temporal specifications of Java programs 1-gen-2020 Spegni, F.; Spalazzi, L.; Liva, G.; Pinzger, M.; Bollin, A.
Parameterized model checking of networks of timed automata with Boolean guards 1-gen-2020 Spalazzi, L.; Spegni, F.
Process-based simulation models using BPMN for construction management at runtime 1-gen-2021 Messi, Leonardo; Spegni, Francesco; Carbonari, Alessandro; Ridolfi, Luigi; Vaccarini, Massimo
Combining Blockchain and BPMN Choreographies for Construction Management 1-gen-2021 Corneli, Alessandra; Naticchia, Berardo; Spegni, Francesco; Spalazzi, Luca
Mostrati risultati da 1 a 20 di 32
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