Follow
Ivana Cerna
Ivana Cerna
Masaryk University, Brno, Czech Republic
Verified email at fi.muni.cz - Homepage
Title
Cited by
Cited by
Year
DiVinE – A Tool for Distributed Verification: (Tool Paper)
J Barnat, L Brim, I Černá, P Moravec, P Ročkai, P Šimeček
International Conference on Computer Aided Verification, 278-281, 2006
1662006
Temporal logic control of discrete-time piecewise affine systems
B Yordanov, J Tumova, I Cerna, J Barnat, C Belta
IEEE Transactions on Automatic Control 57 (6), 1491-1504, 2011
1612011
Accepting predecessors are better than back edges in distributed LTL model-checking
L Brim, I Černá, P Moravec, J Šimša
Formal Methods in Computer-Aided Design: 5th International Conference, FMCAD …, 2004
1182004
Component-interaction automata as a verification-oriented component-based system specification
L Brim, I Černá, P Vařeková, B Zimmerova
ACM SIGSOFT Software Engineering Notes 31 (2), 4-es, 2005
1102005
Distributed explicit fair cycle detection (set based approach)
I Černá, R Pelánek
International SPIN Workshop on Model Checking of Software, 49-73, 2003
1092003
Distributed LTL model checking based on negative cycle detection
L Brim, I Černá, P Krčál, R Pelanek
International Conference on Foundations of Software Technology and …, 2001
992001
Relating Hierarchy of Temporal Properties to Model Checking
I Černá, R Pelánek
Mathematical Foundations of Computer Science (MFCS 2003), 318-327, 2003
782003
Property driven distribution of nested DFS
J Barnat, L Brim, I Černá
Dept. of Electronics and Computer Science, University of Southampton, 2002
572002
Optimal control of MDPs with temporal logic constraints
M Svoreňová, I Černá, C Belta
52nd IEEE Conference on Decision and Control, 3938-3943, 2013
542013
Component substitutability via equivalencies of component-interaction automata
I Černá, P Vařeková, B Zimmerova
Electronic Notes in Theoretical Computer Science 182, 39-55, 2007
522007
Enhancing random walk state space exploration
R Pelánek, T Hanžl, I Černá, L Brim
Proceedings of the 10th international workshop on Formal methods for …, 2005
522005
Cluster-based LTL model checking of large systems
J Barnat, L Brim, I Černá
Formal Methods for Components and Objects: 4th International Symposium, FMCO …, 2006
422006
Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
M Svoreňová, J Křetínský, M Chmelík, K Chatterjee, I Černá, C Belta
Nonlinear Analysis: Hybrid Systems 23 (2017), 230-250, 2017
382017
Formal analysis of piecewise affine systems through formula-guided refinement
B Yordanov, J Tůmová, C Belta, I Černá, J Barnat
49th IEEE Conference on Decision and Control (CDC), 5899-5904, 2010
382010
How to order vertices for distributed LTL model-checking based on accepting predecessors
L Brim, I Černá, P Moravec, J Šimša
Electronic Notes in Theoretical Computer Science 135 (2), 3-18, 2006
382006
How to order vertices for distributed LTL model-checking based on accepting predecessors
L Brim, I Černá, P Moravec, J Šimša
Electronic Notes in Theoretical Computer Science 135 (2), 3-18, 2006
382006
Modal transition systems: Composition and LTL model checking
N Beneš, I Černá, J Křetínský
International Symposium on Automated Technology for Verification and …, 2011
372011
Temporal logic motion planning using POMDPs with parity objectives: Case study paper
M Svoreňová, M Chmelík, K Leahy, HF Eniser, K Chatterjee, I Černá, ...
Proceedings of the 18th International Conference on Hybrid Systems …, 2015
362015
ProbDiVinE-MC: Multi-core LTL model checker for probabilistic systems
J Barnat, L Brim, I Cerná, M Ceška, J Tumova
2008 Fifth International Conference on Quantitative Evaluation of Systems, 77-78, 2008
362008
DiVinE-the distributed verification environment
J Barnat, L Brim, I Černá, P Šimeček
TU Munchen, 2005
362005
The system can't perform the operation now. Try again later.
Articles 1–20