GERETTI, Luca

GERETTI, Luca  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 20 di 33 (tempo di esecuzione: 0.019 secondi).
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