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