Publications



Arias, J., Maśko, êL, Penczek, W., Petrucci, L., & Sidoruk, T. (2022, March). Minimal Schedule with Minimal Number of Agents in Attack-Defence Trees. 26th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS’22), Hiroshima City, Japan.

Coti, C., Petrucci, L., & Torres Gonzalez, D. A. (2022, March). A Formal Model for Fault Tolerant Parallel Matrix Factorization. 26th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS’22), Hiroshima City, Japan.

Evangelista, S., Kristensen, L. M., & Petrucci, L. (2022, March). Distributed Explicit State Space Exploration with State Reconstruction for RDMA Networks. 26th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS’22), Hiroshima City, Japan.