| 2014 | Towards an Institutional Representation for the B Model Oriented Specification. | Amine Achouri, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed |
| 2014 | Institution Theory for Services Oriented Applications. | Amine Achouri, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed |
| 2014 | Integration of Heterogeneous Policies for Trust Management. | Samane Abdi |
| 2014 | I Was Confused: Robust Accountability for Permission Delegation in Cloud Federations. | Samane Abdi |
| 2014 | Eliciting Relations from Natural Language Requirements Documents Based on Linguistic and Statistical Analysis. | Lin Liu, Tianying Li, Xiaoxi Kou |
| 2013 | Software Assurance: What Should We Do Next? | Mohammad Zulkernine |
| 2013 | Building Adaptive Accessible Context-Aware for User Interface Tailored to Disable Users. | Lamia Zouhaier, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed |
| 2013 | An Adaptive Control Strategy for Managing Concurrent Service Requests in Service-Based Systems. | Wenlong Zhu, Bei-Bei Yin, Kai-Yuan Cai, Dazhi Huang, Stephen S. Yau |
| 2013 | A Practical Study on Distributed Resolution Service for ICN. | Yuncheng Zhu, Akihiro Nakao |
| 2013 | Component-Based Modeling and Code Synthesis for Cyclic Programs. | Min Zhou, Hai Wan, Chen Su, Liangze Yin, Lianyi Zhang, Fei He, Ming Gu |
| 2013 | A Knowledge-Based Development Approach with Fact and Service for End-User in Cloud Computing. | Rui Zhou, Jing Li, Jinghan Wang, Guowei Wang |
| 2013 | Understanding Requirements for Online Services Based on Users' Behavioural Data Analysis. | Qing Zhou, Lin Liu |
| 2013 | ARIGUMA Code Analyzer: Efficient Variant Detection by Identifying Common Instruction Sequences in Malware Families. | Yang Zhong, Hirofumi Yamaki, Yukiko Yamaguchi, Hiroki Takakura |
| 2013 | A Three-Dimensional Approach to Evolving Software. | Shang Zheng, Hongji Yang |
| 2013 | Design and Implementation of the Dual-Axis Solar Tracking System. | Tung-Sheng Zhan, Whei-Min Lin, Ming-Huang Tsai, Guo-Shiang Wang |
| 2013 | A Home Gateway Box with Meter, Probe and L2 QoS Policy Edge. | Marat Zhanikeev |
| 2013 | A Practical Software Model for Content Aggregation in Browsers Using Recent Advances in HTML5. | Marat Zhanikeev |
| 2013 | A Distributed Protective Approach for Multiechelon Supply Systems. | Xiaoyi Zhang, Zheng Zheng, Yueni Zhu, Kai-Yuan Cai |
| 2013 | A Relationship-Based VM Placement Framework of Cloud Environment. | Xiaodong Zhang, Ying Zhang, Xing Chen, Kai Liu, Gang Huang, Jianfeng Zhan |
| 2013 | Cyber/Physical Co-verification for Developing Reliable Cyber-physical Systems. | Yu Zhang, Fei Xie, Yunwei Dong, Xingshe Zhou, Chunyan Ma |
| 2013 | CASAT-HOOMT: Computer Aided Software Analysis Tool Based on High Order Object-Oriented Modeling Technique. | Fan Zhang, Jinwu Wang, Xiaoqing (Frank) Liu, Buqing Cao, Mingdong Tang |
| 2013 | A Petri Net Based Model for Trustworthy Software Process Composition. | Xuan Zhang, Tong Li, Zhongwen Xie, Fei Dai, Jinzhuo Liu |
| 2013 | From Sub-patterns to Patterns: An Approach to the Detection of Structural Design Pattern Instances by Subgraph Mining and Merging. | Dongjin Yu, Yanyan Zhang, Jianlin Ge, Wei Wu |
| 2013 | Refinement Based Modeling of Workflow Applications Using UML Activity Diagrams. | Ahlem Ben Younes, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed, Rahma Jlassi |
| 2013 | Evaluation and Analysis of Spectrum-Based Fault Localization with Modified Similarity Coefficients for Software Debugging. | Yi-Sian You, Chin-Yu Huang, Kuan-Li Peng, Chao-Jung Hsu |