Numerical solutions to noisy systems. - Sanja Zivanovic; Pieter Collins (CDC, 2010)

Dynamics with a Range of Choice. - Lev Kapitanski; Sanja Zivanovic (Reliab. Comput., 2011)

Ongoing Work on Automated Verification of Noisy Nonlinear Systems with Ariadne. - Luca Geretti; Davide Bresolin; Pieter Collins; Sanja Zivanovic Gonzalez; Tiziano Villa (ICTSS, 2017)

Rigorous Continuous Evolution of Uncertain Systems. - Luca Geretti; Sanja Zivanovic Gonzalez; Pieter Collins; Davide Bresolin; Tiziano Villa (NSV@CAV, 2019)

A computable and compositional semantics for hybrid automata. - Davide Bresolin; Pieter Collins; Luca Geretti; Roberto Segala; Tiziano Villa; Sanja Zivanovic Gonzalez (HSCC, 2020)

Higher Order Method for Differential Inclusions. - Sanja Zivanovic Gonzalez; Pieter Collins; Luca Geretti; Davide Bresolin; Tiziano Villa (CoRR, 2020)

Rigorous Function Calculi in Ariadne. - Pieter Collins; Luca Geretti; Sanja Zivanovic Gonzalez; Davide Bresolin; Tiziano Villa (CoRR, 2023)

A computable and compositional semantics for hybrid systems. - Davide Bresolin; Pieter Collins; Luca Geretti; Roberto Segala; Tiziano Villa; Sanja Zivanovic Gonzalez (Inf. Comput., 2024)