| 2022 | ETFA | Mimer Trust: Efficient and Secure Data Processing for Trusted Execution Environment in Automotive Systems. | Simin Cai, Fredrik lund, Bengt Gunne, Richard Hayton |
| 2019 | ENASE | Architecture Modelling and Formal Analysis of Intelligent Multi-Agent Systems. | Ashalatha Kunnappilly, Simin Cai, Raluca Marinescu, Cristina Seceleanu |
| 2019 | ETFA | Statistical Model Checking for Real-Time Database Management Systems: A Case Study. | Simin Cai, Barbara Gallina, Dag Nystrm, Cristina Seceleanu |
| 2018 | ISoLA | Effective Test Suite Design for Detecting Concurrency Control Faults in Distributed Transaction Systems. | Simin Cai, Barbara Gallina, Dag Nystrm, Cristina Seceleanu |
| 2018 | PRDC | Specification and Formal Verification of Atomic Concurrent Real-Time Transactions. | Simin Cai, Barbara Gallina, Dag Nystrm, Cristina Seceleanu |
| 2017 | ANT | Design of Cloud Monitoring Systems via DAGGTAX: a Case Study. | Simin Cai, Barbara Gallina, Dag Nystrm, Cristina Seceleanu, Alf Larsson |
| 2017 | IECON | Customized real-time data management for automotive systems: A case study. | Simin Cai, Barbara Gallina, Dag Nystrm, Cristina Seceleanu |
| 2017 | MEDI | DAGGTAX: A Taxonomy of Data Aggregation Processes. | Simin Cai, Barbara Gallina, Dag Nystrm, Cristina Seceleanu |
| 2016 | RTNS | A Formal Approach for Flexible Modeling and Analysis of Transaction Timeliness and Isolation. | Simin Cai, Barbara Gallina, Dag Nystrm, Cristina Seceleanu |
| 2011 | APSCC | A Survey of Service Identification Strategies. | Simin Cai, Yan Liu, Xiaoping Wang |