GERETTI, Luca
GERETTI, Luca
DIPARTIMENTO DI INFORMATICA
A computable and compositional semantics for hybrid systems
2024-01-01 Bresolin, Davide; Collins, Pieter; Geretti, Luca; Segala, Roberto; Villa, Tiziano; Živanović Gonzalez, Sanja
A higher order method for input-affine uncertain systems
2023-01-01 Zivanovic Gonzalez, Sanja; Geretti, Luca; Bresolin, Davide; Villa, Tiziano; Collins, Pieter
A Mixed Convex/Nonconvex Distributed Localization Approach for the Deployment of Indoor Positioning Services
2008-01-01 Abramo, A.; Blanchini, F.; Geretti, Luca; Savorgnan, C.
A Platform-Based Design Methodology with Contracts and Related Tools for the Design of Cyber-Physical Systems
2015-01-01 Nuzzo, P.; Sangiovanni Vincentelli, A.; Bresolin, Davide; Geretti, Luca; Villa, Tiziano
Assume-guarantee verification of nonlinear hybrid systems with Ariadne
2014-01-01 L., Benvenuti; Bresolin, Davide; P., Collins; A., Ferrari; Geretti, Luca; Villa, Tiziano
Constraint-driven nonlinear reachability analysis with automated tuning of tool properties
2024-01-01 Geretti, Luca; Collins, Pieter; Nuzzo, Pierluigi; Villa, Tiziano
Distributed Multilevel Hierarchic Strategy for Broadcast Collaborative Mobile Networks
2010-01-01 Geretti, Luca; Abramo, Antonio
Enhancing Safety and Privacy in Industry 4.0: The ICE Laboratory Case Study
2024-01-01 Cunico, Federico; Aldegheri, Stefano; Avogaro, Andrea; Boldo, Michele; Bombieri, Nicola; Capogrosso, Luigi; Caputo, Ariel; Carra, Damiano; Centomo, Stefano; Cheng, Dong Seon; Cinquetti, Ettore; Cristani, Marco; Marchi, Mirco De; Demrozi, Florenc; Emporio, Marco; Fummi, Franco; Geretti, Luca; Germiniani, Samuele; Giachetti, Andrea; Girella, Federico; Martini, Enrico; Menegaz, Gloria; Muijs, Niek; Paci, Federica; Panato, Marco; Pravadelli, Graziano; Quintarelli, Elisa; Siviero, Ilaria; Storti, Silvia Francesca; Tadiello, Carlo; Turetta, Cristian; Villa, Tiziano; Zannone, Nicola; Quaglia, Davide
Formal verification of medical CPS: a laser incision case study
2018-01-01 Geraldes, ANDRÉ AUGUSTO; Geretti, Luca; Bresolin, Davide; Muradore, Riccardo; Fiorini, Paolo; DE MATTOS, Leonardo Serra; Villa, Tiziano
Formal verification of robotic surgery tasks by reachability analysis
2015-01-01 Bresolin, Davide; Geretti, Luca; Muradore, Riccardo; Fiorini, Paolo; Villa, Tiziano
Rigorous Function Calculi in Ariadne
2025-01-01 Collins, Pieter; Geretti, Luca; Gonzalez, Sanja Zivanovic; Bresolin, Davide; Villa, Tiziano
Robotic surgery
2011-01-01 Muradore, Riccardo; Bresolin, Davide; Geretti, Luca; Fiorini, Paolo; Villa, Tiziano
The correspondence between deterministic and stochastic digital neurons: analysis and methodology
2008-01-01 Geretti, Luca; Abramo, Antonio
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A computable and compositional semantics for hybrid systems | 1-gen-2024 | Bresolin, Davide; Collins, Pieter; Geretti, Luca; Segala, Roberto; Villa, Tiziano; Živanović Gonzalez, Sanja | |
| A higher order method for input-affine uncertain systems | 1-gen-2023 | Zivanovic Gonzalez, Sanja; Geretti, Luca; Bresolin, Davide; Villa, Tiziano; Collins, Pieter | |
| A Mixed Convex/Nonconvex Distributed Localization Approach for the Deployment of Indoor Positioning Services | 1-gen-2008 | Abramo, A.; Blanchini, F.; Geretti, Luca; Savorgnan, C. | |
| A Platform-Based Design Methodology with Contracts and Related Tools for the Design of Cyber-Physical Systems | 1-gen-2015 | Nuzzo, P.; Sangiovanni Vincentelli, A.; Bresolin, Davide; Geretti, Luca; Villa, Tiziano | |
| Assume-guarantee verification of nonlinear hybrid systems with Ariadne | 1-gen-2014 | L., Benvenuti; Bresolin, Davide; P., Collins; A., Ferrari; Geretti, Luca; Villa, Tiziano | |
| Constraint-driven nonlinear reachability analysis with automated tuning of tool properties | 1-gen-2024 | Geretti, Luca; Collins, Pieter; Nuzzo, Pierluigi; Villa, Tiziano | |
| Distributed Multilevel Hierarchic Strategy for Broadcast Collaborative Mobile Networks | 1-gen-2010 | Geretti, Luca; Abramo, Antonio | |
| Enhancing Safety and Privacy in Industry 4.0: The ICE Laboratory Case Study | 1-gen-2024 | Cunico, Federico; Aldegheri, Stefano; Avogaro, Andrea; Boldo, Michele; Bombieri, Nicola; Capogrosso, Luigi; Caputo, Ariel; Carra, Damiano; Centomo, Stefano; Cheng, Dong Seon; Cinquetti, Ettore; Cristani, Marco; Marchi, Mirco De; Demrozi, Florenc; Emporio, Marco; Fummi, Franco; Geretti, Luca; Germiniani, Samuele; Giachetti, Andrea; Girella, Federico; Martini, Enrico; Menegaz, Gloria; Muijs, Niek; Paci, Federica; Panato, Marco; Pravadelli, Graziano; Quintarelli, Elisa; Siviero, Ilaria; Storti, Silvia Francesca; Tadiello, Carlo; Turetta, Cristian; Villa, Tiziano; Zannone, Nicola; Quaglia, Davide | |
| Formal verification of medical CPS: a laser incision case study | 1-gen-2018 | Geraldes, ANDRÉ AUGUSTO; Geretti, Luca; Bresolin, Davide; Muradore, Riccardo; Fiorini, Paolo; DE MATTOS, Leonardo Serra; Villa, Tiziano | |
| Formal verification of robotic surgery tasks by reachability analysis | 1-gen-2015 | Bresolin, Davide; Geretti, Luca; Muradore, Riccardo; Fiorini, Paolo; Villa, Tiziano | |
| Rigorous Function Calculi in Ariadne | 1-gen-2025 | Collins, Pieter; Geretti, Luca; Gonzalez, Sanja Zivanovic; Bresolin, Davide; Villa, Tiziano | |
| Robotic surgery | 1-gen-2011 | Muradore, Riccardo; Bresolin, Davide; Geretti, Luca; Fiorini, Paolo; Villa, Tiziano | |
| The correspondence between deterministic and stochastic digital neurons: analysis and methodology | 1-gen-2008 | Geretti, Luca; Abramo, Antonio |