SPEGNI, FRANCESCO
Dettaglio
SPEGNI, FRANCESCO
Dipartimento Ingegneria Civile, Edile e dell'Architettura
Pubblicazioni
Risultati 1 - 20 di 21 (tempo di esecuzione: 0.0 secondi).
Titolo | Data di pubblicazione | Autore(i) | |
---|---|---|---|
1 | A modular environment for software development and re-engineering | 2012 | Salvatore Campana; Andrea Poli; Luca Spalazzi; Francesco Spegni |
2 | Accuracy of message counting abstraction in fault-tolerant distributed algorithms | 2017 | Konnov, Igor; Widder, Josef; SPEGNI, FRANCESCO; SPALAZZI, Luca |
3 | Automatic Repair of Timestamp Comparisons | 2021 | Liva, Giovanni; Khan, Muhammad Taimoor; Pinzger, Martin; Spegni, Francesco; Spalazzi, Luca |
4 | Blockchain based choreographies: The construction industry case study | 2021 | Spalazzi, L.; Spegni, F.; Corneli, A.; Naticchia, B. |
5 | Combining Blockchain and BPMN Choreographies for Construction Management | 2021 | Corneli, Alessandra; Naticchia, Berardo; Spegni, Francesco; Spalazzi, Luca |
6 | Disjunctive timed networks | 2017 | Spalazzi, Luca; Spegni, Francesco |
7 | Formal methods for practical reverse engineering and software verification | 28-feb-2012 | |
8 | High-Performance Computing for Formal Security Assessment | 2019 | Spalazzi, L.; Spegni, F. |
9 | Model Checking Grid Security | 2013 | F. Pagliarecci; F. Spegni; L. Spalazzi |
10 | Modeling Time in Java Programs for Automatic Error Detection | 2018 | Liva, Giovanni; Khan, Muhammad Taimoor; Spalazzi, Luca; Spegni, Francesco; Bollin, Andreas; Pinzger, Martin |
11 | Parameterized model checking of networks of timed automata with Boolean guards | 2020 | Spalazzi, L.; Spegni, F. |
12 | Parameterized model-checking of timed systems with conjunctive guards | 2014 | Spalazzi, Luca; Spegni, Francesco |
13 | Parametric and probabilistic model checking of confidentiality in data dispersal algorithms | 2016 | BALDI, Marco; CUCCHIARELLI, ALESSANDRO; SENIGAGLIESI, LINDA; SPALAZZI, Luca; SPEGNI, FRANCESCO |
14 | A probabilistic small model theorem to assess confidentiality of dispersed cloud storage | 2017 | BALDI, Marco; Bartocci, Ezio; CHIARALUCE, FRANCO; CUCCHIARELLI, ALESSANDRO; SENIGAGLIESI, LINDA; SPALAZZI, Luca; SPEGNI, FRANCESCO |
15 | A probabilistic small model theorem to assess confidentiality of dispersed cloud storage (extended abstract) | 2017 | Baldi, Marco; Bartocci, Ezio; Chiaraluce, Franco; Cucchiarelli, Alessandro; Senigagliesi, Linda; Spalazzi, Luca; Spegni, Francesco |
16 | Process-based simulation models using BPMN for construction management at runtime | 2021 | Messi, Leonardo; Spegni, Francesco; Carbonari, Alessandro; Ridolfi, Luigi; Vaccarini, Massimo |
17 | Security in heterogeneous distributed storage systems: a practically achievable information-theoretic approach | 2017 | BALDI, Marco; CHIARALUCE, FRANCO; SENIGAGLIESI, LINDA; SPALAZZI, Luca; SPEGNI, FRANCESCO |
18 | A Smart Contract-based BPMN Choreography Execution for Management of Construction Processes | 2021 | Corneli, Alessandra; Spegni, Francesco; Bragadin, Marco Alvise; Vaccarini, Massimo |
19 | Towards model checking security of real time Java software | 2018 | Spalazzi, Luca; Spegni, Francesco; Liva, Giovanni; Pinzger, Martin |
20 | Verification-as-a-Service for Parameter Assessment | 2019 | Spalazzi, L.; Spegni, F. |