Publications
Number of publications matching the search criterion: 12
Doctoral Thesis (1)
Systematic Design and Analysis of Customized Data Management for Real-Time Database Systems (Nov 2019) Simin Cai
Journal article (2)
Specification and Automated Verification of Atomic Concurrent Real-time Transactions (Jul 2020) Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu Software and Systems Modeling (SoSym)
Data Aggregation Processes: A Survey, A Taxonomy, and Design Guidelines (Nov 2018) Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu Computing (Computing.)
Conference/Workshop Paper (9)
Detecting Inconsistencies in Annotated Product Line Models (Oct 2020) Damir Bilic, Jan Carlson, Daniel Sundmark, Wasif Afzal, Peter Wallin Proceedings of the 24th ACM Conference on Systems and Software Product Line: Volume A - Volume A (SPLC 2020)
Statistical Model Checking for Real-Time Database Management Systems: A Case Study (Sep 2019) Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu The 24th IEEE Conference on Emerging Technologies and Factory Automation (ETFA2019)
Specification and Formal Verification of Atomic Concurrent Real-Time Transactions (Dec 2018) Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu The 23rd IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2018)
Effective Test Suite Design for Detecting Concurrency Control Faults in Distributed Transaction Systems (Nov 2018) Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2018)
Customized Real-Time Data Management for Automotive Systems: A Case Study (Oct 2017) Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu 43rd Annual Conference of the IEEE Industrial Electronics Society (IECON 2017)
DAGGTAX: A Taxonomy of Data Aggregation Processes (Oct 2017) Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu 7th International Conference on Model and Data Engineering (MEDI 2017)
Can Pairwise Testing Perform Comparably to Manually Handcrafted Testing Carried Out by Industrial Engineers? (Jul 2017) Peter Charbachi, Linus Eklund , Eduard Paul Enoiu International Workshop on Combinatorial Testing and its Applications (CTA'17)
Using Timed Base-Choice Coverage Criterion for Testing Industrial Control Software (Mar 2017) Henning Bergström , Eduard Paul Enoiu 6th International Workshop on Combinatorial Testing (IWCT'17)
Automatic Test Generation for Energy Consumption of Embedded Systems Modeled in EAST-ADL (Mar 2017) Raluca Marinescu, Eduard Paul Enoiu, Cristina Seceleanu, Daniel Sundmark ICST workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems (ITEQS'17)
