Model checking of software components: Combining java pathfinder and behavior protocol model checker P Parizek, F Plasil, J Kofron 2006 30th Annual IEEE/NASA Software Engineering Workshop, 133-141, 2006 | 54 | 2006 |
Exhaustive testing of safety critical Java T Kalibera, P Parizek, M Malohlava, M Schoeberl Proceedings of the 8th International Workshop on Java Technologies for Real …, 2010 | 44 | 2010 |
Cocome in fractal L Bulej, T Bureš, T Coupaye, M Děcký, P Ježek, P Parizek, F Plášil, ... The Common Component Modeling Example: Comparing Software Component Models …, 2008 | 38 | 2008 |
Specification and generation of environment for model checking of software components P Parizek, F Plasil Electronic Notes in Theoretical Computer Science 176 (2), 143-154, 2007 | 30 | 2007 |
Component reliability extensions for fractal component model J Adamek, T Bures, P Jezek, J Kofron, V Mencl, P Parizek, F Plasil | 29 | 2006 |
Modeling environment for component model checking from hierarchical architecture P Parizek, F Plasil Electronic Notes in Theoretical Computer Science 182, 139-153, 2007 | 28 | 2007 |
15 CoCoME in SOFA T Bures, M Decky, P Hnetynka, J Kofron, P Parizek, F Plasil, T Poch, ... Lecture Notes in Computer Science 5153, 388, 2008 | 17 | 2008 |
Identifying future field accesses in exhaustive state space traversal P Parizek, P Parízek, O Lhoták 2011 26th IEEE/ACM International Conference on Automated Software …, 2011 | 15 | 2011 |
CoCoME in SOFA T Bureš, M Děcký, P Hnětynka, J Kofroň, P Parízek, F Plášil, T Poch, ... The Common Component Modeling Example: Comparing Software Component Models …, 2008 | 15 | 2008 |
Predicate abstraction of Java programs with collections P Parízek, OY Lhoták ACM SIGPLAN Notices 47 (10), 75-94, 2012 | 12 | 2012 |
Challenge benchmarks for verification of real-time programs T Kalibera, P Parizek, G Haddad, GT Leavens, J Vitek Proceedings of the 4th ACM SIGPLAN workshop on Programming languages meets …, 2010 | 12 | 2010 |
Modeling of component environment in presence of callbacks and autonomous activities P Parizek, F Plasil Objects, Components, Models and Patterns: 46th International Conference …, 2008 | 12 | 2008 |
Assume-guarantee verification of software components in sofa 2 framework P Parizek, F Plasil IET software 4 (3), 210-221, 2010 | 11 | 2010 |
Partial verification of software components: Heuristics for environment construction P Parizek, F Plasil 33rd EUROMICRO Conference on Software Engineering and Advanced Applications …, 2007 | 11 | 2007 |
Randomized backtracking in state space traversal P Parizek, O Lhoták International SPIN Workshop on Model Checking of Software, 75-89, 2011 | 10 | 2011 |
Checking fractal component behavior using behavior protocols J Kofron, J Adámek, T Bures, P Jezek, V Mencl, P Parizek, F Plasil Fractal Workshop, ECOOP 2006, 28, 2006 | 10 | 2006 |
Model checking of concurrent programs with static analysis of field accesses P Parízek, O Lhoták Science of Computer Programming 98, 735-763, 2015 | 9 | 2015 |
Model Checking of Software Components: Making Java PathFinder Cooperate with Behavior Protocol Checker P Parizek, F Plasil, J Kofron Tech. Report, 2006 | 8 | 2006 |
Hybrid analysis for partial order reduction of programs with arrays P Parízek Verification, Model Checking, and Abstract Interpretation: 17th …, 2016 | 7 | 2016 |
Automated construction of reasonable environment for java components P Parizek, J Adamek, T Kalibera Electronic Notes in Theoretical Computer Science 253 (1), 145-160, 2009 | 7 | 2009 |