Simin Cai

According to our database, Simin Cai authored at least 16 papers between 2010 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Mimer Trust: Efficient and Secure Data Processing for Trusted Execution Environment in Automotive Systems.

Simin Cai, Fredrik Ålund, Bengt Gunne, Richard Hayton

Proceedings of the 27th IEEE International Conference on Emerging Technologies and Factory Automation, 2022

2021

Specification and automated verification of atomic concurrent real-time transactions.

Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu

Softw. Syst. Model., 2021

2019

Systematic Design and Analysis of Customized Data Management for Real-Time Database Systems.

Simin Cai

PhD thesis, 2019

Tool-supported design of data aggregation processes in cloud monitoring systems.

Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu, Alf Larsson

J. Ambient Intell. Humaniz. Comput., 2019

Data aggregation processes: a survey, a taxonomy, and design guidelines.

Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu

Computing, 2019

Statistical Model Checking for Real-Time Database Management Systems: A Case Study.

Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu

Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, 2019

Architecture Modelling and Formal Analysis of Intelligent Multi-Agent Systems.

Ashalatha Kunnappilly, Simin Cai, Raluca Marinescu, Cristina Seceleanu

Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering, 2019

2018

Specification and Formal Verification of Atomic Concurrent Real-Time Transactions.

Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu

Proceedings of the 23rd IEEE Pacific Rim International Symposium on Dependable Computing, 2018

Effective Test Suite Design for Detecting Concurrency Control Faults in Distributed Transaction Systems.

Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018

2017

DAGGTAX: A Taxonomy of Data Aggregation Processes.

Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu

Proceedings of the Model and Data Engineering - 7th International Conference, 2017

Customized real-time data management for automotive systems: A case study.

Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu

Proceedings of the IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society, Beijing, China, October 29, 2017

Design of Cloud Monitoring Systems via DAGGTAX: a Case Study.

Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu, Alf Larsson

Proceedings of the 8th International Conference on Ambient Systems, 2017

2016

A Formal Approach for Flexible Modeling and Analysis of Transaction Timeliness and Isolation.

Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu

Proceedings of the 24th International Conference on Real-Time Networks and Systems, 2016

Towards the verification of temporal data consistency in Real-Time Data Management.

Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu

Proceedings of the 2016 2nd International Workshop on Modelling, 2016

2011

A Survey of Service Identification Strategies.

Simin Cai, Yan Liu, Xiaoping Wang

Proceedings of the 2011 IEEE Asia-Pacific Services Computing Conference, 2011

2010

A method of salt-affected soil information extraction based on a support vector machine with texture features.

Simin Cai, Rongqun Zhang, Liming Liu, De Zhou

Math. Comput. Model., 2010