Simin Cai is a PhD student at Mälardalen University. He received his bachelor degree in Software Engineering from Tongji University, China. He holds a MSc. degree in Applied Computer Technology from Tongji University, and a MSc. degree in Computer Science from Uppsala University, Sweden.
My current research work focus on real-time databases and data management, as well as formal modeling and analysis of transactional properties.
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)
Design of Cloud Monitoring Systems via DAGGTAX: a Case Study (May 2017) Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu, Alf Larsson The 8th International Conference on Ambient Systems, Networks and Technologies (ANT 2017)
A Formal Approach for Flexible Modeling and Analysis of Transaction Timeliness and Isolation (Oct 2016) Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu 24th International Conference on Real-Time Networks and Systems (RTNS'16)
Towards the Verification of Temporal Data Consistency in Real-Time Data Management (Apr 2016) Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu Second International Workshop on modeling, analysis and control of complex Cyber-Physical Systems (CPS Data 2016)
|Data aggregation support in real-time database management systems||available|
|Analysis of Time-related Properties in Real-time Data Aggregation Design||in progress|
|Master/Magister thesis: Model-checking transaction properties for concurrent real-time transactions in UPPAAL||finished|