Segui
Luca Geretti
Luca Geretti
Dipartimento di Informatica, Università degli Studi di Verona
Email verificata su univr.it - Home page
Titolo
Citata da
Citata da
Anno
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
1292015
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
642014
Robotic surgery
R Muradore, D Bresolin, L Geretti, P Fiorini, T Villa
IEEE Robotics & Automation Magazine 18 (3), 24-32, 2011
482011
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
372012
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
212012
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
192012
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
182008
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
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
132011
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
112019
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-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
72020
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
62014
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
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
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
52017
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
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 Živanović 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
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20