| 2019 | ENASE | Architecture Modelling and Formal Analysis of Intelligent Multi-Agent Systems. | Ashalatha Kunnappilly, Simin Cai, Raluca Marinescu, Cristina Seceleanu |
| 2018 | ICSE | Formal verification of an autonomous wheel loader by model checking. | Rong Gu, Raluca Marinescu, Cristina Seceleanu, Kristina Lundqvist |
| 2018 | ISoLA | Assuring Intelligent Ambient Assisted Living Solutions by Statistical Model Checking. | Ashalatha Kunnappilly, Raluca Marinescu, Cristina Seceleanu |
| 2017 | ICST | Automatic Test Generation for Energy Consumption of Embedded Systems Modeled in EAST-ADL. | Raluca Marinescu, Eduard Paul Enoiu, Cristina Seceleanu, Daniel Sundmark |
| 2016 | FM | Simulink to UPPAAL Statistical Model Checker: Analyzing Automotive Industrial Systems. | Predrag Filipovikj, Nesredin Mahmud, Raluca Marinescu, Cristina Seceleanu, Oscar Ljungkrantz, Henrik Lnn |
| 2012 | COMPSAC | Extending EAST-ADL for Modeling and Analysis of System's Resource-Usage. | Raluca Marinescu, Eduard Paul Enoiu |
| 2012 | ICECCS | ViTAL: A Verification Tool for EAST-ADL Models Using UPPAAL PORT. | Eduard Paul Enoiu, Raluca Marinescu, Cristina Cerschi Seceleanu, Paul Pettersson |