Stella Simic

According to our database, Stella Simic authored at least 3 papers between 2016 and 2022.

Collaborative distances:

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

2022

Tight Error Analysis in Fixed-point Arithmetic.

Stella Simic, Alberto Bemporad, Omar Inverso, Mirco Tribastone

Formal Aspects Comput., 2022

2021

Bit-Precise Verification of Discontinuity Errors Under Fixed-Point Arithmetic.

Stella Simic, Omar Inverso, Mirco Tribastone

Proceedings of the Software Engineering and Formal Methods - 19th International Conference, 2021

2016

Modeling cyber attacks by stochastic games and Timed Petri Nets.

Maria Pia Fanti, Massimiliano Nolich, Stella Simic, Walter Ukovich

Proceedings of the 2016 IEEE International Conference on Systems, Man, and Cybernetics, 2016