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 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
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
ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
2023-01-01 Geretti, Luca; Alexandre Dit Sandretto, Julien; Althoff, Matthias; Benet, Luis; Collins, Pieter; Forets, Marcelo; Ivanova, Elena; Li, Yangge; Mitra, Sayan; Mitsch, Stefan; Schilling, Christian; Wetzlinger, Mark; Zhuang, Daniel
ARCH-COMP24 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
2024-01-01 Geretti, Luca; Alexandre Dit Sandretto, Julien; Althoff, Matthias; Benet, Luis; Collins, Pieter; Forets, Marcelo; Mitsch, Stefan; Schilling, Christian; Tillet, Joris; 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
Constraint-driven nonlinear reachability analysis with automated tuning of tool properties
2024-01-01 Geretti, Luca; Collins, Pieter; Nuzzo, Pierluigi; Villa, Tiziano
Correct-by-construction code generation from hybrid automata specification
2011-01-01 Bresolin, Davide; DI GUGLIELMO, Luigi; Geretti, Luca; 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 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 | |
| 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 | |
| ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics | 1-gen-2023 | Geretti, Luca; Alexandre Dit Sandretto, Julien; Althoff, Matthias; Benet, Luis; Collins, Pieter; Forets, Marcelo; Ivanova, Elena; Li, Yangge; Mitra, Sayan; Mitsch, Stefan; Schilling, Christian; Wetzlinger, Mark; Zhuang, Daniel | |
| ARCH-COMP24 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics | 1-gen-2024 | Geretti, Luca; Alexandre Dit Sandretto, Julien; Althoff, Matthias; Benet, Luis; Collins, Pieter; Forets, Marcelo; Mitsch, Stefan; Schilling, Christian; Tillet, Joris; 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 | |
| Constraint-driven nonlinear reachability analysis with automated tuning of tool properties | 1-gen-2024 | Geretti, Luca; Collins, Pieter; Nuzzo, Pierluigi; Villa, Tiziano | |
| Correct-by-construction code generation from hybrid automata specification | 1-gen-2011 | Bresolin, Davide; DI GUGLIELMO, Luigi; Geretti, Luca; Villa, Tiziano |