TR 2015

时间：2019-07-14 分类：技术报告

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