Publications

Type: Date:
Scope:
Author:

Number of publications matching the search criterion: 8

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 (2)

DAGGTAX: A Taxonomy of Data Aggregation Processes (May 2017)
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu

Modeling Real-time Transactions in UPPAAL (Apr 2015)
Simin Cai

Items per page: