地图     English
学术论文 2012

出自计算机科学国家重点实验室

首页 > 学术研究 > 学术论文 2012
跳转到: 导航, 搜索


2014年 2013年 2012年 2011年 2010年 2009年 2008年 2007年 往年期刊论文
  1. Qi Zhao,Ping Tan,Qiang Dai,Li Shen,Enhua Wu,Stephen Lin,A Closed-form Solution to Retinex with Non-local Texture Constraint,IEEE Trans. on Pattern Analysis and Machine Intelligence,34(7):1437-1444,CCF A
  2. Jia Liu,Huimin Lin,A Complete Symbolic Bisimulation For Full Applied Pi Calculus,Theoretical Computer Science,458,76-112,CCF B
  3. Yuanzhang Chang,Kai Bao,Jian Zhu,Enhua Wu,A Particle-Based Method For Granular Flow Simulation,SCIENCE CHINA-INFORMATION SCIENCES,55,5,1062-1072,CCF B
  4. Shandong Wang,Enhua Wu,Youquan Liu,Xuehui Liu,Yanyun Chen,Abstract line drawings from photographs using flow-based filters,Computers & Graphics,36,4,224-231,CCF C
  5. Jiang Tian,Wenfei Jiang,Tao Luo,Kangying Cai,Jingliang Peng ,Wencheng Wang,Adaptive Coding of Generic 3D Triangular Meshes Based on Octree Decomposition. ,The Visual Computer,28,6-8,819-827,CCF B
  6. Jiang Liu ,Guohua Wu,Almost universal cupping and diamond embeddings,Annals of Pure and Applied Logic ,163,717-729,CCF C
  7. Zhimin He,Fengdi Shu,Ye Yang,Mingshu Li,Qing Wang,An investigation on the feasibility of cross-project defect prediction,Automated Software Engineering,19,2,167-199,CCF B
  8. Qinma Kang,Hong He,Haining Jiang,An Iterated Local Search Algorithm for Task Assignment in Distributed Computing Systems,Advanced Materials Research,588-589,1308-1311,N
  9. Lihua Wu,Daowen Qiu,Hongyan Xing,Automata Theory Based On Complete Residuated Lattice-Valued Logic: Turing Machines,Fuzzy Sets and Systems,208,43-66,CCF C
  10. Qinma Kang,Hong He,Rong Deng,Bi-objective task assignment in heterogeneous distributed systems using honeybee mating optimization,Applied Mathematics and Computation,219,2589–2600,N
  11. Zhengcai Cao,Yazhen Peng,Yongji Wang,Bottleneck prediction method based on improved adaptive network-based fuzzy inference system (ANFIS) in semiconductor manufacturing system,Chinese Journal of Chemical Engineering,20,6,1081-1088,
  12. A. Li,Y. Pan,Characterizations of locally testable linear- and affine-invariant families,Theoretical Computer Science ,414,1,55-75,CCF B
  13. Bixin Li,Xiaobing Sun,Hareton Leung,Combining Concept Lattice With Call Graph For Impact Analysis,Advances in Engineering Software,53,1-13,N
  14. Jianxin Chen,Zhengfeng Ji,Mary Beth Ruskai,Bei Zeng,Duanlu Zhou,Comment On Some Results Of Erdahl And The Convex Structure Of Reduced Density Matrices,JOURNAL OF MATHEMATICAL PHYSICS,53,7,N
  15. Fei Pu,Compositional Verification Of Liveness Property In Inhibitor-Arc Connections Of Petri Net Systems,Journal of Software,7,3,499-507,N
  16. Xin Sun,Guofu Xie,Yue Dong,Stephen Lin,Weiwei Xu,Wencheng Wang, Xin Tong, Baining Guo,Diffusion Curve Textures for Resolution Independent Texture Mapping,ACM Transactions on Graphics,31\4\article 74,CCF A
  17. Xue-Yang Zhu,Twan Basten,Marc Geilen,Sander Stuijk,Efficient Retiming of Multi-rate DSP Algorithms,IEEE Trans. on Computer-Aided Design of Integrated Circuits and Systems,31,6,831-844,CCF B
  18. Hai Hu,Changhai Jiang,Kaiyuan Cai,W.Eric Wong,Aditya P. Mathur,Enhancing Software Reliability Estimates Using Modified Adaptive Testing,Information and Software Technology,55,2,CCF B
  19. Dongxu Wang,Wencheng Wang,Yuexiang Shi,Exact distance transform by using coherence progressively,Advanced Science Letters,10,1,513-518,N
  20. Zhenyu Zhang,W.K. Chan,T.H. Tse,Fault Localization Based Only on Failed Runs,IEEE Computer(COMPUTER),45\6\64-71
  21. Yanyan Xu,Wei Chen,Kaile Su,Wenhui Zhang,Greedy Clique Decomposition for Symbolic Satisfiability Solving,International Journal of Advancements in Computing Technology ,10,4,174-184,N
  22. Jianxin Chen,Zhengfeng Ji,David Kribs,Zhaohui Wei,Bei Zeng,Ground-State Spaces Of Frustration-Free Hamiltonians,JOURNAL OF MATHEMATICAL PHYSICS,53,10,N
  23. Jinyi Cai,Pinyan Lu,Mingji Xia,Holographic Reduction, Interpolation And Hardness,COMPUTATIONAL COMPLEXITY,21,4,573-604,CCF B
  24. Bo Jiang,Zhenyu Zhang,W.K.Chan,T.H. Tse,Tsong Yueh Chen,How Well Does Test Case Prioritization Integrate With Statistical Fault Localization?,Information and Software Technology,54,7,739-758,CCF B
  25. Qi Li,Ye Yang,Mingshu Li,Qing Wang,Barry W.Boehm,Chenyong Hu,Improving Software Testing Process: Feature Prioritization To Make Winners Of Success-Critical Stakeholders,Journal of Software Maintenance and Evolution,12,6,N
  26. Jiwei Jin,Feifei Ma,Jian Zhang,Integrating Standard Dependency Schemes In Qcsp Solvers,Journal of Computer Science and Technology,27,1,37-41,CCF B
  27. Meng Yang,Longsheng Jiang,Xiaosheng Li,Youquan Liu,Xuehui Liu,Enhua Wu,Interactive Coupling between Tree and Raindrops,Computer Animation and Virtual Worlds,23(3,4):267-277,CCF C
  28. Xiaowei He,Ning Liu,Sheng Li,Hongan Wang,Guoping Wang,Local Poisson Sph For Viscous Incompressible Fluids,COMPUTER GRAPHICS FORUM,31,6,1948-1958,CCF B
  29. Xiuqing Wang,Zengguang Hou,Min Tan,Yongji Wang,Fei Xie,Mobile Robots' Wall-following Controller Based On Probabilistic Spiking Neuron Model,Advanced Materials Research,588 - 589,1547-1551,N
  30. Yang Gao,Ming Xu,Naijun Zhan,Lijun Zhang,Model checking conditional CSL for continuous-time Markov chains,Inf. Process. Lett,113,1-2,44-50,N
  31. Kang Zhang,Guangquan Zhang,Mingcai Chen,Yi Zhu,Model Supporting CPS Software System Evaluation on Trustworthiness,Journal of Computational Information Systems,8,1,1-8,N
  32. Paulo Mateus,Daowen Qiu,Lvzhou Li,On The Complexity Of Minimizing Probabilistic And Quantum Automata,Information and Computation,218,36-53,CCF A
  33. N. Min-Allah,S. U. Khan,Yongji Wang,Optimal Task Execution Times for Periodic Tasks using Nonlinear Constrained Optimization,Journal of Supercomputing,59\3\1120-1138,CCF C
  34. Weiyan Wang,Yunquan Zhang,Shengen Yan,Ying Zhang,Haipeng Jia,Parallelization And Performance Optimization On Face Detection Algorithm With Opencl: A Case Study,Tsinghua Science and Technology,17,3,287-295,N
  35. Youquan Liu,Yanyun Chen,Wen Wu,Nelson Max,Enhua Wu,Physically based Object Withering Simulation,Computer Animation and Virtual Worlds,23(3-4):395-406,CCF C
  36. Jianxin Chen,Zhengfeng Ji,Alexander Klyachko,David Kribs,Bei Zeng,Rank Reduction For The Local Consistency Problem,JOURNAL OF MATHEMATICAL PHYSICS,53,2,N
  37. Enhua Wu,Feitong Liu,Robust Image Metamorphosis Immune from Ghost and Blur,The Visual Computer ,29(4):311-321,CCF C
  38. Xiaoming Deng,Fuchao Wu,Yihong Wu,Fuqing Duan,Liang Chang,Hongan Wang,Self-Calibration Of Hybrid Central Catadioptric And Perspective Cameras,Computer Vision and Image Understanding,116,6,715-729,CCF B
  39. Ching-yung Lin,Hanghang Tong,Zhen Wen,Lynn Wu,Vicky Griffiths-Fisher,Lei Shi,Social Network Analytics in Enterprise,Proceedings of the IEEE,100(9):2759-2776,CORE A*
  40. Shenggen Zheng,Daowen Qiu,Lvzhou Li,,Some Languages Recognized By Two-Way Finite Automata With Quantum And Classical States,INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE,23,5,1117-1129,N
  41. Guoquan Wu,Jun Wei,Chunyang Ye,Hua Zhong,Tao Huang,Hong He,Specification And Monitoring Of Data-Centric Temporal Properties For Service-Based Systems,Journal of Systems and Software,85,12,CCF B
  42. Wang, Y. S,You, J,Yuan, L., ,Zhang, M. ,The Loop Formula Based Semantics of Description Logic Programs. ,Theoretical Computer Science ,415,60-85,CCF B
  43. A. Li,P. Peng,The small community phenomenon in networks,Mathematical Structures in Computer Science,22,3,373 - 407,CCF B
  44. 段新明,武继刚,张大坤,Torus网络自适应容错路由算法,计算机科学,39,2,115-117,N
  45. Du, J. F,Qi, G,Shen, Y. D,and Pan, J. ,Towards Practical ABox Abduction in Large Description Logic Ontologies,International Journal on Semantic Web and Information Systems,8,2,1-33,CCF C
  46. George Barmpalias,David L.Dowe,Universality Probability Of A Prefix-Free Machine,Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences,370,1971,3488-3511,N
  47. Shaohui Jiao,Wen Wu,Pheng-Ann Heng,Enhua Wu,Using Time-Varying Texels To Simulate Withering Grassland,IEEE COMPUTER GRAPHICS AND APPLICATIONS,32,1,78-86,N
  48. Yunhe Wang ,Li Jiao,Using transition set sequences to partition behaviors of Petri nets,Acta Informatica,49,1,15-28,CORE A
  49. 陈伟,魏峻,黄涛,W4H:一个面向软件部署的技术分析框架,软件学报,23,7,1669-1687,一级学报
  50. 邓超强,曾凡平,武飞,熊能,董齐兴,程序不变量到断言的自动转换方法研究及其应用,计算机与应用软件,29,11,177-189,N
  51. 刘世光,傅应坻,蒋浴芹,地表火蔓延的真实感仿真,自然灾害学报,2,180-186,一级学报
  52. 王璞,武继刚,高效软硬件划分算法及其提升技术,计算机科学,39,1,290-294,N
  53. 费辉,张云泉,王靖,基于GPU的非标记定量软件QuantWiz并行化实现,计算机科学,39,6,285-288,N
  54. 贺喜,蒋建春,丁丽萍,王永吉,廖晓峰,基于LDA模型的主机异常检测方法,计算机应用与软件,29\8\1-4,24
  55. 廖晓锋,王永吉,范修斌,吴敬征,基于LDA主题模型的安全漏洞分类,清华大学学报(自然科学版),52\10\1351-1355
  56. 孙小兵,李必信,陶传奇,基于LoCMD的软件修改分析技术,软件学报,23,6,1368-1381,一级学报
  57. 贾海鹏,张云泉,龙国平,徐建良,李焱,基于OpenCL的拉普拉斯图像增强算法优化研究,计算机科学,39,5,271-277,N
  58. 宋金莲,吴恩华,基于动力学的头发造型方法,中国科学院研究生院学报,29,4,543-548,N
  59. 王焘,魏峻,张文博,钟华,基于负载模式识别的Web应用在线异常检测方法,软件学报,23,10,786-801,一级学报
  60. 王晶,戎玫,张广泉,祝义,基于概率模型检测的Web服务组合验证,计算机科学,39,1,120-123,N
  61. 赵磊,王丽娜,高东明,张震宇,熊作婷,基于关联挖掘的软件错误定位方法,计算机学报,12期\2528-2540
  62. 王昌晶,基于扩展逻辑变换系统_μTS证明循环优化正确性,计算机研究与发展,49,9,1863-1873,N
  63. 张广泉,狄浩军,石慧娟,晏荣杰,朱雪阳,基于扩展自动机的服务组合静态与动态验证方法,通信学报,33,Z1,1-8,一级学报
  64. 徐添辰,吴恩华,基于流体动力学的实时角色动画运动特效,系统仿真学报,24,1,236-241,N
  65. 武飞,曾凡平,熊能,邓超强,董齐兴,基于启发式搜索的IP数据流分类方法的研究,小型微型计算机系统,33,10,2153-2157,N
  66. 李静,王文成,基于网格中心点的点在多边形内的高效判定.,软件学报,23,9,2481-2488,一级学报
  67. 郝川艳,陈昕,吴恩华,基于纹理规则性分析的图像填补方法,计算机辅助设计与图形学学报,24,2,183-190,一级学报
  68. 戎玫,陈圣标,张广泉,基于限界模型检查的Web服务行为失配检测,计算机科学,39,6,129-132,N
  69. 孙昌爱,基于约束的软件失效域识别与特征分析,软件学报,23,7,1688-1701,一级学报
  70. 刘洋,刘学慧,吴恩华,基于自适应分割的动态面光源图像空间绘制,计算机工程与设计,33,2,624-629,N
  71. 李睿,陈彦云,刘学慧,基于自适应光子发射的渐进式光子映射,计算机工程与设计,33,1,219-223,N
  72. 柳有权,吴宗胜,王山东,薛茹,吴恩华,建筑物图像的线条画生成,软件学报,23(Sup2):34-41
  73. 徐添辰,吴恩华,交互式角色运动特效的光滑粒子流体动力学仿真,集成技术,1,77-83,N
  74. 曹政才,韩丁富,王永吉,面向城市交通网络的一种新型动态路径寻优方法,电子学报,40\10\2062-2067
  75. 朱雪阳,张文辉,李广元,吕毅,林惠民,模型检测发展研究,中国科协学科发展研究系列报告--2011-2012计算机科学与技术学科发展报告,169-186,N
  76. 汪芳,Stephane GRUMBACH,容错的网络声明式程序,软件学报,23,8,1992-2001,一级学报
  77. Qifeng Tang,Lei Xu,Ju Qian,Lin Chen,Zhenyu Zhang,一种基于模型结合的错误定位方法,中国科技论文,7,1,19-27 ,N
  78. 廖晓锋,王永吉,周津慧,关贝,一种领域专家文献自动收集系统,计算机系统应用,21,6,115-120,N
  79. 邵玉珍,张侃,张广泉,陈名才,沈晓刚,李烨静,一种面向CPS软件的可信性评估框架,计算机与数字工程,40,10,51-54,N
  80. 赵占山,张静,孙连坤,丁刚,有限时间收敛的滑模自适应控制器设计,山东大学学报(工学版),42,4,74-78,N
  81. 倪晓勇,陈海明,正规树文法的产生式相交判定,计算机工程与设计,33,3,1197-1202,N


2014年 2013年 2012年 2011年 2010年 2009年 2008年 2007年 往年会议论文
  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,CCF B,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,CCF C,11.12-11.16
  3. Pan Peng,A Local Algorithm For Finding Dense Bipartite-Like Subgraphs,COCOON 2012,Sydney, NSW, Australia,CORE A,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,CCF B,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,CCF C ,7.4-7.6
  7. Jun Yan,A Surprisingly Simple Way Of Reversing Trace Distance Via Entanglement,TAMC 2012,Beijing, China,CORE 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,CORE A
  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,CORE 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,CORE 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,CORE B,8.14-8.17
  15. Zhiqiang Zhang,Xiaojian Liu,Jian Zhang,Combinatorial Testing on ID3v2 Tags of MP3 Files,ICST 2012,Montreal,Canada,CCF C,4.17-4.21
  16. Zhilin Wu,Commutative Data Automata,CSL 2012,fontainebleau,France,CCF C,9.3-9.6
  17. Jun Yan,Complete Problem For Perfect Zero-Knowledge Quantum Proof,SOFSEM 2012,Spindleruv Mlyn, Czech republic,CORE B,1.21-1.27
  18. Meng Sun,Connectors As Designs: The Time Dimension,TASE 2012,Beijing, China,CCF C ,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,CORE A ,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,CORE A*,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,CCF C,5.9-5.11
  27. Zhenyue Long,Georgel Calin,Rupak Majumdar,Roland Meyer,Language-Theoretic Abstraction Refinement,ETAPS 2012,Tallinn, Estonia,CCF B ,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,CORE A ,3.11-3.15
  29. Yongjian Li,Xiaoyu Song ,On the formal modeling of inductive verification for cryptographical protocols,PDCAT12 ,CORE 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,CORE B,5.16-5.21
  32. Teng Long,Wenhui Zhang,Proving Liveness Property under Fairness Requirements,APSEC 2012,Hong Kong,CCF C,12.4-12.7
  33. Teng Long,Wenhui Zhang,Proving Liveness Property under Strengthened Compassion Requirements,TAMC 2012,Beijing, China,CORE 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 ,CORE 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,CCF A,6.16-6.21
  36. Du L,Li, X. ,Shen, Y. D,Robust Nonnegative Matrix Factorization via Half-Quadratic Minimization,ICDM-12,Brussels, Belgium,CORE A*,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,CORE 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,CORE A ,4.16-4.19
  41. Pan Peng,The Small Community Phenomenon In Networks: Models, Algorithms And Applications,TAMC 2012,Beijing, China,CORE 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,CCF C ,8.27
  43. Ruzhen Dong,Johannes Faber,Zhiming Liu,Jirí Srba,Naijun Zhan,Jiaqi Zhu,Unblockable compositions of software components,CBSE 2012,Bertinoro, Italy,CORE A,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,CCF B ,2.14-2.17
  45. Qin Shu,Shuling Wang,Yijing Liu,Verifying OO programs by linking algebraic and abstract specifications,TASE 2012,Beijing, China,CCF C ,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,CCF C,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


2014年 2013年 2012年 2011年 2010年 2009年 2008年 2007年 往年技术报告
  1. ISCAS-SKLCS-12-01:Teng Long, Wenhui Zhang, Proving Liveness Property under Strengthened Compassion Requirements
  2. ISCAS-SKLCS-12-02:Linqing Tang, Zhilin Wu, Mingji Xia, Quantitative Reasoning of Opinions in Social Networks
  3. ISCAS-SKLCS-12-03:Zhilin Wu, Commutative Data Automata
  4. ISCAS-SKLCS-12-04:Jian Xu, Zhenyu Zhang, W.K.Chan, T. H. Tse, Shanping Li, A General Noise-Reduction Framework for Fault Localization of Java Programs
  5. ISCAS-SKLCS-12-05:Zhenyu Zhang,W. K. Chan,T. H. Tse, Fault Localization without Success Record: a Review and Proposal
  6. ISCAS-SKLCS-12-06:Bo Jiang, Zhenyu Zhang, W.K. Chan, T.H. Tse, Tsong Yueh Chen, How Well Does Test Case Prioritization Integrate with Statistical Fault Localization?
  7. ISCAS-SKLCS-12-07:Zhenyu Zhang, Factorizing the Multiple Fault Localization Problem
  8. ISCAS-SKLCS-12-08:Chang-ai Sun, Yimeng Zhai, Yan Shang, Zhenyu Zhang, Toward Effectively Locating Integration-Level Faults in BPEL Programs
  9. ISCAS-SKLCS-12-09:张云乾,郑征,季晓慧,张文博,张震宇, 基于类型预测的软件错误定位方法
  10. ISCAS-SKLCS-12-10:张云乾,张震宇,郑征, 基于马尔可夫模型的软件错误定位方法
  11. ISCAS-SKLCS-12-11:Yunqian Zhang, Zhenyu Zhang, Using Online Judge to Facilitate Software Fault Localization
  12. ISCAS-SKLCS-12-12:张云乾,陈林,张震宇, 基于对称分布假设的软件错误定位调优技术
  13. ISCAS-SKLCS-12-13:He Zhang, Bo Jiang, Zhenyu Zhang, Improving Test Case Prioritization by Suppressing Safe Test Cases
  14. ISCAS-SKLCS-12-14:Lei Zhao, Zhenyu Zhang, Lina Wang, Xiaodan Yin, A fault localization framework to alleviate the impact of execution similarity
  15. ISCAS-SKLCS-12-15:Yichao Gao, Zhenyu Zhang, Zheng Zheng, Benefiting from the Confounding of Imperfect Oracles Used in Fault Localization
  16. ISCAS-SKLCS-12-16:Ruzhen Dong, Johannes Faber, Zhiming Liu, Jiˇrí Srba, Naijun Zhan, Jiaqi Zhu, Unblockable Compositions of Software Components
  17. ISCAS-SKLCS-12-17:Quan Zu, Miaomiao Zhang, Jiaqi Zhu, Naijun Zhan, Bounded Model-checking of Discrete Duration Calculus
  18. ISCAS-SKLCS-12-18:Zhongxing Xu, Jian Zhang, Zhenbo Xu, A Tool for Checking Common Defects in C Code
  19. ISCAS-SKLCS-12-19:Zhenbo Xu, Jian Zhang, Zhongxing Xu, Melton: A Tool for Detecting Memory Leak in C Programs
  20. ISCAS-SKLCS-12-20:朱雪阳,张文辉,李广元,吕毅,林惠民, 模型检测研究进展
  21. ISCAS-SKLCS-12-21:Dimitar Guelev, Shuling Wang, Naijun Zhan, Compositional Hoare-style Reasoning about Hybrid CSP in the Duration Calculus
  22. ISCAS-SKLCS-12-22:Qin SHU, Zongyan QIU, Shuling WANG, Connement framework for encapsulating objects
  23. ISCAS-SKLCS-12-23:Liang Zhao, Shuling Wang, Zhiming Liu, Graph-Based Object-Oriented Hoare Logic
  24. ISCAS-SKLCS-12-24:Liang Zou, Jidong Lv, Shuling Wang, Naijun Zhan, Tao Tang, Lei Yuan, Yu Liu, Verifying Chinese Train Control System Under a Combined Scenario by Theorem Proving
  25. ISCAS-SKLCS-12-25:Yi Lv, Yan Zhou, Xiaochun Ye, Huimin Lin, PaMC: A Model Checker for Parameterized Systems
  26. ISCAS-SKLCS-12-26:Xiaoxiao Yang, Yu Zhang, Ming Fu, Xinyu Feng, A Concurrent Temporal Programming Model with Atomic Blocks (Extended Version)
  27. ISCAS-SKLCS-12-27:Yongjian Li, Naiju Zeng, William N. N. Hung, Xiaoyu Song, Combining Symmetry Reduction with Generalized Symbolic Trajectory Evaluation
  28. ISCAS-SKLCS-12-28:Yongjian Li, Jun Pang, Formalizing Provable Anonymity in Isabelle/HOL
  29. ISCAS-SKLCS-12-29:Yongjian Li, On the formal modeling of inductive verification for cryptographical protocols
  30. ISCAS-SKLCS-12-30:Kailiang Ji, Jianhua Gao, Ying Jiang, A Parameterized Sequent Calculus
  31. ISCAS-SKLCS-12-31:高建华,蒋颖, 基于共归纳的最小Kripke结构的求解
  32. ISCAS-SKLCS-12-32:Chih-Hong Cheng,Rongjie Yan,Harald Ruess,Saddek Bensale,Distributed Priority Synthesis using Knowledge
  33. ISCAS-SKLCS-12-33:Mengqi Liu, Jean-François Monin, Lifan Su, Rongjie Yan,BIP-oriented Certified Compiler
  34. ISCAS-SKLCS-12-34:Chih-Hong Cheng,Rongjie Yan,Saddek Bensalem,Harald Ruess,Distributed Priority Synthesis
  35. ISCAS-SKLCS-12-35:De Ma, Kai Huang, Rong-jie Yan, Min Yu, Hai-tong Ge, Xiao-lang Yan, Ahmed Amine JERRAYA, Performance Estimation Techniques with MPSoC Transaction-Accurate Model
  36. ISCAS-SKLCS-12-36: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
  37. ISCAS-SKLCS-12-37:JIANG LIU, NAIJUN ZHAN, HENGJUN ZHAO, Computing Semi-Algebraic Invariants for Polynomial Hybrid Systems
  38. ISCAS-SKLCS-12-38:高天豪,王文成,朱滨海, 基于凸片段分解和格网的点在多边形中的可见边检测
  39. ISCAS-SKLCS-12-39:王光伟,王文成,华淼,韩红雷, 优化光源设计的自适应增强绘制
  40. ISCAS-SKLCS-12-40:Haiming Chen, Ping Lu, Checking Determinism of Regular Expressions with Counting



版权所有 © 中国科学院软件研究所计算机科学国家重点实验室 Powered by MediaWiki
京ICP备05046678号