default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDIvana Cerná
Ivana Cerna – Ivana Černá
Person information
- affiliation: Masaryk University, Brno, Czech Republic
- unicode name: Ivana Černá
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[c64]Jan Mrázek, Patrick Ondika, Ivana Cerná, Jiri Barnat:
Tentacle-Based Shape Shifting of Metamorphic Robots Using Fast Inverse Kinematics. ICRA 2023: 11894-11900- 2022
- [j16]Jaroslav Bendík, Ahmet Sencan, Ebru Aydin Gol, Ivana Cerná
:
Timed Automata Robustness Analysis via Model Checking. Log. Methods Comput. Sci. 18(3) (2022) - 2021
- [c63]Jaroslav Bendík, Ahmet Sencan, Ebru Aydin Gol, Ivana Cerná:
Timed Automata Relaxation for Reachability. TACAS (1) 2021: 291-310 - [i11]Jaroslav Bendík, Ahmet Sencan, Ebru Aydin Gol, Ivana Cerná:
Timed Automata Robustness Analysis via Model Checking. CoRR abs/2108.08018 (2021) - 2020
- [c62]Jaroslav Bendík, Ivana Cerná:
Replication-Guided Enumeration of Minimal Unsatisfiable Subsets. CP 2020: 37-54 - [c61]Jaroslav Bendík, Ivana Cerna:
Rotation Based MSS/MCS Enumeration. LPAR 2020: 120-137 - [c60]Jaroslav Bendík, Ivana Cerná:
MUST: Minimal Unsatisfiable Subsets Enumeration Tool. TACAS (1) 2020: 135-152
2010 – 2019
- 2018
- [j15]Peter Bezdek, Nikola Benes, Ivana Cerná, Jiri Barnat:
On clock-aware LTL parameter synthesis of timed automata. J. Log. Algebraic Methods Program. 99: 114-142 (2018) - [j14]Petr Rockai, Vladimír Still, Ivana Cerná, Jiri Barnat:
DiVM: Model checking with LLVM and graph memory. J. Syst. Softw. 143: 1-13 (2018) - [c59]Jaroslav Bendík, Ivana Cerná, Nikola Benes:
Recursive Online Enumeration of All Minimal Unsatisfiable Subsets. ATVA 2018: 143-159 - [c58]Jaroslav Bendík, Nikola Benes, Ivana Cerná:
Finding Regressions in Projects under Version Control Systems. ICSOFT 2018: 186-197 - [c57]Jaroslav Bendík, Ivana Cerna:
Evaluation of Domain Agnostic Approaches for Enumeration of Minimal Unsatisfiable Subsets. LPAR 2018: 131-142 - [c56]Jaroslav Bendík, Elaheh Ghassabani, Michael W. Whalen, Ivana Cerná:
Online Enumeration of All Minimal Inductive Validity Cores. SEFM 2018: 189-204 - 2017
- [i10]Petr Rockai, Ivana Cerná, Jiri Barnat:
DiVM: Model Checking with LLVM and Graph Memory. CoRR abs/1703.05341 (2017) - [i9]Jaroslav Bendík, Nikola Benes, Ivana Cerna:
Recursive Online Enumeration of All Minimal Unsatisfiable Subsets. CoRR abs/1708.00400 (2017) - [i8]Jaroslav Bendík, Nikola Benes, Ivana Cerna:
Finding Regressions in Projects under Version Control Systems. CoRR abs/1708.06623 (2017) - 2016
- [c55]Eva Tesarova, María Svorenová, Jiri Barnat, Ivana Cerna:
Optimal observation mode scheduling for systems under temporal constraints. ACC 2016: 1099-1104 - [c54]Jaroslav Bendík, Nikola Benes, Ivana Cerná, Jiri Barnat:
Tunable Online MUS/MSS Enumeration. FSTTCS 2016: 50:1-50:13 - [c53]Jiri Barnat, Ivana Cerná, Petr Rockai, Vladimír Still, Kristína Zákopcanová:
On verifying C++ programs with probabilities. SAC 2016: 1238-1243 - [c52]Jaroslav Bendík, Nikola Benes, Jiri Barnat, Ivana Cerná:
Finding Boundary Elements in Ordered Sets with Application to Safety and Requirements Analysis. SEFM 2016: 121-136 - [c51]Peter Bezdek, Nikola Benes, Jiri Barnat, Ivana Cerná:
LTL Parameter Synthesis of Parametric Timed Automata. SEFM 2016: 172-187 - [i7]Eva Tesarova, María Svorenová, Jiri Barnat, Ivana Cerná:
Optimal Observation Mode Scheduling for Systems under Temporal Constraints. CoRR abs/1602.08260 (2016) - [i6]Jaroslav Bendík, Nikola Benes, Ivana Cerná, Jiri Barnat:
Tunable Online MUS/MSS Enumeration. CoRR abs/1606.03289 (2016) - 2015
- [j13]María Svorenová, Ivana Cerna, Calin Belta:
Optimal Temporal Logic Control for Deterministic Transition Systems With Probabilistic Penalties. IEEE Trans. Autom. Control. 60(6): 1528-1541 (2015) - [c50]María Svorenová, Martin Chmelik, Kevin Leahy, Hasan Ferit Eniser, Krishnendu Chatterjee, Ivana Cerná, Calin Belta:
Temporal logic motion planning using POMDPs with parity objectives: case study paper. HSCC 2015: 233-238 - [c49]María Svorenová, Jan Kretínský, Martin Chmelik, Krishnendu Chatterjee, Ivana Cerná, Calin Belta:
Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games. HSCC 2015: 259-268 - 2014
- [c48]Peter Bezdek, Nikola Benes, Vojtech Havel, Jiri Barnat, Ivana Cerná:
On Clock-Aware LTL Properties of Timed Automata. ICTAC 2014: 43-60 - [i5]Peter Bezdek, Nikola Benes, Vojtech Havel, Jiri Barnat, Ivana Cerná:
LTL Model Checking of Parametric Timed Automata. CoRR abs/1409.3696 (2014) - [i4]María Svorenová, Jan Kretínský, Martin Chmelik, Krishnendu Chatterjee, Ivana Cerná, Calin Belta:
Temporal Logic Control for Stochastic Linear Systems using Abstraction Refinement of Probabilistic Games. CoRR abs/1410.5387 (2014) - 2013
- [j12]Boyan Yordanov, Jana Tumova, Ivana Cerná, Jiri Barnat, Calin Belta:
Formal analysis of piecewise affine systems through formula-guided refinement. Autom. 49(1): 261-266 (2013) - [c47]María Svorenová, Ivana Cerná, Calin Belta:
Optimal receding horizon control for finite deterministic systems with temporal logic constraints. ACC 2013: 4399-4404 - [c46]Jiri Barnat, Nikola Benes, Ivana Cerná, Zuzana Petruchová:
DCCL: verification of component systems with ensembles. CBSE 2013: 43-52 - [c45]María Svorenová, Ivana Cerna, Calin Belta:
Optimal control of MDPs with temporal logic constraints. CDC 2013: 3938-3943 - [c44]Jiri Barnat, Nikola Benes, Tomás Bures, Ivana Cerná, Jaroslav Keznikl, Frantisek Plásil:
Towards Verification of Ensemble-Based Component Systems. FACS 2013: 41-60 - [i3]María Svorenová, Ivana Cerna, Calin Belta:
Optimal Control of MDPs with Temporal Logic Constraints. CoRR abs/1303.1942 (2013) - [i2]María Svorenová, Ivana Cerná, Calin Belta:
Optimal Receding Horizon Control for Finite Deterministic Systems with Temporal Logic Constraints. CoRR abs/1303.3533 (2013) - 2012
- [j11]Zdenek Kotásek, Lukás Sekanina, Tomás Vojnar, Jan Bouda, Ivana Cerná:
pecial CAI Section Devoted to MEMICS '11: Preface. Comput. Informatics 31(3): 481- (2012) - [j10]Jiri Barnat, Ivana Cerná, Jana Tumova:
Verification of Systems with Degradation. Comput. Informatics 31(3): 507- (2012) - [j9]Boyan Yordanov, Jana Tumova, Ivana Cerna, Jiri Barnat, Calin Belta:
Temporal Logic Control of Discrete-Time Piecewise Affine Systems. IEEE Trans. Autom. Control. 57(6): 1491-1504 (2012) - [c43]Nikola Benes, Barbora Buhnova, Ivana Cerna, Radek Oslejsek:
Reliability analysis in component-based development via probabilistic model checking. CBSE 2012: 83-92 - [c42]María Svorenová, Jana Tumova, Jiri Barnat, Ivana Cerna:
Attraction-based receding horizon path planning with temporal logic constraints. CDC 2012: 6749-6754 - [c41]Nikola Benes, Ivana Cerná, Filip Stefanak:
Factorization for Component-Interaction Automata. SOFSEM 2012: 554-565 - [e5]Zdenek Kotásek, Jan Bouda, Ivana Cerná, Lukás Sekanina, Tomás Vojnar, David Antos:
Mathematical and Engineering Methods in Computer Science - 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers. Lecture Notes in Computer Science 7119, Springer 2012, ISBN 978-3-642-25928-9 [contents] - [i1]María Svorenová, Jana Tumova, Jiri Barnat, Ivana Cerna:
Attraction-Based Receding Horizon Path Planning with Temporal Logic Constraints. CoRR abs/1208.5855 (2012) - 2011
- [j8]Ivana Cerná, Boudewijn R. Haverkort:
Parallel and Distributed Methods in Verification. J. Log. Comput. 21(1): 1-3 (2011) - [j7]Nikola Benes, Lubos Brim, Barbora Buhnova, Ivana Cerná, Jiri Sochor, Pavlína Vareková:
Partial order reduction for state/event LTL with application to component-interaction automata. Sci. Comput. Program. 76(10): 877-890 (2011) - [c40]Nikola Benes, Ivana Cerná, Jan Kretínský:
Modal Transition Systems: Composition and LTL Model Checking. ATVA 2011: 228-242 - [c39]Jiri Barnat, Ivana Cerná, Jana Tumova:
Timed Automata Approach to Verification of Systems with Degradation. MEMICS 2011: 84-93 - [c38]Nikola Benes, Ivana Cerná, Milan Krivánek:
CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems. PDMC 2011: 63-67 - [e4]Ivana Cerná, Tibor Gyimóthy, Juraj Hromkovic, Keith G. Jeffery, Rastislav Královic, Marko Vukolic, Stefan Wolf:
SOFSEM 2011: Theory and Practice of Computer Science - 37th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 22-28, 2011. Proceedings. Lecture Notes in Computer Science 6543, Springer 2011, ISBN 978-3-642-18380-5 [contents] - 2010
- [c37]Jana Tumova, Boyan Yordanov, Calin Belta, Ivana Cerna, Jiri Barnat:
A symbolic approach to controlling piecewise affine systems. CDC 2010: 4230-4235 - [c36]Boyan Yordanov, Jana Tumova, Calin Belta, Ivana Cerna, Jiri Barnat:
Formal analysis of piecewise affine systems through formula-guided refinement. CDC 2010: 5899-5904
2000 – 2009
- 2009
- [j6]Jiri Barnat, Lubos Brim, Ivana Cerná, Sven Drazan, Jana Fabriková, David Safránek:
On algorithmic analysis of transcriptional regulation by LTL model checking. Theor. Comput. Sci. 410(33-34): 3128-3148 (2009) - [c35]Nikola Benes, Lubos Brim, Ivana Cerná, Jiri Sochor, Pavlína Vareková, Barbora Zimmerová:
Partial Order Reduction for State/Event LTL. IFM 2009: 307-321 - [c34]Jiri Barnat, Ivana Cerná, Jana Tumova:
Quantitative Model Checking of Systems with Degradation. QEST 2009: 21-30 - [c33]Jiri Barnat, Lubos Brim, Ivana Cerná, Sven Drazan, Jana Fabriková, Jan Láník, David Safránek, Hongwu Ma:
BioDiVinE: A Framework for Parallel Analysis of Biological Models. COMPMOD 2009: 31-45 - 2008
- [j5]Pavlína Vareková, Barbora Zimmerová, Pavel Moravec, Ivana Cerná:
Formal verification of systems with an unlimited number of components. IET Softw. 2(6): 532-546 (2008) - [c32]Pavlína Vareková, Ivana Cerná:
Model Checking of Control-User Component-Based Parametrised Systems. CBSE 2008: 146-162 - [c31]Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska, Jana Tumova:
Local Quantitative LTL Model Checking. FMICS 2008: 53-68 - [c30]Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska, Jana Tumova:
ProbDiVinE-MC: Multi-core LTL Model Checker for Probabilistic Systems. QEST 2008: 77-78 - [c29]Ivana Cerná, Gerald Lüttgen:
Preface. PDMC@ETAPS 2008: 1-2 - [c28]Nikola Benes, Ivana Cerná, Jiri Sochor, Pavlína Vareková, Barbora Zimmerová:
A Case Study in Parallel Verification of Component-Based Systems. PDMC@ETAPS 2008: 67-83 - [c27]Pavlína Vareková, I. Vareková, Ivana Cerná:
Automated Computing of the Maximal Number of Handled Clients for Client-Server Systems. FACS 2008: 243-259 - [e3]Ivana Cerná, Boudewijn R. Haverkort:
Proceedings of the 6th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC@CAV 2007, Berlin, Germany, July 8, 2007. Electronic Notes in Theoretical Computer Science 198(1), Elsevier 2008 [contents] - [e2]Ivana Cerná, Gerald Lüttgen:
Proceedings of the 7th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC@ETAPS 2008, Budapest, Hungary, March 29, 2008. Electronic Notes in Theoretical Computer Science 220(2), Elsevier 2008 [contents] - 2007
- [c26]Barbora Zimmerová, Pavlína Vareková, Nikola Benes, Ivana Cerná, Lubos Brim, Jiri Sochor:
Component-Interaction Automata Approach (CoIn). CoCoME 2007: 146-176 - [c25]Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska, Jana Tumova:
ProbDiVinE: A Parallel Qualitative LTL Model Checker. QEST 2007: 215-216 - [c24]Pavlína Vareková, Pavel Moravec, Ivana Cerná, Barbora Zimmerová:
Effective verification of systems with a dynamic number of components. SAVCBS 2007: 3-13 - [c23]Ivana Cerná, Boudewijn R. Haverkort:
Preface. PDMC@CAV 2007: 1-2 - [c22]Jiri Barnat, Lubos Brim, Ivana Cerná, Sven Drazan, David Safránek:
Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE. FBTC@CONCUR 2007: 35-50 - [e1]Guido Boella, Mehdi Dastani, Andrea Omicini, Leon van der Torre, Ivana Cerná, Isabelle Linden:
Combined Proceedings of the Second International Workshop on Coordination and Organization (CoOrg 2006) and the Second International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2006), Bologna, Italy, June 13, 2006. Electronic Notes in Theoretical Computer Science 181, Elsevier 2007 [contents] - 2006
- [j4]Tomás Brázdil, Ivana Cerná:
Model Checking of RegCTL. Comput. Artif. Intell. 25(1): 81-97 (2006) - [j3]Jiri Barnat, Ivana Cerná:
Distributed breadth-first search LTL model checking. Formal Methods Syst. Des. 29(2): 117-134 (2006) - [j2]Lubos Brim, Ivana Cerná, Pavlína Vareková, Barbora Zimmerová:
Component-interaction automata as a verification-oriented component-based system specification. ACM SIGSOFT Softw. Eng. Notes 31(2) (2006) - [c21]Jiri Barnat, Lubos Brim, Ivana Cerná, Pavel Moravec, Petr Rockai, Pavel Simecek:
DiVinE - A Tool for Distributed Verification. CAV 2006: 278-281 - [c20]Lubos Brim, Ivana Cerná, Pavel Moravec, Jirí Simsa:
On Combining Partial Order Reduction with Fairness Assumptions. FMICS/PDMC 2006: 84-99 - [c19]Guido Boella, Mehdi Dastani, Andrea Omicini, Leendert W. N. van der Torre, Ivana Cerna, Isabelle Linden:
Preface. CoOrg/MTCoord@COORDINATION 2006: 1-3 - [c18]Ivana Cerná, Pavlína Vareková, Barbora Zimmerová:
Component Substitutability via Equivalencies of Component-Interaction Automata. FACS 2006: 39-55 - 2005
- [c17]Jiri Barnat, Lubos Brim, Ivana Cerná:
Cluster-Based LTL Model Checking of Large Systems. FMCO 2005: 259-279 - [c16]Radek Pelánek, Tomás Hanzl, Ivana Cerná, Lubos Brim:
Enhancing random walk state space exploration. FMICS 2005: 98-105 - [c15]Lubos Brim, Ivana Cerná, Pavlína Vareková, Barbora Zimmerová:
Component-interaction automata as a verification-oriented component-based system specification. SAVCBS@ESEC/FSE 2005: 4 - [c14]Lubos Brim, Ivana Cerná, Pavel Moravec, Jirí Simsa:
How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors. PDMC@ICALP 2005: 3-18 - 2004
- [c13]Lubos Brim, Ivana Cerná, Pavel Moravec, Jirí Simsa:
Accepting Predecessors Are Better than Back Edges in Distributed LTL Model-Checking. FMCAD 2004: 352-366 - [c12]Lubos Brim, Ivana Cerná, Pavel Moravec, Jirí Simsa:
Distributed Partial Order Reduction of State Spaces. PDMC 2004: 63-74 - 2003
- [c11]Ivana Cerná, Radek Pelánek:
Relating Hierarchy of Temporal Properties to Model Checking. MFCS 2003: 318-327 - [c10]Lubos Brim, Ivana Cerná, Lukás Hejtmánek:
Distributed Negative Cycle Detection Algorithms. PARCO 2003: 297-304 - [c9]Ivana Cerná, Radek Pelánek:
Distributed Explicit Fair Cycle Detection (Set Based Approach). SPIN 2003: 49-73 - 2002
- [c8]Jitka Stríbrná, Ivana Cerná:
Modifications of Expansion Trees for Weak Bisimulation in BPA. INFINITY 2002: 19-39 - [c7]Tomás Brázdil, Ivana Cerná:
Local Distributed Model Checking of RegCTL. PDMC@CONCUR 2002: 575-588 - 2001
- [c6]Lubos Brim, Ivana Cerná, Pavel Krcál, Radek Pelánek:
Distributed LTL Model Checking Based on Negative Cycle Detection. FSTTCS 2001: 96-107 - [c5]Lubos Brim, Ivana Cerná, Martin Necesal:
Randomization Helps in LTL Model Checking. PAPM-PROBMIV 2001: 105-119 - [c4]Lubos Brim, Ivana Cerná, Pavel Krcál, Radek Pelánek:
How to Employ Reverse Search in Distributed Single Source Shortest Paths. SOFSEM 2001: 191-200
1990 – 1999
- 1999
- [j1]Ivana Cerná, Mojmír Kretínský, Antonín Kucera:
Comparing Expressibility of Normed BPA and Normed BPP Processes. Acta Informatica 36(3): 233-256 (1999) - [c3]Ivana Cerná, Ondrej Klíma, Jirí Srba:
Pattern Equations and Equations with Stuttering. SOFSEM 1999: 369-378 - 1996
- [c2]Ivana Cerná, Mojmír Kretínský, Antonín Kucera:
Bisimilarity is decidable in the union of normed BPA and normed BPP processes. INFINITY 1996: 14 - 1990
- [c1]Ivana Cerná:
Some Properties of Zerotesting Bounded One-Way Multicounter Machines. MFCS 1990: 195-201
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-21 00:24 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
