Obserwuj
Luca Geretti
Luca Geretti
Dipartimento di Informatica, Università degli Studi di Verona
Zweryfikowany adres z univr.it - Strona główna
Tytuł
Cytowane przez
Cytowane przez
Rok
A platform-based design methodology with contracts and related tools for the design of cyber-physical systems
P Nuzzo, AL Sangiovanni-Vincentelli, D Bresolin, L Geretti, T Villa
Proceedings of the IEEE 103 (11), 2104-2132, 2015
1712015
Assume–guarantee verification of nonlinear hybrid systems with Ariadne
L Benvenuti, D Bresolin, P Collins, A Ferrari, L Geretti, T Villa
International Journal of Robust and Nonlinear Control 24 (4), 699-724, 2014
852014
Computing the evolution of hybrid systems using rigorous function calculus
P Collins, D Bresolin, L Geretti, T Villa
IFAC Proceedings Volumes 45 (9), 284-290, 2012
512012
Robotic surgery
R Muradore, D Bresolin, L Geretti, P Fiorini, T Villa
IEEE Robotics & Automation Magazine 18 (3), 24-32, 2011
512011
ARCH-COMP19 category report: Continuous and hybrid systems with nonlinear dynamics
F Immler, M Althoff, L Benet, A Chapoutot, X Chen, M Forets, L Geretti, ...
EPiC Series in Computing 61, 2019
392019
Ariadne: Dominance checking of nonlinear hybrid automata using reachability analysis
L Benvenuti, D Bresolin, P Collins, A Ferrari, L Geretti, T Villa
International Workshop on Reachability Problems, 79-91, 2012
232012
Open problems in verification and refinement of autonomous robotic systems
D Bresolin, L Di Guglielmo, L Geretti, R Muradore, P Fiorini, T Villa
2012 15th Euromicro Conference on Digital System Design, 469-476, 2012
232012
A computable and compositional semantics for hybrid automata
D Bresolin, P Collins, L Geretti, R Segala, T Villa, SŽ Gonzalez
Proceedings of the 23rd International Conference on Hybrid Systems …, 2020
222020
ARCH-COMP20 category report: continuous and hybrid systems with nonlinear dynamics
L Geretti, JAD Sandretto, M Althoff, L Benet, A Chapoutot, X Chen, ...
7th International Workshop on Applied Verification of Continuous and Hybrid …, 2020
222020
A mixed convex/nonconvex distributed localization approach for the deployment of indoor positioning services
A Abramo, F Blanchini, L Geretti, C Savorgnan
IEEE Transactions on Mobile Computing 7 (11), 1325-1337, 2008
212008
Formal verification of robotic surgery tasks by reachability analysis
D Bresolin, L Geretti, R Muradore, P Fiorini, T Villa
Microprocessors and Microsystems 39 (8), 836-842, 2015
172015
Correct-by-construction code generation from hybrid automata specification
D Bresolin, L Di Guglielmo, L Geretti, T Villa
2011 7th International Wireless Communications and Mobile Computing …, 2011
142011
The correspondence between deterministic and stochastic digital neurons: Analysis and methodology
L Geretti, A Abramo
IEEE transactions on neural networks 19 (10), 1739-1752, 2008
142008
ARCH-COMP21 category report: continuous and hybrid systems with nonlinear dynamics
L Geretti, JA dit Sandretto, M Althoff, L Benet, A Chapoutot, P Collins, ...
8th International Workshop on Applied Verification of Continuous and Hybrid …, 2021
122021
Parametric formal verification: the robotic paint spraying case study
L Geretti, R Muradore, D Bresolin, P Fiorini, T Villa
IFAC 2017 World Congress 50, 9248-9253, 2017
112017
Formal verification applied to robotic surgery
D Bresolin, L Geretti, R Muradore, P Fiorini, T Villa
Coordination Control of Distributed Systems, 347-355, 2015
112015
Higher order method for differential inclusions
SZ Gonzalez, P Collins, L Geretti, D Bresolin, T Villa
arXiv preprint arXiv:2001.11330, 2020
72020
Formal verification of medical CPS: A laser incision case study
AA Geraldes, L Geretti, D Bresolin, R Muradore, P Fiorini, LS Mattos, ...
ACM Transactions on Cyber-Physical Systems 2 (4), 1-29, 2018
72018
ARCH-COMP22 Category Report Continuous and Hybrid Systems with Nonlinear Dynamics
L Geretti, JAD Sandretto, M Althoff, L Benet, P Collins, P Duggirala, ...
Proceedings of 9th International Workshop on Applied Verification of …, 2022
62022
A service-oriented gateway for remote monitoring of building sensor networks
A Guerrieri, L Geretti, G Fortino, A Abramo
2013 IEEE 18th International Workshop on Computer Aided Modeling and Design …, 2013
62013
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20