Publications

Type: Date:
Scope:
Author:

Number of publications matching the search criterion: 21

Doctoral Thesis (1)

Systematic Design and Analysis of Customized Data Management for Real-Time Database Systems (Nov 2019)
Simin Cai

Licentiate Thesis (1)

Systematic Design of Data Management for Real-Time Data-Intensive Applications (Jun 2017)
Simin Cai

Journal article (3)

Specification and Automated Verification of Atomic Concurrent Real-time Transactions (Jul 2020)
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
Software and Systems Modeling (SoSym)

Data Aggregation Processes: A Survey, A Taxonomy, and Design Guidelines (Nov 2018)
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
Computing (Computing.)

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

Specification and Automated Verification of Atomic Concurrent Real-time Transactions (Oct 2020)
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS '20)

Statistical Model Checking for Real-Time Database Management Systems: A Case Study (Sep 2019)
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
The 24th IEEE Conference on Emerging Technologies and Factory Automation (ETFA2019)

Architecture Modelling and Formal Analysis of Intelligent Multi-Agent Systems (May 2019)
Ashalatha Kunnappilly, Simin Cai, Cristina Seceleanu, Raluca Marinescu
14th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2019)

Specification and Formal Verification of Atomic Concurrent Real-Time Transactions (Dec 2018)
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
The 23rd IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2018)

Effective Test Suite Design for Detecting Concurrency Control Faults in Distributed Transaction Systems (Nov 2018)
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2018)

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

Report (2)

Specification and Automated Verification of Atomic Concurrent Real-Time Transactions: Extended Report (Apr 2020)
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu

Specification and Verification of Transaction Atomicity, Isolation and Temporal Correctness (Jun 2018)
Simin Cai, Barbara Gallina, Cristina Seceleanu, Dag Nyström

Items per page: