Simin Cai

Publication Activity (10 Years)

Years Active: 2010-2022
Publications (10 Years): 13

Top Topics

Data Management

Concurrency Control

Data Aggregation

Top Venues

Publications

Simin Cai, Fredrik Ålund, Bengt Gunne, Richard Hayton
Mimer Trust: Efficient and Secure Data Processing for Trusted Execution Environment in Automotive Systems. ETFA (2022)
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
Specification and automated verification of atomic concurrent real-time transactions. Softw. Syst. Model. 20 (2) (2021)
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu, Alf Larsson
Tool-supported design of data aggregation processes in cloud monitoring systems. J. Ambient Intell. Humaniz. Comput. 10 (7) (2019)
Ashalatha Kunnappilly, Simin Cai, Raluca Marinescu, Cristina Seceleanu
Architecture Modelling and Formal Analysis of Intelligent Multi-Agent Systems. ENASE (2019)
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
Data aggregation processes: a survey, a taxonomy, and design guidelines. Computing 101 (10) (2019)
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
Statistical Model Checking for Real-Time Database Management Systems: A Case Study. ETFA (2019)
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
Specification and Formal Verification of Atomic Concurrent Real-Time Transactions. PRDC (2018)
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
Effective Test Suite Design for Detecting Concurrency Control Faults in Distributed Transaction Systems. ISoLA (3) (2018)
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
DAGGTAX: A Taxonomy of Data Aggregation Processes. MEDI (2017)
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu, Alf Larsson
Design of Cloud Monitoring Systems via DAGGTAX: a Case Study. ANT/SEIT (2017)
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
Customized real-time data management for automotive systems: A case study. IECON (2017)
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
A Formal Approach for Flexible Modeling and Analysis of Transaction Timeliness and Isolation. RTNS (2016)
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
Towards the verification of temporal data consistency in Real-Time Data Management. CPS Data (2016)
Simin Cai, Yan Liu, Xiaoping Wang
A Survey of Service Identification Strategies. APSCC (2011)
Simin Cai, Rongqun Zhang, Liming Liu, De Zhou
A method of salt-affected soil information extraction based on a support vector machine with texture features. Math. Comput. Model. 51 (11-12) (2010)