Concepedia

Ivana Černá

IČ

27

Publications

732

Citations

18

H-Index

1999

Active since

Affiliations

Masaryk University(Current)

Boston University

Institute of Science and Technology Austria

Ivana Černá is an author at Masaryk University specializing in engineering, computer science, and systems engineering.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationSystems EngineeringAutomated ReasoningVerificationComputer EngineeringProcess ControlProgram Analysis

Publications per year

1999–2020

27

Publications

27

Temporal Logic Control of Discrete-Time Piecewise Affine Systems

Boyan Yordanov, Jana Tůmová, Ivana Černá et al. · IEEE Transactions on Automatic Control · 2011 · 121 citations

Engineering, Verification, System Synthesis +16

Component-interaction automata as a verification-oriented component-based system specification

Luboš Brim, Ivana Černá, Pavlína Vařeková et al. · ACM SIGSOFT Software Engineering Notes · 2005 · 69 citations

Engineering, Verification, Architecture Specification +17

Optimal control of MDPs with temporal logic constraints

Mária Svoreňová, Ivana Černá, Călin Belta · 2013 · 38 citations

Mathematical Programming, Engineering, Game Theory +19

Distributed Explicit Fair Cycle Detection

Ivana Černá, Radek Pelánek · 2003 · 37 citations

Cluster Computing, Engineering, Randomized Algorithm +5

Component Substitutability via Equivalencies of Component-Interaction Automata

Ivana Černá, Pavlína Vařeková, Barbora Zimmerová · Electronic Notes in Theoretical Computer Science · 2007 · 37 citations · Full text

Engineering, Verification, Pushdown Automaton +20

Rows per page

1–5 of 27