SPEGNI, FRANCESCO
SPEGNI, FRANCESCO
Dipartimento di Scienze Pure e Applicate (DiSPeA)
A first evaluation of the seamless markerless augmented reality registration system supporting facility management
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
2024 Messi, Leonardo; Carbonari, Alessandro; Franco, Carlos; Spegni, Francesco; Vaccarini, Massimo; Naticchia, Berardo
A Smart Contract-based BPMN Choreography Execution for Management of Construction Processes
2021 Corneli, Alessandra; Spegni, Francesco; Bragadin, Marco Alvise; Vaccarini, Massimo
An Automatic Registration System Based on Augmented Reality to Enhance Civil Infrastructure Inspections
2025 Binni, Leonardo; Vaccarini, Massimo; Spegni, Francesco; Messi, Leonardo; Naticchia, Berardo
Application of Diminished Reality for Construction Site Safety Management
2023 Corneli, Alessandra; Naticchia, Berardo; Vaccarini, Massimo; Carbonari, Alessandro; Spegni, Francesco
ChoEn: A Smart Contract Based Choreography Enforcer
2023 Spegni, Francesco; Fratini, Lorenzo; Pirani, Massimiliano; Spalazzi, Luca
Development of Natural Language Application for Construction Site Processes Safety Support
2024 Corneli, Alessandra; Spegni, Francesco; Naticchia, Berardo; Messi, Leonardo
Enhancing BIM through Mixed Reality for Facility Management
2022 Vaccarini, Massimo; Carbonari, Alessandro; Spegni, Francesco; Giretti, Alberto
Infrastructure-Free Localization System for Augmented Reality Registration in Indoor Environments: A First Accuracy Assessment
2024 Messi, Leonardo; Spegni, Francesco; Vaccarini, Massimo; Corneli, Alessandra; Binni, Leonardo
Interoperable mixed reality for facility management: a cyber-physical perspective
2024 Vaccarini, Massimo; Spegni, Francesco; Giretti, Alberto; Pirani, Massimiliano; Carbonari, Alessandro
Natural Language Processing For Construction Sites Management
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
2025 Spegni, Francesco; Spalazzi, Luca; Rosetti, Roberto; Murano, Aniello
Parameterized model checking of networks of timed automata with Boolean guards
2020 Spalazzi, L.; Spegni, F.
PARAMETERIZED MODEL-CHECKING OF DISCRETE-TIMED NETWORKS AND SYMMETRIC-BROADCAST SYSTEMS
2025 Aminof, B.; Rubin, S.; Spegni, F.; Zuleger, F.
Process-based simulation models using BPMN for construction management at runtime
2021 Messi, Leonardo; Spegni, Francesco; Carbonari, Alessandro; Ridolfi, Luigi; Vaccarini, Massimo
Seamless Augmented Reality Registration Supporting Facility Management Operations in Unprepared Environments
2024 Messi, Leonardo; Spegni, Francesco; Vaccarini, Massimo; Corneli, Alessandra; Binni, Leonardo
Seamless indoor/outdoor marker-less augmented reality registration supporting facility management operations
2023 Messi, Leonardo; Spegni, Francesco; Vaccarini, Massimo; Corneli, Alessandra; Binni, Leonardo
| 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 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 | |
| ChoEn: A Smart Contract Based Choreography Enforcer | 1-gen-2023 | Spegni, Francesco; Fratini, Lorenzo; Pirani, Massimiliano; 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 | |
| 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. | |
| PARAMETERIZED MODEL-CHECKING OF DISCRETE-TIMED NETWORKS AND SYMMETRIC-BROADCAST SYSTEMS | 1-gen-2025 | Aminof, B.; Rubin, S.; Spegni, F.; Zuleger, F. | |
| Process-based simulation models using BPMN for construction management at runtime | 1-gen-2021 | Messi, Leonardo; Spegni, Francesco; Carbonari, Alessandro; Ridolfi, Luigi; Vaccarini, Massimo | |
| Seamless Augmented Reality Registration Supporting Facility Management Operations in Unprepared Environments | 1-gen-2024 | Messi, Leonardo; Spegni, Francesco; Vaccarini, Massimo; Corneli, Alessandra; Binni, Leonardo | |
| Seamless indoor/outdoor marker-less augmented reality registration supporting facility management operations | 1-gen-2023 | Messi, Leonardo; Spegni, Francesco; Vaccarini, Massimo; Corneli, Alessandra; Binni, Leonardo |