Stella Simic

Publication Activity (10 Years)

Years Active: 2016-2022
Publications (10 Years): 4

Top Topics

Fixed Point Theorem

Stochastic Games

Top Venues

Formal Aspects Comput.

Publications

Stella Simic, Alberto Bemporad, Omar Inverso, Mirco Tribastone
Tight Error Analysis in Fixed-point Arithmetic. Formal Aspects Comput. 34 (1) (2022)
Stella Simic, Omar Inverso, Mirco Tribastone
Bit-Precise Verification of Discontinuity Errors Under Fixed-Point Arithmetic. SEFM (2021)
Stella Simic, Alberto Bemporad, Omar Inverso, Mirco Tribastone
Tight Error Analysis in Fixed-Point Arithmetic. IFM (2020)
Maria Pia Fanti, Massimiliano Nolich, Stella Simic, Walter Ukovich
Modeling cyber attacks by stochastic games and Timed Petri Nets. SMC (2016)