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 service-oriented gateway for remote monitoring of building sensor networks
2013-01-01 Guerrieri, Antonio; Geretti, Luca; Fortino, Giancarlo; Abramo, Antonio
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
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
HermesBDD: A Multi-Core and Multi-Platform Binary Decision Diagram Package
2023-01-01 Capogrosso, L; Geretti, L; Cristani, M; Fummi, F; Villa, T
Mixed Convex/Non-Convex Distributed Localization Algorithm for the Deployment of Indoor Positioning Services
2007-01-01 Abramo, Antonio; Blanchini, Franco; Geretti, Luca; Savorgnan, Carlo
Ongoing work on automated verification of noisy nonlinear systems with Ariadne
2017-01-01 Geretti, Luca; Bresolin, Davide; Collins, Pieter; Zivanovic Gonzalez, Sanja; Villa, Tiziano
Open Problems in Verification and Refinement of Autonomous Robotic Systems
2012-01-01 Bresolin, Davide; DI GUGLIELMO, Luigi; Geretti, Luca; Muradore, Riccardo; Fiorini, Paolo; Villa, Tiziano
Parametric formal verification: the robotic paint spraying case study
2017-01-01 Geretti, Luca; Muradore, Riccardo; Bresolin, Davide; Fiorini, Paolo; Villa, Tiziano
Process-driven Collision Prediction in Human-Robot Work Environments
2022-01-01 Geretti, Luca; Centomo, Stefano; Boldo, Michele; Martini, Enrico; Bombieri, Nicola; Quaglia, Davide; Villa, Tiziano
Recent Results on Computable and Compositional Semantics for Hybrid Systems
2024-01-01 Bresolin, Davide; Collins, Pieter; Geretti, Luca; Segala, Roberto; 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 service-oriented gateway for remote monitoring of building sensor networks | 1-gen-2013 | Guerrieri, Antonio; Geretti, Luca; Fortino, Giancarlo; Abramo, Antonio | |
| 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 | |
| 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 | |
| HermesBDD: A Multi-Core and Multi-Platform Binary Decision Diagram Package | 1-gen-2023 | Capogrosso, L; Geretti, L; Cristani, M; Fummi, F; Villa, T | |
| Mixed Convex/Non-Convex Distributed Localization Algorithm for the Deployment of Indoor Positioning Services | 1-gen-2007 | Abramo, Antonio; Blanchini, Franco; Geretti, Luca; Savorgnan, Carlo | |
| Ongoing work on automated verification of noisy nonlinear systems with Ariadne | 1-gen-2017 | Geretti, Luca; Bresolin, Davide; Collins, Pieter; Zivanovic Gonzalez, Sanja; Villa, Tiziano | |
| Open Problems in Verification and Refinement of Autonomous Robotic Systems | 1-gen-2012 | Bresolin, Davide; DI GUGLIELMO, Luigi; Geretti, Luca; Muradore, Riccardo; Fiorini, Paolo; Villa, Tiziano | |
| Parametric formal verification: the robotic paint spraying case study | 1-gen-2017 | Geretti, Luca; Muradore, Riccardo; Bresolin, Davide; Fiorini, Paolo; Villa, Tiziano | |
| Process-driven Collision Prediction in Human-Robot Work Environments | 1-gen-2022 | Geretti, Luca; Centomo, Stefano; Boldo, Michele; Martini, Enrico; Bombieri, Nicola; Quaglia, Davide; Villa, Tiziano | |
| Recent Results on Computable and Compositional Semantics for Hybrid Systems | 1-gen-2024 | Bresolin, Davide; Collins, Pieter; Geretti, Luca; Segala, Roberto; Villa, Tiziano |