prof. RNDr. Ivana Černá, CSc.

2023

• Tentacle-Based Shape Shifting of Metamorphic Robots Using Fast Inverse Kinematics

  MRÁZEK Jan ONDIKA Patrick ČERNÁ Ivana BARNAT Jiří

  Článek ve sborníku

  2023 IEEE International Conference on Robotics and Automation (ICRA), rok: 2023

2022

• Timed Automata Robustness Analysis via Model Checking

  BENDÍK Jaroslav SENCAN Ahmet GOL Ebru Aydin ČERNÁ Ivana

  Článek v odborném periodiku

  Logical Methods in Computer Science, rok: 2022, ročník: 18, vydání: 3, DOI

2021

• Timed Automata Relaxation for Reachability

  BENDÍK Jaroslav SENCAN Ahmet GOL Ebru Aydin ČERNÁ Ivana

  Článek ve sborníku

  27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'21), rok: 2021

2020

• MUST: Minimal Unsatisfiable Subsets Enumeration Tool

  BENDÍK Jaroslav ČERNÁ Ivana

  Článek ve sborníku

  Tools and Algorithms for the Construction and Analysis of Systems, rok: 2020

• Replication-Guided Enumeration of Minimal Unsatisfiable Subsets

  BENDÍK Jaroslav ČERNÁ Ivana

  Článek ve sborníku

  26th International Conference on Principles and Practice of Constraint Programming, rok: 2020

• Rotation Based MSS/MCS Enumeration

  BENDÍK Jaroslav ČERNÁ Ivana

  Článek ve sborníku

  LPAR 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, rok: 2020

2018

• DiVM: Model checking with LLVM and graph memory

  ROČKAI Petr ŠTILL Vladimír ČERNÁ Ivana BARNAT Jiří

  Článek v odborném periodiku

  Journal of Systems and Software, rok: 2018, ročník: 143, vydání: Oct, DOI

• Evaluation of Domain Agnostic Approaches for Enumeration of Minimal Unsatisfiable Subsets

  BENDÍK Jaroslav ČERNÁ Ivana

  Článek ve sborníku

  LPAR-22, 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, rok: 2018

• Finding Regressions in Projects under Version Control Systems

  BENDÍK Jaroslav BENEŠ Nikola ČERNÁ Ivana

  Článek ve sborníku

  13th International Conference on Software Technologies, rok: 2018

• On clock-aware LTL parameter synthesis of timed automata

  BEZDĚK Peter BENEŠ Nikola ČERNÁ Ivana BARNAT Jiří

  Článek v odborném periodiku

  Journal of Logical and Algebraic Methods in Programming, rok: 2018, ročník: 99, vydání: Oct, DOI