| 2024 | TACAS | Symbiotic 10: Lazy Memory Initialization and Compact Symbolic Execution - (Competition Contribution). | Martin Jons, Kristin Kumor, Jakub Novk, Jindrich Sedlcek, Marek Trtk, Luks Zaoral, Paulna Ayaziov, Jan Strejcek |
| 2021 | FASE | Symbiotic 8: Parallel and Targeted Test Generation - (Competition Contribution). | Marek Chalupa, Jakub Novk, Jan Strejcek |
| 2021 | TACAS | Symbiotic 8: Beyond Symbolic Execution - (Competition Contribution). | Marek Chalupa, Toms Jasek, Jakub Novk, Anna Rechtckov, Veronika Sokov, Jan Strejcek |
| 2017 | ECMS | Modelling And Model Predictive Control Of Magnetic Levitation Laboratory Plant. | Petr Chalupa, Jakub Novk, Martin Maly |
| 2017 | ECMS | Compensation Of Valve Deadzone Using Mixed Integer Predictive Control. | Jakub Novk, Petr Chalupa |
| 2016 | ECMS | Nonlinear Simulink Model Of Magnetic Levitation Laboratory Plant. | Petr Chalupa, Martin Maly, Jakub Novk |
| 2009 | ECMS | Using Of Self-Tuning Controllers Simulink Library For Real-Time Control Of Nonlinear Servo System. | Petr Chalupa, Vladimir Bobal, Jakub Novk, Petr Dostl |
| 2009 | ECMS | Local Model Networks For Modelling And Predictive Control Of Nonlinear Systems. | Jakub Novk, Petr Chalupa, Vladimir Bobal |