| 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, 388-417, 2008 | 158* | 2008 |
| Interpolation-based function summaries in bounded model checking O Sery, G Fedyukovich, N Sharygina Haifa Verification Conference (HVC’11), 2011 | 78 | 2011 |
| Incremental Upgrade Checking by Means of Interpolation-based Function Summaries O Sery, G Fedyukovich, N Sharygina | 70* | |
| eVolCheck: Incremental upgrade checker for C G Fedyukovich, O Sery, N Sharygina Tools and Algorithms for the Construction and Analysis of Systems: 19th …, 2013 | 45 | 2013 |
| CoCoME in fractal L Bulej, T Bureš, T Coupaye, M Děcký, P Ježek, P Parízek, F Plášil, ... The Common Component Modeling Example, 357-387, 2008 | 39 | 2008 |
| FunFrog: Bounded Model Checking with Interpolation-based Function Summarization⋆ O Sery, G Fedyukovich, N Sharygina | 39* | |
| Simulation level of detail for virtual humans C Brom, O Šerý, T Poch Intelligent Virtual Agents, 1-14, 2007 | 35 | 2007 |
| Leveraging interpolant strength in model checking S Rollini, O Sery, N Sharygina Computer Aided Verification, 193-209, 2012 | 33 | 2012 |
| Affordances and level-of-detail AI for virtual humans C Brom, J Lukavský, O Šerý, T Poch, P Šafrata Proceedings of Game Set and Match 2, 2006 | 27 | 2006 |
| Enhanced property specification and verification in BLAST O Šerý Fundamental Approaches to Software Engineering, 456-469, 2009 | 19 | 2009 |
| 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 |
| Tbp: Code-oriented component behavior specification J Kofron, T Poch, O Sery 2008 32nd Annual IEEE Software Engineering Workshop, 75-83, 2008 | 15 | 2008 |
| Slicing of component behavior specification with respect to their composition O Šerý, F Plášil Component-Based Software Engineering, 189-202, 2007 | 13 | 2007 |
| UnitCheck: Unit Testing and Model Checking Combined M Kebrt, O Šerý Automated Technology for Verification and Analysis, 97-103, 2009 | 12 | 2009 |
| Flexible SAT-based framework for incremental bounded upgrade checking G Fedyukovich, O Sery, N Sharygina International Journal on Software Tools for Technology Transfer 19, 517-534, 2017 | 11 | 2017 |
| Modes in component behavior specification via ebp and their application in product lines J Kofroň, F Plášil, O Šerý Information and Software Technology 51 (1), 31-41, 2009 | 9 | 2009 |
| Level-of-detail in behaviour of virtual humans O Šerý, T Poch, P Šafrata, C Brom SOFSEM 2006: Theory and Practice of Computer Science, 565-574, 2006 | 9 | 2006 |
| Function Summaries in Software Upgrade Checking⋆ G Fedyukovich, O Sery, N Sharygina Haifa Verification Conference, 2011 | 7 | 2011 |
| Applicability of the blast model checker: An industrial case study E Kolb, O Šerý, R Weiss Perspectives of Systems Informatics, 218-229, 2010 | 7 | 2010 |
| On Teaching Formal Methods: Behavior Models and Code Analysis J Kofroň, P Parízek, O Šerý Teaching Formal Methods, 144-157, 2009 | 6 | 2009 |
