Stella Simic

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

Collaborative distances:

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

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

2020

Tight Error Analysis in Fixed-Point Arithmetic.

Stella Simic, Alberto Bemporad, Omar Inverso, Mirco Tribastone

Proceedings of the Integrated Formal Methods - 16th International Conference, 2020

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