Technical Reports

TR 2015

  1. ISCAS-SKLCS-15-01 多类型递归函数(MTRF) 董韫美
  2. ISCAS-SKLCS-15-02 Shift between Formal and Informal Design of Embedded Systems Mingshuai Chen, Naijun Zhan, Liang Zou, Mengfei Yang
  3. ISCAS-SKLCS-15-03 TSO-to-TSO Linearizability is Undecidable Chao Wang, Yi Lv, Peng Wu
  4. ISCAS-SKLCS-15-04 Synthesis of Timed Admission Controllers P.S. Thiagarajan, Shaofa Yang,Wang Yi
  5. ISCAS-SKLCS-15-05 Termination Analysis of Polynomial Programs with Equality Conditions Yangjia Li, Naijun Zhan, Mingshuai Chen, Hui Lu, Guohua Wu
  6. ISCAS-SKLCS-15-06 Decidability of the Reachability for a Family of Linear Vector Fields Ting Gan, Mingshuai Chen, Liyun Dai, Bican Xia, Naijun Zhan
  7. ISCAS-SKLCS-15-07 Automatic Verification of Stability and Safety for Delay Differential Equations Liang Zou, Martin Franzle, Naijun Zhan, Peter Nazier Mosaad
  8. ISCAS-SKLCS-15-08 A Two-way Path between Formal and Informal Design of Embedded Systems Mingshuai Chen, Anders Ravn, Mengfei Yang, Naijun Zhan, Liang Zou
  9. ISCAS-SKLCS-15-09 An Improved HHL Prover: An Interactive Theorem Prover for Hybrid Systems Shuling Wang, Naijun Zhan, Liang Zou
  10. ISCAS-SKLCS-15-11 Bounded TSO-to-SC Linearizability is Decidable Chao Wang, Yi Lv, Peng Wu
  11. ISCAS-SKLCS-15-12 A Verifiable Quantitative Relaxation Framework for Concurrent Data Structures Chao Wang, Yi Lv, Peng Wu, Gaoang Liu
  12. ISCAS-SKLCS-15-13 Proving Linearizability via Branching Bisimulation Xiaoxiao Yang, Joost-Pieter Katoen, Huimin Lin, Hao Wu
  13. ISCAS-SKLCS-15-14 Modelling and Analysis of Network Security- a Probabilistic Value-passing CCS Approach Qian Zhang, Ying Jiang, Liping Ding
  14. ISCAS-SKLCS-15-15 Multi-Constraint Static Scheduling of Synchronous Dataflow Graphs via Retiming and Unfolding Xue-Yang Zhu, Marc Geilen, Twan Basten, Sander Stuijk
  15. ISCAS-SKLCS-15-16 Parallel Algorithm Based Pareto Optimal Scheduling of Synchronous Data Flow Graphs Yu-Lei Gu, Xue-Yang Zhu, Guangquan Zhang
  16. ISCAS-SKLCS-15-17 Co-induction Characterization of Branching Bisimulation with Explicit Divergence Wenqi Liao, Xinxin Liu, Wenhui Zhang
  17. ISCAS-SKLCS-15-18 Characterization and verification of stuttering equivalence Wenqi Liao, Xinxin Liu, Wenhui Zhang
  18. ISCAS-SKLCS-15-19 Trace Abstraction Refinement for Solving Horn Clauses Weifeng Wang, Li Jiao
  19. ISCAS-SKLCS-15-20 Modeling and Analysis of IEEE 802.11 DCF MAC Protocol Using Coloured Petri Nets Xiang Hu, Li Jiao, Zhijia Li