Department of Computer Science

Total number of titles in 2016: 6

 

BAUCH, Petr - HAVEL, Vojtěch - BARNAT, Jiří.
Accelerating Temporal Verification of Simulink Diagrams Using Satisfiability Modulo Theories. Software Quality Journal, Springer, USA. ISSN 0963-9314, 2016, vol. 24, no. 1, pp. 37-63.


more

 

GANIAN, Robert - HLINĚNÝ, Petr - OBDRŽÁLEK, Jan - KNEIS, Joachim - MEISTER, Daniel - SIKDAR, Somnath - ROSSMANITH, Peter.
Are there any good digraph width measures?. Journal of Combinatorial Theory, Ser B, Academic Press, India. ISSN 0095-8956, 2016, vol. 116, no. 1, pp. 250-286.


more

 

JENSEN, Jonnas F. - LARSEN, Kim G. - SRBA, Jiří - OESTERGAARD, Lars.
Efficient Model Checking of Weighted CTL with Upper-Bound Constraints. International Journal on Software Tools for Technology Transfer (STTT), Springer-Verlag GmbH, The Nederlands. ISSN 1433-2779, 2016, vol. 2014, no. december, pp. 1-18.


more

 

HLINĚNÝ, Petr - SLÁMEČKA, Ondřej.
Practical Exhaustive Generation of Small Multiway Cuts in Sparse Graphs. In Mathematical and Engineering Methods in Computer Science, Lecture Notes in Computer Science 9548. Switzerland : Springer, 2016. ISBN 978-3-319-29816-0, pp. 54-66. 23.10.2015, Telč.


more

 

ŠTILL, Vladimír - ROČKAI, Petr - BARNAT, Jiří.
Weak Memory Models as LLVM-to-LLVM Transformations. In Mathematical and Engineering Methods in Computer Science: 10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23-25, 2015, Revised Selected Papers. Neuveden : Springer International Publishing, 2016. ISBN 978-3-319-29816-0, pp. 144-155. 2015, Telč, Česká republika.


more