Federico Poli

Publication Activity (10 Years)

Years Active: 2019-2022
Publications (10 Years): 8

Top Topics

Top Venues

Proc. ACM Program. Lang.

Expert Syst. Appl.

Publications

Federico Poli, Ngoc-Lam Dinh, Valérian Mannoni, Benoît Denis
Evaluation of 5G-NR V2N Connectivity in a Centralized Cooperative Lane Change Scenario. VTC Spring (2022)
Vytautas Astrauskas, Aurel Bílý, Jonás Fiala, Zachary Grannan, Christoph Matheja, Peter Müller, Federico Poli, Alexander J. Summers
The Prusti Project: Formal Verification for Rust. NFM (2022)
Federico Poli, Benoît Denis, Valérian Mannoni, Vincent Berg, David Martín-Sacristán, David García-Roger, José Francisco Monserrat
Evaluation of C-V2X Sidelink for Cooperative Lane Merging in a Cross-Border Highway Scenario. VTC Spring (2021)
A. Chiha Ep Harbi, Federico Poli, Benoît Denis, F. Vannieuwenborg, David García-Roger, Jose F. Monserrat, W. Aigner
Techno-economic and Simulation Study of a V2I-based Cooperative Manoeuvring Case in a Cross-border Scenario. VTC Fall (2021)
Emilio Barucci, Michele Bonollo, Federico Poli, Edit Rroji
A machine learning algorithm for stock picking built on information based outliers. Expert Syst. Appl. 184 (2021)
Arturo Guizar, Valérian Mannoni, Federico Poli, Benoît Denis, Vincent Berg
LTE-V2X performance evaluation for cooperative collision avoidance (CoCA) systems. VTC Fall (2020)
Vytautas Astrauskas, Christoph Matheja, Federico Poli, Peter Müller, Alexander J. Summers
How do programmers use unsafe rust? Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Vytautas Astrauskas, Peter Müller, Federico Poli, Alexander J. Summers
Leveraging rust types for modular specification and verification. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)