| 2015 | SeBip: A Symbolic Executor for BIP. | Qiang Wang, Simon Bliudze |
| 2015 | Design and Evaluation of Feature Distributed Malware Attacks against the Internet of Things (IoT). | Byungho Min, Vijay Varadharajan |
| 2015 | A Formal Framework for Reasoning Emergent Behaviors in Swarm Robotic Systems. | Qin Li, Jinxun Wang, Qiwen Xu, Yanhong Huang, Huibiao Zhu |
| 2015 | An Invariant Inference Framework by Active Learning and SVMs. | Jiaying Li |
| 2015 | Hardened Flow-Sensitive Trace Formula for Fault Localization. | Si-Mohamed Lamraoui, Shin Nakajima, Hiroshi Hosobe |
| 2015 | Comparing Routing Protocols. | Mojgan Kamali, Luigia Petre |
| 2015 | Improved Recovery for Proactive, Distributed Routing. | Mojgan Kamali, Luigia Petre |
| 2015 | Probabilistic Denotational Semantics for an Interrupt Modelling Language. | Yanhong Huang, Yongxin Zhao, Shengchao Qin, Jifeng He |
| 2015 | Formal Certification of Non-interferent Android Bytecode (DEX Bytecode). | Hendra Gunadi |
| 2015 | Web Application Architecture Security Evaluation Method Based on AADL. | Shaoguang Geng, Xiaohong Li, Zhiyong Feng, Da-Zhi Sun |
| 2015 | Security Concepts as Add-On for Process Models. | Jacob Geisel, Brahim Hamid, Jean-Michel Bruel |
| 2015 | Sports Strategy Analytics Using Probabilistic Reasoning. | Jin Song Dong, Ling Shi, Le Vu Nguyen Chuong, Kan Jiang, Jing Sun |
| 2015 | Towards a Session Logic for Communication Protocols. | Florin Craciun, Tibor Kiss, Andreea Costea |
| 2015 | The Complexity of Deadline Analysis for Workflow Graphs with a Single Resource. | Mirela Botezatu, Hagen Vlzer, Lothar Thiele |
| 2015 | All Your Sessions Are Belong to Us: Investigating Authenticator Leakage through Backup Channels on Android. | Guangdong Bai, Jun Sun, Jianliang Wu, Quanqi Ye, Li Li, Jin Song Dong, Shanqing Guo |
| 2015 | Fitness Landscape Characterisation for Constrained Software Architecture Optimisation Problems. | Aldeida Aleti, Irene Moser |
| 2015 | Semantic Network Model: A Reasoning Engine for Software Requirements. | Kushal Ahmed, Lian Wen, Abdul Sattar, Reza Farid |
| 2015 | Improving Tenants' Trust in SaaS Applications Using Dynamic Security Monitors. | Mohamed Almorsy Abdelrazek, John Grundy, Amani S. Ibrahim |
| 2015 | Architecture Exploration of Real-Time Systems Based on Multi-objective Optimization. | Rahma Bouaziz, Laurent Lemarchand, Frank Singhoff, Bechir Zalila, Mohamed Jmaiel |
| 2014 | A Thread Behavior-Based Memory Management Framework on Multi-core Smartphone. | Zongwei Zhu, Xi Li, Hengchang Liu, Cheng Ji, Yuan Xu, Xuehai Zhou, Beilei Sun |
| 2014 | QScheduler: A Tool for Parallel Query Processing in Database Systems. | Qing-Feng Zhang, Shan-Shan Li, Jing Xu |
| 2014 | An Executable Semantics of SystemC Transaction Level Models and Its Applications with VERDS. | Naiju Zeng, Wenhui Zhang |
| 2014 | A Behavior-Aware Systematic Approach for Merging Business Process Fragments. | Mohamed Anis Zemni, Amel Mammar, Nejib Ben Hadj-Alouane |
| 2014 | Clause Replication and Reuse in Incremental Temporal Induction. | Liangze Yin, Fei He, Ming Gu, Jia-Guang Sun |
| 2014 | Automatic Defect Categorization Based on Fault Triggering Conditions. | Xin Xia, David Lo, Xinyu Wang, Bo Zhou |