Publications

2017

  1. 📖 Shuanglong Kan, Zhiqiu Huang: Partial Order Reduction for the full Class of State/Event Linear Temporal Logic. Comput. J. 61(5): 629-644 (2018)
  2. 📖 Shuanglong Kan, Zhiqiu Huang: Detecting safety-related components in statecharts through traceability and model slicing. Softw., Pract. Exper. 48(3): 428-448 (2018)
  3. 📖 Shuanglong Kan, Zhiqiu Huang, Zhe Chen, Weiwei Li, Yutao Huang: Partial order reduction for checking LTL formulae with the next-time operator. J. Log. Comput. 27(4): 1095-1131 (2017)
  4. 📖 Shuanglong Kan, Zhiqiu Huang, Zhe Chen, Bingfeng Xu: Bounded Model Checking of C Programs Using Event Automaton Specifications. Journal of Software. 25(11): 2452-2472 (2014)
  5. 📖 Weiwei Li, Shuanglong Kan, Zhiqiu Huang: A Better Translation From LTL to Transition- Based Generalized Bu ̈chi Automata. IEEE Access. 5: 27081-27090 (2017)
  6. 📖 Shuanglong Kan, Zhiqiu Huang, Zhe Chen: Partial Order Reduction for State/Event Systems. ICFEM 2016 , 329-345 (2016)
  7. 📖 Shuanglong Kan, Traceability and model checking to support safety requirement verification., SIGSOFT FSE 2014 , 783-786 (2014)
  8. 📖 Jean-Paul Bodeveix, Mamoun Filali-Amine, Shuanglong Kan, A refinement-based compiler development for synchronous languages, MEMOCODE 2017 , 165-174 (2017).

Preprint

  1. 📖 Shuanglong Kan, David Sana ́n, Shang-Wei Lin andYang Liu, K-Rust: An Executable Formal Semantics for Rust., CoRR abs/1804.07608 , 1-20 (2018).
  2. 📖 Shuanglong Kan, Jean-Paul Bodeveix and Mamoun Filali-Amine, “Semantics Preservation of the Translation from SIGNAL into Multi-threaded Code”, Tech Report , 1-25 (2016).
  3. 📖 Jiao Jiao, Shuanglong Kan, Shang-Wei Lin, David San ́an, Yang Liu, Jun Sun, “Executable Operational Semantics of Solidity”, CoRR abs/1804.01295 , 1-22 (2018).