Ivana Černá

Available identifiers

zbMath Open cerna.ivanaMaRDI QIDQ1306564

List of research outcomes

Publication	Date of Publication	Type
Recursive online enumeration of all minimal unsatisfiable subsets	2023-07-28	Paper
Online Enumeration of All Minimal Inductive Validity Cores	2023-05-05	Paper
https://portal.mardi4nfdi.de/entity/Q5101345	2022-08-30	Paper
Timed automata relaxation for reachability	2021-08-04	Paper
Evaluation of Domain Agnostic Approaches for Enumeration of Minimal Unsatisfiable Subsets	2019-07-04	Paper
Finding Boundary Elements in Ordered Sets with Application to Safety and Requirements Analysis	2018-07-06	Paper
LTL Parameter Synthesis of Parametric Timed Automata	2018-07-06	Paper
On clock-aware LTL parameter synthesis of timed automata	2018-06-27	Paper
https://portal.mardi4nfdi.de/entity/Q4636600	2018-04-19	Paper
https://portal.mardi4nfdi.de/entity/Q4610039	2018-04-05	Paper
Temporal Logic Control of Discrete-Time Piecewise Affine Systems	2017-09-08	Paper
Temporal logic motion planning using POMDPs with parity objectives	2017-05-19	Paper
Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games	2017-05-19	Paper
Optimal Temporal Logic Control for Deterministic Transition Systems With Probabilistic Penalties	2017-05-16	Paper
Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games	2016-12-15	Paper
On Clock-Aware LTL Properties of Timed Automata	2015-01-13	Paper
Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE	2014-01-17	Paper
https://portal.mardi4nfdi.de/entity/Q2848654	2013-09-26	Paper
https://portal.mardi4nfdi.de/entity/Q2848148	2013-09-25	Paper
https://portal.mardi4nfdi.de/entity/Q2842855	2013-08-16	Paper
https://portal.mardi4nfdi.de/entity/Q2842872	2013-08-16	Paper
Formal analysis of piecewise affine systems through formula-guided refinement	2013-03-04	Paper
Factorization for Component-Interaction Automata	2012-06-15	Paper
Modal Transition Systems: Composition and LTL Model Checking	2011-10-07	Paper
Partial order reduction for state/event LTL with application to component-interaction automata	2011-07-18	Paper
On algorithmic analysis of transcriptional regulation by LTL model checking	2009-08-07	Paper
Partial Order Reduction for State/Event LTL	2009-02-24	Paper
Mathematical Foundations of Computer Science 2003	2007-12-07	Paper
Cluster-Based LTL Model Checking of Large Systems	2007-09-11	Paper
https://portal.mardi4nfdi.de/entity/Q3430687	2007-03-23	Paper
Distributed breadth-first search LTL model checking	2006-10-24	Paper
Formal Methods in Computer-Aided Design	2006-10-20	Paper
https://portal.mardi4nfdi.de/entity/Q4473984	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4474210	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4426370	2003-09-16	Paper
https://portal.mardi4nfdi.de/entity/Q4798037	2003-03-18	Paper
https://portal.mardi4nfdi.de/entity/Q4496248	2001-06-21	Paper
Comparing expressibility of normed BPA and normed BPP processes	1999-11-29	Paper
https://portal.mardi4nfdi.de/entity/Q4222869	1998-12-20	Paper
https://portal.mardi4nfdi.de/entity/Q3361887	1990-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Ivana Černá