Patricia Bouyer, Nicolas Markey, Ocan Sankur
Robust Weighted Timed Automata and GamesIn
Proceedings of the 11th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'13)
LNCS 8053,
pages 31-46. Springer, 2013. (PDF | Abstract + BibTeX)
BibTeX Source:
@inproceedings{
address = {Buenos Aires, Argentina},
booktitle = {{P}roceedings of the 11th {I}nternational {C}onference on {F}ormal {M}odelling and {A}nalysis of {T}imed {S}ystems ({FORMATS}'13)},
DOI = {10.1007/978-3-642-40229-6_3},
month = {August},
pages = {31-46},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {Robust Weighted Timed Automata and Games},
url = {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/BMS-formats13.pdf},
volume = {8053},
year = {2013},
author = {Bouyer, Patricia and Markey, Nicolas and Sankur, Ocan },
}
Patricia Bouyer, Nicolas Markey, Ocan Sankur
Robust Reachability in Timed Automata: A Game-based ApproachIn
Proceedings of the 39th International Colloquium on Automata, Languages and Programming (ICALP'12) -- Part II
LNCS 7392,
pages 128-140. Springer, 2012. (PDF | Abstract + BibTeX)
BibTeX Source:
@inproceedings{
address = {Warwick, UK},
booktitle = {{P}roceedings of the 39th {I}nternational {C}olloquium on {A}utomata, {L}anguages and {P}rogramming ({ICALP}'12)~-- {P}art~{II}},
DOI = {10.1007/978-3-642-31585-5_15},
month = {July},
pages = {128-140},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {Robust Reachability in Timed Automata: A~Game-based Approach},
url = {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/BMS-icalp12.pdf},
volume = {7392},
year = {2012},
author = {Bouyer, Patricia and Markey, Nicolas and Sankur, Ocan },
}
Ocan Sankur, Patricia Bouyer, Nicolas Markey
Shrinking Timed AutomataTo appear in
Proceedings of the 31st Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'11)
Leibniz International Proceedings in Informatics pages 90-102. Leibniz-Zentrum für Informatik, 2011. (PDF | Abstract + BibTeX)
BibTeX Source:
@inproceedings{
address = {Mumbai, India},
booktitle = {{P}roceedings of the 31st {C}onference on {F}oundations of {S}oftware {T}echnology and {T}heoretical {C}omputer {S}cience ({FSTTCS}'11)},
DOI = {10.4230/LIPIcs.FSTTCS.2011.90},
month = {December},
pages = {90-102},
publisher = {Leibniz-Zentrum f{\"u}r Informatik},
series = {Leibniz International Proceedings in Informatics},
title = {Shrinking Timed Automata},
url = {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/SBM-fsttcs11.pdf},
year = {2011},
author = {Sankur, Ocan and Bouyer, Patricia and Markey, Nicolas },
}
Patricia Bouyer, Kim G. Larsen, Nicolas Markey, Ocan Sankur, Claus Thrane
Timed automata can always be made implementableIn
Proceedings of the 22nd International Conference on Concurrency Theory (CONCUR'11)
LNCS 6901,
pages 76-91. Springer, 2011. (PDF | Abstract + BibTeX)
BibTeX Source:
@inproceedings{
address = {Aachen, Germany},
booktitle = {{P}roceedings of the 22nd {I}nternational {C}onference on {C}oncurrency {T}heory ({CONCUR}'11)},
DOI = {10.1007/978-3-642-23217-6_6},
month = {September},
pages = {76-91},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {Timed automata can always be made implementable},
url = {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/BLMST-concur11.pdf},
volume = {6901},
year = {2011},
author = {Bouyer, Patricia and Larsen, Kim G. and Markey, Nicolas and Sankur, Ocan and Thrane, Claus },
}
Patricia Bouyer, Nicolas Markey, Ocan Sankur
Robust Model-Checking of Timed Automata via Pumping in Channel MachinesIn
Proceedings of the 9th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'11)
LNCS 6919,
pages 97-112. Springer, 2011. (PDF | Abstract + BibTeX)
BibTeX Source:
@inproceedings{
address = {Aalborg, Denmark},
booktitle = {{P}roceedings of the 9th {I}nternational {C}onference on {F}ormal {M}odelling and {A}nalysis of {T}imed {S}ystems ({FORMATS}'11)},
DOI = {10.1007/978-3-642-24310-3_8},
month = {September},
pages = {97-112},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {Robust Model-Checking of Timed Automata via Pumping in Channel Machines},
url = {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/BMS-formats11.pdf},
volume = {6919},
year = {2011},
author = {Bouyer, Patricia and Markey, Nicolas and Sankur, Ocan },
}