Sfoglia per Autore
XAL: A Web Oriented Programming Language Based On Timed-Automata
2008-01-01 S., Campana; Spalazzi, Luca; F., Spegni
Dynamic Networks of Timed Automata for Collaborative Systems: a Network Monitoring Case Study
2010-01-01 S., Campana; Spalazzi, Luca; Spegni, F.
A modular environment for software development and re-engineering
2012-01-01 Salvatore, Campana; Andrea, Poli; Spalazzi, Luca; Spegni, Francesco
Formal methods for practical reverse engineering and software verification
2012-02-28 Spegni, Francesco
Model Checking Grid Security
2013-01-01 Pagliarecci, Francesco; Spegni, Francesco; Spalazzi, Luca
Parameterized model-checking of timed systems with conjunctive guards
2014-01-01 Spalazzi, Luca; Spegni, Francesco
Parametric and probabilistic model checking of confidentiality in data dispersal algorithms
2016-01-01 Baldi, Marco; Cucchiarelli, Alessandro; Senigagliesi, Linda; Spalazzi, Luca; Spegni, Francesco
Security in heterogeneous distributed storage systems: a practically achievable information-theoretic approach
2017-01-01 Baldi, Marco; Chiaraluce, Franco; Senigagliesi, Linda; Spalazzi, Luca; Spegni, Francesco
Disjunctive timed networks
2017-01-01 Spalazzi, Luca; Spegni, Francesco
Accuracy of message counting abstraction in fault-tolerant distributed algorithms
2017-01-01 Konnov, Igor; Widder, Josef; Spegni, Francesco; Spalazzi, Luca
A probabilistic small model theorem to assess confidentiality of dispersed cloud storage
2017-01-01 Baldi, Marco; Bartocci, Ezio; Chiaraluce, Franco; Cucchiarelli, Alessandro; Senigagliesi, Linda; Spalazzi, Luca; Spegni, Francesco
A probabilistic small model theorem to assess confidentiality of dispersed cloud storage (extended abstract)
2017-01-01 Baldi, Marco; Bartocci, Ezio; Chiaraluce, Franco; Cucchiarelli, Alessandro; Senigagliesi, Linda; Spalazzi, Luca; Spegni, Francesco
Towards model checking security of real time Java software
2018-01-01 Spalazzi, Luca; Spegni, Francesco; Liva, Giovanni; Pinzger, Martin
Modeling Time in Java Programs for Automatic Error Detection
2018-01-01 Liva, Giovanni; Khan, Muhammad Taimoor; Spalazzi, Luca; Spegni, Francesco; Bollin, Andreas; Pinzger, Martin
Verification-as-a-Service for Parameter Assessment
2019-01-01 Spalazzi, L.; Spegni, F.
High-Performance Computing for Formal Security Assessment
2019-01-01 Spalazzi, L.; Spegni, F.
Verifying temporal specifications of Java programs
2020-01-01 Spegni, F.; Spalazzi, L.; Liva, G.; Pinzger, M.; Bollin, A.
Parameterized model checking of networks of timed automata with Boolean guards
2020-01-01 Spalazzi, L.; Spegni, F.
A Smart Contract-based BPMN Choreography Execution for Management of Construction Processes
2021-01-01 Corneli, Alessandra; Spegni, Francesco; Bragadin, Marco Alvise; Vaccarini, Massimo
Automatic Repair of Timestamp Comparisons
2021-01-01 Liva, Giovanni; Khan, Muhammad Taimoor; Pinzger, Martin; Spegni, Francesco; Spalazzi, Luca
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 | |
Disjunctive timed networks | 1-gen-2017 | 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 | |
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 | |
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 | |
Towards model checking security of real time Java software | 1-gen-2018 | Spalazzi, Luca; Spegni, Francesco; Liva, Giovanni; Pinzger, Martin | |
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 | |
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. | |
A Smart Contract-based BPMN Choreography Execution for Management of Construction Processes | 1-gen-2021 | Corneli, Alessandra; Spegni, Francesco; Bragadin, Marco Alvise; Vaccarini, Massimo | |
Automatic Repair of Timestamp Comparisons | 1-gen-2021 | Liva, Giovanni; Khan, Muhammad Taimoor; Pinzger, Martin; Spegni, Francesco; Spalazzi, Luca |
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