SPEGNI, Francesco
SPEGNI, Francesco
Dipartimento Ingegneria Civile, Edile e dell'Architettura
A first evaluation of the seamless markerless augmented reality registration system supporting facility management
2024-01-01 Messi, Leonardo; Spegni, Francesco; Vaccarini, Massimo; Corneli, Alessandra; Binni, Leonardo
A Holonic Construction Management System for the Efficient Implementation of Building Energy Renovation Actions
2024-01-01 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
2022-01-01 Carbonari, Alessandro; Franco, Carlos; Naticchia, Berardo; Spegni, Francesco; Vaccarini, Massimo
A modular environment for software development and re-engineering
2012-01-01 Salvatore, Campana; Andrea, Poli; Spalazzi, Luca; Spegni, Francesco
A Precision Cybersecurity Workflow for Cyber-physical Systems: The IoT Healthcare Use Case
2023-01-01 Spegni, F.; Sabatelli, A.; Merlo, A.; Pepa, L.; Spalazzi, L.; Verderame, L.
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
A Smart Contract-based BPMN Choreography Execution for Management of Construction Processes
2021-01-01 Corneli, Alessandra; Spegni, Francesco; Bragadin, Marco Alvise; Vaccarini, Massimo
Accuracy of message counting abstraction in fault-tolerant distributed algorithms
2017-01-01 Konnov, Igor; Widder, Josef; Spegni, Francesco; Spalazzi, Luca
An Automatic Registration System Based on Augmented Reality to Enhance Civil Infrastructure Inspections
2025-01-01 Binni, Leonardo; Vaccarini, Massimo; Spegni, Francesco; Messi, Leonardo; Naticchia, Berardo
APPLICATION OF DIMINISHED REALITY FOR CONSTRUCTION SITE SAFETY MANAGEMENT
2023-01-01 Corneli, Alessandra; Naticchia, Berardo; Vaccarini, Massimo; Carbonari, Alessandro; Spegni, Francesco
Automatic Repair of Timestamp Comparisons
2021-01-01 Liva, Giovanni; Khan, Muhammad Taimoor; Pinzger, Martin; Spegni, Francesco; Spalazzi, Luca
Blockchain based choreographies: The construction industry case study
2023-01-01 Spalazzi, L.; Spegni, F.; Corneli, A.; Naticchia, B.
ChoEn: A Smart Contract Based Choreography Enforcer
2023-01-01 Spegni, Francesco; Fratini, Lorenzo; Pirani, Massimiliano; Spalazzi, Luca
Combining Blockchain and BPMN Choreographies for Construction Management
2021-01-01 Corneli, Alessandra; Naticchia, Berardo; Spegni, Francesco; Spalazzi, Luca
DEVELOPMENT OF NATURAL LANGUAGE APPLICATION FOR CONSTRUCTION SITE PROCESSES SAFETY SUPPORT
2024-01-01 Corneli, Alessandra; Spegni, Francesco; Naticchia, Berardo; Messi, Leonardo
Disjunctive timed networks
2017-01-01 Spalazzi, Luca; Spegni, Francesco
Dynamic Networks of Timed Automata for Collaborative Systems: a Network Monitoring Case Study
2010-01-01 S., Campana; Spalazzi, Luca; Spegni, F.
Enhancing BIM through Mixed Reality for Facility Management
2022-01-01 Vaccarini, Massimo; Carbonari, Alessandro; Spegni, Francesco; Giretti, Alberto
Formal methods for practical reverse engineering and software verification
2012-02-28 Spegni, Francesco
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A first evaluation of the seamless markerless augmented reality registration system supporting facility management | 1-gen-2024 | Messi, Leonardo; Spegni, Francesco; Vaccarini, Massimo; Corneli, Alessandra; Binni, Leonardo | |
| 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 | |
| An Automatic Registration System Based on Augmented Reality to Enhance Civil Infrastructure Inspections | 1-gen-2025 | Binni, Leonardo; Vaccarini, Massimo; Spegni, Francesco; Messi, Leonardo; Naticchia, Berardo | |
| 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-2023 | 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 | |
| DEVELOPMENT OF NATURAL LANGUAGE APPLICATION FOR CONSTRUCTION SITE PROCESSES SAFETY SUPPORT | 1-gen-2024 | Corneli, Alessandra; Spegni, Francesco; Naticchia, Berardo; Messi, Leonardo | |
| 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 |