Modeling cyber attacks by stochastic games and Timed Petri Nets. - Maria Pia Fanti; Massimiliano Nolich; Stella Simic; Walter Ukovich (SMC, 2016)

Bit-Precise Verification of Discontinuity Errors Under Fixed-Point Arithmetic. - Stella Simic; Omar Inverso; Mirco Tribastone (SEFM, 2021)

Tight Error Analysis in Fixed-point Arithmetic. - Stella Simic; Alberto Bemporad; Omar Inverso; Mirco Tribastone (Formal Aspects Comput., 2022)