SPEGNI, Francesco

SPEGNI, Francesco  

Dipartimento Ingegneria Civile, Edile e dell'Architettura  

Mostra records
Risultati 1 - 20 di 32 (tempo di esecuzione: 0.023 secondi).
Titolo Data di pubblicazione Autore(i) File
A Holonic Construction Management System for the Efficient Implementation of Building Energy Renovation Actions 1-gen-2024 Messi, Leonardo; Carbonari, Alessandro; Franco, Carlos; Spegni, Francesco; Vaccarini, Massimo; Naticchia, Berardo
A Mixed Reality Application for the On-Site Assessment of Building Renovation: Development and Testing 1-gen-2022 Carbonari, Alessandro; Franco, Carlos; Naticchia, Berardo; Spegni, Francesco; Vaccarini, Massimo
A modular environment for software development and re-engineering 1-gen-2012 Salvatore, Campana; Andrea, Poli; Spalazzi, Luca; Spegni, Francesco
A Precision Cybersecurity Workflow for Cyber-physical Systems: The IoT Healthcare Use Case 1-gen-2023 Spegni, F.; Sabatelli, A.; Merlo, A.; Pepa, L.; Spalazzi, L.; Verderame, L.
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
A Smart Contract-based BPMN Choreography Execution for Management of Construction Processes 1-gen-2021 Corneli, Alessandra; Spegni, Francesco; Bragadin, Marco Alvise; Vaccarini, Massimo
Accuracy of message counting abstraction in fault-tolerant distributed algorithms 1-gen-2017 Konnov, Igor; Widder, Josef; Spegni, Francesco; Spalazzi, Luca
APPLICATION OF DIMINISHED REALITY FOR CONSTRUCTION SITE SAFETY MANAGEMENT 1-gen-2023 Corneli, Alessandra; Naticchia, Berardo; Vaccarini, Massimo; Carbonari, Alessandro; Spegni, Francesco
Automatic Repair of Timestamp Comparisons 1-gen-2021 Liva, Giovanni; Khan, Muhammad Taimoor; Pinzger, Martin; Spegni, Francesco; Spalazzi, Luca
Blockchain based choreographies: The construction industry case study 1-gen-2021 Spalazzi, L.; Spegni, F.; Corneli, A.; Naticchia, B.
ChoEn: A Smart Contract Based Choreography Enforcer 1-gen-2023 Spegni, Francesco; Fratini, Lorenzo; Pirani, Massimiliano; Spalazzi, Luca
Combining Blockchain and BPMN Choreographies for Construction Management 1-gen-2021 Corneli, Alessandra; Naticchia, Berardo; Spegni, Francesco; Spalazzi, Luca
Disjunctive timed networks 1-gen-2017 Spalazzi, Luca; Spegni, Francesco
Dynamic Networks of Timed Automata for Collaborative Systems: a Network Monitoring Case Study 1-gen-2010 S., Campana; Spalazzi, Luca; Spegni, F.
Enhancing BIM through Mixed Reality for Facility Management 1-gen-2022 Vaccarini, Massimo; Carbonari, Alessandro; Spegni, Francesco; Giretti, Alberto
Formal methods for practical reverse engineering and software verification 28-feb-2012 Spegni, Francesco
High-Performance Computing for Formal Security Assessment 1-gen-2019 Spalazzi, L.; Spegni, F.
Model Checking Grid Security 1-gen-2013 Pagliarecci, Francesco; Spegni, Francesco; Spalazzi, Luca
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