Checking Component-Based Embedded Software Designs for Scenario-Based Timing Specifications. - Jun Hu; Xiaofeng Yu; Yan Zhang 007; Tian Zhang 001; Xuandong Li; Guoliang Zheng (EUC, 2005)

Scenario-Based Specifications Verification for Component-Based Embedded Software Designs. - Jun Hu; Xiaofeng Yu; Yan Zhang 007; Tian Zhang 001; Linzhang Wang; Xuandong Li; Guoliang Zheng (ICPP Workshops, 2005)

Deriving Available Behavior All Out from Incompatible Component Compositions. - Yan Zhang 007; Jun Hu; Xiaofeng Yu; Tian Zhang 001; Xuandong Li; Guoliang Zheng (FACS, 2005)

Creating Dynamic Panorama Using Particle Swarm Optimization. - Yan Zhang 007; Zhengxing Sun; Wenhui Li (ICAT, 2006)

Scenario-Based Component Behavior Derivation. - Yan Zhang 007; Jun Hu; Xiaofeng Yu; Tian Zhang 001; Xuandong Li; Guoliang Zheng (ICFEM, 2006)

Scenario-based Component Behavior Filtration. - Yan Zhang 007; Xiaofeng Yu; Tian Zhang 001; Xuandong Li; Guoliang Zheng (SET, 2006)

Towards a Model Driven Approach to Automatic BPEL Generation. - Xiaofeng Yu; Yan Zhang 007; Tian Zhang 001; Linzhang Wang; Jianhua Zhao; Guoliang Zheng; Xuandong Li (ECMDA-FA, 2007)

A model-driven development framework for enterprise Web services. - Xiaofeng Yu; Yan Zhang 007; Tian Zhang 001; Linzhang Wang; Jun Hu; Jianhua Zhao; Xuandong Li (Inf. Syst. Frontiers, 2007)

Texture synthesis based on Direction Empirical Mode Decomposition. - Yan Zhang 007; Zhengxing Sun; Wenhui Li (Comput. Graph., 2008)

A Method of 3D Garment Model Generation Using Sketchy Contours. - Yaoye Zhang; Zhengxing Sun; Kai Liu 022; Yan Zhang 007 (CGIV, 2009)

Hybrid Interface Automata. - Yan Zhang 007; Tian Zhang 001 (APSEC, 2012)

An Approach to Measure Understandability of Extended UML Based on Metamodel. - Yan Zhang 007; Yi Liu; Zhiyi Ma; Xuying Zhao; Xiaokun Zhang; Tian Zhang 001 (ICCSA (4), 2012)

Composition of AADL Components by Transformation to Interface Automata. - Jiangwei Li; Jizhou Zhao; Qingqing Sun 003; Xiaopu Huang; Yan Zhang 007; Tian Zhang 001 (ISCTCS, 2012)

A Tool to Construct One Comprehensive Legal Environment for Behavioral Incompatible Components. - Jizhou Zhao; Jiangwei Li; Yan Zhang 007; Tian Zhang 001 (ISCTCS, 2012)

Generating Pseudo-3D Painting Based on Visual Saliency and Composition Rules. - Zhibin Zheng; Yan Zhang 007; Zhengxing Sun (Eurographics (Short Papers), 2013)

Intent-driven model synthesis. - Mofei Song; Fei-qian Zhang; Zhengxing Sun; Yan Zhang 007 (VINCI, 2013)

Synthesis of 3D models by Petri net. - Mofei Song; Zhengxing Sun; Yan Zhang 007; Fei-qian Zhang (J. Zhejiang Univ. Sci. C, 2013)

Scenario-Based Behavioral Nonexistent Consistency Checking for Cyber-Physical Systems. - Yan Zhang 007; Xiangwei Liu; Jin Shi; Tian Zhang 001; Zhuzhong Qian (IMIS, 2014)

Image Palette: Brushstroke Synthesis-based Style Transfer. - Zheng Miao; Yan Zhang 007; Zhibin Zheng; Zhengxing Sun (PG (Short Papers), 2014)

Album Quickview in Comic-like Layout via Quartet Analysis. - Zhibin Zheng; Yan Zhang 007; Zheng Miao; Zhengxing Sun (PG (Short Papers), 2014)

A model synthesis method based on single building facade. - Yan Wen; Yan Zhang 007; Wentao Wu 003; Mofei Song; Zhengxing Sun (Graph. Model., 2014)

Model-driven indoor scenes modeling from a single image. - Zicheng Liu 005; Yan Zhang 007; Wentao Wu 003; Kai Liu 022; Zhengxing Sun (Graphics Interface, 2015)

Scalable Organization of Collections of Motion Capture Data via Quantitative and Qualitative Analysis. - Songle Chen; Zhengxing Sun; Yan Zhang 007 (ICMR, 2015)

Singe image-based data-driven indoor scenes modeling. - Yan Zhang 007; Zicheng Liu 005; Zheng Miao; Wentao Wu 003; Kai Liu 022; Zhengxing Sun (Comput. Graph., 2015)

Modeling and checking for Cyber-Physical System based on hybrid interface automata. - Yan Zhang 007; Jin Shi; Tian Zhang 001; Xiangwei Liu; Zhuzhong Qian (Pervasive Mob. Comput., 2015)

A declarative approach for Java code instrumentation. - Tian Zhang 001; Xiaomei Zheng; Yan Zhang 007; Jianhua Zhao; Xuandong Li (Softw. Qual. J., 2015)

Design and Implementation of a Prototype System for Automatic Obstacle Avoidance Information Collection Vehicle. - Yan Zhang 007; Xuying Zhao; Ri Xu; Jianjin Jiang; Kejun Zhang (ICOST, 2016)

Relevance feedback for human motion retrieval using a boosting approach. - Songle Chen; Zhengxing Sun; Yan Zhang 007; Qian Li 014 (Multim. Tools Appl., 2016)

Image palette: painting style transfer via brushstroke control synthesis. - Zheng Miao; Yan Zhang 007; Zhibin Zheng; Zhengxing Sun (Multim. Tools Appl., 2017)

Direction-aware neural style transfer with texture enhancement. - Hao Wu; Zhengxing Sun; Yan Zhang 007; Qian Li 014 (Neurocomputing, 2019)