Jana Tůmová

2013

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]

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]

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]

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á, 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, 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

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]

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]

2007

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]