I agree that this site is using cookies. You can find further informations here.
X
Geretti, Luca
53  results:
Search for persons X
?
1

A computable and compositional semantics for hybrid systems:

Bresolin, Davide ; Collins, Pieter ; Geretti, Luca...
Information and Computation.  300 (2024)  - p. 105189 , 2024
Link: https://doi.org/10.1016/..
 
?
2

Constraint-driven nonlinear reachability analysis with auto..:

Geretti, Luca ; Collins, Pieter ; Nuzzo, Pierluigi.
Nonlinear Analysis: Hybrid Systems.  54 (2024)  - p. 101532 , 2024
Link: https://doi.org/10.1016/..
 
?
3

A higher order method for input-affine uncertain systems:

Zivanovic Gonzalez, Sanja ; Geretti, Luca ; Bresolin, Davide..
Nonlinear Analysis: Hybrid Systems.  47 (2023)  - p. 101266 , 2023
Link: https://doi.org/10.1016/..
 
?
4

HermesBDD: A Multi-Core and Multi-Platform Binary Decision ..:

, In: 2023 26th International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS),
Capogrosso, Luigi ; Geretti, Luca ; Cristani, Marco.. - p. 87-90 , 2023
Link: https://doi.org/10.1109/..
 
?
5

Risk Assessment and Prediction in Human-Robot Interaction T..:

, In: 2022 IEEE 23rd Latin American Test Symposium (LATS),
Boldo, Michele ; Bombieri, Nicola ; De Marchi, Mirco... - p. 1-5 , 2022
Link: https://doi.org/10.1109/..
 
?
6

Special issue: Formal verification of cyber-physical system:

Geretti, Luca ; Abate, Alessandro ; Nuzzo, Pierluigi.
Information and Computation.  289 (2022)  - p. 104979 , 2022
Link: https://doi.org/10.1016/..
 
?
7

Process-driven Collision Prediction in Human-Robot Work Env..:

, In: 2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA),
Geretti, Luca ; Centomo, Stefano ; Boldo, Michele... - p. 1-8 , 2022
Link: https://doi.org/10.1109/..
 
?
8

Automating Numerical Parameters Along the Evolution of a No..:

, In: Runtime Verification; Lecture Notes in Computer Science,
Geretti, Luca ; Collins, Pieter ; Bresolin, Davide. - p. 336-345 , 2022
Link: https://doi.org/10.1007/..
 
?
9

A computable and compositional semantics for hybrid automat:

, In: Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control,
Bresolin, Davide ; Collins, Pieter ; Geretti, Luca... - p. 1-11 , 2020
Link: https://dl.acm.org/doi/1..
 
?
10

Rigorous Continuous Evolution of Uncertain Systems:

, In: Numerical Software Verification; Lecture Notes in Computer Science,
Geretti, Luca ; Živanović Gonzalez, Sanja ; Collins, Pieter.. - p. 60-75 , 2019
Link: https://doi.org/10.1007/..
 
?
11

Formal Verification of Medical CPS : A Laser Incision Ca..:

Geraldes, André A. ; Geretti, Luca ; Bresolin, Davide...
ACM Transactions on Cyber-Physical Systems.  2 (2018)  4 - p. 1-29 , 2018
Link: https://dl.acm.org/doi/1..
 
?
12

Formal Verification of Medical CPS: A Laser Incision Case S..:

Geraldes, André A. ; Geretti, Luca ; Bresolin, Davide...
ACM Transactions on Cyber-Physical Systems.  2 (2018)  4 - p. 1-29 , 2018
Link: https://doi.org/10.1145/..
 
?
13

Formal verification of robotic surgery tasks by reachabilit..:

Bresolin, Davide ; Geretti, Luca ; Muradore, Riccardo..
Microprocessors and Microsystems.  39 (2015)  8 - p. 836-842 , 2015
Link: https://doi.org/10.1016/..
 
?
14

Assume–guarantee verification of nonlinear hybrid systems w..:

Benvenuti, Luca ; Bresolin, Davide ; Collins, Pieter...
International Journal of Robust and Nonlinear Control.  24 (2012)  4 - p. 699-724 , 2012
Link: https://doi.org/10.1002/..
 
?
15

ARCH-COMP23 category report: Continuous and hybrid systems ..:

Geretti, Luca ; Alexandre Dit Sandretto, Julien ; Althoff, Matthias...
https://vbn.aau.dk/da/publications/436f5388-4af8-4402-9c42-fbd5e003e5e4.  , 2023
Link: https://vbn.aau.dk/da/pu..
 
1-15