Real-time control with parametric timed reachability games. - Aleksandra Jovanovic 002; Sébastien Faucou; Didier Lime; Olivier H. Roux (WODES, 2012)

Synthesis of Bounded Integer Parameters for Parametric Timed Reachability Games. - Aleksandra Jovanovic 002; Didier Lime; Olivier H. Roux (ATVA, 2013)

Parametric Interrupt Timed Automata. - Béatrice Bérard; Serge Haddad; Aleksandra Jovanovic 002; Didier Lime (RP, 2013)

Integer Parameter Synthesis for Timed Automata. - Aleksandra Jovanovic 002; Didier Lime; Olivier H. Roux (TACAS, 2013)

Symbolic Minimum Expected Time Controller Synthesis for Probabilistic Timed Automata. - Aleksandra Jovanovic 002; Marta Z. Kwiatkowska; Gethin Norman (FORMATS, 2015)

Integer Parameter Synthesis for Real-Time Systems. - Aleksandra Jovanovic 002; Didier Lime; Olivier H. Roux (IEEE Trans. Software Eng., 2015)

Interrupt Timed Automata with Auxiliary Clocks and Parameters. - Béatrice Bérard; Serge Haddad; Aleksandra Jovanovic 002; Didier Lime (Fundam. Informaticae, 2016)

Symbolic optimal expected time reachability computation and controller synthesis for probabilistic timed automata. - Aleksandra Jovanovic 002; Marta Kwiatkowska; Gethin Norman; Quentin Peyras (Theor. Comput. Sci., 2017)

Parameter synthesis for probabilistic timed automata using stochastic game abstractions. - Aleksandra Jovanovic 002; Marta Kwiatkowska (Theor. Comput. Sci., 2018)

A game approach to the parametric control of real-time systems. - Aleksandra Jovanovic 002; Didier Lime; Olivier H. Roux (Int. J. Control, 2019)

Control of Real-Time Systems With Integer Parameters. - Aleksandra Jovanovic 002; Didier Lime; Olivier H. Roux (IEEE Trans. Autom. Control., 2022)