Luca Geretti

39 papers B 2C 6Journal 16Unranked 14
YearRankTypeTitle / Venue / Authors
2026 J jnl
Collision prediction using plan learning in mixed human-robot work cells.
Robotics Auton. Syst.
Luca Geretti, Stefano Centomo, Michele Boldo, Enrico Martini, Nicola Bombieri, Davide Quaglia, Tiziano Villa
2025 J jnl
Rigorous Function Calculi in Ariadne.
Log. Methods Comput. Sci.
Pieter Collins, Luca Geretti, Sanja Zivanovic Gonzalez, Davide Bresolin, Tiziano Villa
2024 J jnl
A computable and compositional semantics for hybrid systems.
Inf. Comput.
Davide Bresolin, Pieter Collins, Luca Geretti, Roberto Segala, Tiziano Villa, Sanja Zivanovic Gonzalez
2024 J jnl
Enhancing Safety and Privacy in Industry 4.0: The ICE Laboratory Case Study.
IEEE Access
Federico Cunico, Stefano Aldegheri, Andrea Avogaro, Michele Boldo, Nicola Bombieri, Luigi Capogrosso, Ariel Caputo, Damiano Carra, Stefano Centomo, Dong Seon Cheng, Ettore Cinquetti, Marco Cristani, Mirco De Marchi, Florenc Demrozi, Marco Emporio, Franco Fummi, Luca Geretti, Samuele Germiniani, Andrea Giachetti, Federico Girella, Enrico Martini, Gloria Menegaz, Niek Muijs, Federica Paci, Marco Panato, Graziano Pravadelli, Elisa Quintarelli, Ilaria Siviero, Silvia Francesca Storti, Carlo Tadiello, Cristian Turetta, Tiziano Villa, Nicola Zannone, Davide Quaglia
2024 — conf
Recent Results on Computable and Compositional Semantics for Hybrid Systems.
OVERLAY
Davide Bresolin, Pieter Collins, Luca Geretti, Roberto Segala, Tiziano Villa
2023 — conf
ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.
ARCH
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
2023 J jnl
Discrete Search in Heterogeneous Integer Spaces for Automated Choice of Parameters using Correct-by-Construction Methods.
CoRR
Omar Radwan, Yilin Zhang, Luca Geretti
2023 C conf
HermesBDD: A Multi-Core and Multi-Platform Binary Decision Diagram Package.
DDECS
Luigi Capogrosso, Luca Geretti, Marco Cristani, Franco Fummi, Tiziano Villa
2023 J jnl
HermesBDD: A Multi-Core and Multi-Platform Binary Decision Diagram Package.
CoRR
Luigi Capogrosso, Luca Geretti, Marco Cristani, Franco Fummi, Tiziano Villa
2023 J jnl
Rigorous Function Calculi in Ariadne.
CoRR
Pieter Collins, Luca Geretti, Sanja Zivanovic Gonzalez, Davide Bresolin, Tiziano Villa
2023 — conf
The ARCH-COMP Friendly Verification Competition for Continuous and Hybrid Systems.
TOOLympics@ETAPS
Alessandro Abate, Matthias Althoff, Lei Bu, Gidon Ernst, Goran Frehse, Luca Geretti, Taylor T. Johnson, Claudio Menghi, Stefan Mitsch, Stefan Schupp, Sadegh Soudjani
2022 — conf
ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.
ARCH@SAFECOMP
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
2022 B conf
Automating Numerical Parameters Along the Evolution of a Nonlinear System.
RV
Luca Geretti, Pieter Collins, Davide Bresolin, Tiziano Villa
2022 C conf
Process-driven Collision Prediction in Human-Robot Work Environments.
ETFA
Luca Geretti, Stefano Centomo, Michele Boldo, Enrico Martini, Nicola Bombieri, Davide Quaglia, Tiziano Villa
2022 — conf
Risk Assessment and Prediction in Human-Robot Interaction Through Assertion Mining and Pose Estimation.
LATS
Michele Boldo, Nicola Bombieri, Mirco De Marchi, Luca Geretti, Samuele Germiniani, Graziano Pravadelli
2022 J jnl
Special issue: Formal verification of cyber-physical systems.
Inf. Comput.
Luca Geretti, Alessandro Abate, Pierluigi Nuzzo, Tiziano Villa
2021 — conf
ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.
ARCH@ADHS
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
2020 — conf
A computable and compositional semantics for hybrid automata.
HSCC
Davide Bresolin, Pieter Collins, Luca Geretti, Roberto Segala, Tiziano Villa, Sanja Zivanovic Gonzalez
2020 — conf
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.
ARCH
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
2020 J jnl
Higher Order Method for Differential Inclusions.
CoRR
Sanja Zivanovic Gonzalez, Pieter Collins, Luca Geretti, Davide Bresolin, Tiziano Villa
2020 — ed.
Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Bolzano Summer of Knowledge 2020 (BOSK 2020), September 25, 2020.
OVERLAY
Riccardo De Benedictis, Luca Geretti, Andrea Micheli
2019 — conf
ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.
ARCH@CPSIoTWeek
Fabian Immler, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Xin Chen, Marcelo Forets, Luca Geretti, Niklas Kochdumper, David P. Sanders, Christian Schilling
2019 — conf
Automated Verification of Noisy Nonlinear Cyber-Physical Systems with Ariadne.
OVERLAY@AI*IA
Davide Bresolin, Luca Geretti, Tiziano Villa
2019 — conf
Rigorous Continuous Evolution of Uncertain Systems.
NSV@CAV
Luca Geretti, Sanja Zivanovic Gonzalez, Pieter Collins, Davide Bresolin, Tiziano Villa
2018 J jnl
Formal Verification of Medical CPS: A Laser Incision Case Study.
ACM Trans. Cyber Phys. Syst.
Andre A. Geraldes, Luca Geretti, Davide Bresolin, Riccardo Muradore, Paolo Fiorini, Leonardo S. Mattos, Tiziano Villa
2017 C conf
Ongoing Work on Automated Verification of Noisy Nonlinear Systems with Ariadne.
ICTSS
Luca Geretti, Davide Bresolin, Pieter Collins, Sanja Zivanovic Gonzalez, Tiziano Villa
2015 J jnl
A Platform-Based Design Methodology With Contracts and Related Tools for the Design of Cyber-Physical Systems.
Proc. IEEE
Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Davide Bresolin, Luca Geretti, Tiziano Villa
2015 J jnl
Formal verification of robotic surgery tasks by reachability analysis.
Microprocess. Microsystems
Davide Bresolin, Luca Geretti, Riccardo Muradore, Paolo Fiorini, Tiziano Villa
2014 C conf
Verification of Robotic Surgery Tasks by Reachability Analysis: A Comparison of Tools.
DSD
Davide Bresolin, Luca Geretti, Riccardo Muradore, Paolo Fiorini, Tiziano Villa
2013 — conf
A service-oriented gateway for remote monitoring of building sensor networks.
CAMAD
Antonio Guerrieri, Luca Geretti, Giancarlo Fortino, Antonio Abramo
2012 — conf
Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis.
RP
Luca Benvenuti, Davide Bresolin, Pieter Collins, Alberto Ferrari, Luca Geretti, Tiziano Villa
2012 — conf
Computing the Evolution of Hybrid Systems using Rigorous Function Calculus.
ADHS
Pieter Collins, Davide Bresolin, Luca Geretti, Tiziano Villa
2012 C conf
Open Problems in Verification and Refinement of Autonomous Robotic Systems.
DSD
Davide Bresolin, Luigi Di Guglielmo, Luca Geretti, Riccardo Muradore, Paolo Fiorini, Tiziano Villa
2011 B conf
Correct-by-construction code generation from hybrid automata specification.
IWCMC
Davide Bresolin, Luigi Di Guglielmo, Luca Geretti, Tiziano Villa
2011 J jnl
Robotic Surgery.
IEEE Robotics Autom. Mag.
Riccardo Muradore, Davide Bresolin, Luca Geretti, Paolo Fiorini, Tiziano Villa
2010 J jnl
Distributed Multilevel Hierarchic Strategy for Broadcast Collaborative Mobile Networks.
IEEE Trans. Mob. Comput.
Luca Geretti, Antonio Abramo
2008 J jnl
A Mixed Convex/Nonconvex Distributed Localization Approach for the Deployment of Indoor Positioning Services.
IEEE Trans. Mob. Comput.
Antonio Abramo, Franco Blanchini, Luca Geretti, Carlo Savorgnan
2008 J jnl
The Correspondence Between Deterministic and Stochastic Digital Neurons: Analysis and Methodology.
IEEE Trans. Neural Networks
Luca Geretti, Antonio Abramo
2007 C conf
Mixed Convex/Non-Convex Distributed Localization Algorithm for the Deployment of Indoor Positioning Services.
ACC
Antonio Abramo, Franco Blanchini, Luca Geretti, Carlo Savorgnan