Luca Geretti

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 20

Top Topics

Formal Verification

Pose Estimation

Top Venues

Publications

Davide Bresolin, Pieter Collins, Luca Geretti, Roberto Segala, Tiziano Villa, Sanja Zivanovic Gonzalez
A computable and compositional semantics for hybrid systems. Inf. Comput. 300 (2024)
Luigi Capogrosso, Luca Geretti, Marco Cristani, Franco Fummi, Tiziano Villa
HermesBDD: A Multi-Core and Multi-Platform Binary Decision Diagram Package. CoRR (2023)
Luigi Capogrosso, Luca Geretti, Marco Cristani, Franco Fummi, Tiziano Villa
HermesBDD: A Multi-Core and Multi-Platform Binary Decision Diagram Package. DDECS (2023)
Omar Radwan, Yilin Zhang, Luca Geretti
Discrete Search in Heterogeneous Integer Spaces for Automated Choice of Parameters using Correct-by-Construction Methods. CoRR (2023)
Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Pieter Collins, Marcelo Forets, Elena Ivanova, Yangge Li, Sayan Mitra, Stefan Mitsch, Christian Schilling, Mark Wetzlinger, Daniel Zhuang
ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH (2023)
Pieter Collins, Luca Geretti, Sanja Zivanovic Gonzalez, Davide Bresolin, Tiziano Villa
Rigorous Function Calculi in Ariadne. CoRR (2023)
Luca Geretti, Alessandro Abate, Pierluigi Nuzzo, Tiziano Villa
Special issue: Formal verification of cyber-physical systems. Inf. Comput. 289 (Part) (2022)
Luca Geretti, Pieter Collins, Davide Bresolin, Tiziano Villa
Automating Numerical Parameters Along the Evolution of a Nonlinear System. RV (2022)
Luca Geretti, Stefano Centomo, Michele Boldo, Enrico Martini, Nicola Bombieri, Davide Quaglia, Tiziano Villa
Process-driven Collision Prediction in Human-Robot Work Environments. ETFA (2022)
Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Pieter Collins, Parasara Sridhar Duggirala, Marcelo Forets, Edward Kim, Stefan Mitsch, Christian Schilling, Mark Wetzlinger
ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH@SAFECOMP (2022)
Michele Boldo, Nicola Bombieri, Mirco De Marchi, Luca Geretti, Samuele Germiniani, Graziano Pravadelli
Risk Assessment and Prediction in Human-Robot Interaction Through Assertion Mining and Pose Estimation. LATS (2022)
Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Pieter Collins, Parasara Sridhar Duggirala, Marcelo Forets, Edward Kim, Uziel Linares, David P. Sanders, Christian Schilling, Mark Wetzlinger
ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH@ADHS (2021)
Sanja Zivanovic Gonzalez, Pieter Collins, Luca Geretti, Davide Bresolin, Tiziano Villa
Higher Order Method for Differential Inclusions. CoRR (2020)
Davide Bresolin, Pieter Collins, Luca Geretti, Roberto Segala, Tiziano Villa, Sanja Zivanovic Gonzalez
A computable and compositional semantics for hybrid automata. HSCC (2020)
Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Xin Chen, Pieter Collins, Marcelo Forets, Daniel Freire, Fabian Immler, Niklas Kochdumper, David P. Sanders, Christian Schilling
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH (2020)
Fabian Immler, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Xin Chen, Marcelo Forets, Luca Geretti, Niklas Kochdumper, David P. Sanders, Christian Schilling
ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH@CPSIoTWeek (2019)
Davide Bresolin, Luca Geretti, Tiziano Villa
Automated Verification of Noisy Nonlinear Cyber-Physical Systems with Ariadne. OVERLAY@AI*IA (2019)
Luca Geretti, Sanja Zivanovic Gonzalez, Pieter Collins, Davide Bresolin, Tiziano Villa
Rigorous Continuous Evolution of Uncertain Systems. NSV@CAV (2019)
Andre A. Geraldes, Luca Geretti, Davide Bresolin, Riccardo Muradore, Paolo Fiorini, Leonardo S. Mattos, Tiziano Villa
Formal Verification of Medical CPS: A Laser Incision Case Study. ACM Trans. Cyber Phys. Syst. 2 (4) (2018)
Luca Geretti, Davide Bresolin, Pieter Collins, Sanja Zivanovic Gonzalez, Tiziano Villa
Ongoing Work on Automated Verification of Noisy Nonlinear Systems with Ariadne. ICTSS (2017)
Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Davide Bresolin, Luca Geretti, Tiziano Villa
A Platform-Based Design Methodology With Contracts and Related Tools for the Design of Cyber-Physical Systems. Proc. IEEE 103 (11) (2015)
Davide Bresolin, Luca Geretti, Riccardo Muradore, Paolo Fiorini, Tiziano Villa
Formal verification of robotic surgery tasks by reachability analysis. Microprocess. Microsystems 39 (8) (2015)
Davide Bresolin, Luca Geretti, Riccardo Muradore, Paolo Fiorini, Tiziano Villa
Verification of Robotic Surgery Tasks by Reachability Analysis: A Comparison of Tools. DSD (2014)
Antonio Guerrieri, Luca Geretti, Giancarlo Fortino, Antonio Abramo
A service-oriented gateway for remote monitoring of building sensor networks. CAMAD (2013)
Davide Bresolin, Luigi Di Guglielmo, Luca Geretti, Riccardo Muradore, Paolo Fiorini, Tiziano Villa
Open Problems in Verification and Refinement of Autonomous Robotic Systems. DSD (2012)
Pieter Collins, Davide Bresolin, Luca Geretti, Tiziano Villa
Computing the Evolution of Hybrid Systems using Rigorous Function Calculus. ADHS (2012)
Luca Benvenuti, Davide Bresolin, Pieter Collins, Alberto Ferrari, Luca Geretti, Tiziano Villa
Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis. RP (2012)
Davide Bresolin, Luigi Di Guglielmo, Luca Geretti, Tiziano Villa
Correct-by-construction code generation from hybrid automata specification. IWCMC (2011)
Riccardo Muradore, Davide Bresolin, Luca Geretti, Paolo Fiorini, Tiziano Villa
Robotic Surgery. IEEE Robotics Autom. Mag. 18 (3) (2011)
Luca Geretti, Antonio Abramo
Distributed Multilevel Hierarchic Strategy for Broadcast Collaborative Mobile Networks. IEEE Trans. Mob. Comput. 9 (9) (2010)
Luca Geretti, Antonio Abramo
The Correspondence Between Deterministic and Stochastic Digital Neurons: Analysis and Methodology. IEEE Trans. Neural Networks 19 (10) (2008)
Antonio Abramo, Franco Blanchini, Luca Geretti, Carlo Savorgnan
A Mixed Convex/Nonconvex Distributed Localization Approach for the Deployment of Indoor Positioning Services. IEEE Trans. Mob. Comput. 7 (11) (2008)
Antonio Abramo, Franco Blanchini, Luca Geretti, Carlo Savorgnan
Mixed Convex/Non-Convex Distributed Localization Algorithm for the Deployment of Indoor Positioning Services. ACC (2007)