| DiVinE – A Tool for Distributed Verification: (Tool Paper) J Barnat, L Brim, I Černá, P Moravec, P Ročkai, P Šimeček Computer Aided Verification: 18th International Conference, CAV 2006 …, 2006 | 165 | 2006 |
| 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 | 160 | 2011 |
| 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 | 113 | 2004 |
| 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 | 110 | 2005 |
| Distributed explicit fair cycle detection (set based approach) I Černá, R Pelánek Model Checking Software: 10th International SPIN Workshop Portland, OR, USA …, 2003 | 108 | 2003 |
| Distributed LTL model checking based on negative cycle detection L Brim, I Černá, P Krčál, R Pelánek FST TCS 2001: Foundations of Software Technology and Theoretical Computer …, 2001 | 95 | 2001 |
| Relating Hierarchy of Temporal Properties to Model Checking I Černá, R Pelánek Mathematical Foundations of Computer Science (MFCS 2003), 318-327, 2003 | 73 | 2003 |
| Property driven distribution of nested DFS J Barnat, L Brim, I Černá Dept. of Electronics and Computer Science, University of Southampton, 2002 | 58 | 2002 |
| 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 | 50 | 2005 |
| 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 | 49 | 2013 |
| 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 | 49 | 2007 |
| 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 | 40 | 2006 |
| Modal transition systems: Composition and LTL model checking N Beneš, I Černá, J Křetínský Automated Technology for Verification and Analysis: 9th International …, 2011 | 38 | 2011 |
| 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 | 38 | 2010 |
| 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 | 37 | 2008 |
| 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 | 37 | 2006 |
| 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 | 37 | 2006 |
| 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 | 35 | 2017 |
| Parallel model checking large-scale genetic regulatory networks with DiVinE J Barnat, L Brim, I Černá, S Dražan, D Šafránek Electronic Notes in Theoretical Computer Science 194 (3), 35-50, 2008 | 35 | 2008 |
| Distributed partial order reduction of state spaces L Brim, I Černá, P Moravec, J Šimša Electronic Notes in Theoretical Computer Science 128 (3), 63-74, 2005 | 35 | 2005 |
Luboš BrimMasaryk university, Faculty of InformaticsBestätigte E-Mail-Adresse bei fi.muni.cz
