Simin Cai

16 papers B 1C 6Misc 1Journal 4Unranked 3
YearRankTypeTitle / Venue / Authors
2022 C conf
Mimer Trust: Efficient and Secure Data Processing for Trusted Execution Environment in Automotive Systems.
ETFA
Simin Cai, Fredrik Ålund, Bengt Gunne, Richard Hayton
2021 J jnl
Specification and automated verification of atomic concurrent real-time transactions.
Softw. Syst. Model.
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
2019 B conf
Architecture Modelling and Formal Analysis of Intelligent Multi-Agent Systems.
ENASE
Ashalatha Kunnappilly, Simin Cai, Raluca Marinescu, Cristina Seceleanu
2019 J jnl
Data aggregation processes: a survey, a taxonomy, and design guidelines.
Computing
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
2019 C conf
Statistical Model Checking for Real-Time Database Management Systems: A Case Study.
ETFA
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
2019 — —
Systematic Design and Analysis of Customized Data Management for Real-Time Database Systems.
Simin Cai
2019 J jnl
Tool-supported design of data aggregation processes in cloud monitoring systems.
J. Ambient Intell. Humaniz. Comput.
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu, Alf Larsson
2018 — conf
Effective Test Suite Design for Detecting Concurrency Control Faults in Distributed Transaction Systems.
ISoLA (3)
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
2018 C conf
Specification and Formal Verification of Atomic Concurrent Real-Time Transactions.
PRDC
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
2017 C conf
Customized real-time data management for automotive systems: A case study.
IECON
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
2017 C conf
DAGGTAX: A Taxonomy of Data Aggregation Processes.
MEDI
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
2017 — conf
Design of Cloud Monitoring Systems via DAGGTAX: a Case Study.
ANT/SEIT
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu, Alf Larsson
2016 Misc conf
A Formal Approach for Flexible Modeling and Analysis of Transaction Timeliness and Isolation.
RTNS
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
2016 — conf
Towards the verification of temporal data consistency in Real-Time Data Management.
CPS Data
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
2011 C conf
A Survey of Service Identification Strategies.
APSCC
Simin Cai, Yan Liu, Xiaoping Wang
2010 J jnl
A method of salt-affected soil information extraction based on a support vector machine with texture features.
Math. Comput. Model.
Simin Cai, Rongqun Zhang, Liming Liu, De Zhou