| 2013 | TACAS | eVolCheck: Incremental Upgrade Checker for C. | Grigory Fedyukovich, Ondrej Sery, Natasha Sharygina |
| 2012 | ATVA | FunFrog: Bounded Model Checking with Interpolation-Based Function Summarization. | Ondrej Sery, Grigory Fedyukovich, Natasha Sharygina |
| 2012 | CAV | Leveraging Interpolant Strength in Model Checking. | Simone Fulvio Rollini, Ondrej Sery, Natasha Sharygina |
| 2012 | FMCAD | Incremental upgrade checking by means of interpolation-based function summaries. | Ondrej Sery, Grigory Fedyukovich, Natasha Sharygina |
| 2009 | ATVA | UnitCheck: Unit Testing and Model Checking Combined. | Michal Kebrt, Ondrej Sery |
| 2009 | FASE | Enhanced Property Specification and Verification in BLAST. | Ondrej Sery |
| 2008 | SEW | Making Components Fit: SPINing. | Jan Kofron, Toms Poch, Ondrej Sery |
| 2008 | SEW | TBP: Code-Oriented Component Behavior Specification. | Jan Kofron, Toms Poch, Ondrej Sery |
| 2007 | IVA | Simulation Level of Detail for Virtual Humans. | Cyril Brom, Ondrej Sery, Toms Poch |
| 2006 | SOFSEM | Level-of-Detail in Behaviour of Virtual Humans. | Ondrej Sery, Toms Poch, Pavel Safrata, Cyril Brom |
| 2005 | IVA | GAL: Towards Large Simulations with Tens of Agents. | Cyril Brom, Ondrej Sery, Toms Poch, Pavel Safrata |