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

  Editorství tématického sborníku

  Rok: 2012, druh: Editorství tématického sborníku

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

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

  Článek ve sborníku

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

• Temporal Logic Control of Discrete-Time Piecewise Affine Systems

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

  Článek v odborném periodiku

  IEEE Transactions on Automatic Control, rok: 2012, ročník: 57, vydání: 6, DOI

• Timed Automata Approach to Verification of Systems with Degradation

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

  Článek ve sborníku

  MEMICS 2011, rok: 2012

• Verification of Systems with Degradation

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

  Článek v odborném periodiku

  Computing and Informatics, rok: 2012, ročník: 31, vydání: 3

2011

• Abstraction of Biochemical Reaction Systems on Polytopes

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

  Článek ve sborníku

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

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

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

  Článek ve sborníku

  Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation, rok: 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

  Editorství tématického sborníku

  Rok: 2011, druh: Editorství tématického sborníku

• Modal Transition Systems: Composition and LTL Model Checking

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

  Článek ve sborníku

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

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

  BARTOŠEK Miroslav BRANDEJS Michal ČERNÁ Ivana

  Článek v odborném periodiku

  ITlib. Informačné technológie a knižnice, rok: 2011, ročník: 2011, vydání: 2