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.
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)
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)
|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|