Yuri Andriaccio

According to our database, Yuri Andriaccio authored at least 2 papers between 2025 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

EVA-rt-Engine: Evaluation, Verification and Analysis Engine for Real-Time Applications Schedulability.

Yuri Andriaccio, Luca Abeni

Proceedings of the Companion of the 17th ACM/SPEC International Conference on Performance Engineering, 2026

2025

Practical Exploration of Polyhedral Model Checking.

Yuri Andriaccio, Vincenzo Ciancia, Diego Latella, Mieke Massink

CoRR, June, 2025