prof. RNDr. Ivana Černá, CSc.

Curriculum vitae

Person Identification

• prof. RNDr. Ivana Černá, CSc.

Workplace

• Department of Computer Science
  Faculty of Informatics
  Masaryk University
  Botanicka 68a, 602 00 Brno, Czech Republic
  cerna@fi.muni.cz
  +420 549 49 3890

Employment Position

• Professor
• Department of Computer Science, department head

Education and Academic Qualifications

• 2007: Professor in Computer Science, Masaryk University, Brno
• 2003: Associate Professor (Docent) in Computer Science, Fac.of Informatics, Masaryk University, Brno; habilitation thesis: "Model Checking: Approaches to the State Explosion Problem"
• 1992: CSc. (PhD) in Computer Science, Faculty of Mathematics and Physics, Comenius University, Bratislava, Slovakia; thesis: "Some Properties of Reversal Computational Complexity"
• 1986: RNDr. (M.Sc.) in Computer Science, Faculty of Mathematics and Physics, Comenius University, Bratislava, Slovakia; thesis: "Boolean Circuits"
• 1986: graduated (with honors) in Computer Science, Faculty of Mathematics and Physics, Comenius University, Bratislava, Slovakia

Employment Summary

• 2007 - now: Professor, Dept. of Computer Science, Faculty of Informatics, Masaryk University, Brno
• 2003 - 2007: Associate Professor (Docent), Dept. of Computer Science, Faculty of Informatics, Masaryk University, Brno
• 1994 - 2003: Professor assistant, Dept. of Computer Science, Faculty of Informatics, Masaryk University, Brno;
• 1986 - 1994: Assistent, Faculty of Mathematics and Physics, Comenius University, Bratislava, Slovakia;

Pedagogical Activities

• Courses: Algorithms and Data Structures I, Algorithms and Data Structures II, Algorithmics for Hard Problems, Formal Languages and Automata, Computational and Structural Complexity, GEB -- limits of formal systems,
• Laboratory of Parallel and Distributed Systems
• Bc, MSc and PhD Thesis Advisor

Scientific and Research Activities

• Specialisation: Theory of communicating and parallel systems, formal verification and synthesis, verification tools, design and verification of component-based and embedded systems, algorithm design and analysis, complexity theory
  
• Projects:
  2018 -2023 "Centrum excelence pro kyberkriminalitu, kyberbezpečnost a ochranu kritických informačních infrastruktur" Ministerstvo školství, mládeže a tělovýchovy ČR OP Výzkum, vývoj a vzdělávání (OP VVV) PO 1 Posilování kapacit pro kvalitní výzkum , (CZ.02.1.01/0.0/0.0/16_019/0000822)
  2018 -2020 "Abstrakce a jiné techniky v semi-symbolické verifikaci programů" Grant Agency of The Czech Republic, grant no. GA18-02177S
  2018 "Modulární distribuovaná robotická platforma" MU Development Fund MUNI/FR/0970/2017)
  2015 - 2017 "Correctness Analysis of C and C++ Programs with Threads: Grant Agency of The Czech Republic, grant no. GA15-08772S
  2013 - 2016 "Critical System Engineering Acceleration" European Union / 7th Specific RTD Programme (7H13001)
  2011 - 2013 "Řízení a ověřování vlastností komplexních hybridních systémů" Program KontaktII, grant no. LH11065
  2011 - 2014 "Software Components in Embedded Systems: Development and Verification" Grant Agency of The Czech Republic, grant no. GAP202/11/0312
  2009 - 2011 "Verification and Analysis of Large-Scale Computer Systems" Grant Agency of The Czech Republic, grant no. GA201/09/1389
  2007 - 2010 "Scalable Modeling and Analysis Techniques to Study Emergent Cell Behavior - understanding the E. coli stress response", Sixth Framework Programme, Research Activity: NEST, EC-MOAN, NO 043235.
  2005 - 2011 "Highly Distributed and Parallel Systems", Ministry of Education of The Czech Republic, Research Intent of Faculty of Informatics, grant no. MSM 0021622419
  2005 - 2009 "Techniques for Automatic Verification and Validation of Software and Hardware Systems", Grant Agency of The Czech Academy of Science, grant no. 1ET408050503
  2005 - 2009 "Institut of Theoretical Computer Science", Ministry of Education of The Czech Republic, grant no. 1M0021620808
  2005 - 2009 "Realistic Application of Formal Methods in Component Systems", Grant Agency of The Czech Academy of Science, grant no. 1ET400300504
  2005 - 2008 "Integrated Approach to Education of PhD Students in the Area of Parallel and Distributed Systems", Grant Agency of The Czech Republic, grant no. 102/05/H050
  2004 - 2008 "Advanced Real-Time Systems", Sixth Framework Programme, IST-004527 ARTIST2 Network of Excellence on Embedded Systems Design.
  2003 - 2005 "Automatic Verification of Parallel and Distributed Systems", Grant Agency of The Czech Republic, grant no. 201/03/0509
  1999 - 2003 "Models of Nonsequential Computing", Ministry of Education of The Czech Republic, Research Intent of Faculty of Informatics, grant no. CEZ: J07/98:143300001
  2000 - 2002 Infinite State Concurrent Systems -- Models and Verification", Grant Agency of The Czech Republic, grant no. 201/00/0400
  2000 - 2002 "Algorithms and Tools for Practical Verification of Concurrent Systems", Grant Agency of The Czech Republic, grant no. 201/00/1023
  1997 - 1999 "Algorithmic Verification Boundaries for Infinite State Systems", Grant Agency of The Czech Republic, grant no. 201/97/0456
• Publications: More than 100 journal and conference papers, and research reports.
  More than 1000 citations in journals and proceedings of international conferences (according to http://scholar.google.com/)

Academical Stays

• Short-term stays at Institut fur Informatik, Technische Universitat Magdeburg, Germany; Fachberreich Informatik, Dortmund Universitat, Germany; Boston University, USA

University Activities

• 2017 - now: member of the Academic Senate MU
• 2015 - now: member of the Academic Senate FI MU
• 2006 - now: member of the Scientific Board MU
• 2004 - now: member of the Scientific Board FI MU
• 2017 - 2022 : member of the Internal Evaluation Board MU
• 2015 - 2021: member of the Research Ethics Committee MU
• 2011 - 2015: vice-rector for studies MU
• 2006 - 2011: vice-rector for information technologies MU
• 2004 - 2006: vice-dean for education FI MU
• 1996 - 2004: member of the Academic Senate FI MU

Extrauniversity Activities

• 2019 - now: member of the Scientific Board FMFI UK Bratislava
• 2019 - now: member of the Scientific Board UPOL Olomouc

Appreciation of Science Community

• Comittee member of international conferences and workshops Tools Day (2002, chair), PDMC (2006, 2007 chair), MTCoord (2006, co-chair, 2007), SOFSEM (2006, 2011, 2012), FESCA (2009, 2010, 2011), QEST (20009, 2010), MEMICS 2011, FACS 2017, FM 2021, FMCAD 2021, DATE 2022, CAV 2022, DATE 2023

Selected Publications

• BENDÍK, Jaroslav, Ahmet SENCAN, Ebru Aydin GOL a Ivana ČERNÁ. Timed Automata Robustness Analysis via Model Checking. Logical Methods in Computer Science. 2022, roč. 18, č. 3, s. 1-32. ISSN 1860-5974. Dostupné z: https://dx.doi.org/10.46298/lmcs-18(3:12)2022. URL URL info
• BENDÍK, Jaroslav, Ahmet SENCAN, Ebru Aydin GOL a Ivana ČERNÁ. Timed Automata Relaxation for Reachability. In Friso Groote and Kim Guldstrand Larsen. 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'21). Part I vol. 12651. Heidelberg: Springer, 2021, s. 291-310. ISBN 978-3-030-72015-5. Dostupné z: https://dx.doi.org/10.1007/978-3-030-72016-2_16. URL info
• BENDÍK, Jaroslav a Ivana ČERNÁ. MUST: Minimal Unsatisfiable Subsets Enumeration Tool. In Armin Biere and David Parker. Tools and Algorithms for the Construction and Analysis of Systems. Neuveden: Springer International Publishing, 2020, s. 135-152. ISBN 978-3-030-45189-9. Dostupné z: https://dx.doi.org/10.1007/978-3-030-45190-5_8. info
• BENDÍK, Jaroslav a Ivana ČERNÁ. Rotation Based MSS/MCS Enumeration. Online. In Elvira Albert and Laura Kovacs. LPAR 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning. Neuveden: EPiC Series in Computing, 2020, s. 120-137. ISSN 2398-7340. Dostupné z: https://dx.doi.org/10.29007/8btb. URL info
• BENDÍK, Jaroslav a Ivana ČERNÁ. Replication-Guided Enumeration of Minimal Unsatisfiable Subsets. In Helmut Simonis. 26th International Conference on Principles and Practice of Constraint Programming. Neuveden: Springer, Cham, 2020, s. 37-54. ISBN 978-3-030-58474-0. Dostupné z: https://dx.doi.org/10.1007/978-3-030-58475-7_3. info
• BENDÍK, Jaroslav, Elaheh GHASSABANI, Michael WHALEN a Ivana ČERNÁ. Online Enumeration of All Minimal Inductive Validity Cores. In Einar Broch Johnsen and Ina Schaefer. Software Engineering and Formal Methods - 16th International Conference. LNCS 10886. Neuveden: Springer International Publishing, 2018, s. 189-204. ISBN 978-3-319-92969-9. Dostupné z: https://dx.doi.org/10.1007/978-3-319-92970-5_12. info
• BENDÍK, Jaroslav, Nikola BENEŠ a Ivana ČERNÁ. Finding Regressions in Projects under Version Control Systems. In Leszek A. Maciaszek and Marten van Sinderen. 13th International Conference on Software Technologies. Porto: SciTePress, 2018, s. 152-163. ISBN 978-989-758-320-9. Dostupné z: https://dx.doi.org/10.5220/0006864401520163. URL info
• BEZDĚK, Peter, Nikola BENEŠ, Ivana ČERNÁ a Jiří BARNAT. On clock-aware LTL parameter synthesis of timed automata. Journal of Logical and Algebraic Methods in Programming. ELSEVIER SCIENCE INC, 360 PARK AVE SOUTH: Elsevier, 2018, roč. 99, Oct, s. 114-142. ISSN 2352-2208. Dostupné z: https://dx.doi.org/10.1016/j.jlamp.2018.05.004. URL URL URL info
• BENDÍK, Jaroslav, Ivana ČERNÁ a Nikola BENEŠ. Recursive Online Enumeration of All Minimal Unsatisfiable Subsets. In Shuvendu Lahiri and Chao Wang. Automated Technology for Verification and Analysis - 16th International Symposium, {ATVA} 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings}. Los Angeles: Springer, 2018, s. 143-159. ISBN 978-3-030-01089-8. Dostupné z: https://dx.doi.org/10.1007/978-3-030-01090-4_9. URL info
• BENDÍK, Jaroslav a Ivana ČERNÁ. Evaluation of Domain Agnostic Approaches for Enumeration of Minimal Unsatisfiable Subsets. Online. In Gilles Barthe and Geoff Sutcliffe and Margus Veanes. LPAR-22, 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning. Awassa, Etiopie: EPiC Series in Computing, 2018, s. 131-142. ISSN 2398-7340. Dostupné z: https://dx.doi.org/10.29007/sxzb. URL info
• ROČKAI, Petr, Vladimír ŠTILL, Ivana ČERNÁ a Jiří BARNAT. DiVM: Model checking with LLVM and graph memory. Journal of Systems and Software. Elsevier, 2018, roč. 143, Oct, s. 1-13. ISSN 0164-1212. Dostupné z: https://dx.doi.org/10.1016/j.jss.2018.04.026. URL info
• SVOREŇOVÁ, Mária, Jan KŘETÍNSKÝ, Martin CHMELÍK, Krishnendu CHATTERJEE, Ivana ČERNÁ a Calin BELTA. Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games. Nonlinear Analysis: Hybrid Systems. Elsevier, 2017, roč. 23, February 2017, s. 230-253. ISSN 1751-570X. Dostupné z: https://dx.doi.org/10.1016/j.nahs.2016.04.006. info
• BARNAT, Jiří, Ivana ČERNÁ, Petr ROČKAI, Vladimír ŠTILL a Kristína ZÁKOPČANOVÁ. On verifying C++ programs with probabilities. In Sascha Ossowski. Proceedings of the 31st Annual ACM Symposium on Applied Computing. Pisa: ACM New York, NY, USA, 2016, s. 1238-1243. ISBN 978-1-4503-3739-7. Dostupné z: https://dx.doi.org/10.1145/2851613.2851721. URL info
• BENDÍK, Jaroslav, Nikola BENEŠ, Jiří BARNAT a Ivana ČERNÁ. Finding Boundary Elements in Ordered Sets with Application to Safety and Requirements Analysis. In Rocco De Nicola, Eva K{\"{u}}hn. Software Engineering and Formal Methods - 14th International Conference, SEFM 2016. Berlin: Lecture Notes in Computer Sciences in Computer Science, 9763, 2016, s. 121-136. ISBN 978-3-319-41590-1. Dostupné z: https://dx.doi.org/10.1007/978-3-319-41591-8_9. URL info
• BEZDĚK, Peter, Nikola BENEŠ, Jiří BARNAT a Ivana ČERNÁ. LTL Parameter Synthesis of Parametric Timed Automata. In Rocco De Nicola, Eva K{\"{u}}hn. Software Engineering and Formal Methods - 14th International Conference, SEFM 2016. Berlin: Lecture Notes in Computer Sciences in Computer Science, 9763, 2016, s. 172-187. ISBN 978-3-319-41590-1. Dostupné z: https://dx.doi.org/10.1007/978-3-319-41591-8_12. URL info
• TESAŘOVÁ, Eva, Mária SVOREŇOVÁ, Jiří BARNAT a Ivana ČERNÁ. Optimal observation mode scheduling for systems under temporal constraints. In 2016 American Control Conference (ACC). Boston: IEEE Conference Publications, 2016, s. 1099-1104. ISBN 978-1-4673-8682-1. Dostupné z: https://dx.doi.org/10.1109/ACC.2016.7525062. URL info
• BENDÍK, Jaroslav, Nikola BENEŠ, Ivana ČERNÁ a Jiří BARNAT. Tunable Online MUS/MSS Enumeration. In Akash Lal, S. Akshay, Saket Saurabh, Sandeep Sen. Foundations of Software Technology and Theoretical Computer Science - 36th International Conference, FSTTCS 2016. 65. vyd. Dagstuhl, Germany: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2016, s. 661-673. ISBN 978-3-95977-027-9. Dostupné z: https://dx.doi.org/10.4230/LIPIcs.FSTTCS.2016.50. info
• SVOREŇOVÁ, Mária, Ivana ČERNÁ a Calin BELTA. Optimal Temporal Logic Control for Deterministic Transition Systems with Probabilistic Penalties. IEEE Transactions on Automatic Control. IEEE Control Systems Society, 2015, roč. 60, č. 6, s. 1528-1541. ISSN 0018-9286. Dostupné z: https://dx.doi.org/10.1109/TAC.2014.2381451. info
• SVOREŇOVÁ, Mária, Jan KŘETÍNSKÝ, Martin CHMELÍK, Krishnendu CHATTERJEE, Ivana ČERNÁ a Calin BELTA. Temporal Logic Control for Stochastic Linear Systems using Abstraction Refinement of Probabilistic Games. Online. In Proceedings of ACM international conference on Hybrid Systems: Computation and Control. Seattle, Washington, USA: Association for Computing Machinery (ACM), 2015, s. 259-268. ISBN 978-1-4503-3433-4. Dostupné z: https://dx.doi.org/10.1145/2728606.2728608. info
• SVOREŇOVÁ, Mária, Martin CHMELÍK, Kevin LEAHY, Hasan Ferit ENISER, Krishnendu CHATTERJEE, Ivana ČERNÁ a Calin BELTA. Temporal Logic Motion Planning using POMDPs with Parity Objectives. Online. In Proceedings of ACM international conference on Hybrid Systems: Computation and Control. Seattle, Washington, USA: Association for Computing Machinery (ACM), 2015, s. 233-238. ISBN 978-1-4503-3433-4. Dostupné z: https://dx.doi.org/10.1145/2728606.2728617. info
• BARNAT, Jiří, Nikola BENEŠ, Tomáš BUREŠ, Ivana ČERNÁ, Tomáš KEZNIKL a František PLÁŠIL. Towards Verification of Ensemble Based Component Systems. In José Luiz Fiadeiro, Zhiming Liu, Jinyun Xue. Formal Aspects of Component Software. Neuveden: Springer International Publishing, 2014, s. 41-60. ISBN 978-3-319-07601-0. Dostupné z: https://dx.doi.org/10.1007/978-3-319-07602-7_5. info
• BEZDĚK, Peter, Nikola BENEŠ, Vojtěch HAVEL, Jiří BARNAT a Ivana ČERNÁ. On Clock-Aware LTL Properties of Timed Automata. In Gabriel Ciobanu, Dominique Méry. Theoretical Aspects of Computing – ICTAC 2014. Neuveden: Springer International Publishing, 2014, s. 43-60. ISBN 978-3-319-10881-0. Dostupné z: https://dx.doi.org/10.1007/978-3-319-10882-7_4. info
• BEZDĚK, Peter, Nikola BENEŠ, Jiří BARNAT a Ivana ČERNÁ. LTL Model Checking of Parametric Timed Automata. In Petr Hliněný, Zdeněk Dvořák, Jiří Jaroš, Jan Kofroň, Jan Kořenek, Petr Matula, Karel Pala. MEMICS 2014. Brno, Czech Republic: NOVPRESS, 2014, s. 28-39. ISBN 978-80-214-5022-6. info
• SVOREŇOVÁ, Mária, Ivana ČERNÁ a Calin BELTA. Optimal Receding Horizon Control for Finite Deterministic Systems with Temporal Logic Constraints. Online. In Proceedings of The 2013 American Control Conference. Neuveden: Institute of Electrical and Electronics Engineers ( IEEE ), 2013, s. 4399-4404. ISBN 978-1-4799-0177-7. Dostupné z: https://dx.doi.org/10.1109/ACC.2013.6580517. URL info
• YORDANOV, Boyan, Jana TŮMOVÁ, Ivana ČERNÁ, Jiří BARNAT a Calin BELTA. Formal analysis of piecewise affine systems through formula-guided refinement. Automatica. Elsevier, 2013, roč. 49, č. 1, s. 261-266. ISSN 0005-1098. Dostupné z: https://dx.doi.org/10.1016/j.automatica.2012.09.027. info
• SVOREŇOVÁ, Mária, Ivana ČERNÁ a Calin BELTA. Optimal Control of MDPs with Temporal Logic Constraints. Online. In Proceedings of The 52nd IEEE Conference on Decision and Control. Neuveden: Omnipress for the IEEE Control Systems Society, 2013, s. 3938-3943. ISBN 978-1-4673-5714-2. Dostupné z: https://dx.doi.org/10.1109/CDC.2013.6760491. URL info
• BARNAT, Jiří, Nikola BENEŠ, Ivana ČERNÁ a Zuzana PETRUCHOVÁ. DCCL: Verification of Component Systems with Ensembles. In CBSE '13 Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering. New York, NY, USA: ACM, 2013, s. 43-52. ISBN 978-1-4503-2122-8. Dostupné z: https://dx.doi.org/10.1145/2465449.2465453. URL info
• YORDANOV, Boyan, Jana TŮMOVÁ, Ivana ČERNÁ, Jiří BARNAT a Calin BELTA. Temporal Logic Control of Discrete-Time Piecewise Affine Systems. IEEE Transactions on Automatic Control. PISCATAWAY, 2012, roč. 57, č. 6, s. 1491-1504. ISSN 0018-9286. Dostupné z: https://dx.doi.org/10.1109/TAC.2011.2178328. info
• BARNAT, Jiří, Ivana ČERNÁ a Jana TŮMOVÁ. Timed Automata Approach to Verification of Systems with Degradation. In MEMICS 2011. LNCS 7119. Heidelberg: Springer, 2012, s. 84 - 93. ISBN 978-3-642-25928-9. Dostupné z: https://dx.doi.org/10.1007/978-3-642-25929-6_8. info
• SVOREŇOVÁ, Mária, Jana TŮMOVÁ, Jiří BARNAT a Ivana ČERNÁ. Attraction-Based Receding Horizon Path Planning with Temporal Logic Constraints. Online. In Proceedings of the 51st IEEE Conference on Decision and Control. Neuveden: Omnipress for the IEEE Control Systems Society, 2012, s. 6749-6754. ISBN 978-1-4673-2066-5. Dostupné z: https://dx.doi.org/10.1109/CDC.2012.6426041. URL info
• BENEŠ, Nikola, Barbora BÜHNOVÁ, Ivana ČERNÁ a Radek OŠLEJŠEK. Reliability analysis in component-based development via probabilistic model checking. In Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering (CBSE '12). New York, NY, USA: ACM, 2012, s. 83-92. ISBN 978-1-4503-1345-2. Dostupné z: https://dx.doi.org/10.1145/2304736.2304752. info
• BARNAT, Jiří, Ivana ČERNÁ a Jana TŮMOVÁ. Verification of Systems with Degradation. Computing and Informatics. 2012, roč. 31, č. 3, s. 507-530. ISSN 1335-9150. info
• BENEŠ, Nikola, Ivana ČERNÁ a Filip ŠTEFAŇÁK. Factorization for Component-Interaction Automata. In SOFSEM 2012: Theory and Practice of Computer Science. Berlin Heidelberg: Springer Berlin Heidelberg, 2012, s. 554-565. ISBN 978-3-642-27659-0. Dostupné z: https://dx.doi.org/10.1007/978-3-642-27660-6_45. info
• BENEŠ, Nikola, Luboš BRIM, Barbora BÜHNOVÁ, Ivana ČERNÁ, Jiří SOCHOR a Pavlína MORAVCOVÁ VAŘEKOVÁ. Partial Order Reduction for State/Event LTL with Application to Component-Interaction Automata. Science of Computer Programming. Elsevier, 2011, roč. 76, č. 10, s. 877-890. ISSN 0167-6423. Dostupné z: https://dx.doi.org/10.1016/j.scico.2010.02.008. URL info
• ČERNÁ, Ivana a Boudewijn HAVERKORT. Parallel and Distributed Methods in Verification. Journal of logic and computation. Oxford: Oxford University Press, 2011, roč. 2011, č. 21, s. 1-3. ISSN 0955-792X. Dostupné z: https://dx.doi.org/10.1093/logcom/exp001. info
• COLLINS, Pieter, Luc HABETS, Jan VAN SCHUPPEN, Ivana ČERNÁ, Jana FABRIKOVÁ a David ŠAFRÁNEK. Abstraction of Biochemical Reaction Systems on Polytopes. In Proceedings of the 18th IFAC World Congress. Milano: IFAC, 2011, s. 14869-14875. ISBN 978-1-1234-7890-2. URL info
• BENEŠ, Nikola, Ivana ČERNÁ a Jan KŘETÍNSKÝ. 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, s. 228-242. ISBN 978-3-642-24371-4. info
• BENEŠ, Nikola, Ivana ČERNÁ a Milan KŘIVÁNEK. CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems. Online. In Jiří Barnat and Keijo Heljanko. Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation. Neuveden: Open Publishing Association, 2011, s. 63-67. ISSN 2075-2180. Dostupné z: https://dx.doi.org/10.4204/EPTCS.72. URL info
• TŮMOVÁ, Jana, Boyan YORDANOV, Calin BELTA, Ivana ČERNÁ a Jiří BARNAT. 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, s. 4230-4235. ISBN 978-1-4244-7744-9. info
• YORDANOV, Boyan, Jana TŮMOVÁ, Calin BELTA, Ivana ČERNÁ a Jiří BARNAT. 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, s. 5899-5904. ISBN 978-1-4244-7744-9. info
• BARNAT, Jiří, Luboš BRIM, Ivana ČERNÁ, Sven DRAŽAN, Jana FABRIKOVÁ a David ŠAFRÁNEK. On Algorithmic Analysis of Transcriptional Regulation by LTL Model Checking. Theoretical Computer Science. 2009, roč. 2009, č. 410, s. 3128-3148, 20 s. ISSN 0304-3975. URL info
• BENEŠ, Nikola, Luboš BRIM, Ivana ČERNÁ, Jiří SOCHOR, Pavlína VAŘEKOVÁ a Barbora ZIMMEROVÁ. 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, s. 307-321. ISBN 978-3-642-00254-0. Dostupné z: https://dx.doi.org/10.1007/978-3-642-00255-7_21. info
• BARNAT, Jiří, Luboš BRIM, Ivana ČERNÁ, Sven DRAŽAN, Jana FABRIKOVÁ a David ŠAFRÁNEK. 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, s. 81-90. ISBN 978-0-7695-3809-9. URL info
• BARNAT, Jiří, Luboš BRIM, Ivana ČERNÁ, Milan ČEŠKA a Jana TŮMOVÁ. Local Quantitative LTL Model Checking. In Formal Methods for Industrial Critical Systems. Neuveden: Springer Berlin / Heidelberg, 2009, s. 53-68. ISBN 978-3-642-03239-4. Dostupné z: https://dx.doi.org/10.1007/978-3-642-03240-0_8. URL info
• BARNAT, Jiří, Ivana ČERNÁ a Jana TŮMOVÁ. 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, s. 21-30. ISBN 978-0-7695-3808-2. URL URL info
• ZIMMEROVÁ, Barbora, Pavlína VAŘEKOVÁ, Nikola BENEŠ, Ivana ČERNÁ, Luboš BRIM a Jiří SOCHOR. Component-Interaction Automata Approach (CoIn). In The Common Component Modeling Example: Comparing Software Component Models. Berlin / Heidelberg, Germany: Springer Verlag, 2008, s. 146-176. LNCS 5153. ISBN 978-3-540-85288-9. URL info
• BARNAT, Jiří, Luboš BRIM, Ivana ČERNÁ, Sven DRAŽAN a David ŠAFRÁNEK. Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE. In Electronic Notes in Theoretical Computer Science. Vol. 194/3. Elsevier: Elsevier Science, 2008, s. 35-50, 15 s. ISSN 1571-0661. info
• BENEŠ, Nikola, Ivana ČERNÁ, Jiří SOCHOR, Pavlína MORAVCOVÁ VAŘEKOVÁ a Barbora BÜHNOVÁ. A Case Study in Parallel Verification of Component-Based Systems. Electronic Notes in Theoretical Computer Science. Neuveden: Elsevier, 2008, roč. 220, č. 2, s. 67-83, 16 s. ISSN 1571-0661. info
• BARNAT, Jiří, Luboš BRIM, Ivana ČERNÁ, Sven DRAŽAN a David ŠAFRÁNEK. 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, s. 83-96, 15 s. ISSN 1571-0661. info
• BENEŠ, Nikola, Luboš BRIM, Ivana ČERNÁ, Jiří SOCHOR, Pavlína VAŘEKOVÁ a Barbora ZIMMEROVÁ. 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, s. 221-225. ISSN 1571-0661. info
• MORAVCOVÁ VAŘEKOVÁ, Pavlína, Ivana VAŘEKOVÁ a Ivana ČERNÁ. 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, s. 41-55. ISSN 1571-0661. info
• MORAVCOVÁ VAŘEKOVÁ, Pavlína a Ivana ČERNÁ. Model Checking of Control-User Component-Based Parametrised Systems. In Lecture Notes in Computer Science 5282. Germany: Springer Verlag, 2008, s. 146-162. ISBN 978-3-540-87890-2. info
• BARNAT, Jiří, Luboš BRIM, Ivana ČERNÁ, Milan ČEŠKA a Jana TŮMOVÁ. 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, s. 77-78. ISBN 978-0-7695-3360-5. info
• VAŘEKOVÁ, Pavlína, Barbora ZIMMEROVÁ, Pavel MORAVEC a Ivana ČERNÁ. Formal verification of systems with an unlimited number of components. IET Software journal. Inst. of Engeneering and Technology, 2008, Volume 2, Isuue 6, s. p. 532-546, 15 s. ISSN 1751-8806. URL info
• ČERNÁ, Ivana, Pavlína VAŘEKOVÁ a Barbora ZIMMEROVÁ. Component Substitutability via Equivalencies of Component-Interaction Automata. Electronic Notes in Theoretical Computer Science. Elsevier, 2007, roč. 182, č. 1, s. 39-55. ISSN 1571-0661. info
• BARNAT, Jiří, Luboš BRIM, Ivana ČERNÁ, Milan ČEŠKA a Jana TŮMOVÁ. 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, s. 215-216. ISBN 0-7695-2883-X. info
• BARNAT, Jiří, Luboš BRIM, Ivana ČERNÁ, Sven DRAŽAN a David ŠAFRÁNEK. 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, s. 80-95, 15 s. info
• BARNAT, Jiří, Luboš BRIM, Ivana ČERNÁ, Sven DRAŽAN a David ŠAFRÁNEK. Parallel Analysis of Genetic Regulatory Networks. Grenoble: Verimag, 2007. Towards Systems Biology Workshop 2007. URL info
• VAŘEKOVÁ, Pavlína, Pavel MORAVEC, Ivana ČERNÁ a Barbora ZIMMEROVÁ. 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, s. 3-13. ISBN 978-1-59593-721-6. URL info
• ČERNÁ, Ivana, Pavlína VAŘEKOVÁ a Barbora ZIMMEROVÁ. 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, s. 115-130. ISSN 1571-0661. info
• BRIM, Luboš, Ivana ČERNÁ, Pavel MORAVEC a Jiří ŠIMŠA. 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, s. 1-16. ISBN 978-3-540-70951-0. info
• BARNAT, Jiří, Luboš BRIM, Ivana ČERNÁ, Pavel MORAVEC, Petr ROČKAI a Pavel ŠIMEČEK. DiVinE -- A Tool for Distributed Verification. In Computer Aided Verification. Berlin: Springer Verlag, 2006, s. 278-281. ISBN 978-3-540-37406-0. info
• BARNAT, Jiří, Luboš BRIM, Ivana ČERNÁ, Milan ČEŠKA a Jana TŮMOVÁ. 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, s. 1-15. ISSN 1571-0661. info
• BARNAT, Jiří, Luboš BRIM a Ivana ČERNÁ. Cluster-Based LTL Model Checking of Large Systems. In Formal Methods for Components and Objects. Berlin: Springer, 2006, s. 259-279. ISBN 978-3-540-36749-9. info
• BARNAT, Jiří a Ivana ČERNÁ. Distributed breadth-first search LTL model checking. Formal Methods in System Design. Springer Netherlands, 2006, roč. 29, č. 2, s. 117-134. ISSN 0925-9856. URL info
• ČERNÁ, Ivana a Tomáš BRÁZDIL. Model Checking of RegCTL. Computing and Informatics. 2006, roč. 25, č. 1, s. 81-97, 16 s. ISSN 1335-9150. info
• BRIM, Luboš, Ivana ČERNÁ, Pavel MORAVEC a Jiří ŠIMŠA. Distributed Partial Order Reduction of State Spaces. Electronic Notes on Theoretical Computer Science. Elsevier, 2005, roč. 128, č. 3, s. 63-74. ISSN 1571-0661. info
• BRIM, Luboš, Ivana ČERNÁ, Pavel MORAVEC a Jiří ŠIMŠA. 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, s. 1-12. info
• BARNAT, Jiří, Luboš BRIM, Ivana ČERNÁ a 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, s. 89-94. info
• BARNAT, Jiří, Luboš BRIM a Ivana ČERNÁ. Distributed Analysis of Large Systems. In Formal Methods for Components and Objects. Amsterdam: CWI Amsterdam, 2005, s. 31-35, 4 s. info
• BRIM, Luboš, Ivana ČERNÁ, Pavlína VAŘEKOVÁ a Barbora ZIMMEROVÁ. 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, s. 31-38. URL info
• BRIM, Luboš, Ivana ČERNÁ, Pavel MORAVEC a Jiří ŠIMŠA. 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, s. 352-366, 24 s. ISBN 3-540-23738-0. info
• BRIM, Luboš, Ivana ČERNÁ a Lukáš HEJTMÁNEK. Distributed Negative Cycle Detection Algorithms. In Parallel Computing: Software Technology, Algorithms, Architectures & Applications. Nizozemsko: Elsevier B.V., 2004, s. 297-305. ISBN 0-444-51689-1. info
• BRIM, Lubos, Ivana ČERNÁ a Lukáš HEJTMÁNEK. Parallel Algorithms for Detection of Negative Cycles. Brno: Faculty of Informatics, 2003, 14 s. Technical Reports, FIMU-RS-2003-04. URL info
• ČERNÁ, Ivana a Radek PELÁNEK. Distributed Explicit Fair Cycle Detection. In SPIN Workshop 2003. Portland (Oregon, USA): Springer-Verlag, 2003, s. 49-74, 25 s. ISBN 3-540-40117-2. info
• ČERNÁ, Ivana a Radek PELÁNEK. Relating Hierarchy of Temporal Properties to Model Checking. In Mathematical Foundations of Computer Science (MFCS 2003). Bratislava (Slovensko): Springer-Verlag, 2003, s. 318-327. ISBN 3-540-40671-9. info
• ČERNÁ, Ivana a Radek PELÁNEK. Relating Hierarchy of Linear Temporal Properties to Model Checking. Brno, Czech Republic: FI MU, 2003. Technical report FIMU-RS-2003-03. URL info
• ČERNÁ, Ivana a Tomáš BRÁZDIL. Local Distributed Model Checking of RegCTL. In PDMC 2002 Parallel and Distributed Model Checking. The Netherlands: Elsevier Science Publishers, 2002, s. 1-14. ISBN 0444512918. info
• ČERNÁ, Ivana a Jitka STŘÍBRNÁ. Modifications of Expansion Trees for Weak Bisimulation in BPA. In Verification of Infinite-State Systems Infinity'2002. The Netherlands: Elsevier Science Publishers, 2002, s. 1-21. ISBN 0444512918. info
• BRIM, Luboš, Ivana ČERNÁ, Pavel KRČÁL a Radek PELÁNEK. Distributed LTL Model-Checking Based on Negative Cycle Detection. In FST-TCS 2001. Bangalore, India: Springer, 2001, s. 96-110. LNCS 2245. ISBN 3-540-43002-4. info
• BRIM, Luboš, Ivana ČERNÁ, Pavel KRČÁL a Radek PELÁNEK. How to Employ Reverse Search in Distributed Single-Source Shortest Paths. How to Employ Reverse Search in Distributed Single-Source Shortest Paths. In SOFSEM 2001. Piestany: Springer, 2001, s. 191-200. LNCS 2234. ISBN 3-540-42912-3. info
• BRIM, Luboš, Ivana ČERNÁ a Martin NEČESAL. Randomization Helps in LTL Model Checking. In Process Algebra and Probabilistic Methods. Proceedings of PAPM-PROBMIV 2001. Berlin Heidelberg New York: Springer, 2001, s. 105-119. LNCS 2165. ISBN 3-540-42556-X. info
• ČERNÁ, Ivana a Jitka STŘÍBRNÁ. Some Remarks on Weak Bisimilarity of BPA-Processes. Brno: FI MU Brno, 2000, 26 s. FIMU-RS-2000-09. URL info
• ČERNÁ, Ivana, Mojmír KŘETÍNSKÝ a Antonín KUČERA. Comparing Expressibility of Normed BPA and Normed BPP Processes. Acta informatica. Berlin: Springer-Verlag, 1999, roč. 36, č. 3, s. 233-256. ISSN 0001-5903. info
• ČERNÁ, Ivana, Jiří SRBA a Ondřej KLÍMA. Pattern Equations and Equations with Stuttering. In SOFSEM'99: Theory and Practise of Informatics. Heidelberg: Springer, 1999, s. 369-378. ISBN 3-540-66694-X. info
• ČERNÁ, Ivana, Ondřej KLÍMA a Jiří SRBA. On the Pattern Equations. Technical Report, Faculty of Informatics, Masaryk University. Brno, 1999, roč. 1999, č. 01, s. 1, 11 s. ISSN FIMU-RS-99-01. URL info
• ČERNÁ, Ivana, Mojmír KŘETÍNSKÝ a Antonín KUČERA. Bisimilarity is Decidable in the Union of Normed BPA and Normed BPP Processes. Electronic Notes in Theoretical Computer Science. Elsevier, 1997, roč. 1997, č. 5, s. 1-24. ENTCS home page info
• ČERNÁ, Ivana, Mojmír KŘETÍNSKÝ a Antonín KUČERA. 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, s. 11-13. info
• ČERNÁ, Ivana, Mojmír KŘETÍNSKÝ a Antonín KUČERA. Bisimilarity is Decidable in the Union of Normed BPA and Normed BPP Processes. B. Steffen, T. Margaria (Eds.). In Proceedings of 1st International Workshop on Verification of Infinite State Systems (INFINITY'96). Passau: University of Passau, 1996, s. 32-46. MIP-9614. info
• ČERNÁ, Ivana, Mojmír KŘETÍNSKÝ a Antonín KUČERA. Comparing Expressibility of Normed BPA and Normed BPP Processes. FI MU Report Series. Brno: FI MU, 1996, roč. 1996, RS-96-02, s. 1-28. info
• BEBJÁK, Andrej a Ivana ŠTEFÁNEKOVÁ. Separation of deterministic, nondeterministic and alternating complexity classes. Theoretical Computer Science. Amsterdam, North Holland: Elsevier Science Publishers, 1991, roč. 1991, č. 88, s. 297-311. ISSN 0304-3975. info
• ŠTEFÁNEKOVÁ, Ivana. Some properties of zerotesting bounded one-way multicounter machines. In Mathematical Foundations of computer Science. Berlin Heidelberg New York: Springer, 1990, s. 195-202. LNCS 452. ISBN 3-540-52953-5. info
• ŠTEFÁNEKOVÁ, Ivana a Dana PARDUBSKÁ. Nondeterministic multicounter machines and complementation. Theoretical Computer Science. Amsterdam, North Holland: Elsevier Science Publishers, 1989, roč. 1989, č. 67, s. 111-113. ISSN 0304-3975. info
• BEBJÁK, Andrej a Ivana ŠTEFÁNEKOVÁ. Nondeterminism is essential for reversal-bounded two-way multihead automata. Kybernetika. Praha: Academia, 1988, roč. 1988, č. 24, s. 65-71. ISSN 0023-5954. info
• BEBJÁK, Andrej a Ivana ŠTEFÁNEKOVÁ. Relation between one-time-only branching programs and real-time branching programs. Computers and Artificial Intelligence. Bratislava: Slovac Academy of Science, Veda, 1988, roč. 7, č. 2, s. 107-112. ISSN 0232-0274. info

2024/03/21