Jing Dong

Jidi Zhao, Harold Boley, Jing Dong: A Fuzzy Logic-Based Approach to Uncertainty Treatment in the Rule Interchange Format: From Encoding to Extension. URSW (LNCS Vol.) 2013: 197-216

Jing Dong, Qinghui Liu: Undecidability of infinite post correspondence problem for instances of size 8. RAIRO - Theor. Inf. and Applic. 46(3): 451-457 (2012)

Jose Blanchet, Jing Dong: Rare-event simulation for multi-server queues in the Halfin-Whitt regime. SIGMETRICS Performance Evaluation Review 39(4): 35 (2012)

Jing Dong, Reza Curtmola, Cristina Nita-Rotaru, David K. Y. Yau: Pollution Attacks and Defenses in Wireless Interflow Network Coding Systems. IEEE Trans. Dependable Sec. Comput. 9(5): 741-755 (2012)

Jing Dong, Hani S. Mahmassani: Stochastic Modeling of Traffic Flow Breakdown Phenomenon: Application to Predicting Travel Time Reliability. IEEE Transactions on Intelligent Transportation Systems 13(4): 1803-1809 (2012)

Xikai Xu, Jing Dong, Tieniu Tan: Universal spatial feature set for video steganalysis. ICIP 2012: 245-248

Ziqiang Chen, Yong Xue, Jing Dong, Jia Liu, Yingjie Li: The task scheduling for Remote Sensing Quantitative Retrieval based on hierarchical grid computing platform. IGARSS 2012: 487-490

Hui Xu, Yong Xue, Jie Guang, Yingjie Li, Leiku Yang, Tingting Hou, Xingwei He, Jing Dong, Ziqiang Chen: A semi-empirical optical data fusion technique for merging aerosol optical depth over China. IGARSS 2012: 2524-2527

Leiku Yang, Yong Xue, Yingjie Li, Chi Li, Jie Guang, Xingwei He, Jing Dong, Tingting Hou: Uncertainty from Lambertian surface assumption in satellite aerosol retrieval. IGARSS 2012: 3662-3665

Tingting Hou, Yong Xue, Yingjie Li, Leiku Yang, Xingwei He, Chi Li, Jie Guang, Jing Dong: Aerosol retrival of North China using NOAA AVHRR data. IGARSS 2012: 3681-3684

Jing Dong, Yong Xue, Ziqiang Chen, Hui Xu, Yingjie Li, Chaolin Wu: A study of grid workflow dynamic customization for remote sensing quantitative retrieval. IGARSS 2012: 5382-5385

Jose Blanchet, Jing Dong: Sampling point processes on stable unbounded regions and exact simulation of queues. Winter Simulation Conference 2012: 11

Jing Dong, Tu Peng, Yajing Zhao: On Instantiation and Integration Commutability of Design Pattern. Comput. J. 54(1): 164-184 (2011)

Jing Dong, Reza Curtmola, Cristina Nita-Rotaru: Practical defenses against pollution attacks in wireless network coding. ACM Trans. Inf. Syst. Secur. 14(1): 7 (2011)

Jing Dong, Reza Curtmola, Cristina Nita-Rotaru: Secure High-Throughput Multicast Routing in Wireless Mesh Networks. IEEE Trans. Mob. Comput. 10(5): 653-668 (2011)

Xiaocui Guo, Qiang Zhang, Rui Liu, Dongsheng Zhou, Jing Dong: 3D Human Motion Retrieval Based on ISOMAP Dimension Reduction. AICI (3) 2011: 159-169

Wenbing Jin, Jing Dong, Keqin Lu, Yanhua Li: The Study of Hierarchical Branch Prediction Architecture. CSE 2011: 16-20

Junfeng Sun, Chunlin Huang, Jing Dong: Research on Power-Aware Scheduling for High-Performance Computing System. GreenCom 2011: 75-78

Qingxiao Guan, Jing Dong, Tieniu Tan: An effective image steganalysis method based on neighborhood information of pixels. ICIP 2011: 2721-2724

Linlu Mei, Yong Xue, Ying Wang, Tingting Hou, Jie Guang, Yingjie Li, Hui Xu, Chaolin Wu, Xingwei He, Jing Dong, Ziqiang Chen: Prior information supported aerosol optical depth retrieval using FY2D data. IGARSS 2011: 2677-2680

Jing Dong, Yong Xue, Ziqiang Chen, Hui Xu, Yingjie Li: Analysis of remote sensing quantitative inversion in cloud computing. IGARSS 2011: 4348-4351

Wei Wang, Jing Dong, Tieniu Tan: Exploring DCT coefficient quantization effect for image tampering localization. WIFS 2011: 1-6

Cristina Nita-Rotaru, Jing Dong, Reza Curtmola: Secure Routing in Wireless Mesh Networks. Encyclopedia of Cryptography and Security (2nd Ed.) 2011: 1126-1130

Cristina Nita-Rotaru, Reza Curtmola, Jing Dong: Security of Group Communication in Wireless Mesh Networks. Encyclopedia of Cryptography and Security (2nd Ed.) 2011: 1159-1163

Reza Curtmola, Jing Dong, Cristina Nita-Rotaru: Security of Wireless Mesh Networks (General Overview). Encyclopedia of Cryptography and Security (2nd Ed.) 2011: 1163-1167

Jing Dong, Dongdong Liu, Cheng Zhang, Jing Ma, Guangfa Wang, Dan Guo, Yanhui Liu, Hua Zhong, Jue Zhang, Chung-Kang Peng, Jing Fang: Automated Sleep Staging Technique Based on the Empirical Mode Decomposition Algorithm: a Preliminary Study. Advances in Adaptive Data Analysis 2(2): 267-276 (2010)

Jing Dong, Tu Peng, Yajing Zhao: Automated verification of security pattern compositions. Information & Software Technology 52(3): 274-295 (2010)

Longji Tang, Jing Dong, Tu Peng, Wei-Tek Tsai: Modeling enterprise service-oriented architectural styles. Service Oriented Computing and Applications 4(2): 81-107 (2010)

Jing Dong, Yajing Zhao, Yongtao Sun: Design pattern evolutions in QVT. Software Quality Journal 18(2): 269-297 (2010)

Jing Dong, Kurt Erik Ackermann, Brett Bavar, Cristina Nita-Rotaru: Secure and robust virtual coordinate system in wireless sensor networks. TOSN 6(4) (2010)

Longji Tang, Jing Dong, Yajing Zhao, Liang-Jie Zhang: Enterprise Cloud Service Architecture. IEEE CLOUD 2010: 27-34

Huizhang Shen, Jidi Zhao, Jing Dong: Building fuzzy hybrid Horn logic rules on top of ontologies. FSKD 2010: 1105-1108

Wei Wang, Jing Dong, Tieniu Tan: Image tampering detection based on stationary distribution of Markov chain. ICIP 2010: 2101-2104

Lin Li, Hongbin Wang, Yong Yang, Jianbin He, Jing Dong, Honggang Fan: A Digital Management System of Cow Diseases on Dairy Farm. CCTA (1) 2010: 35-40

Lin Li, Yong Yang, Hongbin Wang, Jing Dong, Yujun Zhao, Jianbin He: Spatial Statistical Analysis in Cow Disease Monitoring Based on GIS. CCTA (2) 2010: 561-566

Patchara Sutthiwan, Yun-Qing Shi, Jing Dong, Tieniu Tan, Tian-Tsong Ng: New developments in color image tampering detection. ISCAS 2010: 3064-3067

Wei Wang, Jing Dong, Tieniu Tan: Tampered Region Localization of Digital Color Images Based on JPEG Compression Noise. IWDW 2010: 120-133

Qingxiao Guan, Jing Dong, Tieniu Tan: Blind Quantitative Steganalysis Based on Feature Fusion and Gradient Boosting. IWDW 2010: 266-279

Jian Huang, Yansheng Zhang, I-Ling Yen, John T. Carson, Mike F. Siok, Farokh B. Bastani, Yajing Zhao, Jing Dong: Real-Time Service-Oriented Distributed Governance. SERVICES 2010: 479-484

Longji Tang, Jing Dong, Yajing Zhao, Wei-Tek Tsai: A Classification of Enterprise Service-Oriented Architecture. SOSE 2010: 74-81

Reza Curtmola, Jing Dong, Cristina Nita-Rotaru: Tradeoffs between security and communication performance in wireless mesh networks. WOWMOM 2010: 1-6

Jing Dong, Kurt Erik Ackermann, Cristina Nita-Rotaru: Secure group communication in wireless mesh networks. Ad Hoc Networks 7(8): 1563-1576 (2009)

Jing Dong, Reza Curtmola, Cristina Nita-Rotaru: Secure network coding for wireless mesh networks: Threats, challenges, and directions. Computer Communications 32(17): 1790-1801 (2009)

Jing Dong, Yajing Zhao, Tu Peng: A Review of Design Pattern Mining Techniques. International Journal of Software Engineering and Knowledge Engineering 19(6): 823-855 (2009)

Jun Kong, Kang Zhang, Jing Dong, Dianxiang Xu: Specifying behavioral semantics of UML diagrams through graph transformations. Journal of Systems and Software 82(2): 292-306 (2009)

Svenja C. Sommer, Christoph H. Loch, Jing Dong: Managing Complexity and Unforeseeable Uncertainty in Startup Companies: An Empirical Study. Organization Science 20(1): 118-133 (2009)

Xiaopeng Wei, Lasheng Zhao, Qiang Zhang, Jing Dong: Robust pitch estimation using a wavelet variance analysis model. Signal Processing 89(6): 1216-1223 (2009)

Jing Dong, Yajing Zhao, Yongtao Sun: XSLT-based evolutions and analyses of design patterns. Softw., Pract. Exper. 39(8): 773-805 (2009)

Yajing Zhao, Jing Dong, Tu Peng: Ontology Classification for Semantic-Web-Based Software Engineering. IEEE T. Services Computing 2(4): 303-317 (2009)

Jing Dong, Yajing Zhao, Yongtao Sun: A Matrix-Based Approach to Recovering Design Patterns. IEEE Transactions on Systems, Man, and Cybernetics, Part A 39(6): 1271-1282 (2009)

Wei Wang, Jing Dong, Tieniu Tan: Effective image splicing detection based on image chroma. ICIP 2009: 1257-1260

Lin Li, Yong Yang, Hongbin Wang, Jing Dong, Yujun Zhao, Jianbin He, Honggang Fan: Monitoring Method of Cow Anthrax Based on Gis and Spatial Statistical Analysis. CCTA 2009: 21-26

Hongbin Wang, Lin Li, Jing Dong, Danning Xu, Jing Li: Research of Animal Disease Information System Based on GIS Technology. CCTA 2009: 55-59

Jing Dong, Wei Wang, Tieniu Tan: Multi-class Blind Steganalysis Based on Image Run-Length Analysis. IWDW 2009: 199-210

Wei Wang, Jing Dong, Tieniu Tan: A Survey of Passive Image Tampering Detection. IWDW 2009: 308-322

Jian Huang, Farokh B. Bastani, I-Ling Yen, Jing Dong, Wenke Zhang, Feng-Jian Wang, Hwai-Jung Hsu: Extending service model to build an effective service composition framework for cyber-physical systems. SOCA 2009: 1-8

Jing Dong, Reza Curtmola, Cristina Nita-Rotaru: Practical defenses against pollution attacks in intra-flow network coding for wireless mesh networks. WISEC 2009: 111-122

Jing Dong, Raymond A. Paul, Liang-Jie Zhang: High-Assurance Service-Oriented Architectures. IEEE Computer 41(8): 27-28 (2008)

Jing Dong, Tieniu Tan: Effects of watermarking on iris recognition performance. ICARCV 2008: 1156-1161

Jing Dong, Tieniu Tan: Blind image steganalysis based on run-length histogram analysis. ICIP 2008: 2064-2067

Hongbin Wang, Danning Xu, Jianhua Xiao, Ru Zhang, Jing Dong: The Relationship between Monthdisease incidence Rate and climatic factor of Classical Swine Fever. CCTA (2) 2008: 959-966

Jing Dong, Yongtao Sun, Yajing Zhao: Compound record clustering algorithm for design pattern detection by decision tree learning. IRI 2008: 226-231

Jing Dong, Wei Wang, Tieniu Tan, Yun Q. Shi: Run-Length and Edge Statistics Based Approach for Image Splicing Detection. IWDW 2008: 76-87

Jing Dong, Yongtao Sun, Yajing Zhao: Design pattern detection by template matching. SAC 2008: 765-769

Jing Dong, Reza Curtmola, Cristina Nita-Rotaru: On the Pitfalls of High-Throughput Multicast Metrics in Adversarial Wireless Mesh Networks. SECON 2008: 224-232

Tu Peng, Jing Dong, Yajing Zhao: Verifying Behavioral Correctness of Design Pattern Implementation. SEKE 2008: 454-459

Raymond A. Paul, I-Ling Yen, Farokh B. Bastani, Jing Dong, Wei-Tek Tsai, Krishna Kavi, Arif Ghafoor, Jaideep Srivastava: An Ontology-Based Integrated Assessment Framework for High-Assurance Systems. ICSC 2008: 386-393

Jing Dong, Yongtao Sun, Yajing Zhao: Hierarchical Composition of OWL-S Web Services. SERA 2008: 187-194

Jed Limke, Jun Kong, Jing Dong: Adaptation in a Pervasive Computing Environment. SETP 2008: 145-155

Longji Tang, Jing Dong, Tu Peng: A Generic Model of Enterprise Service-Oriented Architecture. SOSE 2008: 1-7

Jing Dong, Kurt Erik Ackermann, Brett Bavar, Cristina Nita-Rotaru: Mitigating attacks against virtual coordinate based routing in wireless sensor networks. WISEC 2008: 89-99

Jing Dong, Kurt Erik Ackermann, Cristina Nita-Rotaru: Secure group communication in wireless mesh networks. WOWMOM 2008: 1-8

Jing Dong, Jianchao Han: Class and Object. Wiley Encyclopedia of Computer Science and Engineering 2008

Jing Dong, Sheng Yang, Yongtao Sun: A Classification of Design Pattern Evolutions. Journal of Object Technology 6(10): 95-109 (2007)

Jing Dong, Paulo S. C. Alencar, Donald D. Cowan, Sheng Yang: Composing pattern-based components and verifying correctness. Journal of Systems and Software 80(11): 1755-1769 (2007)

Jing Dong, Sheng Yang, Kang Zhang: Visualizing Design Patterns in Their Applications and Compositions. IEEE Trans. Software Eng. 33(7): 433-453 (2007)

Chunying Zhao, Jun Kong, Jing Dong, Kang Zhang: Pattern-based design evolution using graph transformation. J. Vis. Lang. Comput. 18(4): 378-398 (2007)

Jing Dong, Dushyant S. Lad, Yajing Zhao: DP-Miner: Design Pattern Discovery Using Matrix. ECBS 2007: 371-380

Jianchao Han, Jing Dong: Perspectives of Granular Computing in Software Engineering. GrC 2007: 66-71

Jing Dong, Xiaochuan Chen, Lei Guo, Tieniu Tan: Fusion Based Blind Image Steganalysis by Boosting Feature Selection. IWDW 2007: 87-98

Jing Dong, Tu Peng, Yajing Zhao: Model Checking Security Pattern Compositions. QSIC 2007: 80-89

W. Eric Wong, Lei Zhao, Yu Qi, Kai-Yuan Cai, Jing Dong: Effective Fault Localization using BP Neural Networks. SEKE 2007: 374-379

Jing Dong, Yajing Zhao: Classification of Design Pattern Traits. SEKE 2007: 473-

Jing Dong, Yajing Zhao, Tu Peng: Architecture and Design Pattern Discovery Techniques - A Review. Software Engineering Research and Practice 2007: 621-627

Longji Tang, Jing Dong: A Survey of Formal Methods for Software Architecture. SETP 2007: 221-227

Jing Dong, Tu Peng, Zongyan Qiu: Commutability of Design Pattern Instantiation and Integration. TASE 2007: 283-292

Jing Dong, Yongtao Sun, Sheng Yang, Kang Zhang: Dynamic web service composition based on OWL-S. Science in China Series F: Information Sciences 49(6): 843-863 (2006)

Jing Dong, Paulo S. C. Alencar, Donald D. Cowan: Automating the analysis of design component contracts. Softw., Pract. Exper. 36(1): 27-71 (2006)

Jing Dong, Sheng Yang, Kang Zhang: A Model Transformation Approach for Design Pattern Evolutions. ECBS 2006: 80-92

Jing Dong, Sheng Yang, Yongtao Sun, W. Eric Wong: QVT based model transformation for design pattern evolutions. IMSA 2006: 16-22

Jing Dong, Yongtao Sun, Sheng Yang: OWL-S Ontology Framework Extension for Dynamic Web Service Composition. SEKE 2006: 544-549

Jing Dong, Sheng Yang, Dushyant S. Lad, Yongtao Sun: Service Oriented Evolutions and Analyses of Design Patterns. SOSE 2006: 11-18

Jing Dong, Sheng Yang, Lawrence Chung, Paulo S. C. Alencar, Donald D. Cowan: A COTS architectural component specification stencil for selection and reasoning. ACM SIGSOFT Software Engineering Notes 30(4): 1-4 (2005)

Jun Kong, Kang Zhang, Jing Dong: Grammar-Specified Model-Driven Architectures. ICECCS 2005: 24-25

Jing Dong, Shanguo Chen, Jun-Jang Jeng: Event-Based Blackboard Architecture for Multi-Agent Systems. ITCC (2) 2005: 379-384

Jing Dong, Sheng Yang, Kang Zhang: VisDP: A Web Service for Visualizing Design Patterns on Demand. ITCC (2) 2005: 385-391

Jun Kong, Kang Zhang, Jing Dong, Guang-Lei Song: A Generative Style-driven Framework for Software Architecture Design. SEW 2005: 173-182

Jing Dong: Adding pattern related information in structural and behavioral diagrams. Information & Software Technology 46(5): 293-300 (2004)

Daniel M. Berry, Khuzaima Daudjee, Jing Dong, Igor Fainchtein, Maria Augusta V. Nelson, Torsten Nelson, Lihua Ou: User's manual as a requirements specification: case studies. Requir. Eng. 9(1): 67-82 (2004)

Jing Dong, Paulo S. C. Alencar, Donald D. Cowan: A behavioral analysis and verification approach to pattern-based design composition. Software and System Modeling 3(4): 262-272 (2004)

Jing Dong, Sheng Yang: Towards Trusted Composition in Software Design. HASE 2004: 306-307

Jing Dong, Rucha Khisti, Kendra Cooper, Yi Deng: A Component Framework for Resource Management Systems. Software Engineering Research and Practice 2004: 681-687

Jun Kong, Kang Zhang, Jing Dong, Guang-Lei Song: A Graph Grammar Approach to Software Architecture Verification and Transformation. COMPSAC 2003: 492-

Jing Dong, Paulo S. C. Alencar, Donald D. Cowan: A Formal Framework for Design Component Contracts. IRI 2003: 53-60

Jing Dong: Representing the Applications and Compositions of Design Patterns in UML. SAC 2003: 1092-1098

Jing Dong, Sheng Yang: Extending UML to Visualize Design Patterns In Class Diagrams. SEKE 2003: 124-131

Kendra Cooper, Lirong Dai, Yi Deng, Jing Dong: Developing a Formal Design Analysis Framework. Software Engineering Research and Practice 2003: 68-73

Jing Dong, Paulo S. C. Alencar, Donald D. Cowan: On Analysis of Design Component Contracts: A Case Study. STEP 2003: 103-113

Jing Dong, Sheng Yang: Visualizing design patterns with a UML profile. HCC 2003: 123-125

Jing Dong: UML Extensions for Design Pattern Compositions. Journal of Object Technology 1(5): 151-163 (2002)

Jing Dong, Paulo S. C. Alencar, Donald D. Cowan: A Behavioral Analysis Approach to Pattern-Based Composition. OOIS 2001: 540-

Jing Dong: Model checking the composition of hypermedia design components. CASCON 2000: 3

Jing Dong, Paulo S. C. Alencar, Donald D. Cowan: Ensuring Structure and Behavior Correctness in Design Composition. ECBS 2000: 279-

Jing Dong: A logical framework for design composition. ICSE 2000: 698-700

Paulo S. C. Alencar, Donald D. Cowan, Jing Dong, Carlos José Pereira de Lucena: A Pattern-Based Approach to Structural Design Composition. COMPSAC 1999: 160-165

Jing Dong, Paulo S. C. Alencar, Donald D. Cowan: Correct Composition of Design Components. ECOOP Workshops 1999: 188

Paulo S. C. Alencar, Donald D. Cowan, Jing Dong, Carlos José Pereira de Lucena: A Transformational Approach to Structural Design Assessment and Change. ECOOP Workshops 1998: 60-61