Publications
Number of publications matching the search criterion: 11
Licentiate Thesis (1)
Systematic Design of Data Management for Real-Time Data-Intensive Applications (Jun 2017) Simin Cai
Journal article (1)
Tool-Supported Design of Data Aggregation Processes in Cloud Monitoring Systems (Jan 2018) Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu, Alf Larsson Journal of Ambient Intelligence and Humanized Computing (JAIHC)
Conference/Workshop Paper (6)
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)
Trading-off Data Consistency for Timeliness in Real-Time Database Systems (Jul 2015) Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu 27th Euromicro Conference on Real-Time Systems Work-in-Progress (WiP) session (ECRTS'15 (WiP))
Report - MRTC (3)
DAGGTAX: A Taxonomy of Data Aggregation Processes (May 2017) Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
Flexible Verification of Transaction Timeliness and Isolation (Jan 2016) Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
Modeling Real-time Transactions in UPPAAL (Apr 2015) Simin Cai
