| Data aggregation processes: a survey, a taxonomy, and design guidelines S Cai, B Gallina, D Nyström, C Seceleanu Computing 101, 1397-1429, 2019 | 35 | 2019 |
| A survey of service identification strategies S Cai, Y Liu, X Wang 2011 IEEE Asia-Pacific Services Computing Conference, 464-470, 2011 | 35 | 2011 |
| A formal approach for flexible modeling and analysis of transaction timeliness and isolation S Cai, B Gallina, D Nyström, C Seceleanu Proceedings of the 24th International Conference on Real-Time Networks and …, 2016 | 10 | 2016 |
| Towards the verification of temporal data consistency in Real-Time Data Management S Cai, B Gallina, D Nyström, C Seceleanu 2016 2nd International Workshop on Modelling, Analysis, and Control of …, 2016 | 9 | 2016 |
| Trading-off data consistency for timeliness in real-time database systems S Cai, B Gallina, D Nyström, C Seceleanu Proceedings of the 27th Euromicro Conference on Real-Time Systems, 13-16, 2015 | 9 | 2015 |
| Tool-supported design of data aggregation processes in cloud monitoring systems S Cai, B Gallina, D Nyström, C Seceleanu, A Larsson Journal of Ambient Intelligence and Humanized Computing 10, 2519-2535, 2019 | 8 | 2019 |
| Daggtax: a taxonomy of data aggregation processes S Cai, B Gallina, D Nyström, C Seceleanu Model and Data Engineering: 7th International Conference, MEDI 2017 …, 2017 | 6 | 2017 |
| Statistical model checking for real-time database management systems: a case study S Cai, B Gallina, D Nyström, C Seceleanu 2019 24th IEEE International Conference on Emerging Technologies and Factory …, 2019 | 5 | 2019 |
| Architecture modelling and formal analysis of intelligent multi-agent systems A Kunnappilly, S Cai, R Marinescu, C Seceleanu 14th International Conference on Evaluation of Novel Approaches to Software …, 2019 | 5 | 2019 |
| Customized real-time data management for automotive systems: A case study S Cai, B Gallina, D Nyström, C Seceleanu IECON 2017-43rd Annual Conference of the IEEE Industrial Electronics Society …, 2017 | 4 | 2017 |
| Design of cloud monitoring systems via daggtax: a case study S Cai, B Gallina, D Nyström, C Seceleanu, A Larsson Procedia Computer Science 109, 424-431, 2017 | 4 | 2017 |
| Modeling real-time transactions in UPPAAL S Cai Tech. Rep., April 2015.[Online]. Available: http://www. es. mdh. se …, 2015 | 4 | 2015 |
| Specification and formal verification of atomic concurrent real-time transactions S Cai, B Gallina, D Nyström, C Seceleanu 2018 IEEE 23rd Pacific Rim International Symposium on Dependable Computing …, 2018 | 3 | 2018 |
| Effective test suite design for detecting concurrency control faults in distributed transaction systems S Cai, B Gallina, D Nyström, C Seceleanu Leveraging Applications of Formal Methods, Verification and Validation …, 2018 | 3 | 2018 |
| Flexible verification of transaction timeliness and isolation S Cai, B Gallina, D Nyström, C Seceleanu Tech. Rep., 2016.[Online]. Available: http://www. es. mdh. se/publications/4276, 2016 | 3 | 2016 |
| Specification and automated verification of atomic concurrent real-time transactions S Cai, B Gallina, D Nyström, C Seceleanu Software and Systems Modeling 20, 557-589, 2021 | 2 | 2021 |
| Mimer Trust: Efficient and Secure Data Processing for Trusted Execution Environment in Automotive Systems S Cai, F Ålund, B Gunne, R Hayton 2022 IEEE 27th International Conference on Emerging Technologies and Factory …, 2022 | 1 | 2022 |
| Specification and verification of transaction atomicity, isolation and temporal correctness S Cai, B Gallina, D Nyström, C Seceleanu Tech. Rep., June 2018.[Online]. Available: http://www. es. mdh. se …, 2018 | 1 | 2018 |
| Systematic Design and Analysis of Customized Data Management for Real-Time Database Systems S Cai Mälardalen University, 2019 | | 2019 |
| Systematic Design of Data Management for Real-Time Data-Intensive Applications S Cai Mälardalen University, 2017 | | 2017 |
