GERETTI, Luca

GERETTI, Luca  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 20 di 20 (tempo di esecuzione: 0.02 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 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
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
Rigorous continuous evolution of uncertain systems 1-gen-2019 Geretti, Luca; Zivanovic, Sanja; Collins, Pieter John; Bresolin, Davide; Villa, Tiziano
Risk Assessment and Prediction in Human-Robot Interaction Through Assertion Mining and Pose Estimation 1-gen-2022 Boldo, Michele; Bombieri, Nicola; DE MARCHI, Mirco; Geretti, Luca; Germiniani, Samuele; Pravadelli, Graziano
Verification of Robotic Surgery Tasks by Reachability Analysis: a Comparison of Tools 1-gen-2014 Bresolin, Davide; Geretti, Luca; Muradore, Riccardo; Fiorini, Paolo; Villa, Tiziano