School of Computing
National University of Singapore
COM2-01-09, 15 Computing Drive
Republic of Singapore 117417
at comp dot
nus dot edu
Ms. Shi Ling (Daisy) is a research fellow at Department of Computer Science,
School of Computing, National University of Singapore.
She obtained her PhD degree from National University of Singapore in November 2014, supervised by Prof. Dong, Jin Song.
Before her joining NUS in 2009, she obtained her Bachelor's degree (B.E.) from East China Normal University,
Software Engineering Institute.
Currently, she is working at the PAT team. Her research interests are event analytics, denotational semantics of concurrent/real-time languages, and UTP theory.
Comparison of CSP Extensions and Tools
- Journal Papers
- Jun Sun, Yang Liu, Jin Song Dong, Yan Liu, Ling Shi, and Étienne André. Modeling and Verifying Hierarchical Real-time Systems using Stateful Timed CSP. The ACM Transactions on Software Engineering and Methodology (TOSEM), 22(1):3:1-3:29, 2013. (Pdf, Bib)
- Conference Papers
- Jin Song Dong, Ling Shi, Le Vu Nguyen Chuong, Kan Jiang, Jing Sun. Sports Strategy Analytics Using Probabilistic Reasoning. The 20th International Conference on Engineering of Complex Computer Systems (ICECCS 2015), pages 182-185, Gold Coast, Australia, December 9 - 12, 2015.
- Jin Song Dong, Jun Sun, Yang Liu, Yuan-Fang Li, Jing Sun, Ling Shi. Event and Strategy Analytics. 2015 International Symposium on Theoretical Aspects of Software Engineering (TASE 2015), pages 4-6, Nanjing, China, September 12 - 14, 2015.
- Ling Shi, Yongxin Zhao, Yang Liu, Jun Sun, Jin Song Dong and Shengchao Qin. A UTP Semantics for Communicating Processes with Shared Variables. The 15th International Conference on Formal Engineering Methods (ICFEM 2013), pages 215-230, Queenstown, New Zealand, Oct 29 - Nov 1, 2013.
- Ling Shi, Yang Liu, Jun Sun, Jin Song Dong and Gustavo Carvalho. An Analytical and Experimental Comparison of CSP Extensions and Tools. The 14th International Conference on Formal Engineering Methods (ICFEM 2012), pages 381-397, Kyoto, Japan, November 12 - 16, 2012. (Pdf, Bib, Slide)
- Ling Shi and Yan Liu. Modeling and Verification of Transmission Protocols: A Case Study on CSMA/CD Protocol. The 1st International Workshop on Model Checking Secure and Reliable Systems (MoCSeRS 2010), pages 143-149, Singapore, June, 2010. (Pdf, Bib, Slide)
The experiment compares three model checkers FDR, ProB, and the CSP module of PAT model checker.
You can click this link to read the details and download the source code of the experiment.
Last updated 20 January 2014