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.
Research topics of interest:
Community service as Program Committee:
Junior Researcher Workshop on Real-Time Computing (JRWRTC), in conjunction with the International Conference on Real-Time Networks and Systems (RTNS) (2017)
Community service as reviewer:
FMMDD(2016), COMSNETS(2017), JRWRTC(2017), SERENE(2017, 2018), ETFA(2018)
Assisting the Database course (DVA234) in 2015, 2016 and 2017
My current research work focuses on the design of real-time databases and data management systems, especially on the application of formal methods in order to ensure various important properties, such as data consistency and temporala correctness. The formal methods applied so far in my research include exhaustive model checking, statistical model checking, and satisfiability solving.
More detailed work include: systematic specification of data aggregation processes, formal specification and analysis of transactional properties, and systematic design of real-time transaction-based systems.
SAFARE(SAt-based Feature-oriented dAta aggREgation design) is a tool for the specification and analysis of data aggregation processes, based on our proposed taxonomy DAGGTAX. The tool mplements a graphical user interface for the DAGGTAX-based specication, and automatically transforms the specications, and design constraints supplied by domain experts, into propositional logic formulas, which are veried by the integrated Microsoft Z3 Theorem Prover.
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)
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)
Specification and Automated Verification of Atomic Concurrent Real-Time Transactions: Extended Report (Apr 2020) Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
Systematic Design and Analysis of Customized Data Management for Real-Time Database Systems (Nov 2019) Simin Cai
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)
|DAGGERS - Data aggregation for embedded real-time database systems||finished|
|Analysis of Time-related Properties in Real-time Data Aggregation Design||finished|
|Master/Magister thesis: Model-checking transaction properties for concurrent real-time transactions in UPPAAL||finished|