Aleksandra Jovanovic

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