Masaryk University

Publication Records

česky | in English

Filter publications

    2013

  1. BABIAK, Tomáš, Thomas BADIE, Alexandre DURET-LUTZ, Mojmír KŘETÍNSKÝ and Jan STREJČEK. Compositional Approach to Suspension and Other Improvements to LTL Translation. In Ezio Bartocci, C. R. Ramakrishnan. Model Checking Software - 20th International Symposium, SPIN 2013. LNCS 7976. Berlin Heidelberg: Springer, 2013. p. 81-98, 18 pp. ISBN 978-3-642-39175-0. doi:10.1007/978-3-642-39176-7_6.
  2. 2012

  3. DAVIDSON, T, S J GAY, Hynek MLNAŘÍK, Rajagopal NAGARAJAN and N PAPANIKOLAOU. Model Checking for Communicating Quantum Processes. International Journal of Unconventional Computing, Old City Publishing, Inc., 2012, vol. 8, No 1, p. 73-98. ISSN 1548-7199.
  4. 2009

  5. KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK and Jan STREJČEK. On Decidability of LTL+Past Model Checking for Process Rewrite Systems. In Joint Proceedings of the 8th, 9th, and 10th International Workshops on Verification of Infinite-State Systems (INFINITY 2006, 2007, 2008). 2009. vyd. Amsterdam, The Netherlands: Elsevier Science Publishers, 2009. p. 105-117, 13 pp. ISSN 1571-0661.
  6. 2007

  7. BRÁZDIL, Tomáš, Václav BROŽEK and Vojtěch FOREJT. Branching-Time Model-Checking of Probabilistic Pushdown Automata. In Proc. of 9th Internat. Workshop on Verification of Infinite-State Systems. Lisboa: Univerisity of Lisboa, 2007. p. 24-33, 10 pp.
  8. KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK and Jan STREJČEK. On Decidability of LTL+Past Model Checking for Process Rewrite Systems. In Proc. of 9th Internat. Workshop on Verification of Infinite-State Systems. 2007.
  9. 2005

  10. BRIM, Luboš, Jitka ŽIDKOVÁ and Karen YORAV. Assumption-based distribution of CTL model checking. International Journal on Software Tools for Technology Transfer (STTT), Springer-Verlag GmbH, 2005, vol. 7, No 1, p. 61-73. ISSN 1433-2779.
  11. BARNAT, Jiří, Luboš BRIM, Ivana ČERNÁ and Pavel ŠIMEČEK. DIVINE - The Distributed Verification Environment. In In proceedings of 4th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC05). Lisboa, Portugal: TU Munchen, 2005. p. 89-94, 6 pp.
  12. BARNAT, Jiří, Vojtěch FOREJT, Martin LEUCKER and Michael WEBER. DivSPIN - A SPIN compatible distributed model checker. In Proceedings of 4th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC05). Lisabon, Portugalsko: TU Munchen, 2005. p. 95-100, 6 pp.
  13. KUČERA, Antonín and Jan STREJČEK. Characteristic Patterns for LTL. P. Vojtas, M. Bielikova, B. Charron-Bost, O. Sykora (Eds.). In SOFSEM 2005: Theory and Practice of Computer Science. Berlin, Heidelberg: Springer-Verlag, 2005. p. 239-249, 11 pp. ISBN 3-540-24302-X.
  14. BRIM, Luboš and Orna GRUMBERG. Introductory paper: Parallel and Distributed Model Checking. International Journal on Software Tools for Technology Transfer (STTT), Springer-Verlag GmbH, 2005, vol. 7, No 1, p. 1-3. ISSN 1433-2779.
  15. 2003

  16. BRIM, Luboš and Jiří BARNAT. Distribution of Explicit-State LTL Model-Checking. Editors Thomas Arts, Wan Fokking. Electronic Notes in Theoretical Computer Science, Elsevier Science, 2003, Volume 80, No 1, p. 120-125.
  17. OBDRŽÁLEK, Jan. Fast Mu-calculus Model Checking when Tree-width is Bounded. In CAV 2003. Berlin Heidelberg: Springer-Verlag, 2003. p. 80-92, 13 pp. ISBN 3-540-40524-0.
  18. ESPARZA, Javier, Antonín KUČERA and Stefan SCHWOON. Model checking LTL with regular valuations for pushdown systems. Information and Computation, Academic Press, 2003, vol. 186, No 2, p. 355-376. ISSN 0890-5401.
  19. BRIM, Lubos, Ivana ČERNÁ and Lukáš HEJTMÁNEK. Parallel Algorithms for Detection of Negative Cycles. In Proceedings of the 10th ParCo Conference. Holandsko: Elsevier B.V., 2003. p. 98-111.
  20. BRIM, Lubos, Ivana ČERNÁ and Lukáš HEJTMÁNEK. Parallel Algorithms for Detection of Negative Cycles. Brno: Faculty of Informatics, 2003. 14 pp. Technical Reports, FIMU-RS-2003-04.
  21. 2002

  22. BARNAT, Jiří, Luboš BRIM and Ivana ČERNÁ. Property Driven Distribution of Nested DFS. In M. Leuschel and U. Ultes-Nitsche (Eds.): Proceedings of the 3rd International Workshop on Verification and Computational Logic. Pittsburgh, PA, USA: Dept. of Electronics and Computer Science, University of Southampton, 2002. p. 1-10.
  23. BARNAT, Jiří. Using verified property to partition the state space in LTL model-checking. In F. Cassez, C. Jard, F. Laroussinie, and M.D. Ryan (Eds.): Modelling and Verification of Parallel processes. Nantes, France: IRCCyN, Ecole Centrale de Nantes, 2002. p. 262-267.
  24. 2001

  25. BARNAT, Jiří, Luboš BRIM and Jitka STŘÍBRNÁ. Distributed LTL Model-Checking in SPIN. In M.B. Dwyer (Ed.): Model Checking Software, 8th International SPIN Workshop. Toronto, Canada: Springer Verlag, 2001. p. 200-215. ISBN 3-540-42124-6.
  26. 2000

  27. BARNAT, Jiří, Luboš BRIM and Jitka STŘÍBRNÁ. Distributed LTL Model-Checking in SPIN. Brno: FI MU, 2000. 16 pp. Technical Reports.
Display details
Displayed: 7. 7. 2020 01:36