Luca Geretti
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
7
Active years
2007–2023
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | DDECS | HermesBDD: A Multi-Core and Multi-Platform Binary Decision Diagram Package. | Luigi Capogrosso, Luca Geretti, Marco Cristani, Franco Fummi, Tiziano Villa |
| 2022 | ETFA | Process-driven Collision Prediction in Human-Robot Work Environments. | Luca Geretti, Stefano Centomo, Michele Boldo, Enrico Martini, Nicola Bombieri, Davide Quaglia, Tiziano Villa |
| 2022 | RV | Automating Numerical Parameters Along the Evolution of a Nonlinear System. | Luca Geretti, Pieter Collins, Davide Bresolin, Tiziano Villa |
| 2019 | CAV | Rigorous Continuous Evolution of Uncertain Systems. | Luca Geretti, Sanja Zivanovic Gonzalez, Pieter Collins, Davide Bresolin, Tiziano Villa |
| 2014 | DSD | Verification of Robotic Surgery Tasks by Reachability Analysis: A Comparison of Tools. | Davide Bresolin, Luca Geretti, Riccardo Muradore, Paolo Fiorini, Tiziano Villa |
| 2012 | DSD | Open Problems in Verification and Refinement of Autonomous Robotic Systems. | Davide Bresolin, Luigi Di Guglielmo, Luca Geretti, Riccardo Muradore, Paolo Fiorini, Tiziano Villa |
| 2011 | IWCMC | Correct-by-construction code generation from hybrid automata specification. | Davide Bresolin, Luigi Di Guglielmo, Luca Geretti, Tiziano Villa |
| 2007 | ACC | Mixed Convex/Non-Convex Distributed Localization Algorithm for the Deployment of Indoor Positioning Services. | Antonio Abramo, Franco Blanchini, Luca Geretti, Carlo Savorgnan |