prof. RNDr. Ivana Černá, CSc.

2012

• Mathematical and Engineering Methods in Computer Science MEMICS 2011, Seventh International Doctoral Workshop, Revised Selected Papers

  KOTÁSEK Zdeněk BOUDA Jan ČERNÁ Ivana SEKANINA Lukáš VOJNAR Tomáš ANTOŠ David

  Year: 2012, type:

• Reliability analysis in component-based development via probabilistic model checking

  BENEŠ Nikola BÜHNOVÁ Barbora ČERNÁ Ivana OŠLEJŠEK Radek

  Article in Proceedings

  Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering (CBSE '12), year: 2012

• Temporal Logic Control of Discrete-Time Piecewise Affine Systems

  YORDANOV Boyan TŮMOVÁ Jana ČERNÁ Ivana BARNAT Jiří BELTA Calin

  Article in Periodical

  IEEE Transactions on Automatic Control, year: 2012, volume: 57, edition: 6, DOI

• Timed Automata Approach to Verification of Systems with Degradation

  BARNAT Jiří ČERNÁ Ivana TŮMOVÁ Jana

  Article in Proceedings

  MEMICS 2011, year: 2012

• Verification of Systems with Degradation

  BARNAT Jiří ČERNÁ Ivana TŮMOVÁ Jana

  Article in Periodical

  Computing and Informatics, year: 2012, volume: 31, edition: 3

2011

• Abstraction of Biochemical Reaction Systems on Polytopes

  COLLINS Pieter HABETS Luc VAN SCHUPPEN Jan ČERNÁ Ivana FABRIKOVÁ Jana ŠAFRÁNEK David

  Article in Proceedings

  Proceedings of the 18th IFAC World Congress, year: 2011

• CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems

  BENEŠ Nikola ČERNÁ Ivana KŘIVÁNEK Milan

  Article in Proceedings

  Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation, year: 2011

• MEMICS 2011, Seventh Doctoral Workshop on Mathematical and Engineering Methods in Computer Science

  KOTÁSEK Zdeněk BOUDA Jan ČERNÁ Ivana SEKANINA Lukáš VOJNAR Tomáš ANTOŠ David

  Year: 2011, type:

• Modal Transition Systems: Composition and LTL Model Checking

  BENEŠ Nikola ČERNÁ Ivana KŘETÍNSKÝ Jan

  Article in Proceedings

  ATVA 2011 - Automated Technology for Verification and Analysis: 9th International Symposium, year: 2011

• Otevřený přístup k vědeckým informacím na Masarykově univerzitě

  BARTOŠEK Miroslav BRANDEJS Michal ČERNÁ Ivana

  Article in Periodical

  ITlib. Informačné technológie a knižnice, year: 2011, volume: 2011, edition: 2