Conference 2012

时间：2019-07-22 分类：Conference Paper

1. Hengjun Zhao，Naijun Zhan，Deepak Kapur，Kim G. Larsen，A “Hybrid” Approach for Synthesizing Optimal Controllers of Hybrid Systems: A Case Study of the Oil Pump Industrial Example，FM 2012，Paris, France，，8.27-8.31
2. Xiaoxiao Yang，Yu Zhang，Ming Fu，Xinyu Feng，A Concurrent Temporal Programming Model with Atomic Blocks，ICFEM 2012，Kyoto, Japan，，11.12-11.16
3. Pan Peng，A Local Algorithm For Finding Dense Bipartite-Like Subgraphs，COCOON 2012，Sydney, NSW, Australia，，8.20-8.22
4. Zhijun Dai，Yihong Wu，Fengjun Zhang，Hongan Wang，A Novel Fast Method for L Problems in Multiview Geometry，ECCV 2012，Firenze, Italy，，10.8-10.11
5. Bei Guan，Yanjun Wu，Yongji Wang，A Novel Security Scheme For Online Banking Based On Virtual Machine，SERE-C 2012，Gaithersburg, MD, United states，N，6.20-6.22
6. Tianyong Wu，Jun Yan，Jian Zhang，A Path-Oriented Approach To Generating Executable Test Sequences For Extended Finite State Machines，TASE 2012，Beijing, China，，7.4-7.6
7. Jun Yan，A Surprisingly Simple Way Of Reversing Trace Distance Via Entanglement，TAMC 2012，Beijing, China，B，5.16-5.21
8. Xiuqing Wang，Zengguang Hou，Feng Lv，Min Tan，Yongji Wang，A Target-reaching Controller for Mobile Robots Using Spiking Neural Networks，ICONIP，
9. Lu Li，Mei Rong，Guangquan Zhang，A Web Service Selection Approach Based on Improved Euclidean Distance，ICCSE 2012，Melbourne，Australia，N
10. Jigang Wu，Guiyuan Jiang，Yuanrui Zhang，Yuanbo Zhu，Algorithm For Communication Synchronization On Reconfigurable Processor Arrays With Faults，IPDPSW 2012，Shanghai, China，N，5.21-5.25
11. Shuling Wang，Naijun Zhan，Dimitar P. Guelev，An Assume/Guarantee Based Compositional Calculus for Hybrid CSP，TAMC 2012，Beijing, China，B，5.16-5.21
12. Du, J. F，Qi, G，Pan, J，Shen, Y. D，Approximating Linear Order Inference in OWL 2 DL by Horn Compilation，WI-12，Macau, China，B ，12.4-12.7
13. Fanping Zeng，Chaoqiang Deng，Yuan Yuan，Assertion-Directed Test Case Generation，WCSE 2012，Wuhan，China，N，11.6-11.7
14. Haiming Chen，Ping Lu，Checking Determinism of Regular Expressions with Counting，DLT 2012，Taiwan，B，8.14-8.17
15. Zhiqiang Zhang，Xiaojian Liu，Jian Zhang，Combinatorial Testing on ID3v2 Tags of MP3 Files，ICST 2012，Montreal,Canada，，4.17-4.21
16. Zhilin Wu，Commutative Data Automata，CSL 2012，fontainebleau,France，，9.3-9.6
17. Jun Yan，Complete Problem For Perfect Zero-Knowledge Quantum Proof，SOFSEM 2012，Spindleruv Mlyn, Czech republic，B，1.21-1.27
18. Meng Sun，Connectors As Designs: The Time Dimension，TASE 2012，Beijing, China，，7.4-7.6
19. Haiming Chen，Sheng Yu，Derivatives of Regular Expressions and an Application，WTCS 2012，Auckland, New Zealand，N，2.21-2.24
20. Guiyuan Jiang，Jigang Wu，Jizhou Sun，Efficient Reconfiguration Algorithm For Three-Dimensional Vlsi Arrays，IPDPSW 2012，Shanghai, China，N，5.21-5.25
21. Jianfeng Du，Exploiting Ontology Reasoning In E-Learning，EEIC 2012，Sanya, China，N，4.21-4.22
22. Jian Zhang，Feifei Ma，Zhiqiang Zhang，Faulty Interaction Identification via Constraint Solving and Optimization，SAT 2012，Trento,Italy，，6.17-6.20
23. Wencheng Wang，Liming Yang，Dongxu Wang，Finding Canonical Views by Measuring Features on the Viewing Plane，APSIPA Annual Summit and Conference (ASC) 2012，Hollywood, Canifornia, USA，N，12.3-12.6
24. Shen, Y. D. ，Wang, K. W，FLP Semantics without Circular Justifications for General Logic Programs，AAAI-12，Toronto, Canada，*，7.22-7.26
25. Peng Liu，Jigang Wu，Yongji Wang，Integrated Heuristic for Hardware/Software Co-design on Reconfigurable Devices，13th International Conference on Parallel and Distributed Computing, Applications and Technologies，Beijing, CHINA，N，12.14-12.16
26. Meng Yang，Longsheng Jiang，Xiaosheng Li，Youquan Liu，Xuehui Liu，Enhua Wu，Interactive Coupling Between A Tree And Raindrops，CASA 2012，Singapore，，5.9-5.11
27. Zhenyue Long，Georgel Calin，Rupak Majumdar，Roland Meyer，Language-Theoretic Abstraction Refinement，ETAPS 2012，Tallinn, Estonia，，3.24-4.1
28. Peter Bulychev，Alexandre David，Kim G. Larsen，Guangyuan Li，Axel Legay，Danny B. Poulsen，Amelie Stainer，Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic，LPAR-18，Merida, Venezuela，，3.11-3.15
29. Yongjian Li，Xiaoyu Song ，On the formal modeling of inductive verification for cryptographical protocols，PDCAT12 ，B
30. Shenggen Zheng，Daowen Qiu，Lvzhou Li，Jozef Gruska，One-Way Finite Automata With Quantum And Classical States，Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)，N
31. Yicheng Pan，Principles Of Network Computing，TAMC 2012，Beijing, China，B，5.16-5.21
32. Teng Long，Wenhui Zhang，Proving Liveness Property under Fairness Requirements，APSEC 2012，Hong Kong，，12.4-12.7
33. Teng Long，Wenhui Zhang，Proving Liveness Property under Strengthened Compassion Requirements，TAMC 2012，Beijing, China，B，5.16-5.21
34. Peter Bulychev，Alexandre David，Kim G. Larsen，Guangyuan Li，Axel Legay，Danny B. Poulsen，Rewrite-Based Statistical Model Checking of WMTL，RV 2012，Istanbul, Turkey ，C ，9.25-9.28
35. Zhijun Dai，Fengjun Zhang，Hongan Wang，Robust Maximum Likelihood Estimation By Sparse Bundle Adjustment Using The L1 Norm，CVPR 2012，Providence, RI, United states，，6.16-6.21
36. Du L，Li, X. ，Shen, Y. D，Robust Nonnegative Matrix Factorization via Half-Quadratic Minimization，ICDM-12，Brussels, Belgium，*，12.10-12.13
37. Xanyan Xu，Wei Chen，Kaile Su，Wenhui Zhang，Solving Difficult SAT Problems by Using OBDDs and Greedy Clique Decomposition，FAW-AAIM 2012，Beijing, China，N，5.14-5.16
38. Feifei Ma，Jun Yan，Jian Zhang，Solving Generalized Optimization Problems Subject to SMT Constraints，FAW-AAIM 2012，Beijing, China，N，5.14-5.16
39. Xinxin Liu，Bingtian Xue，Specification In Pdl With Recursion，NFM 2012，Norfolk, VA, United states，C ，4.3-4.5
40. Xue-Yang Zhu，Marc Geilen，Twan Basten，Sander Stuijk，Static Rate-Optimal Scheduling of Multi-Rate DSP Algorithms via Retiming and Unfolding，RTAS 2012，Beijing, China，，4.16-4.19
41. Pan Peng，The Small Community Phenomenon In Networks: Models, Algorithms And Applications，TAMC 2012，Beijing, China，B，5.16-5.21
42. Chang-ai Sun，Yi Meng Zhai，Yan Shang，Zhenyu Zhang，Toward effectively locating integration-level faults in BPEL programs，QSIC 2012，Xi’an, China，，8.27
43. Ruzhen Dong，Johannes Faber，Zhiming Liu，Jirí Srba，Naijun Zhan，Jiaqi Zhu，Unblockable compositions of software components，CBSE 2012，Bertinoro, Italy，，6.26-6.28
44. Yingying Jiang，Feng Tian，Xiaolong Zhang，Wei Liu，Guozhong Dai，Hongan Wang，Unistroke Gestures on Multi-Touch Interaction: Supporting Flexible Touches with Key Stroke Extraction，IUI’12，Lisbon, Portugal，，2.14-2.17
45. Qin Shu，Shuling Wang，Yijing Liu，Verifying OO programs by linking algebraic and abstract specifications，TASE 2012，Beijing, China，，7.4-7.6
46. You, J，Shen, Y. D，Wang, K. W，Well-Supported Semantics for Logic Programs with Generalized Rules，Correct Reasoning-Essays on Logic-Based AI in Honour of Vladimir Lifschitz，N
47. Hongan Wang，Xiaoming Deng，Feng Tian，Wip Abstract: A Human-Centered Cyber-Physical Systematic Approach For Post-Stroke Monitoring，ICCPS 2012，Beijing, China，N，4.16-4.19
48. Jingzheng Wu，Liping Ding，Yuqi Lin，Min-Allah, N.，Yongji Wang，Xenpump: A New Method To Mitigate Timing Channel In Cloud Computing，CLOUD 2012，Honolulu, HI, United states，N，3.20-3.21
49. 宫成，郑征，张震宇，郝鹏，饶培峰，高乙超，测试用例集类别比例对软件缺陷定位稳定性影响的实验研究，中国计算机学会第二届软件分析与测试研讨会，Nanjing, China，N，10.20-10.22
50. 郝鹏，郑征，张震宇，高乙超，基于概率分布判据的统计学缺陷定位算法，中国制导、导航与控制学术会议，Beijing, China，N，8.10-8.12
51. Lei Shi，Qi Liao，Chunxin Yang，Investigating Network Traffic Through Compressed Graph Visualization，IEEE VAST Challenge 2012，USA，10.14-10.19
52. Xiaofeng Liao，Yongji Wang，Liping Ding，Jian Gu，A Novel Duplicate Images Detection Method Based On Plsa Model，Proceedings of SPIE – The International Society for Optical Engineering，Singapore，光学类顶级会议，2011.12.9-12.10
53. Chih-Hong Cheng，Rongjie Yan，Harald Ruess，Saddek Bensalem，Distributed priority synthesis using knowledge，Programming systems, languages and applications based on actors, agents, and decentralized control abstractions，Tucson, Arizona, USA.，10.21-10.22
54. Chih-Hong Cheng，Rongjie Yan，Saddek Bensalem，Harald Ruess，Distributed Priority Synthesis，Seventh Conference on Systems Software Verification，Sydney, Australia，11.28-11.30
55. Cheng Gong，Zheng Zheng，Zhenyu Zhang，Yunqian Zhang，Yunzhi Xue，Factorising the Multiple Fault Localization Problem，The 19th Asia-Pacific Software Engineering Conference(APSEC 2012)，Hong Kong, China，，12.4-12.7
56. Xinxin Liu，Bingtian Xue，Decidability and completeness of PDL through canonical model，Logic for system analysis，Berkeley, California, USA，7.7
57. Xinxin Liu，Bingtian Xue，Decomposition of PDL with recursion ，International multi-conference of computer science and engineering，Hong Kong, China