Conference Paper

Conference 2013

    1. Ruzhen Dong,Naijun Zhan,Liang Zhao,An Interface Model of Software Components, ICTAC 2013,shang hai, ,9.4-9.6
    2. Hengjun Zhao,Naijun Zhan,Deepak Kapur,Synthesizing Switching Controllers for Hybrid Systems by Generating Invariants, the Jifeng Festschrift, Lecture Notes in Computer Science,shanghai ,N,9.1-9.3
    3. Bei Guan,Yanjun Wu,Liping Ding,Yongji Wang,CIVSched: Communication-aware Inter-VM Scheduling in Virtual Machine Monitor based on the Process,13th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid 2013),Netherlands, ,
    4. Lei Song,Lijun Zhang,Holger Hermanns,Jens Chr. Godskesen,Incremental Bisimulation Abstraction Refinement,13th International Conference on Application of Concurrency to System Design (ACSD),Barcelona, Spain,CPRE B ,7.8-7.10
    5. Qixing Dong,Jun Yan,Jian Zhang,Fanping Zeng,A Search Strategy Guided by Uncovered Branches for Concolic Testing,13th International Conference on Quality Software (QSIC 2013),Nanjing, China, ,7.29-7.30
    6. Deng, J.,Du Liang,Shen Yidong,Heterogeneous Metric Learning for Cross-Modal Multimedia Retrieval,14th International Conference on Web Information Systems Engineering (WISE-13 ),Nanjing, China, ,10.13-10.15
    7. Du Liang,Shen Yidong,Shen, Z.,Wang, J. ,Xu, Z.,A Self-Supervised Framework for Clustering Ensemble,14th International Conference on Web-Age Information Management (WAIM-13),beidaihe , ,6.14-6.16
    8. Du Liang,Shen Yidong,Joint Clustering and Feature Selection,14th International Conference on Web-Age Information Management (WAIM-13),beidaihe , ,6.14-6.16
    9. Yuqi Lin,Liping Ding,Jingzheng Wu,Yalong Xie,Yongji Wang,Robust and Efficient Covert Channel Communications in Operating Systems: Design, Implementation and Evaluation,2013 IEEE 7th International Conference on Software Security and Reliability-Companion (SERE 13),United States,N,
    10. Wang, Y. S.,Eiter, T.,You, J.,Yuan, L.,Shen Yidong,Eliminating Nonmonotonic Dl-Atoms in Description Logic Programs,7th International Conference on Web Reasoning and Rule Systems (RR-13), Mannheim, Germany,N,7.27-7.29
    11. Taolue Chen,Ernst Moritz Hahn,Tingting Han,Marta Kwiatkowska,Hongyang Qu,Lijun Zhang,Model Repair for Markov Decision Processes,7th International Symposium on Theoretical Aspects of Software Engineering (TASE),Birmingham, UK., ,7.1-7.3
    12. Yang Qiusong,Clarke Edmund M.,Komuravelli Anvesh,Li Mingshu,Assumption Generation for Asynchronous Systems by Abstraction Refinement,9th International Symposium on formal Aspects of Component Software, FACS 2012,Mountain View, USA,N,2012.12.12-12.14
    13. Lu Pan,Feng Tian,Fei Lu,Xiaolong Zhang,Ying Liu,Wenxin Feng,Guozhong Dai,Hongan Wang,An exploration on long-distance communications between left-behind children and their parents in China ,ACM Conference on Computer Supported Cooperative Work (CSCW) 2013, ,2013/2/23-2013/2/27
    14. Qinying Liao,Lei Shi,She Gets A Sports Car From Our Donation: Rumor Transmission In A Chinese Microblogging Community,ACM CSCW,San Antonio, Texas, USA., ,2.23-2.27
    15. Sun Qiang,Chen Yuting,Zhao Jianjun,Constraint-Based Locality Analysis for X10 Programs,ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, PEPM 2013 – Co-located with POPL 2013,Rome, Italy,,1.21-1.22
    16. Christian Eisentraut,Holger Hermanns,Joost-Pieter Katoen,Lijun Zhang,A Semantics for Every Gspn,Application and Theory of Petri Nets and Concurrency – 34th International Conference (PETRI NETS),Milano,Italy, ,6.24-6.28
    17. Naiju Zeng,Wenhui Zhang,A Systemc Semantics In Guarded Assignment Systems and Its Applications with Verds,APSEC 2013,Bangkok, Thailand, ,12.2-12.5
    18. Ying Song,Wencheng Wang,A Data-Driven Model for Anisotropic Heterogeneous Subsurface Scattering,Asia-Pacific Signal and Information Processing Association, Annual Summit and Conference (APSIPA ASC 2013),taiwan,N,10.29-11.1
    19. Jing Li,Wencheng Wang,Point-In-Polygon Tests by Determining Grid Center Points In Advance,Asia-Pacific Signal and Information Processing Association, Annual Summit and Conference (APSIPA ASC 2013),taiwan,N,10.29-11.1
    20. Yang Gao,Ernst Moritz Hahn,Naijun Zhan,Lijun Zhang,Ccmc: A Conditional Csl Model Checker for Continuous-Time Markov Chains,Automated Technology for Verification and Analysis – 11th International Symposium (ATVA),Hanoi,Vietnam,,10.15-10.18
    21. Peng Huang,Xuehui Liu,Enhua Wu,Multi-Resolution Shadow Mapping Using Cuda Rasterizer,CAD/Graphics2013,Hong Kong,N,11.18-11.20
    22. Liyun Dai,Bican Xia ,Naijun Zhan,Generating Non-Linear Interpolants by Semi-Definite Programming,CAV 2013,Saint Petersburg, Russia,*,7.13-7.19
    23. Ping Lu,Feifei Peng,Haiming Chen,Deciding Determinism of Unary Languages Is Conp-Complete,DLT 2013,Marne-la-Vallée, France, ,8.12-8.14
    24. Liang Zou,Naijun Zhan,Shuling Wang, Martin Fraenzle,Shengchao Qin,Verifying Simulink Diagrams Via A Hybrid Hoare Logic Prover,EMSoft’13,Montreal, Canada,,9.29-10.4
    25. Ziyang Ma,Kaiming He,Yichen Wei,Jian Sun,Enhua Wu,Constant Time Weighted Median Filtering for Stereo Matching and Beyond,ICCV2013 (IEEE International Conference on Computer Vision),Sydney, Australia,,12.1-12.8
    26. Serge Abiteboul,Pierre Bourhis,Anca Muscholl,Zhilin Wu,Recursive Queries On Trees and Data Trees,ICDT 2013,Deajeon,Korea,,7.5-7.7
    27. Ke Li,Junchao Xiao,Yongji Wang,Qing Wang,Analysis of the Key Factors for Software Quality in Crowdsourcing Development: An Empirical Study on,IEEE 37th Annual Computer Software and Applications Conference,N,
    28. Jingzheng Wu,Yanjun Wu,Mutian Yang,Yongji Wang,Vulnerability Detection of Android System in Fuzzing Cloud,IEEE 6th International Conference on Cloud Computing (CLOUD 2013), ,
    29. Li Shen,Shuhui Wang,Gang Sun,Shuqiang Jiang,Qingming Huang,Multi-Level Discriminative Dictionary Learning Towards Hierarchical Visual Categorization,IEEE CVPR2013,Portland, Oregon, USA,,6.23-6.28
    30. Chaorong Guo,Jian Zhang,Jun Yan,Zhiqiang Zhang,Yanli Zhang,Characterizing and Detecting Resource Leaks In android Applications,IEEE International Conference on Automated Software Engineering,(ASE 2013),california,usa,,11.11-11.15
    31. Lei Shi,Qi Liao, Xiaohua Sun,Yarui Chen,Chuang Lin,Scalable Network Traffic Visualization Using Compressed Graphs,IEEE International Conference on Big Data,CA,USA,N,10.6-10.9
    32. Junjie Wang,Juan Li,Qing Wang,Da Yang,He Zhang,Mingshu Li,Can Requirements Dependency Network Be Used as Early Indicator of Software Integration Bugs?,IEEE International Requirements Engineering(RE 2013),Rio de Janeiro, Brasil, ,7.15-7.19
    33. Zhao Y.,Zhang Z.,Yan J.,Zhang J.,Cascade: A Test Generation Tool for Combinatorial Testing,IEEE Sixth International Conference on Software Testing,Verification and Validation Workshops (ICSTW’13),N,3.18-3.22
    34. 肖俊超,Leon J. Osterweil,陈洁,王青,李明树,Search Based Risk Mitigation Planning in Project Portfolio Management,International Conference on Software and Systems Process,美国旧金山,N,2013.5
    35. Miao Hua,Xiaohui Bie,Wencheng Wang,contrast based saliency detection using representative background priors,Proceedings of International Conference on Image Processing 2013 (ICIP 2013), Australia,
    36. Jiwei Xu,Shiyang Ye,Wenbo Zhang,Jun We,Tao Huang,VM image update notification mechanism based on pub/sub paradigm in cloud,Proceedings of the 5th Asia-Pacific Symposium on Internetware. 2013 ,Changsha, China, ,N, October 23-24, 2013 ACM, 2013: 29.
    37. Christian Eisentraut,Holger Hermanns,Julia Krämer,Andrea Turrini, Lijun Zhang,Deciding Bisimilarities On Distributions. ,Quantitative Evaluation of Systems – 10th International Conference (QEST),Buenos Aires,Argentina,N,8.27-8.30
    38. David N. Jansen,Lei Song, Lijun Zhang,Revisiting Weak Simulation for Substochastic Markov Chains,Quantitative Evaluation of Systems – 10th International Conference (QEST),Buenos Aires,Argentina,N,8.27-8.30
    39. Rongjie Yan,Kai Huang, Min Yu,Xiaomeng Zhang,Communication Pipelining for Code Generation From Simulink Models,The 5th IEEE International Workshop on Multind Multithreaded Architectures and Algorithms (M2A2 2013),Melbourne, Australia,N,7.16-7.18
    40. Chen Zhang,Hao Wang,Xiaohui Hu,Fanjiang Xu,IdeaGraph Plus: A Topic-Based Algorithm for Perceiving Unnoticed Events,The IEEE International Conference on Data Mining series ( ICDM2013),Dallas, Texas, USA,*,Dec.7-10, 2013
    41. Jingzheng Wu,Yanjun Wu,Zhifei Wu,Mutian Yang,Yongji Wang.,Vulcloud: Scalable and Hybrid Vulnerability Detection in Cloud Computing,the Seventh International Conference on Software Security and Reliability (SERE 2013),United States,N,
    42. Du Liang,Shen Zhiyong,Li Xuan,Zhou Peng,Shen Yidong,Local and Global Discriminative Learning for Unsupervised Feature Selection,The Thirteenth IEEE International Conference on Data Mining (ICDM-13),Dallas,USA,*,12.7-12.10
    43. Du Liang,Shen Yidong,Towards Robust Co-Clustering,The Twenty-Third International Joint Conference on Artificial Intelligence (IJCAI-13),beijing,,8.3-8.9
    44. Jianwen Li,Geguang Pu,Lijun Zhang,Zheng Wang,Jifeng He,Kim Guldstrand Larsen,On The Relationship Between Ltl Normal forms and Büchi Automata,Theories of Programming and formal Methods – Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday,shanghai ,N,9.1
    45. Jian Zhang,Performance Estimation Using Symbolic Data,Theories of Programming and formal Methods 2013,shanghai ,N,9.1
    46. Fang Liu,Yunpeng Song,Xuehui Liu,Xianchao Xu,Multi-Layer Screen-Space Ambient Occlusion Using Hybrid Sampling,VRCAI 2013,Hong Kong,N,11.17-11.19
    47. Liang Zou,Jidong Lv,Shuling Wang,Tao Tang,Lei Yuan,Yu Lei,Verifying Chinese Train Control System Under A Combined Scenario by Theorem Proving,VSTTE 2013,california,usa,N,5.17-5.19
    48. Wenhui Zhang,Formal Verification of SystemC Designs Using VERDS,the 20th Asia-Pacific Software Engineering Conference,Bangkok, Thailand,,12.2-12.5
    49. Xiaojie Deng,Yu Zhang,Yuxin Deng,The buffered pi-calculus: a model for concurrent languages,International onference on Language and Automata Theory and Applications (LATA’2013),Spain,C,4.2-4.5
    50. 祖诠,张苗苗,朱嘉奇,詹乃军,Bounded model-checking of discrete Duration Calculus,HSCC 2013,美国
    51. Jianwen Li,Lijun Zhang,Geguang Pu,Moshe Vardi,Jifeng He,LTL Satisfiability Checking Revisited,International Symposium on Temporal Representation and Reasoning,Pensacola,FL(USA),,9.26-9.28
    52. Frits Dannenberg,Ernst Moritz Hahn,Marta Kwiatkowska,Computing Cumulative Rewards using Fast Adaptive Uniformisation,International Conference on Computational Methods in Systems Biology,Klosterneuburg,Austria,9.23-9.25
    53. Yongjian Li,Jun Pang, A Strand Space Approach to Provable Anonymity,FTSCS 2013,71-7.8.
    54. Xiang Liao,Enhua Wu,Real Time Simulation of Multiple Weathering Phenomena in a Raining Day,International Conference on Virtual Reality and Visualization,Xi’an, Shanxi, China,9.14-9.15