Research Project Results
Centrum excelence - Institut teoretické informatiky (CE-ITI)
| Project Identification: | GBP202/12/G061 | ||||||
| MU Investigator: | Prof. RNDr. Antonín Kučera, Ph.D. | ||||||
| MU Faculty/Unit: | Faculty of Informatics | ||||||
| Project Period: | 1/2012 - 12/2018 | ||||||
| Investor/Programme: | Czech Science Foundation / Projects to promote excellence in basic research- | ||||||
| Cooperating Organization: |
| ||||||
Charles University Prague Publications:
BRÁZDIL, Tomáš - ESPARZA, Javier - KIEFER, Stefan - KUČERA, Antonín.
Analyzing probabilistic pushdown automata. Formal Methods in System Design, , Springer Netherlands, The Nederlands. ISSN 0925-9856, 2013.
SLABÝ, Jiří - STREJČEK, Jan - TRTÍK, Marek.
ClabureDB: Classified Bug-Reports Database Tool for Developers of Program Analysis Tools. In Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013. Berlin, Heidelberg : Springer, 2013. ISBN 978-3-642-35872-2, pp. 268-274. 2013, Rome, Italy.
CHMELÍK, Martin - ŘEHÁK, Vojtěch.
Controllable-choice Message Sequence Graphs. In Proceedings of Mathematical and Engineering Methods in Computer Science, 8th Doctoral Workshop (MEMICS 2012), Selected Papers. Berlin Heidelberg : Springer, 2013. ISBN 978-3-642-36044-2, pp. 118-130. 2012, Znojmo.
BRÁZDIL, Tomáš - KUČERA, Antonín - NOVOTNÝ, Petr.
Determinacy in Stochastic Games with Unbounded Payoff Functions. In MEMICS 2012. Heidelberg : Springer, 2013. pp. 94-105. 2012, Znojmo.
SLABÝ, Jiří - STREJČEK, Jan - TRTÍK, Marek.
Symbiotic: Synergy of Instrumentation, Slicing, and Symbolic Execution - (Competition Contribution). In Tools and Algorithms for the Construction and Analysis of Systems - 19th International Conference, TACAS 2013. Berlin, Heidelberg : Springer, 2013. ISBN 978-3-642-36741-0, pp. 630-632. 2013, Rome, Italy.
KŮR, Jiří - MATYÁŠ, Václav - ŠVENDA, Petr.
Two Improvements of Random Key Predistribution for Wireless Sensor Networks. In Security and Privacy in Communication Networks, Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, Volume 106. Berlin : Springer Berlin Heidelberg, 2013. ISBN 978-3-642-36882-0, pp. 61-75. 2012, Padua.
STREJČEK, Jan - TRTÍK, Marek.
Abstracting Path Conditions. In Proceedings of the 2012 International Symposium on Software Testing and Analysis, ISSTA 2012. New York, NY, USA : ACM, 2012. ISBN 978-1-4503-1454-1, pp. 155--165. 2012, Minneapolis, MN, USA.
KLÍMA, Ondřej - POLÁK, Libor.
Biautomata for k-Piecewise Testable Languages. In Developments in Language Theory. Berlin Heidelberg : Springer - Verlag, 2012. ISBN 978-3-642-31652-4, pp. 344-355. 2012, Taipei, Taiwan.
KLÍMA, Ondřej - JIRÁSKOVÁ, Galina.
Descriptional Complexity of Biautomata. In Descriptional Complexity of Formal Systems. Berlin Heidelberg : Springer-Verlag Berlin Heidelberg, 2012. ISBN 978-3-642-31622-7, pp. 196-208. 2012, Braga, Portugal.
KŘETÍNSKÝ, Jan - ESPARZA, Javier.
Deterministic Automata for the (F,G)-fragment of LTL. In Computer Aided Verification - 24th International Conference. Heidelberg Dordrecht London New York : Springer, 2012. ISBN 978-3-642-31423-0, pp. 7-22. Berkeley, CA, USA.
BOUDA, Jan - PIVOLUSKA, Matej - PLESCH, Martin - WILMOTT, Colin.
Encryption with weakly random keys using a quantum ciphertext. 2012.
BOUDA, Jan - PIVOLUSKA, Matej - PLESCH, Martin.
Encryption with weakly random keys using quantum ciphertext. Quantum Information and Computing, Princeton, USA, Rinton, USA. ISSN 1533-7146, 2012, vol. 12, no. 5-6, pp. 395-403.
SLABÝ, Jiří - STREJČEK, Jan - TRTÍK, Marek.
Checking Properties Described by State Machines: On Synergy of Instrumentation, Slicing, and Symbolic Execution. In Formal Methods for Industrial Critical systems: 17th International Workshop, FMICS 2012. Berlin, Heidelberg : Springer, 2012. ISBN 978-3-642-32468-0, pp. 207-221. 2012, Paris, France.
BOUDA, Jan - PIVOLUSKA, Matej - PLESCH, Martin.
Improving the Hadamard extractor. Theoretical Computer Science, Amsterdam, Elsevier, The Nederlands. ISSN 0304-3975, 2012, vol. 459, no. 9 Nov 2012, pp. 69-76.
BABIAK, Tomáš - KŘETÍNSKÝ, Mojmír - ŘEHÁK, Vojtěch - STREJČEK, Jan.
LTL to Büchi Automata Translation: Fast and More Deterministic. In TACAS 2012: 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Berlin, Heidelberg : Springer-Verlag, 2012. ISBN 978-3-642-28755-8, pp. 95-109. 2012, Tallinn, Estonia.
KUČERA, Antonín.
Playing Games with Counter Automata. In Reachability Problems, RP 2012. Heidelberg Dordrecht London : Springer, 2012. ISBN 978-3-642-33511-2, pp. 29-41. 17.9.2012, Bordeaux.
GAISER, Andreas - KŘETÍNSKÝ, Jan - ESPARZA, Javier.
Rabinizer: Small Deterministic Automata for LTL(F,G). In Automated Technology for Verification and Analysis - 10th International Symposium ATVA 2012. Berlin Heidelberg : Springer, 2012. ISBN 978-3-642-33385-9, pp. 72-76.
ŘEHÁK, Vojtěch - MADZIN, Matúš - KORENČIAK, Ľuboš - GOTTHARD, Petr - KOCIAN, Ondřej - BEZDĚKA, Martin - BOUDA, Ondřej - VACEK, Václav - MALOTA, Milan - PEKARČÍKOVÁ, Zuzana.
Sequence Chart Studio: user-friendly drawing and verification tool for MSC. 2012.
KUNC, Michal - OKHOTIN, Alexander.
State complexity of operations on two-way finite automata over a unary alphabet. Theoretical Computer Science, Amsterdam, Elsevier, The Nederlands. ISSN 0304-3975, 2012, vol. 449, no. 1, pp. 106-118.
BAIER, Christel - BRÁZDIL, Tomáš - GRÖßER, Marcus - KUČERA, Antonín.
Stochastic game logic. Acta informatica, Berlin, Springer-Verlag, Germany. ISSN 0001-5903, 2012, vol. 49, no. 4, pp. 203-224.
BOUDA, Jan - PIVOLUSKA, Matej - PLESCH, Martin - WILMOTT, Colin.
Weak randomness completely trounces the security of QKD. 2012.
BOUDA, Jan - PIVOLUSKA, Matej - PLESCH, Martin - WILMOTT, Colin.
Weak randomness seriously limits the security of quantum key distribution. Physical Review A, New York, American physical society, USA. ISSN 1050-2947, 2012, vol. 86, no. 6, pp. 0623081-0623085.
GANIAN, Robert - HLINĚNÝ, Petr - OBDRŽÁLEK, Jan - NEŠETŘIL, Jaroslav - OSSONA DE MENDEZ, Patrice - RAMADURAI, Reshma.
When Trees Grow Low: Shrubs and Fast MSO1. In Math Foundations of Computer Science MFCS 2012. Vyd. 7464. Německo : Lecture Notes in Computer Science, Springer-Verlag, 2012. ISBN 978-3-642-32588-5, pp. 419-430. 2012, Bratislava.
