GERETTI, Luca
GERETTI, Luca
DIPARTIMENTO DI INFORMATICA
A computable and compositional semantics for hybrid automata
2020-01-01 Bresolin, Davide; Collins, Pieter; Geretti, Luca; Segala, Roberto; Villa, Tiziano; Zivanovic 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
A service-oriented gateway for remote monitoring of building sensor networks
2013-01-01 Guerrieri, Antonio; Geretti, Luca; Fortino, Giancarlo; Abramo, Antonio
An Introduction to the Verification of Hybrid Systems using Ariadne
2015-01-01 Bresolin, Davide; Geretti, Luca; Villa, Tiziano; P., Collins
Arch-comp19 category report: Continuous and hybrid systems with nonlinear dynamics
2019-01-01 Immler, Fabian; Althoff, Matthias; Benet, Luis; Chapoutot, Alexandre; Chen, Xin; Forets, Marcelo; Geretti, Luca; Kochdumper, Niklas; Sanders, David; Schilling, Christian
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
2020-01-01 Geretti, Luca; Alexandre Dit Sandretto, Julien; Althoff, Matthias; Benet, Luis; Chapoutot, Alexandre; Chen, Xin; Collins, Pieter John; Forets, Marcelo; Freire, Daniel; Immler, Fabian; Kochdumper, Niklas; Sanders, David P.; Schilling, Christian
ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
2021-01-01 Geretti, Luca; Alexandre Dit Sandretto, Julien; Althoff, Matthias; Benet, Luis; Chapoutot, Alexandre; Collins, Pieter; Duggirala, Parasara Sridhar; Forets, Marcelo; Kim, Edward; Linares, Uziel; Sanders, David P.; Schilling, Christian; Wetzlinger, Mark
ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
2022-01-01 Geretti, Luca; Alexandre Dit Sandretto, Julien; Althoff, Matthias; Benet, Luis; Collins, Pieter; Duggirala, Parasara; Forets, Marcelo; Kim, Edward; Mitsch, Stefan; Schilling, Christian; Wetzlinger, Mark
Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis
2012-01-01 L., Benvenuti; Bresolin, Davide; P., Collins; A., Ferrari; 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
Automated Verification of Noisy Nonlinear Cyber-Physical Systems with Ariadne
2019-01-01 Bresolin, Davide; Geretti, Luca; Villa, Tiziano
Automating Numerical Parameters Along the Evolution of a Nonlinear System
2022-01-01 Geretti, L; Collins, P; Bresolin, D; Villa, T
Computing the evolution of hybrid systems using rigorous function calculus
2012-01-01 Collins, P.; Bresolin, Davide; Geretti, Luca; Villa, Tiziano
Correct-by-construction code generation from hybrid automata specification
2011-01-01 Bresolin, Davide; DI GUGLIELMO, Luigi; Geretti, Luca; Villa, Tiziano
Distributed Multilevel Hierarchic Strategy for Broadcast Collaborative Mobile Networks
2010-01-01 Geretti, Luca; Abramo, Antonio
Formal Verification Applied to Robotic Surgery
2015-01-01 Bresolin, Davide; Geretti, Luca; Muradore, Riccardo; Fiorini, Paolo; Villa, Tiziano
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
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A computable and compositional semantics for hybrid automata | 1-gen-2020 | Bresolin, Davide; Collins, Pieter; Geretti, Luca; Segala, Roberto; Villa, Tiziano; Zivanovic 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 | |
| A service-oriented gateway for remote monitoring of building sensor networks | 1-gen-2013 | Guerrieri, Antonio; Geretti, Luca; Fortino, Giancarlo; Abramo, Antonio | |
| An Introduction to the Verification of Hybrid Systems using Ariadne | 1-gen-2015 | Bresolin, Davide; Geretti, Luca; Villa, Tiziano; P., Collins | |
| Arch-comp19 category report: Continuous and hybrid systems with nonlinear dynamics | 1-gen-2019 | Immler, Fabian; Althoff, Matthias; Benet, Luis; Chapoutot, Alexandre; Chen, Xin; Forets, Marcelo; Geretti, Luca; Kochdumper, Niklas; Sanders, David; Schilling, Christian | |
| ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics | 1-gen-2020 | Geretti, Luca; Alexandre Dit Sandretto, Julien; Althoff, Matthias; Benet, Luis; Chapoutot, Alexandre; Chen, Xin; Collins, Pieter John; Forets, Marcelo; Freire, Daniel; Immler, Fabian; Kochdumper, Niklas; Sanders, David P.; Schilling, Christian | |
| ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics | 1-gen-2021 | Geretti, Luca; Alexandre Dit Sandretto, Julien; Althoff, Matthias; Benet, Luis; Chapoutot, Alexandre; Collins, Pieter; Duggirala, Parasara Sridhar; Forets, Marcelo; Kim, Edward; Linares, Uziel; Sanders, David P.; Schilling, Christian; Wetzlinger, Mark | |
| ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics | 1-gen-2022 | Geretti, Luca; Alexandre Dit Sandretto, Julien; Althoff, Matthias; Benet, Luis; Collins, Pieter; Duggirala, Parasara; Forets, Marcelo; Kim, Edward; Mitsch, Stefan; Schilling, Christian; Wetzlinger, Mark | |
| Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis | 1-gen-2012 | L., Benvenuti; Bresolin, Davide; P., Collins; A., Ferrari; 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 | |
| Automated Verification of Noisy Nonlinear Cyber-Physical Systems with Ariadne | 1-gen-2019 | Bresolin, Davide; Geretti, Luca; Villa, Tiziano | |
| Automating Numerical Parameters Along the Evolution of a Nonlinear System | 1-gen-2022 | Geretti, L; Collins, P; Bresolin, D; Villa, T | |
| Computing the evolution of hybrid systems using rigorous function calculus | 1-gen-2012 | Collins, P.; Bresolin, Davide; Geretti, Luca; Villa, Tiziano | |
| Correct-by-construction code generation from hybrid automata specification | 1-gen-2011 | Bresolin, Davide; DI GUGLIELMO, Luigi; Geretti, Luca; Villa, Tiziano | |
| Distributed Multilevel Hierarchic Strategy for Broadcast Collaborative Mobile Networks | 1-gen-2010 | Geretti, Luca; Abramo, Antonio | |
| Formal Verification Applied to Robotic Surgery | 1-gen-2015 | Bresolin, Davide; Geretti, Luca; Muradore, Riccardo; Fiorini, Paolo; Villa, Tiziano | |
| 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 |