Ivana Černá

2016

Jaroslav Bendík, Nikola Beneš, Jiří Barnat, and Ivana Černá:
Finding Boundary Elements in Ordered Sets with Application to Safety and Requirements Analysis,
Software Engineering and Formal Methods - 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings, 2016, 121–136. [bibtex, url]

Peter Bezděk, Nikola Beneš, Jiří Barnat, and Ivana Černá:
LTL Parameter Synthesis of Parametric Timed Automata,
Software Engineering and Formal Methods - 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings, 2016, 172–187. [bibtex, url]

Jiří Barnat, Ivana Černá, Petr Ročkai, Vladimír Štill, and Kristína Zákopčanová:
On Verifying C++ Programs with Probabilities,
ACM Symposium on Applied Computing, 2016, 1238–1243. [bibtex, url]

2015

Mária Svoreňová, Ivana Černá, and Calin Belta:
Optimal Temporal Logic Control for Deterministic Transition Systems with Probabilistic Penalties,
IEEE Transactions on Automatic Control, 2015. [bibtex]

Mária Svoreňová, Jan Křetínský, Martin Chmelík, Krishnendu Chatterjee, Ivana Černá, and Calin Belta:
Temporal Logic Control for Stochastic Linear Systems using Abstraction Refinement of Probabilistic Games,
Proceedings of ACM international conference on Hybrid Systems: Computation and Control, Association for Computing Machinery (ACM), 2015, 259-268. [bibtex]

Mária Svoreňová, Martin Chmelík, Kevin Leahy, Hasan Ferit Eniser, Krishnendu Chatterjee, Ivana Černá, and Calin Belta:
Temporal Logic Motion Planning using POMDPs with Parity Objectives,
Proceedings of ACM international conference on Hybrid Systems: Computation and Control, Association for Computing Machinery (ACM), 2015, 233-238. [bibtex]

2014

Peter Bezděk, Nikola Beneš, Jiří Barnat, and Ivana Černá:
LTL Model Checking of Parametric Timed Automata,
MEMICS 2014, NOVPRESS, 2014, 28-39. [bibtex]

Peter Bezděk, Nikola Beneš, Vojtěch Havel, Jiří Barnat, and Ivana Černá:
On Clock-Aware LTL properties of Timed Automata,
International Colloquium on Theoretical Aspects of Computing (ICTAC), Springer, 2014, volume 8687 of LNCS, 46–60. [bibtex]

Jiří Barnat, Nikola Beneš, Tomáš Bureš, Ivana Černá, Jaroslav Keznikl, and František Plášil:
Towards Verification of Ensemble-Based Component Systems,
Formal Aspects of Component Software (FACS), Springer, 2014, volume 8348 of LNCS, 1–20. [bibtex]

2013

Jiří Barnat, Nikola Beneš, Ivana Černá, and Zuzana Petruchová:
DCCL: Verification of Component Systems with Ensembles,
Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering, ACM, 2013, 43–52. [bibtex, url]

Boyan Yordanov, Jana Tůmová, Ivana Černá, Jiří Barnat, and Calin Belta:
Formal analysis of piecewise affine systems through formula-guided refinement,
Automatica, 2013, 261–266. [bibtex, url]

Mária Svoreňová, Ivana Černá, and Calin Belta:
Optimal Control of MDPs with Temporal Logic Constraints,
Proceedings of The 52nd IEEE Conference on Decision and Control, Omnipress for the IEEE Control Systems Society, 2013, 3938-3943. [bibtex, url]

Mária Svoreňová, Ivana Černá, and Calin Belta:
Optimal Receding Horizon Control for Finite Deterministic Systems with Temporal Logic Constraints,
Proceedings of The 2013 American Control Conference, Institute of Electrical and Electronics Engineers ( IEEE ), 2013, 4399 - 4404. [bibtex, url]

2012

Mária Svoreňová, Jana Tůmová, Jiří Barnat, and Ivana Černá:
Attraction-Based Receding Horizon Path Planning with Temporal Logic Constraints,
IEEE Conference on Decision and Control (CDC 2012), Omnipress for IEEE Control Systems Society, 2012, 6749–6754. [bibtex]

Nikola Beneš, Ivana Černá, and Filip Štefaňák:
Factorization for Component-Interaction Automata,
SOFSEM 2012: Theory and Practice of Computer Science, Springer Berlin Heidelberg, 2012, volume 7147 of Lecture Notes in Computer Science, 554-565. [bibtex, url]

Nikola Beneš, Barbora Bühnová, Ivana Černá, and Radek Ošlejšek:
Reliability analysis in component-based development via probabilistic model checking,
Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering (CBSE ’12), ACM, 2012, 83-92. [bibtex, url]

Boyan Yordanov, Jana Tůmová, Ivana Černá, Jiří Barnat, and Calin Belta:
Temporal Logic Control of Discrete-Time Piecewise Affine Systems,
IEEE Transactions on Automatic Control, 2012. [bibtex, url]

Boyan Yordanov, Jana Tůmová, Ivana Černá, Jiří Barnat, and Calin Belta:
Temporal Logic Control of Discrete-Time Piecewise Affine Systems,
IEEE Transactions on Automatic Control, 2012. [bibtex, url]

Jiří Barnat, Ivana Černá, and Jana Tůmová:
Timed Automata Approach to Verification of Systems with Degradation,
MEMICS 2011, Springer, 2012, 84 - 93. [bibtex, url]

Jiří Barnat, Ivana Černá, and Jana Tůmová:
Verification of Systems with Degradation,
Computing and Informatics, 2012. [bibtex]

2011

Pieter Collins, Luc Habets, Jan van Schuppen, Ivana Černá, Jana Fabriková, and David Šafránek:
Abstraction of Biochemical Reaction Systems on Polytopes,
Proceedings of the 18th IFAC World Congress, IFAC, 2011, 14869-14875. [bibtex, url]

Nikola Beneš, Ivana Černá, and Milan Křivánek:
CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems,
Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation, Open Publishing Association, 2011, 63-67. [bibtex, url]

Nikola Beneš, Ivana Černá, and Jan Křetínský:
Modal Transition Systems: Composition and LTL Model Checking,
ATVA 2011 - Automated Technology for Verification and Analysis: 9th International Symposium, Springer, 2011, 228-242. [bibtex]

Nikola Beneš, Luboš Brim, Barbora Bühnová, Ivana Černá, Jiří Sochor, and Pavlína Moravcová Vařeková:
Partial Order Reduction for State/Event LTL with Application to Component-Interaction Automata,
Science of Computer Programming, 2011. [bibtex, url]

2010

Jana Tůmová, Boyan Yordanov, Calin Belta, Ivana Černá, and Jiří Barnat:
A Symbolic Approach to Controlling Piecewise Affine Systems,
Proceedings of of the 49th IEEE Conference on Decision and Control (CDC), Omnipress for IEEE Control Systems Society, 2010, 4230 -4235. [bibtex]

Boyan Yordanov, Jana Tůmová, Calin Belta, Ivana Černá, and Jiří Barnat:
Formal Analysis of Piecewise Affine Systems through Formula -Guided Refinement,
Proceedings of of the 49th IEEE Conference on Decision and Control (CDC), Omnipress for IEEE Control Systems Society, 2010, 5899 -5904. [bibtex]

2009

Jiří Barnat, Luboš Brim, Ivana Černá, Sven Dražan, Jana Fabriková, Jan Láník, David Šafránek, and Hongwu Ma:
BioDiVinE: A Framework for Parallel Analysis of Biological Models,
Electronic Proceedings in Theoretical Computer Science (COMPMOD 2009), 2009, 31–45. [bibtex, url]

Jiří Barnat, Luboš Brim, Ivana Černá, Sven Dražan, Jana Fabriková, Jan Láník, and David Šafránek:
BioDiVinE: A Tool for Parallel Analysis of Multi-Affine ODE Models,
Proceedings of The 7th Conference on Computational Methods in Systems Biology (CMSB’09), Universita di Pisa, 2009, volume TR-09-09 of Technical Report, 1–5. [bibtex]

Jiří Barnat, Luboš Brim, Ivana Černá, Sven Dražan, Jana Fabriková, and David Šafránek:
Computational Analysis of Large-Scale Multi-Affine ODE Models,
2009 International Workshop on High Performance Computational Systems Biology (HiBi 2009), IEEE Computer Society Press, 2009, 81–90. [bibtex]

Jiří Barnat, Luboš Brim, Ivana Černá, Milan Češka, and Jana Tůmová:
Local Quantitative LTL Model Checking,
Formal Methods for Industrial Critical Systems, Springer Berlin / Heidelberg, 2009, 53-68. [bibtex, url]

Jiří Barnat, Luboš Brim, Ivana Černá, Sven Dražan, Jana Fabriková, and David Šafránek:
On algorithmic analysis of transcriptional regulation by LTL model checking,
Theor. Comput. Sci., 2009, 3128–3148. [bibtex, url]

Nikola Beneš, Luboš Brim, Ivana Černá, Jiří Sochor, Pavlína Vařeková, and Barbora Zimmerová:
Partial Order Reduction for State/Event LTL,
Proceedings of the International Conference on Integrated Formal Methods (IFM’09), Springer-Verlag, 2009, volume 5423 of LNCS, 307–321. [bibtex]

Jiří Barnat, Ivana Černá, and Jana Tůmová:
Quantitative Model Checking of Systems with Degradation,
Proceeding of the Sixth International Conference on Quantitative Evaluation of Systems (QEST 2009), IEEE, 2009, 21–30. [bibtex]

2008

Nikola Beneš, Ivana Černá, Jiří Sochor, Pavlína Vařeková, and Barbora Zimmerová:
A Case Study in Parallel Verification of Component-Based Systems,
Electr. Notes Theor. Comput. Sci., 2008, 67–83. [bibtex, url]

Pavlína Vařeková and Ivana Černá:
Automated Computing of the Maximal Number of Handled Clients for Client-Server Systems,
Proceedings of FACS’08, 2008, 41–55. [bibtex]

Pavlína Vařeková, Barbora Zimmerová, Pavel Moravec, and Ivana Černá:
Formal Verification of Systems with an Unlimited Number of Components,
IET Software journal, Institution of Engineering and Technology (IET), 2008, 532–546. [bibtex]

Jiří Barnat, Luboš Brim, Ivana Černá, Sven Dražan, and David Šafránek:
From Simple Regulatory Motifs to Parallel Model Checking of Complex Transcriptional Networks,
Proceedings of PDMC 2008 - Parallel and Distributed Methods ins VerifiCation, Ivana Černá and Gerald Luettgen, 2008, 83-96. [bibtex]

Jiří Barnat, Luboš Brim, Ivana Černá, Milan Češka, and Jana Tůmová:
Local Quantitative LTL Model Checking,
Formal Methods for Industrial Critical Systems (FMICS 2008), Springer-Verlag, 2008, volume 5596 of LNCS, 53–68. [bibtex]

Pavlína Vařeková and Ivana Černá:
Model Checking of Control-User Component-Based Parametrised Systems,
CBSE’08, Springer, 2008, volume 5282 of Lecture Notes in Computer Science, 146–162. [bibtex]

Jiří Barnat, Luboš Brim, Ivana Černá, Sven Dražan, and David Šafránek:
Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE,
ENTCS, Elsevier, 2008, volume 194 of ENTCS, 35–50. [bibtex]

Jiří Barnat, Luboš Brim, Ivana Černá, Milan Češka, and Jana Tůmová:
ProbDiVinE-MC: Multi-core LTL Model Checker for Probabilistic Systems,
QEST ’08: Proceedings of the 2008 Fifth International Conference on Quantitative Evaluation of Systems, IEEE Computer Society, 2008, 77–78. [bibtex, url]

Nikola Beneš, Luboš Brim, Ivana Černá, Jiří Sochor, Pavlína Vařeková, and Barbora Zimmerová:
The CoIn Tool: Modelling and Verification of Interactions in Component-Based Systems,
Proceedings of the Workshop on Formal Aspects of Component Software (FACS’08), 2008, 221–225. [bibtex]

Barbora Zimmerová, Pavlína Vařeková, Nikola Beneš, Ivana Černá, Luboš Brim, and Jiří Sochor:
The Common Component Modeling Example: Comparing Software Component Models,
Springer-Verlag, 2008, volume 5153 of LNCS, 146–176. [bibtex]

2007

Ivana Černá, Pavlína Vařeková, and Barbora Zimmerová:
Component Substitutability via Equivalencies of Component-Interaction Automata,
Electronic Notes in Theoretical Computer Science, Elsevier Science Publishers, 2007, 39–55. [bibtex, url]

Pavlína Vařeková, Pavel Moravec, Ivana Černá, and Barbora Zimmerová:
Effective Verification of Systems with a Dynamic Number of Components,
Proceedings of the ESEC/FSE Conference on Specification and Verification of Component-Based Systems (SAVCBS’07), ACM Press, 2007, 3–13. [bibtex, url]

Luboš Brim, Ivana Černá, Pavel Moravec, and Jiří Šimša:
On Combining Partial Order Reduction with Fairness Assumptions,
FMICS/PDMC, 2007, volume 4346 of Lecture Notes in Computer Science, 84–99. [bibtex]

Jiří Barnat, Luboš Brim, Ivana Černá, Sven Dražan, and David Šafránek:
Parallel Model-Checking Genetic Regulatory Networks,
Towards Systems Biology, Verimag, 2007. [bibtex]

Jiří Barnat, Luboš Brim, Ivana Černá, Milan Češka, and Jana Tůmová:
ProbDiVinE: A Parallel Qualitative LTL Model Checker,
Fourth International Conference on the Quantitative Evaluation of Systems (QEST’07), IEEE Computer Society, 2007, 215–216. [bibtex]

2006

Jiří Barnat, Luboš Brim, and Ivana Černá:
Cluster-Based LTL Model Checking of Large Systems,
Formal Methods for Components and Objects, Springer, 2006, 259-279. [bibtex]

Ivana Černá, Pavlína Vařeková, and Barbora Zimmerová:
Component Substitutability via Equivalencies of Component-Interaction Automata,
Pre-proceedings of the International Workshop on Formal Aspects of Component Software (FACS’06), UNU-IIST, 2006, 115-130. [bibtex]

Jiří Barnat, Luboš Brim, Ivana Černá, Pavel Moravec, Petr Ročkai, and Pavel Šimeček:
DiVinE – A Tool for Distributed Verification (Tool Paper),
Computer Aided Verification, Springer Berlin / Heidelberg, 2006, volume 4144/2006 of LNCS, 278–281. [bibtex]

Jiří Barnat and Ivana Černá:
Distributed Breadth-First Search LTL Model Checking,
Special Issue on Parallel and Distributed Databases of Formal Methods in System Design, 2006, 117–134(18). [bibtex]

Luboš Brim, Ivana Černá, Pavel Moravec, and Jiří Šimša:
How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors,
Electronic Notes in Theoretical Computer Science, 2006, 3–18. [bibtex, url]

Ivana Černá and Tomáš Brázdil:
Model Checking of RegCTL,
Computing and Informatics, 2006. [bibtex]

2005

Jiří Barnat, Luboš Brim, and Ivana Černá:
Cluster-Based LTL Model Checking of Large Systems,
Formal Methods for Components and Objects, 2005, 259–279. [bibtex]

Barbora Zimmerová, Luboš Brim, Ivana Černá, and Pavlína Vařeková:
Component-Interaction Automata as a Verification-Oriented Component-Based System Specification,
Specification and Verification of Component-Based Systems (SAVCBS 05), 2005, 31-38. [bibtex]

Jiří Barnat, Luboš Brim, Ivana Černá, and Pavel Šimeček:
DiVinE The Distributed Verification Environment,
4th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC’05), 2005. [bibtex]

Jiří Barnat, Luboš Brim, Ivana Černá, and Pavel Šimeček:
DiVinE – The Distributed Verification Environment,
Proceedings of 4th International Workshop on Parallel and Distributed Methods in verifiCation, 2005, 89–94. [bibtex]

Luboš Brim, Ivana Černá, Pavel Moravec, and Jiří Šimša:
Distributed Partial Order Reduction,
Electronic Notes in Theoretical Computer Science, Elsevier Science Publishers, 2005, 63–74. [bibtex]

Radek Pelánek, Tomáš Hanžl, Ivana Černá, and Luboš Brim:
Enhancing Random Walk State Space Exploration,
Tenth International Workshop on Formal Methods for Industrial Critical Systems (FMICS 05), ACM Press, 2005, 98–105. [bibtex]

Luboš Brim, Ivana Černá, Pavel Moravec, and Jiří Šimša:
How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors,
Proceedings of the 4th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2005), TU Munchen, 2005, 1-12. [bibtex]

2004

Luboš Brim, Ivana Černá, Pavel Moravec, and Jiří Šimša:
Accepting Predecessors are Better than Back Edges in Distributed LTL Model-Checking,
Formal Methods in Computer-Aided Design (FMCAD), Springer, 2004, volume 3312 of LNCS, 352-366. [bibtex, pdf]

Luboš Brim, Ivana Černá, and Lukáš Hejtmánek:
Distributed Negative Cycle Detection Algorithms,
Parallel Computing: Software Technology, Algorithms, Architectures & Applications, Elsevier V.B., 2004, volume 13 of Advances in Parallel Computing, 297 – 305. [bibtex]

2003

Ivana Černá and Radek Pelánek:
Distributed Explicit Fair Cycle Detection (Set Based Approach),
Model Checking Software. 10th International SPIN Workshop, Springer Verlag, 2003, volume 2648 of Lecture Notes in Computer Science, 49 – 73. [bibtex, pdf]

Luboš Brim, Ivana Černá, and Lukáš Hejtmánek:
Parallel Algorithms for Detection of Negative Cycles ,
2003. [bibtex, pdf]

Ivana Černá and Radek Pelánek:
Relating Hierarchy of Temporal Properties to Model Checking,
Mathematical Foundations of Computer Science (MFCS), Springer, 2003, volume 2747 of LNCS, 318 - 327. [bibtex]

Ivana Černá and Radek Pelánek:
Relating Hierarchy of Temporal Properties to Model Checking,
2003. [bibtex, pdf]

2002

Ivana Černá and Radek Pelánek:
Distributed Explicit Fair cycle Detection,
2002. [bibtex, pdf]

Tomáš Brázdil and Ivana Černá:
Local Distributed Model Checking of RegCTL,
Electronic Notes in Theoretical Computer Science, Elsevier Science Publishers, 2002. [bibtex]

Jitka Stříbrná and Ivana Černá:
Modifications of Expansion Trees for Weak Bisimulation in BPA,
Electronic Notes in Theoretical Computer Science, Elsevier Science Publishers, 2002. [bibtex]

Jiří Barnat, Luboš Brim, and Ivana Černá:
Property Driven Distribution of Nested DFS,
Proceeding of the 3rd International Workshop on Verification and Computational Logic (VCL’2002), 2002, 1–10. [bibtex]

Jiří Barnat, Luboš Brim, and Ivana Černá:
Property driven distribution of Nested DFS,
Proc. Workshop on Verification and Computational Logic, 2002, 1–10. [bibtex]

2001

Luboš Brim, Ivana Černá, Pavel Krčál, and Radek Pelánek:
Distributed LTL Model Checking Based on Negative Cycle Detection,
FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science, 21st Conference, Bangalore, India, December 13-15, 2001, Proceedings, Springer Verlag, 2001, 96–107. [bibtex]

Luboš Brim, Ivana Černá, Pavel Krčál, and Radek Pelánek:
Distributed Shortest Paths for Directed Graphs with Negative Edge Lengths ,
2001. [bibtex, pdf]

Luboš Brim, Ivana Černá, Pavel Krčál, and Radek Pelánek:
How to Employ Reverse Search in Distributed Single-Source Shortest Paths ,
2001. [bibtex, pdf]

Luboš Brim, Ivana Černá, Pavel Krčál, and Radek Pelánek:
How to Employ Reverse Search in Distributed Single-Source Shortest Paths,
SOFSEM’01, Springer Verlag, 2001, 191–200. [bibtex]

Luboš Brim, Ivana Černá, and Martin Nečesal:
Randomization Helps in LTL Model Checking.,
Process Algebra and Probabilistic Methods. Performance Modelling and Verification (PAPM-PROBMIV), Springer, 2001, 105–119. [bibtex]

2000

Ivana Černá and Jitka Stříbrná:
Some Remarks on Weak Bisimilarity of BPA-Processes,
2000. [bibtex, pdf]

1999

Ivana Černá, Mojmír Křetínský, and Antonín Kučera:
Comparing Expressibility of Normed BPA and BPP Processes,
Acta Informatica, 1999, 233 - 256. [bibtex]

Ivana Černá, Ondřej Klíma, and Jiří Srba:
On the Pattern Equations ,
1999. [bibtex, pdf]

Ivana Černá, Ondřej Klíma, and Jiří Srba:
Pattern Equations and Equations with Stuttering,
SOFSEM’99, Springer, 1999, 369–378. [bibtex]

1996

Ivana Černá, Mojmír Křetínský, and Antonín Kučera:
Bisimilarity is Decidable in the Union of Normed BPA and BPP Processes,
Proceedings of the 1st International Workshop on Verification of Infinite State Systems , 1996, 32 -46. [bibtex]

Ivana Černá, Mojmír Křetínský, and Antonín Kučera:
Comparing Expressibility of Normed BPA and BPP Processes,
1996. [bibtex, pdf]

Ivana Černá, Mojmír Křetínský, and Antonín Kučera:
On the Relationship between Sequential and Parallel Compositions in Process Algebras,
CSL96 - The 1996 Annual Conference of the European Assoc.., Department of Philosophy, Ulterech University, 1996, 11-13. [bibtex]