IRIS

SPEGNI, FRANCESCO

SPEGNI, FRANCESCO  

Dipartimento di Scienze Pure e Applicate (DiSPeA)  

Mostra records
Risultati 1 - 20 di 28 (tempo di esecuzione: 0.003 secondi).
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 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 Smart Contract-based BPMN Choreography Execution for Management of Construction Processes 1-gen-2021 Corneli, Alessandra; Spegni, Francesco; Bragadin, Marco Alvise; Vaccarini, Massimo
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
Enhancing BIM through Mixed Reality for Facility Management 1-gen-2022 Vaccarini, Massimo; Carbonari, Alessandro; Spegni, Francesco; Giretti, Alberto
Infrastructure-Free Localization System for Augmented Reality Registration in Indoor Environments: A First Accuracy Assessment 1-gen-2024 Messi, Leonardo; Spegni, Francesco; Vaccarini, Massimo; Corneli, Alessandra; Binni, Leonardo
Interoperable mixed reality for facility management: a cyber-physical perspective 1-gen-2024 Vaccarini, Massimo; Spegni, Francesco; Giretti, Alberto; Pirani, Massimiliano; Carbonari, Alessandro
Liveness of parameterized timed networks 1-gen-2015 Aminof, B.; Rubin, S.; Zuleger, F.; Spegni, F.
Model Checking Grid Security 1-gen-2013 Pagliarecci, Francesco; Spegni, Francesco; Spalazzi, Luca
Natural Language Processing For Construction Sites Management 1-gen-2023 Corneli, Alessandra; Binni, Leonardo; Spegni, Francesco; Naticchia, Berardo; Messi, Leonardo
Parameter Synthesis for Families of Markov Chains with an Application to Multi-agent Systems Privacy 1-gen-2025 Spegni, Francesco; Spalazzi, Luca; Rosetti, Roberto; Murano, Aniello
Parameterized model checking of networks of timed automata with Boolean guards 1-gen-2020 Spalazzi, L.; Spegni, F.