Follow
Simin Cai
Title
Cited by
Cited by
Year
A survey of service identification strategies
S Cai, Y Liu, X Wang
2011 IEEE Asia-Pacific Services Computing Conference, 464-470, 2011
352011
Data aggregation processes: a survey, a taxonomy, and design guidelines
S Cai, B Gallina, D Nyström, C Seceleanu
Computing 101, 1397-1429, 2019
252019
A formal approach for flexible modeling and analysis of transaction timeliness and isolation
S Cai, B Gallina, D Nyström, C Seceleanu
Proceedings of the 24th International Conference on Real-Time Networks and …, 2016
102016
Trading-off data consistency for timeliness in real-time database systems
S Cai, B Gallina, D Nyström, C Seceleanu
Proceedings of the 27th Euromicro Conference on Real-Time Systems, 13-16, 2015
92015
Tool-supported design of data aggregation processes in cloud monitoring systems
S Cai, B Gallina, D Nyström, C Seceleanu, A Larsson
Journal of Ambient Intelligence and Humanized Computing 10, 2519-2535, 2019
82019
Towards the verification of temporal data consistency in Real-Time Data Management
S Cai, B Gallina, D Nyström, C Seceleanu
2016 2nd International Workshop on Modelling, Analysis, and Control of …, 2016
82016
Daggtax: a taxonomy of data aggregation processes
S Cai, B Gallina, D Nyström, C Seceleanu
Model and Data Engineering: 7th International Conference, MEDI 2017 …, 2017
62017
Statistical model checking for real-time database management systems: a case study
S Cai, B Gallina, D Nyström, C Seceleanu
2019 24th IEEE International Conference on Emerging Technologies and Factory …, 2019
52019
Architecture modelling and formal analysis of intelligent multi-agent systems
A Kunnappilly, S Cai, R Marinescu, C Seceleanu
14th International Conference on Evaluation of Novel Approaches to Software …, 2019
42019
Customized real-time data management for automotive systems: A case study
S Cai, B Gallina, D Nyström, C Seceleanu
IECON 2017-43rd Annual Conference of the IEEE Industrial Electronics Society …, 2017
42017
Design of cloud monitoring systems via daggtax: a case study
S Cai, B Gallina, D Nyström, C Seceleanu, A Larsson
Procedia Computer Science 109, 424-431, 2017
42017
Modeling real-time transactions in UPPAAL
S Cai
Tech. Rep., April 2015.[Online]. Available: http://www. es. mdh. se …, 2015
42015
Specification and formal verification of atomic concurrent real-time transactions
S Cai, B Gallina, D Nyström, C Seceleanu
2018 IEEE 23rd Pacific Rim International Symposium on Dependable Computing …, 2018
32018
Effective test suite design for detecting concurrency control faults in distributed transaction systems
S Cai, B Gallina, D Nyström, C Seceleanu
Leveraging Applications of Formal Methods, Verification and Validation …, 2018
32018
Flexible verification of transaction timeliness and isolation
S Cai, B Gallina, D Nyström, C Seceleanu
Tech. Rep., 2016.[Online]. Available: http://www. es. mdh. se/publications/4276, 2016
32016
Specification and automated verification of atomic concurrent real-time transactions
S Cai, B Gallina, D Nyström, C Seceleanu
Software and Systems Modeling 20, 557-589, 2021
12021
Specification and verification of transaction atomicity, isolation and temporal correctness
S Cai, B Gallina, D Nyström, C Seceleanu
Tech. Rep., June 2018.[Online]. Available: http://www. es. mdh. se …, 2018
12018
Mimer Trust: Efficient and Secure Data Processing for Trusted Execution Environment in Automotive Systems
S Cai, F Ålund, B Gunne, R Hayton
2022 IEEE 27th International Conference on Emerging Technologies and Factory …, 2022
2022
Systematic Design and Analysis of Customized Data Management for Real-Time Database Systems
S Cai
Mälardalen University, 2019
2019
Systematic Design of Data Management for Real-Time Data-Intensive Applications
S Cai
Mälardalen University, 2017
2017
The system can't perform the operation now. Try again later.
Articles 1–20