| 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 | 170 | 2015 |
| 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 | 88 | 2014 |
| Robotic surgery R Muradore, D Bresolin, L Geretti, P Fiorini, T Villa IEEE Robotics & Automation Magazine 18 (3), 24-32, 2011 | 51 | 2011 |
| 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 | 50 | 2012 |
| 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 | 23 | 2012 |
| 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 | 22 | 2020 |
| 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 | 22 | 2020 |
| 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 | 22 | 2012 |
| 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 | 22 | 2008 |
| 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 | 19 | 2019 |
| 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 | 16 | 2015 |
| 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 | 14 | 2011 |
| 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 | 14 | 2008 |
| 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 | 12 | 2021 |
| 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 | 11 | 2017 |
| Formal verification applied to robotic surgery D Bresolin, L Geretti, R Muradore, P Fiorini, T Villa Coordination Control of Distributed Systems, 347-355, 2015 | 11 | 2015 |
| Higher order method for differential inclusions SZ Gonzalez, P Collins, L Geretti, D Bresolin, T Villa arXiv preprint arXiv:2001.11330, 2020 | 7 | 2020 |
| 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 | 7 | 2018 |
| 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 | 6 | 2022 |
| 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 | 6 | 2013 |
Tiziano VillaProfessore d'informatica, Universita' di VeronaVerified email at univr.it
