GERETTI, Luca
GERETTI, Luca
DIPARTIMENTO DI INFORMATICA
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
Distributed Multilevel Hierarchic Strategy for Broadcast Collaborative Mobile Networks
2010-01-01 Geretti, Luca; Abramo, Antonio
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
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 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 | |
Distributed Multilevel Hierarchic Strategy for Broadcast Collaborative Mobile Networks | 1-gen-2010 | Geretti, Luca; Abramo, Antonio | |
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 | |
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 |