Æȷοì
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
1572015
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
822014
Robotic surgery
R Muradore, D Bresolin, L Geretti, P Fiorini, T Villa
IEEE Robotics & Automation Magazine 18 (3), 24-32, 2011
522011
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
462012
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 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
222008
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
212020
Ariadne: Dominance checking of nonlinear hybrid automata using reachability analysis
L Benvenuti, D Bresolin, P Collins, A Ferrari, L Geretti, T Villa
Reachability Problems: 6th International Workshop, RP 2012, Bordeaux, France ¡¦, 2012
192012
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
162019
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
142020
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
132015
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
112021
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
92017
Formal verification applied to robotic surgery
D Bresolin, L Geretti, R Muradore, P Fiorini, T Villa
Coordination Control of Distributed Systems, 347-355, 2015
82015
Higher order method for differential inclusions
SZ Gonzalez, P Collins, L Geretti, D Bresolin, T Villa
arXiv preprint arXiv:2001.11330, 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
72014
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
ÇöÀç ½Ã½ºÅÛÀÌ ÀÛµ¿µÇÁö ¾Ê½À´Ï´Ù. ³ªÁß¿¡ ´Ù½Ã ½ÃµµÇØ ÁÖ¼¼¿ä.
ÇмúÀÚ·á 1–20