Stella Simic
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2016–2021
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | SEFM | Bit-Precise Verification of Discontinuity Errors Under Fixed-Point Arithmetic. | Stella Simic, Omar Inverso, Mirco Tribastone |
| 2020 | IFM | Tight Error Analysis in Fixed-Point Arithmetic. | Stella Simic, Alberto Bemporad, Omar Inverso, Mirco Tribastone |
| 2016 | SMC | Modeling cyber attacks by stochastic games and Timed Petri Nets. | Maria Pia Fanti, Massimiliano Nolich, Stella Simic, Walter Ukovich |