| 2024 | ISoLA | SIMPPAAL: A Framework for Statistical Model Checking of Industrial Simulink Models. | Predrag Filipovikj, Nesredin Mahmud, Cristina Seceleanu, Guillermo Rodrguez-Navas, Oscar Ljungkrantz, Henrik Lnn |
| 2023 | ICST | Identifying Redundancies and Gaps Across Testing Levels During Verification of Automotive Software. | Rohini Bisht, Selomie Kindu Ejigu, Gregory Gay, Predrag Filipovikj |
| 2019 | ENASE | Specifying Industrial System Requirements using Specification Patterns: A Case Study of Evaluation with Practitioners. | Predrag Filipovikj, Cristina Seceleanu |
| 2019 | SAC | Bounded invariance checking of simulink models. | Predrag Filipovikj, Guillermo Rodrguez-Navas, Cristina Seceleanu |
| 2017 | SAC | SMT-based consistency analysis of industrial systems requirements. | Predrag Filipovikj, Guillermo Rodrguez-Navas, Mattias Nyberg, Cristina Seceleanu |
| 2016 | COMPSAC | Integrating Pattern-Based Formal Requirements Specification in an Industrial Tool-Chain. | Predrag Filipovikj, Trevor Jagerfield, Mattias Nyberg, Guillermo Rodrguez-Navas, Cristina Cerschi Seceleanu |
| 2016 | FM | Simulink to UPPAAL Statistical Model Checker: Analyzing Automotive Industrial Systems. | Predrag Filipovikj, Nesredin Mahmud, Raluca Marinescu, Cristina Seceleanu, Oscar Ljungkrantz, Henrik Lnn |
| 2014 | RE | Reassessing the pattern-based approach for formalizing requirements in the automotive domain. | Predrag Filipovikj, Mattias Nyberg, Guillermo Rodrguez-Navas |
| 2013 | ICSE | Ten tips to succeed in global software engineering education: What do the students say? | Predrag Filipovikj, Juraj Feljan, Ivica Crnkovic |