Luca Geretti

عدد مرات الاقتباسات

	الكل	قبل 2020
اقتباسات	656	347
h-index	13	9
i10-index	16	8

20102011201220132014201520162017201820192020202120222023202420252 7 12 20 18 48 39 50 49 61 65 59 72 77 71 3

عدد المنشورات المتاحة للجميع

عرض المجموعة جميعها

13 مقالة

مقالتان (2)

المقالات البحثية المتاحة للجميع

المقالات البحثية غير المتاحة للجميع

تمّ اختيار المعلومات استنادًا إلى تفويضات التمويل

المؤلفون المشاركون

Tiziano VillaProfessore d'informatica, Universita' di Veronaبريد إلكتروني تم التحقق منه على univr.it
Davide BresolinUniversità di Padovaبريد إلكتروني تم التحقق منه على unipd.it
Paolo FioriniProfessor of Computer Science, University of Veronaبريد إلكتروني تم التحقق منه على univr.it
Riccardo MuradoreDepartment of Computer Science, University of Veronaبريد إلكتروني تم التحقق منه على univr.it
Pierluigi NuzzoEECS Department, University of California, Berkeleyبريد إلكتروني تم التحقق منه على eecs.berkeley.edu
Luca BenvenutiSapienza Università di Romaبريد إلكتروني تم التحقق منه على uniroma1.it
Alberto Sangiovanni VincentelliProfessor of EECS, University of California, Berkeleyبريد إلكتروني تم التحقق منه على eecs.berkeley.edu
Franco BlanchiniProfessor of Automatic Control, Udine University, Italyبريد إلكتروني تم التحقق منه على uniud.it
Leonardo S. MattosHead of the Biomedical Robotics Lab at Istituto Italiano di Tecnologiaبريد إلكتروني تم التحقق منه على iit.it
André GeraldesPanakeia Technologiesبريد إلكتروني تم التحقق منه على panakeia.ai
Antonio GuerrieriItalian National Research Council - ICAR-CNR, Università della Calabriaبريد إلكتروني تم التحقق منه على icar.cnr.it
Giancarlo FortinoProf. of Computer Engineering, University of Calabria, FIEEE,FAAIA,FAIIA,WoS Highly Cited Researcherبريد إلكتروني تم التحقق منه على unical.it
Kresimir DabcevicPhDبريد إلكتروني تم التحقق منه على dabcevic.com
Carlo RegazzoniProfessor of Cognitive Telecommunications Systems, University of Genovaبريد إلكتروني تم التحقق منه على unige.it
John GialelisApplied Electronics Lab, ECE, University of Patrasبريد إلكتروني تم التحقق منه على ece.upatras.gr
Dimitrios SerpanosUniversity of Patras & Computer Technology Instituteبريد إلكتروني تم التحقق منه على ece.upatras.gr
Kyriakos StefanidisI.S.I. - Industrial Systems Institute / ATHENA R.C.بريد إلكتروني تم التحقق منه على isi.gr
Roberto UribeetxeberriaMondragon Unibertsitateaبريد إلكتروني تم التحقق منه على mondragon.edu

متابعة

Luca Geretti

Dipartimento di Informatica, Università degli Studi di Verona

بريد إلكتروني تم التحقق منه على univr.it - الصفحة الرئيسية

Formal Verification Hybrid Automata Numerical Analysis


عنوان ترتيب حسب الاقتباسات ترتيب حسب السنة الترتيب حسب العنوان	عدد مرات الاقتباسات عدد مرات الاقتباسات	السنة
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‏	171	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‏	85	2014
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‏	51	2012
Robotic surgery‏ R Muradore, D Bresolin, L Geretti, P Fiorini, T Villa‏ IEEE Robotics & Automation Magazine 18 (3), 24-32, 2011‏	51	2011
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‏	39	2019
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‏	23	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
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‏	21	2008
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‏	17	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

يتعذر على النظام إجراء العملية في الوقت الحالي. عاود المحاولة لاحقًا.

مقالات 1–20

عدد الاقتباسات في العام

اقتباسات مكررة

الاقتباسات المدمجة

إضافة مؤلفين مشاركينالمؤلفون المشاركون

متابعة

عدد مرات الاقتباسات

المؤلفون المشاركون