Luca Geretti
Luca Geretti
Dipartimento di Informatica, Università degli Studi di Verona
כתובת אימייל מאומתת בדומיין univr.it - דף הבית
כותרת
צוטט על ידי
צוטט על ידי
שנה
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
1172015
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
592014
Robotic surgery
R Muradore, D Bresolin, L Geretti, P Fiorini, T Villa
IEEE Robotics & Automation Magazine 18 (3), 24-32, 2011
472011
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
362012
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
202012
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
192008
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
172012
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
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
112015
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, ...
Proc. of the 6th International Workshop on Applied Verification of …, 2019
72019
The synthesis of a stochastic artificial neural network application using a genetic algorithm approach
L Geretti, A Abramo
Advances in imaging and electron physics 168, 1-63, 2011
62011
Verification of robotic surgery tasks by reachability analysis: A comparison of tools
D Bresolin, L Geretti, R Muradore, P Fiorini, T Villa
2014 17th Euromicro Conference on Digital System Design, 659-662, 2014
52014
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
52013
Arch-comp20 category report: Continuous and hybrid systems with nonlinear dynamics
L Geretti, JAD Sandretto, M Althoff, L Benet, A Chapoutot, X Chen, ...
EPiC Series in Computing 74, 49-75, 2020
42020
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
42020
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
42017
Formal verification applied to robotic surgery
D Bresolin, L Geretti, R Muradore, P Fiorini, T Villa
Coordination Control of Distributed Systems, 347-355, 2015
42015
Rigorous continuous evolution of uncertain systems
L Geretti, SŽ Gonzalez, P Collins, D Bresolin, T Villa
International Workshop on Numerical Software Verification, 60-75, 2019
32019
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
32018
המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.
מאמרים 1–20