Aleksandra Jovanovic

Publication Activity (10 Years)

Years Active: 2012-2022
Publications (10 Years): 5

Top Topics

Controller Synthesis

Parameter Settings

Real Time Systems

Top Venues

Theor. Comput. Sci.

Fundam. Informaticae

Publications

Aleksandra Jovanovic, Didier Lime, Olivier H. Roux
Control of Real-Time Systems With Integer Parameters. IEEE Trans. Autom. Control. 67 (1) (2022)
Aleksandra Jovanovic, Didier Lime, Olivier H. Roux
A game approach to the parametric control of real-time systems. Int. J. Control 92 (9) (2019)
Aleksandra Jovanovic, Marta Kwiatkowska
Parameter synthesis for probabilistic timed automata using stochastic game abstractions. Theor. Comput. Sci. 735 (2018)
Aleksandra Jovanovic, Marta Kwiatkowska, Gethin Norman, Quentin Peyras
Symbolic optimal expected time reachability computation and controller synthesis for probabilistic timed automata. Theor. Comput. Sci. 669 (2017)
Béatrice Bérard, Serge Haddad, Aleksandra Jovanovic, Didier Lime
Interrupt Timed Automata with Auxiliary Clocks and Parameters. Fundam. Informaticae 143 (3-4) (2016)
Aleksandra Jovanovic, Didier Lime, Olivier H. Roux
Integer Parameter Synthesis for Real-Time Systems. IEEE Trans. Software Eng. 41 (5) (2015)
Aleksandra Jovanovic, Marta Z. Kwiatkowska, Gethin Norman
Symbolic Minimum Expected Time Controller Synthesis for Probabilistic Timed Automata. FORMATS (2015)
Aleksandra Jovanovic, Marta Z. Kwiatkowska
Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions. RP (2014)
Béatrice Bérard, Serge Haddad, Aleksandra Jovanovic, Didier Lime
Interrupt Timed Automata with Auxiliary Clocks and Parameters. CoRR (2014)
Aleksandra Jovanovic, Didier Lime, Olivier H. Roux
Integer Parameter Synthesis for Timed Automata. TACAS (2013)
Béatrice Bérard, Serge Haddad, Aleksandra Jovanovic, Didier Lime
Parametric Interrupt Timed Automata. RP (2013)
Aleksandra Jovanovic, Didier Lime, Olivier H. Roux
Synthesis of Bounded Integer Parameters for Parametric Timed Reachability Games. ATVA (2013)
Aleksandra Jovanovic, Sébastien Faucou, Didier Lime, Olivier H. Roux
Real-time control with parametric timed reachability games. WODES (2012)