Prof. RNDr. Ivana Černá, CSc.
KOTÁSEK, Zdeněk - BOUDA, Jan - ČERNÁ, Ivana - SEKANINA, Lukáš - VOJNAR, Tomáš - ANTOŠ, David (Eds.).
Mathematical and Engineering Methods in Computer Science MEMICS 2011, Seventh International Doctoral Workshop, Revised Selected Papers. Springer-Verlag, 2012. 215 pp. ISBN 978-3-642-25928-9.
YORDANOV, Boyan - TŮMOVÁ, Jana - ČERNÁ, Ivana - BARNAT, Jiří - BELTA, Calin.
Temporal Logic Control of Discrete-Time Piecewise Affine Systems. IEEE Transactions on Automatic Control. ISSN 0018-9286, 2012. In print. Scheduled issue of publication: Volume 57 (2012), Issue 6 (June).
BARNAT, Jiří - ČERNÁ, Ivana - TŮMOVÁ, Jana.
Timed Automata Approach to Verification of Systems with Degradation. In MEMICS 2011. Vyd. LNCS 7119. Heidelberg : Springer, 2012. ISBN 978-3-642-25928-9, pp. 84 - 93. 2012, Lednice.
COLLINS, Pieter - HABETS, Luc - VAN SCHUPPEN, Jan - ČERNÁ, Ivana - FABRIKOVÁ, Jana - ŠAFRÁNEK, David.
Abstraction of Biochemical Reaction Systems on Polytopes. In Proceedings of the 18th IFAC World Congress. Milano : IFAC, 2011. ISBN 978-1-1234-7890-2, pp. 14869-14875. 2011, Milano.
BENEŠ, Nikola - ČERNÁ, Ivana - KŘIVÁNEK, Milan.
CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems. In Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation. Neuveden : Open Publishing Association, 2011. pp. 63-67. 2011, Snowbird, Utah, USA.
KOTÁSEK, Zdeněk - BOUDA, Jan - ČERNÁ, Ivana - SEKANINA, Lukáš - VOJNAR, Tomáš - ANTOŠ, David (Eds.).
MEMICS 2011, Seventh Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno University of Technology, Antonínská 548/1, Brno 601 90, 2011. 146 pp. ISBN 978-80-214-4305-1.
BENEŠ, Nikola - ČERNÁ, Ivana - KŘETÍNSKÝ, Jan.
Modal Transition Systems: Composition and LTL Model Checking. In ATVA 2011 - Automated Technology for Verification and Analysis: 9th International Symposium. Heidelberg Dordrecht London New York : Springer, 2011. ISBN 978-3-642-24371-4, pp. 228-242. Taipei, Taiwan.
BARTOŠEK, Miroslav - BRANDEJS, Michal - ČERNÁ, Ivana.
Otevřený přístup k vědeckým informacím na Masarykově univerzitě. ITlib. Informačné technológie a knižnice, Bratislava, Centrum VTI SR, Slovakia. ISSN 1335-793X, 2011, vol. 2011, no. 2, pp. 34-35.
ČERNÁ, Ivana - HAVERKORT, Boudewijn.
Parallel and Distributed Methods in Verification. Journal of logic and computation, Oxford, Oxford University Press, Great Britain. ISSN 0955-792X, 2011, vol. 2011, no. 21, pp. 1-3.
BENEŠ, Nikola - BRIM, Luboš - BÜHNOVÁ, Barbora - ČERNÁ, Ivana - SOCHOR, Jiří - MORAVCOVÁ VAŘEKOVÁ, Pavlína.
Partial Order Reduction for State/Event LTL with Application to Component-Interaction Automata. Science of Computer Programming, Elsevier. ISSN 0167-6423, 2011, vol. 76, no. 10, pp. 877-890.
ČERNÁ, Ivana - GYIMÓTHY, Tibor - HROMKOVIČ, Juraj - JEFFEREY, Keith - KRÁĽOVIČ, Rastislav - VUKOLIC, Marko - WOLF, Stefan (Eds.).
SOFSEM 2011: Theory and Practice of Computer Science 37th Conference on Current Trends in Theory and Practice of Computer Science. Hedeilberg : Springer, 2011. 572 pp. ISBN 978-3-642-18381-2.
TŮMOVÁ, Jana - YORDANOV, Boyan - BELTA, Calin - ČERNÁ, Ivana - BARNAT, Jiří.
A Symbolic Approach to Controlling Piecewise Affine Systems. In Proceedings of of the 49th IEEE Conference on Decision and Control (CDC). Neuveden : Omnipress for IEEE Control Systems Society, 2010. ISBN 978-1-4244-7744-9, pp. 4230-4235. 2010, Atlanta, GA, USA.
BENEŠ, Nikola - ČERNÁ, Ivana - KŘIVÁNEK, Milan.
CoIn-DiVinE. 2010.
YORDANOV, Boyan - TŮMOVÁ, Jana - BELTA, Calin - ČERNÁ, Ivana - BARNAT, Jiří.
Formal Analysis of Piecewise Affine Systems through Formula-Guided Refinement. In Proceedings of of the 49th IEEE Conference on Decision and Control (CDC). Neuveden : Omnipress for IEEE Control Systems Society, 2010. ISBN 978-1-4244-7744-9, pp. 5899-5904. 2010, Atlanta, GA, USA.
ČERNÁ, Ivana.
Formal Verification of Component-based Architectures - Motivation, Methods & Challenges. 2010.
APPL, Jiří - BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - ČEŠKA, Milan - TŮMOVÁ, Jana.
ProbDiVinE 2.0. 2010.
BARNAT, Jiří - DRAŽAN, Sven - FABRIKOVÁ, Jana - ŠAFRÁNEK, David - BRIM, Luboš - ČERNÁ, Ivana - LÁNÍK, Jan.
BioDiVinE. 2009.
BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - DRAŽAN, Sven - FABRIKOVÁ, Jana - LÁNÍK, Jan - ŠAFRÁNEK, David - HONGWU, Ma.
BioDiVinE: A Framework for Parallel Analysis of Biological Models. In Proceedings of 2nd International Workshop on Computational Models for Cell Processes. Neuveden : EPTCS, 2009. pp. 31-45. 2009, Eindhoven.
BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - DRAŽAN, Sven - FABRIKOVÁ, Jana - LÁNÍK, Jan - ŠAFRÁNEK, David.
BioDiVinE: A Tool for Parallel Analysis of Multi-Affine ODE Models. In Computational Mehotds in Systems Biology: Abstract of the Posters. Pisa : University of Pisa, 2009. pp. 1-5. 2009, Bologna.
BENEŠ, Nikola - BÜHNOVÁ, Barbora - ČERNÁ, Ivana - KŘIVÁNEK, Milan.
CoIn Tool Set. 2009.
BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - DRAŽAN, Sven - FABRIKOVÁ, Jana - ŠAFRÁNEK, David.
Computational Analysis of Large-Scale Multi-Affine ODE Models. In International Workshop on High Performance Computational Systems Biology. Los Alamitos (California) : IEEE Computer Society, 2009. ISBN 978-0-7695-3809-9, pp. 81-90. 2009, Trento.
BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - ČEŠKA, Milan - TŮMOVÁ, Jana.
Local Quantitative LTL Model Checking. In Formal Methods for Industrial Critical Systems. Neuveden : Springer Berlin / Heidelberg, 2009. ISBN 978-3-642-03239-4, pp. 53-68. 2008, L'Aquila, Italy.
BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - DRAŽAN, Sven - FABRIKOVÁ, Jana - ŠAFRÁNEK, David.
On Algorithmic Analysis of Transcriptional Regulation by LTL Model Checking. Theoretical Computer Science. ISSN 0304-3975, 2009, vol. 2009, no. 410, pp. 3128-3148.
BENEŠ, Nikola - BRIM, Luboš - ČERNÁ, Ivana - SOCHOR, Jiří - VAŘEKOVÁ, Pavlína - ZIMMEROVÁ, Barbora.
Partial Order Reduction for State/Event LTL. In Proceedings of the International Conference on Integrated Formal Methods (IFM'09). Berlin / Heidelberg, Germany : Springer Verlag, 2009. ISBN 978-3-642-00254-0, pp. 307-321. 16.2.2009, Düsseldorf, Germany.
BARNAT, Jiří - ČERNÁ, Ivana - TŮMOVÁ, Jana.
Quantitative Model Checking of Systems with Degradation. In 2009 Sixth International Conference on the Quantitative Evaluation of Systems. Los Alamitos (California) : IEEE Computer Society, 2009. ISBN 978-0-7695-3808-2, pp. 21-30. 2009, Budapest, Hungary.
BENEŠ, Nikola - ČERNÁ, Ivana - SOCHOR, Jiří - MORAVCOVÁ VAŘEKOVÁ, Pavlína - BÜHNOVÁ, Barbora.
A Case Study in Parallel Verification of Component-Based Systems. Electronic Notes in Theoretical Computer Science, Neuveden, Elsevier, Hungary. ISSN 1571-0661, 2008, vol. 220, no. 2, pp. 67-83.
BENEŠ, Nikola - ČERNÁ, Ivana - SOCHOR, Jiří - VAŘEKOVÁ, Pavlína - ZIMMEROVÁ, Barbora.
A Case Study in Parallel Verification of Component-Based Systems. In Pre-proceedings of the Workshop on Parallel and Distributed Methods in verifiCation (PDMC'08). Budapest, Hungary : ETAPS, 2008. pp. 35-51. 29.3.2008, Budapest, Hungary.
MORAVCOVÁ VAŘEKOVÁ, Pavlína - VAŘEKOVÁ, Ivana - ČERNÁ, Ivana.
Automated Computing of the Maximal Number of Handled Clients for Client-Server Systems. In Proceedings of the International Workshop on Formal Aspects of Component Software (FACS'08). Málaga, Spain : Department of Computer Science, University of Málaga, 2008. pp. 41-55. 10.9.2008, Málaga, Spain.
ZIMMEROVÁ, Barbora - VAŘEKOVÁ, Pavlína - BENEŠ, Nikola - ČERNÁ, Ivana - BRIM, Luboš - SOCHOR, Jiří.
Component-Interaction Automata Approach (CoIn). In The Common Component Modeling Example: Comparing Software Component Models. Berlin / Heidelberg, Germany : Springer Verlag, 2008. LNCS 5153, ISBN 978-3-540-85288-9, pp. 146-176.
BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - ČEŠKA, Milan - ŠIMEČEK, Pavel.
DiVinE Cluster. 2008.
VAŘEKOVÁ, Pavlína - ZIMMEROVÁ, Barbora - MORAVEC, Pavel - ČERNÁ, Ivana.
Formal verification of systems with an unlimited number of components. IET Software journal, Inst. of Engeneering and Technology, USA. ISSN 1751-8806, 2008, vol. Volume 2, no. Isuue 6, pp. p. 532-546.
BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - DRAŽAN, Sven - ŠAFRÁNEK, David.
From Simple Regulatory Motifs to Parallel Model Checking of Complex Transcriptional Networks. In Proceedings of PDMC 2008 - Parallel and Distributed Methods ins VerifiCation. Budapest : Ivana Cerna and Gerald Luettgen, 2008. pp. 83-96. 2008, Budapest.
BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - ČEŠKA, Milan - TŮMOVÁ, Jana.
Local Quantitative LTL Model Checking. In 13th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2008). L'Aquilla : ERCIM, 2008. ISBN 978-3-642-03239-4, pp. 63-78. 2008, L'Aquilla.
MORAVCOVÁ VAŘEKOVÁ, Pavlína - ČERNÁ, Ivana.
Model Checking of Control-User Component-Based Parametrised Systems. Brno, Czech Republic : Faculty of Informatics, Masaryk University, 2008. Technical report FIMU-RS-2008-06.
MORAVCOVÁ VAŘEKOVÁ, Pavlína - ČERNÁ, Ivana.
Model Checking of Control-User Component-Based Parametrised Systems. In Lecture Notes in Computer Science 5282. Germany : Springer Verlag, 2008. ISBN 978-3-540-87890-2, pp. 146-162. 2008, Karlsruhe.
BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - DRAŽAN, Sven - ŠAFRÁNEK, David.
Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE. In Electronic Notes in Theoretical Computer Science. Vyd. Vol. 194/3. Elsevier : Elsevier Science, 2008. pp. 35-50. 2007, Lisbon. Proceedings of From Biology to Concurrency and Back (FBTC 2007).
BENEŠ, Nikola - BRIM, Luboš - ČERNÁ, Ivana - SOCHOR, Jiří - VAŘEKOVÁ, Pavlína - ZIMMEROVÁ, Barbora.
Partial Order Reduction for State/Event LTL. Brno, Czech Republic : Faculty of Informatics, Masaryk University, 2008. Technical report FIMU-RS-2008-07.
BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - ČEŠKA, Milan - TŮMOVÁ, Jana.
ProbDiVinE-MC. 2008.
BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - ČEŠKA, Milan - TŮMOVÁ, Jana.
ProbDiVinE-MC: Multi-core LTL Model Checker for Probabilistic Systems. In QEST '08: Proceedings of the 2008 Fifth International Conference on Quantitative Evaluation of Systems. Washington, DC, USA : IEEE Computer Society, 2008. ISBN 978-0-7695-3360-5, pp. 77-78. 2008, St Malo, France.
BENEŠ, Nikola - BRIM, Luboš - ČERNÁ, Ivana - SOCHOR, Jiří - VAŘEKOVÁ, Pavlína - ZIMMEROVÁ, Barbora.
The CoIn Tool: Modelling and Verification of Interactions in Component-Based Systems. In Pre-proceedings of the International Workshop on Formal Aspects of Component Software (FACS'08). Málaga, Spain : Department of Computer Science, University of Málaga, 2008. pp. 221-225. 10.9.2008, Málaga, Spain.
ČERNÁ, Ivana - VAŘEKOVÁ, Pavlína - ZIMMEROVÁ, Barbora.
Component Substitutability via Equivalencies of Component-Interaction Automata. Electronic Notes in Theoretical Computer Science, Elsevier, Germany. ISSN 1571-0661, 2007, vol. 182, no. 1, pp. 39-55.
VAŘEKOVÁ, Pavlína - MORAVEC, Pavel - ČERNÁ, Ivana - ZIMMEROVÁ, Barbora.
Effective verification of systems with a dynamic number of components. In Proceedings of the 2007 conference on Specification and verification of component-based systems: 6th Joint Meeting of the European Conference on Software Engineering and the ACM SIGSOFT Symposium on the Foundations of Software Engineering. New York, NY, USA : ACM Press, 2007. ISBN 978-1-59593-721-6, pp. 3-13. 3.9.2007, Dubrovnik, Croatia.
BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - DRAŽAN, Sven - ŠAFRÁNEK, David.
Parallel Analysis of Genetic Regulatory Networks. Grenoble : Verimag, 2007. Towards Systems Biology Workshop 2007.
BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - DRAŽAN, Sven - ŠAFRÁNEK, David.
Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE. In Preproceedings of the Workshop From Biology to Concurrency and Back. Lisbon : Complex System Research Group, University of Camerino, 2007. pp. 80-95. 2007, Lisbon.
BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - ČEŠKA, Milan - TŮMOVÁ, Jana.
ProbDiVinE. 2007.
BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - ČEŠKA, Milan - TŮMOVÁ, Jana.
ProbDiVinE: A Parallel Qualitative LTL Model Checker. In Fourth International Conference on the Quantitative Evaluation of Systems (QEST'07). United States of America : IEEE Computer Society, 2007. ISBN 0-7695-2883-X, pp. 215-216. 2007, Edinburgh, Scotland.
BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana.
Cluster-Based LTL Model Checking of Large Systems. In Formal Methods for Components and Objects. Berlin : Springer, 2006. ISBN 978-3-540-36749-9, pp. 259-279. 2006, Amsterdam.
BRIM, Luboš - ČERNÁ, Ivana - VAŘEKOVÁ, Pavlína - ZIMMEROVÁ, Barbora.
Component-Interaction Automata as a Verification-Oriented Component-Based System Specification. ACM SIGSOFT Software Engineering Notes, New York, USA, ACM Press, USA. ISSN 0163-5948, 2006, vol. 31, no. 2, pp. 1-8. SESSION: Specification and Verification of Component-Based Systems Workshop (SAVCBS 2005), Article No. 4.
ČERNÁ, Ivana - VAŘEKOVÁ, Pavlína - ZIMMEROVÁ, Barbora.
Component-Interaction Automata Modelling Language. Brno, Czech Republic : Faculty of Informatics, Masaryk University, 2006. Technical report FIMU-RS-2006-08.
ČERNÁ, Ivana - VAŘEKOVÁ, Pavlína - ZIMMEROVÁ, Barbora.
Component Substitutability via Equivalencies of Component-Interaction Automata. In Pre-proceedings of the International Workshop on Formal Aspects of Component Software (FACS'06). Macao : UNU-IIST, 2006. pp. 115-130. 20.9.2006, Prague, Czech Republic.
BARNAT, Jiří - ČERNÁ, Ivana.
Distributed breadth-first search LTL model checking. Formal Methods in System Design, Springer Netherlands, The Nederlands. ISSN 0925-9856, 2006, vol. 29, no. 2, pp. 117-134.
BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - ČEŠKA, Milan - TŮMOVÁ, Jana.
Distributed Qualitative LTL Model Checking of Markov Decision Processes. In Proceedings of 5th International Workshop on Parallel and Distributed Methods in verifiCation. Bonn, Germany : University of Bonn, 2006. pp. 1-15. 2006, Bonn.
BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - MORAVEC, Pavel - ROČKAI, Petr - ŠIMEČEK, Pavel.
DiVinE -- A Tool for Distributed Verification. In Computer Aided Verification. Berlin : Springer Verlag, 2006. ISBN 978-3-540-37406-0, pp. 278-281. Seatle, WA, USA.
BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - MORAVEC, Pavel - ŠIMEČEK, Pavel - CHALOUPKA, Jakub.
DiVinE Library. 2006.
ČERNÁ, Ivana - KŘETÍNSKÝ, Mojmír - KUČERA, Antonín.
Formální jazyky a automaty I. Elportál, Brno, Masarykova univerzita. ISSN 1802-128X, 2006.
ČERNÁ, Ivana - KŘETÍNSKÝ, Mojmír - KUČERA, Antonín.
Formální jazyky a automaty I. Brno : Masarykova univerzita, 2006. 159 pp. Elportal.
BRIM, Luboš - ČERNÁ, Ivana - MORAVEC, Pavel - ŠIMŠA, Jiří.
How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors. Electronic Notes in Theoretical Computer Science, Nizozemsko, Elsevier, Portugal. ISSN 1571-0661, 2006, vol. 135, no. 2, pp. 3-18.
ČERNÁ, Ivana - BRÁZDIL, Tomáš.
Model Checking of RegCTL. Computing and Informatics, Slovakia. ISSN 1335-9150, 2006, vol. 25, no. 1, pp. 81-97.
ČERNÁ, Ivana.
Návrh algoritmů II. Elportál, Brno, Masarykova univerzita. ISSN 1802-128X, 2006.
ČERNÁ, Ivana.
Návrh algoritmů II. Brno : Masarykova univerzita, 2006. Elportal.
BRIM, Luboš - ČERNÁ, Ivana - MORAVEC, Pavel - ŠIMŠA, Jiří.
On Combining Partial Order Reduction with Fairness Assumptions. In Proceedings of the 11th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2006). Bonn, Germany : University Bonn, 2006. ISBN 978-3-540-70951-0, pp. 1-16. 2006, Bonn, Germany.
BRIM, Luboš - ČERNÁ, Ivana - VAŘEKOVÁ, Pavlína - ZIMMEROVÁ, Barbora.
Component-Interaction Automata as a Verification-Oriented Component-Based System Specification. In Proceedings of SAVCBS 2005. Ames, USA : Department of Computer Science, Iowa State University, 2005. pp. 31-38. 5.9.2005, Lisbon, Portugal.
BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana.
Distributed Analysis of Large Systems. In Formal Methods for Components and Objects. Amsterdam : CWI Amsterdam, 2005. pp. 31-35. 2005, Amsterdam.
BRIM, Luboš - ČERNÁ, Ivana - MORAVEC, Pavel - ŠIMŠA, Jiří.
Distributed Partial Order Reduction of State Spaces. Electronic Notes on Theoretical Computer Science, Elsevier, The Nederlands. ISSN 1571-0661, 2005, vol. 128, no. 3, pp. 63-74.
BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - ŠIMEČEK, Pavel.
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. pp. 89-94. 2005, Lisboa, Portugalsko.
PELÁNEK, Radek - HANŽL, Tomáš - ČERNÁ, Ivana - BRIM, Luboš.
Enhancing Random Walk State Space Exploration. In Formal Methods for Industrial Critical Systems. Lisbon : ACM SIGSOFT, 2005. ISBN 1-59593-148-1, pp. 98-105. 2005, Lisbon.
BRIM, Luboš - ČERNÁ, Ivana - MORAVEC, Pavel - ŠIMŠA, Jiří.
How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors. In Proceedings of the 4th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2005). Lisboa, Portugal : TU Munchen, 2005. pp. 1-12. 2005, Lisboa, Portugal.
BRIM, Luboš - ČERNÁ, Ivana - MORAVEC, Pavel - ŠIMŠA, Jiří.
Under-Approximation Generation using Partial Order Reduction. Brno : Faculty of Informatics, 2005. 21 pp. Technical Reports, FIMU-RS-2005-04.
BRIM, Luboš - ČERNÁ, Ivana - MORAVEC, Pavel - ŠIMŠA, Jiří.
Accepting Predecessors are Better than Back Edges in Distributed LTL Model-Checking. In Formal Methods in Computer-Aided Design (FMCAD). Neuveden : Springer-Verlag, LNCS 3312, 2004. ISBN 3-540-23738-0, pp. 352-366. 2004, Austin, USA.
BRIM, Luboš - ČERNÁ, Ivana - MORAVEC, Pavel - ŠIMŠA, Jiří.
Accepting Predecessors are Better than Back Edges in Distributed LTL Model-Checking. Brno : Faculty of Informatics, 2004. 22 pp. Technical Reports, FIMU-RS-2004-09. Full version of the FMCAD'04 paper.
BRIM, Luboš - ČERNÁ, Ivana - HEJTMÁNEK, Lukáš.
Distributed Negative Cycle Detection Algorithms. In Parallel Computing: Software Technology, Algorithms, Architectures & Applications. Nizozemsko : Elsevier B.V., 2004. ISBN 0-444-51689-1, pp. 297-305. 2003, Dresden.
BRIM, Luboš - ČERNÁ, Ivana - MORAVEC, Pavel - ŠIMŠA, Jiří.
Distributed Partial Order Reduction of State Spaces. In Proceedings of the 3rd International Workshop on Parallel and Distributed Verifationic (PDMC 2004). London, U.K. : Imperial College London, 2004. pp. 3-18. 2004, London, U.K.
ČERNÁ, Ivana - PELÁNEK, Radek.
Distributed Explicit Fair Cycle Detection. In SPIN Workshop 2003. Portland (Oregon, USA) : Springer-Verlag, 2003. ISBN 3-540-40117-2, pp. 49-74. 2003, Portland.
BRIM, Lubos - ČERNÁ, Ivana - HEJTMÁNEK, Lukáš.
Parallel Algorithms for Detection of Negative Cycles. Brno : Faculty of Informatics, 2003. 14 pp. Technical Reports, FIMU-RS-2003-04. Full version of the PARCO'03 paper.
BRIM, Lubos - ČERNÁ, Ivana - HEJTMÁNEK, Lukáš.
Parallel Algorithms for Detection of Negative Cycles. In Proceedings of the 10th ParCo Conference. Holandsko : Elsevier B.V., 2003. pp. 98-111. Dresden, Germany.
ČERNÁ, Ivana - PELÁNEK, Radek.
Relating Hierarchy of Linear Temporal Properties to Model Checking. Brno, Czech Republic : FI MU, 2003. Technical report FIMU-RS-2003-03.
ČERNÁ, Ivana - PELÁNEK, Radek.
Relating Hierarchy of Temporal Properties to Model Checking. In Mathematical Foundations of Computer Science (MFCS 2003). Bratislava (Slovensko) : Springer-Verlag, 2003. ISBN 3-540-40671-9, pp. 318-327. 2003, Bratislava.
ČERNÁ, Ivana - BRÁZDIL, Tomáš.
Local Distributed Model Checking of RegCTL. In PDMC 2002 Parallel and Distributed Model Checking. The Netherlands : Elsevier Science Publishers, 2002. ISBN 0444512918, pp. 1-14. 2002, 19.8.2002, Brno, Czech Republic.
ČERNÁ, Ivana - STŘÍBRNÁ, Jitka.
Modifications of Expansion Trees for Weak Bisimulation in BPA. In Verification of Infinite-State Systems Infinity'2002. The Netherlands : Elsevier Science Publishers, 2002. ISBN 0444512918, pp. 1-21. 2002, 24.8.2002, Brno, Czech Republic.
BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana.
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. pp. 1-10. 2002, Pittsburgh, PA, USA, October 2002.
BRIM, Luboš - ČERNÁ, Ivana - KRČÁL, Pavel - PELÁNEK, Radek.
Distributed LTL Model-Checking Based on Negative Cycle Detection. In FST-TCS 2001. Bangalore, India : Springer, 2001. ISBN 3-540-43002-4, pp. 96-110. Bangalore, India.
BRIM, Luboš - ČERNÁ, Ivana - KRČÁL, Pavel - PELÁNEK, Radek.
Distributed Shortest Paths for Directed Graphs with Negative Edge Lengths. Brno : FI MU, 2001. 19 pp. Technical Reports, FIMU-RS-2001-01.
BRIM, Luboš - ČERNÁ, Ivana - KRČÁL, Pavel - PELÁNEK, Radek.
How to Employ Reverse Search in Distributed Single-Source Shortest Paths. In SOFSEM 2001. Piestany : Springer, 2001. ISBN 3-540-42912-3, pp. 191-200. Piestany, Slovensko.
BRIM, Luboš - ČERNÁ, Ivana - KRČÁL, Pavel - PELÁNEK, Radek.
How to Employ Reverse Search in Distributed Single-Source Shortest Paths. Brno : FI MU, 2001. 22 pp. Technical Reports, FIMU-RS-2001-09.
BRIM, Luboš - ČERNÁ, Ivana - NEČESAL, Martin.
Randomization Helps in LTL Model Checking. In Process Algebra and Probabilistic Methods. Proceedings of PAPM-PROBMIV 2001. Berlin Heidelberg New York : Springer, 2001. ISBN 3-540-42556-X, pp. 105-119. Aachen, Germany, September 12-14, 2001.
ČERNÁ, Ivana - STŘÍBRNÁ, Jitka.
Some Remarks on Weak Bisimilarity of BPA-Processes. Brno : FI MU Brno, 2000. 26 pp. FIMU-RS-2000-09.
ČERNÁ, Ivana - KŘETÍNSKÝ, Mojmír - KUČERA, Antonín.
Comparing Expressibility of Normed BPA and Normed BPP Processes. Acta informatica, Berlin, Springer-Verlag, Germany. ISSN 0001-5903, 1999, vol. 36, no. 3, pp. 233-256.
ČERNÁ, Ivana - KLÍMA, Ondřej - SRBA, Jiří.
On the pattern equations. 1. vyd. Brno : Faculty of Informatics, 1999. 11 pp.
ČERNÁ, Ivana - KLÍMA, Ondřej - SRBA, Jiří.
On the Pattern Equations. Technical Report, Faculty of Informatics, Masaryk University, Brno, . ISSN FIMU-RS-99-01, 1999, vol. 1999, no. 01, pp. 1-11.
ČERNÁ, Ivana - SRBA, Jiří - KLÍMA, Ondřej.
Pattern Equations and Equations with Stuttering. In SOFSEM'99: Theory and Practise of Informatics. Heidelberg : Springer, 1999. ISBN 3-540-66694-X, pp. 369-378. November 27 - December 4, 1999, Milovy, CR.
ČERNÁ, Ivana - KŘETÍNSKÝ, Mojmír - KUČERA, Antonín.
Bisimilarity is Decidable in the Union of Normed BPA and Normed BPP Processes. Electronic Notes in Theoretical Computer Science, Elsevier, The Nederlands. 1997, vol. 1997, no. 5, pp. 1-24.
ČERNÁ, Ivana - KŘETÍNSKÝ, Mojmír - KUČERA, Antonín.
Bisimilarity is Decidable in the Union of Normed BPA and Normed BPP Processes. In Proceedings of 1st International Workshop on Verification of Infinite State Systems (INFINITY'96). Passau : University of Passau, 1996. pp. 32-46. August 30-31, 1996, Pisa, Italy.
ČERNÁ, Ivana - KŘETÍNSKÝ, Mojmír - KUČERA, Antonín.
Comparing Expressibility of Normed BPA and Normed BPP Processes. FI MU Report Series, Brno, FI MU. 1996, vol. 1996, no. RS-96-02, pp. 1-28.
ČERNÁ, Ivana - KŘETÍNSKÝ, Mojmír - KUČERA, Antonín.
On the Relationship between Sequential and Parallel Compositions in Process Algebras. In CSL96 - The 1996 Annual Conference of the European Assoc. Ultrech, The Netherlands : Department of Philosophy, Ulterech University, 1996. pp. 11-13.
BEBJÁK, Andrej - ŠTEFÁNEKOVÁ, Ivana.
Separation of deterministic, nondeterministic and alternating complexity classes. Theoretical Computer Science, Amsterdam, North Holland, Elsevier Science Publishers, The Nederlands. ISSN 0304-3975, 1991, vol. 1991, no. 88, pp. 297-311.
ŠTEFÁNEKOVÁ, Ivana.
Some properties of zerotesting bounded one-way multicounter machines. In Mathematical Foundations of computer Science. Berlin Heidelberg New York : Springer, 1990. ISBN 3-540-52953-5, pp. 195-202. Banská Bystrica, Czechoslovakia, August 27-31,1990.
ŠTEFÁNEKOVÁ, Ivana - PARDUBSKÁ, Dana.
Nondeterministic multicounter machines and complementation. Theoretical Computer Science, Amsterdam, North Holland, Elsevier Science Publishers. ISSN 0304-3975, 1989, vol. 1989, no. 67, pp. 111-113.
BEBJÁK, Andrej - ŠTEFÁNEKOVÁ, Ivana.
Nondeterminism is essential for reversal-bounded two-way multihead automata. Kybernetika, Praha, Academia. ISSN 0023-5954, 1988, vol. 1988, no. 24, pp. 65-71.
BEBJÁK, Andrej - ŠTEFÁNEKOVÁ, Ivana.
Relation between one-time-only branching programs and real-time branching programs. Computers and Artificial Intelligence, Bratislava, Slovac Academy of Science, Veda. ISSN 0232-0274, 1988, vol. 7, no. 2, pp. 107-112.
