| 2013 | Evaluation of Ontology-Based Checking of Software Requirements Specification. | Dang Viet Dzung, Atsushi Ohnishi |
| 2013 | An Activity Ontology for Context-Aware Health Promotion Application. | Anindhita Dewabharata, Don Ming-Hui Wen, Shuo-Yan Chou |
| 2013 | Multiple Home Agent Placement Considerations Based on Internet Service Provider Perspective in MobileIPv6. | H. R. O. E. Dayaratna, Kunitake Kaneko, Fumio Teraoka |
| 2013 | Further Theoretical Contributions to a Privacy Preserving Distributed OLAP Framework. | Alfredo Cuzzocrea, Elisa Bertino |
| 2013 | Analytics over Big Data: Exploring the Convergence of DataWarehousing, OLAP and Data-Intensive Cloud Infrastructures. | Alfredo Cuzzocrea |
| 2013 | Interactive Verification of Safety-Critical Software. | Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto |
| 2013 | An Integrated Formal Model for Context-Aware Systems. | Eun-Sun Cho, Tae-Seob Yoon, Joong-Hyun Choi, Joon-Young Paik, Sumi Helal |
| 2013 | Modeling and Verification of Call Setup Dynamics of LTE Communication Systems. | Ishtiaq Ahmed Choudhry, Nazir Ahmad Zafar, Mohammed S. Al-Zahrani |
| 2013 | Stability of a Cyber-physical Smart Grid System Using Cooperating Invariants. | Ashish Choudhari, Harini Ramaprasad, Tamal Paul, Jonathan W. Kimball, Maciej J. Zawodniok, Bruce M. McMillin, Sriram Chellappan |
| 2013 | The Service Design of Intelligent Robot (iRobot) for Entertainment. | Tung-Hsiang Chou |
| 2013 | Distributed Coordination of IoT-Based Services by Using a Graph Coloring Algorithm. | Jang-Ho Choi, Jae-Hyun Cho, Han-Gyu Ko, In-Young Ko |
| 2013 | Using Dependency Relations to Improve Test Case Generation from UML Statecharts. | Valentin Chimisliu, Franz Wotawa |
| 2013 | Heuristic Path Pruning Algorithm Based on Error Handling Pattern Recognition in Detecting Vulnerability. | Dong Chen, Yang Zhang, Liang Cheng, Yi Deng, Xiaoshan Sun |
| 2013 | Deriving Requirements Specification with Time: A Software Environment Ontology Based Approach. | Xiaohong Chen, Ronghua Ye, Haiying Sun, Hong Lu |
| 2013 | A IoT Application of Safe Building in IPv6 Network Environment. | Tseng-Yi Chen, Hsin-Wen Wei, Nien-I Hsu, Wei-Kuan Shih |
| 2013 | Describing Component Behavior Using Improved Chemical Abstract Machine. | Jinfu Chen, Qing Li, Huanhuan Wang, Rubing Huang |
| 2013 | Isolating and Understanding Program Errors Using Probabilistic Dispute Model. | Rong Chen, Yaqing Liu, Zhichun Jia, Jian Gao |
| 2013 | Maximum Power Tracking Controller for a Wind-Driven Permanent-Magnet Synchronous Generator: Using an Approach of Chaos Synchronization. | Jian-Liung Chen, Chia-Hung Lin, Bo-Wun Gu, Ming-Jyi Jang |
| 2013 | Integrating SVM Classifier and Distribution State Estimation for Detection and Identification of AMI Customer's Meter Data. | Shi-Jaw Chen, Chia-Hung Lin |
| 2013 | Security Software Based on Windows NDIS Filter Drivers. | Shin-Shung Chen, Tzong-Yih Kuo, Yu-Wen Chen |
| 2013 | Speed Control for Permanent Magnet Synchronous Motor System via Quasi-sliding Mode Control. | Hsin-Chieh Chen, Yi-You Hou, Meei-Ling Hung, Zhang-Lin Wan |
| 2013 | A Patrol Guidance Mechanism in a Context-Aware Environment. | Chin-Chih Chang, Judy C. R. Tseng, Hao-Yun Chang |
| 2013 | Solving the Distributed Trigger Counting Problem without Any Global Assumption. | Che-Cheng Chang, Jichiang Tsai |
| 2013 | Auction-Based Resource Provisioning with SLA Consideration on Multi-cloud Systems. | Chi-Chung Chang, Kuan-Chou Lai, Chao-Tung Yang |
| 2013 | An UML Behavior Diagram Based Automatic Testing Approach. | Chih-Hung Chang, Chih-Wei Lu, William C. Chu, Xin-Hao Huang, Dianxiang Xu, Tse-Chuan Hsu, Yu-Bin Lai |