Aleksandra Jovanovic

According to our database, Aleksandra Jovanovic authored at least 11 papers between 2012 and 2022.

Collaborative distances:

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

2022

Control of Real-Time Systems With Integer Parameters.

Aleksandra Jovanovic, Didier Lime, Olivier H. Roux

IEEE Trans. Autom. Control., 2022

2019

A game approach to the parametric control of real-time systems.

Aleksandra Jovanovic, Didier Lime, Olivier H. Roux

Int. J. Control, 2019

2017

Symbolic optimal expected time reachability computation and controller synthesis for probabilistic timed automata.

Aleksandra Jovanovic, Marta Kwiatkowska, Gethin Norman, Quentin Peyras

Theor. Comput. Sci., 2017

2016

Interrupt Timed Automata with Auxiliary Clocks and Parameters.

Béatrice Bérard, Serge Haddad, Aleksandra Jovanovic, Didier Lime

Fundam. Informaticae, 2016

2015

Integer Parameter Synthesis for Real-Time Systems.

Aleksandra Jovanovic, Didier Lime, Olivier H. Roux

IEEE Trans. Software Eng., 2015

Symbolic Minimum Expected Time Controller Synthesis for Probabilistic Timed Automata.

Aleksandra Jovanovic, Marta Z. Kwiatkowska, Gethin Norman

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2015

2014

Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions.

Aleksandra Jovanovic, Marta Z. Kwiatkowska

Proceedings of the Reachability Problems - 8th International Workshop, 2014

2013

Integer Parameter Synthesis for Timed Automata.

Aleksandra Jovanovic, Didier Lime, Olivier H. Roux

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

Parametric Interrupt Timed Automata.

Béatrice Bérard, Serge Haddad, Aleksandra Jovanovic, Didier Lime

Proceedings of the Reachability Problems - 7th International Workshop, 2013

Synthesis of Bounded Integer Parameters for Parametric Timed Reachability Games.

Aleksandra Jovanovic, Didier Lime, Olivier H. Roux

Proceedings of the Automated Technology for Verification and Analysis, 2013

2012

Real-time control with parametric timed reachability games.

Aleksandra Jovanovic, Sébastien Faucou, Didier Lime, Olivier H. Roux

Proceedings of the 11th International Workshop on Discrete Event Systems, 2012