prof. RNDr. Ivana Černá, CSc.

Department head, Department of Computer Science

Office: A410
Botanická 554/68a
602 00 Brno

Phone:	+420 549 49 3890
E‑mail:

social and academic networks:

Type

Total number of publications: 122

2011

Parallel and Distributed Methods in Verification

ČERNÁ Ivana HAVERKORT Boudewijn

Article in Periodical

Journal of logic and computation, year: 2011, volume: 2011, edition: 21, DOI
Partial Order Reduction for State/Event LTL with Application to Component-Interaction Automata

BENEŠ Nikola BRIM Luboš BÜHNOVÁ Barbora ČERNÁ Ivana SOCHOR Jiří MORAVCOVÁ VAŘEKOVÁ Pavlína

Article in Periodical

Science of Computer Programming, year: 2011, volume: 76, edition: 10, DOI
SOFSEM 2011: Theory and Practice of Computer Science 37th Conference on Current Trends in Theory and Practice of Computer Science

ČERNÁ Ivana GYIMÓTHY Tibor HROMKOVIČ Juraj JEFFEREY Keith KRÁĽOVIČ Rastislav VUKOLIC Marko WOLF Stefan

Year: 2011, type:

A Symbolic Approach to Controlling Piecewise Affine Systems

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

Article in Proceedings

Proceedings of of the 49th IEEE Conference on Decision and Control (CDC), year: 2010
CoIn-DiVinE

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

Year: 2010
Formal Analysis of Piecewise Affine Systems through Formula-Guided Refinement

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

Article in Proceedings

Proceedings of of the 49th IEEE Conference on Decision and Control (CDC), year: 2010
Formal Verification of Component-based Architectures - Motivation, Methods & Challenges

ČERNÁ Ivana

Year: 2010, type:
ProbDiVinE 2.0

APPL Jiří BARNAT Jiří BRIM Luboš ČERNÁ Ivana ČEŠKA Milan TŮMOVÁ Jana

Year: 2010