Sfoglia per Autore
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
The correspondence between deterministic and stochastic digital neurons: analysis and methodology
2008-01-01 Geretti, Luca; Abramo, Antonio
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.
Distributed Multilevel Hierarchic Strategy for Broadcast Collaborative Mobile Networks
2010-01-01 Geretti, Luca; Abramo, Antonio
Correct-by-construction code generation from hybrid automata specification
2011-01-01 Bresolin, Davide; DI GUGLIELMO, Luigi; Geretti, Luca; Villa, Tiziano
Robotic surgery
2011-01-01 Muradore, Riccardo; Bresolin, Davide; Geretti, Luca; Fiorini, Paolo; Villa, Tiziano
The Synthesis of a Stochastic Artificial Neural Network Application Using a Genetic Algorithm Approach
2011-01-01 Geretti, Luca; Abramo, Antonio
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
Computing the evolution of hybrid systems using rigorous function calculus
2012-01-01 Collins, P.; Bresolin, Davide; Geretti, Luca; 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
A service-oriented gateway for remote monitoring of building sensor networks
2013-01-01 Guerrieri, Antonio; Geretti, Luca; Fortino, Giancarlo; Abramo, Antonio
Verification of Robotic Surgery Tasks by Reachability Analysis: a Comparison of Tools
2014-01-01 Bresolin, Davide; Geretti, Luca; Muradore, Riccardo; Fiorini, Paolo; 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
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
Formal Verification Applied to Robotic Surgery
2015-01-01 Bresolin, Davide; Geretti, Luca; Muradore, Riccardo; Fiorini, Paolo; Villa, Tiziano
An Introduction to the Verification of Hybrid Systems using Ariadne
2015-01-01 Bresolin, Davide; Geretti, Luca; Villa, Tiziano; P., Collins
Formal verification of robotic surgery tasks by reachability analysis
2015-01-01 Bresolin, Davide; 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
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
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
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
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 | |
The correspondence between deterministic and stochastic digital neurons: analysis and methodology | 1-gen-2008 | Geretti, Luca; Abramo, Antonio | |
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. | |
Distributed Multilevel Hierarchic Strategy for Broadcast Collaborative Mobile Networks | 1-gen-2010 | Geretti, Luca; Abramo, Antonio | |
Correct-by-construction code generation from hybrid automata specification | 1-gen-2011 | Bresolin, Davide; DI GUGLIELMO, Luigi; Geretti, Luca; Villa, Tiziano | |
Robotic surgery | 1-gen-2011 | Muradore, Riccardo; Bresolin, Davide; Geretti, Luca; Fiorini, Paolo; Villa, Tiziano | |
The Synthesis of a Stochastic Artificial Neural Network Application Using a Genetic Algorithm Approach | 1-gen-2011 | Geretti, Luca; Abramo, Antonio | |
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 | |
Computing the evolution of hybrid systems using rigorous function calculus | 1-gen-2012 | Collins, P.; Bresolin, Davide; Geretti, Luca; 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 | |
A service-oriented gateway for remote monitoring of building sensor networks | 1-gen-2013 | Guerrieri, Antonio; Geretti, Luca; Fortino, Giancarlo; Abramo, Antonio | |
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 | |
Assume-guarantee verification of nonlinear hybrid systems with Ariadne | 1-gen-2014 | L., Benvenuti; Bresolin, Davide; P., Collins; A., Ferrari; Geretti, Luca; Villa, Tiziano | |
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 | |
Formal Verification Applied to Robotic Surgery | 1-gen-2015 | Bresolin, Davide; Geretti, Luca; Muradore, Riccardo; Fiorini, Paolo; Villa, Tiziano | |
An Introduction to the Verification of Hybrid Systems using Ariadne | 1-gen-2015 | Bresolin, Davide; Geretti, Luca; Villa, Tiziano; P., Collins | |
Formal verification of robotic surgery tasks by reachability analysis | 1-gen-2015 | Bresolin, Davide; 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 | |
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 | |
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 |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile