Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Ongoing Work on Automated Verification of Noisy Nonlinear Systems with Ariadne.

L. Geretti, D. Bresolin, P. Collins, S. Gonzalez, and T. Villa. ICTSS, volume 10533 of Lecture Notes in Computer Science, page 313-319. Springer, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Luca Remke University of Stuttgart

Luca Di Grazia University of Stuttgart

Philipp Luca Reiser University of Stuttgart

Dr. Simone Luca Portalupi University of Stuttgart

Gian-Luca Iglesias Lopez University of Stuttgart

Other publications of authors with the same name

Correct-by-construction code generation from hybrid automata specification.D. Bresolin, L. Guglielmo, L. Geretti, and T. Villa. IWCMC, page 1660-1665. IEEE, (2011)A Mixed Convex/Nonconvex Distributed Localization Approach for the Deployment of Indoor Positioning Services.A. Abramo, F. Blanchini, L. Geretti, and C. Savorgnan. IEEE Trans. Mob. Comput., 7 (11): 1325-1337 (2008)Rigorous Continuous Evolution of Uncertain Systems.L. Geretti, S. Gonzalez, P. Collins, D. Bresolin, and T. Villa. NSV@CAV, volume 11652 of Lecture Notes in Computer Science, page 60-75. Springer, (2019)Verification of Robotic Surgery Tasks by Reachability Analysis: A Comparison of Tools.D. Bresolin, L. Geretti, R. Muradore, P. Fiorini, and T. Villa. DSD, page 659-662. IEEE Computer Society, (2014)Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis.L. Benvenuti, D. Bresolin, P. Collins, A. Ferrari, L. Geretti, and T. Villa. RP, volume 7550 of Lecture Notes in Computer Science, page 79-91. Springer, (2012)Ongoing Work on Automated Verification of Noisy Nonlinear Systems with Ariadne.L. Geretti, D. Bresolin, P. Collins, S. Gonzalez, and T. Villa. ICTSS, volume 10533 of Lecture Notes in Computer Science, page 313-319. Springer, (2017)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, N. Kochdumper, D. Sanders, and C. Schilling. ARCH@CPSIoTWeek, volume 61 of EPiC Series in Computing, page 41-61. EasyChair, (2019)A Platform-Based Design Methodology With Contracts and Related Tools for the Design of Cyber-Physical Systems.P. Nuzzo, A. Sangiovanni-Vincentelli, D. Bresolin, L. Geretti, and T. Villa. Proceedings of the IEEE, 103 (11): 2104-2132 (2015)Computing the Evolution of Hybrid Systems using Rigorous Function Calculus.P. Collins, D. Bresolin, L. Geretti, and T. Villa. ADHS, volume 45 of IFAC Proceedings Volumes, page 284-290. Elsevier, (2012)A service-oriented gateway for remote monitoring of building sensor networks.A. Guerrieri, L. Geretti, G. Fortino, and A. Abramo. CAMAD, page 139-143. IEEE, (2013)