Aleksandra Jovanovic : Publications
-
[1]
Integer Parameter Synthesis for Real−time Systems
A. Jovanović‚ D. Lime and O. H. Roux
In IEEE Transactions on Software Engineering (TSE). 2014.
To appear.
Details about Integer Parameter Synthesis for Real−time Systems | BibTeX data for Integer Parameter Synthesis for Real−time Systems
-
[2]
Integer Parameter Synthesis for Timed Automata
A. Jovanović‚ D. Lime and O. H. Roux
In TACAS 2013. Vol. 7795 of LNCS. Pages 401–415. Springer. 2013.
Details about Integer Parameter Synthesis for Timed Automata | BibTeX data for Integer Parameter Synthesis for Timed Automata
-
[3]
Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions
A. Jovanović and M. Kwiatkowska
In RP 2014. Springer. 2014.
Details about Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions | BibTeX data for Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions
-
[4]
Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions
Aleksandra Jovanovic and Marta Kwiatkowska
No. RR−14−06. DCS. 2014.
Details about Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions | BibTeX data for Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions | Download (pdf) of Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions
-
[5]
Parametric Interrupt Timed Automata
B. Bérard‚ S. Haddad‚ A. Jovanović and D. Lime
In RP 2013. Vol. 8169 of LNCS. Pages 59−69. Springer. 2013.
Details about Parametric Interrupt Timed Automata | BibTeX data for Parametric Interrupt Timed Automata
-
[6]
Symbolic Minimum Expected Time Controller Synthesis for Probabilistic Timed Automata
Aleksandra Jovanovic‚ Marta Kwiatkowska and Gethin Norman
No. RR−15−04. DCS. 2015.
Details about Symbolic Minimum Expected Time Controller Synthesis for Probabilistic Timed Automata | BibTeX data for Symbolic Minimum Expected Time Controller Synthesis for Probabilistic Timed Automata | Download (pdf) of Symbolic Minimum Expected Time Controller Synthesis for Probabilistic Timed Automata
-
[7]
Synthesis of Bounded Integer Parameters for Parametric Timed Reachability Games
A. Jovanović‚ D. Lime and O. H. Roux
In ATVA 2013. Vol. 8172 of LNCS. Pages 87−101. Springer. 2013.
Details about Synthesis of Bounded Integer Parameters for Parametric Timed Reachability Games | BibTeX data for Synthesis of Bounded Integer Parameters for Parametric Timed Reachability Games