| 2016 | Modelling Link State Routing in Event-B. | Mojgan Kamali, Luigia Petre |
| 2016 | A Collaborative Code Review Platform for GitHub. | Akshay Kalyan, Matthew Chiam, Jing Sun, Sathiamoorthy Manoharan |
| 2016 | Engineering Socially-Aware Systems and Applications. | Muhammad Ashad Kabir, Jun Han, Alan W. Colman, Naif R. Aljohani, Mohammed Basheri, Zhenchang Xing, Shang-Wei Lin |
| 2016 | An Experiment on Decision Diagrams for Model Checking Probabilistic Timed Automata. | Wei Ji, Farn Wang, Peng Wu, Yi Lv |
| 2016 | Pareto Optimal Scheduling for Synchronous Data Flow Graphs on Heterogeneous Multiprocessor. | Yu-Lei Gu, Xue-Yang Zhu, Guangquan Zhang, Yifan He |
| 2016 | Automatic Construction of Callback Model for Android Application. | Chenkai Guo, Quanqi Ye, Naipeng Dong, Guangdong Bai, Jin Song Dong, Jing Xu |
| 2016 | Verification of Nash-Equilibrium for Probabilistic BAR Systems. | Dileepa Fernando, Naipeng Dong, Cyrille Jgourel, Jin Song Dong |
| 2016 | TORUS: Tracing Complex Requirements for Large Cyber-Physical Systems. | Barry Dowdeswell, Roopak Sinha, Enrico Haemmerle |
| 2016 | Application of Organizational Process Asset Library in High Maturity Process Improvement. | Sidou Dong, Aihua Ren, Xin Wang |
| 2016 | Using Mobile Phone Based Camera to Read Information from a Li-Fi Source. | Sreesha Damodaran, Talal Shaikh, Nicholas K. Taylor |
| 2016 | Data Analysis of Digital Currency Networks: Namecoin Case Study. | Tao-Hung Chang, Davor Svetinovic |
| 2016 | Meduse: An Approach for Tailoring Software Development Process. | Sara J. Casare, Tewfik Ziadi, Anarosa Alves Franco Brando, Zahia Guessoum |
| 2016 | Experimental Frailty Model towards an Adaptable Service Delivery for Aging People. | Joaquim Bellmunt, Mounir Mokhtari, Bessam Abdulrazak, Hamdi Aloulou, Martin Kodys |
| 2016 | Detecting Inconsistencies in Rule-Based Reasoning for Ambient Intelligence. | Hamdi Aloulou, Romain Endelin, Mounir Mokhtari, Bessam Abdulrazak, Firas Kaddachi, Joaquim Bellmunt |
| 2015 | Combining Software Metrics and Text Features for Vulnerable File Prediction. | Yun Zhang, David Lo, Xin Xia, Bowen Xu, Jianling Sun, Shanping Li |
| 2015 | Formal Analysis of a Single Sign-On Protocol Implementation for Android. | Quanqi Ye, Guangdong Bai, Kailong Wang, Jin Song Dong |
| 2015 | Analyzing Security Property of Android Application Implementation Using Formal Method. | Quanqi Ye |
| 2015 | GPU Accelerated On-the-Fly Reachability Checking. | Zhimin Wu, Yang Liu, Jun Sun, Jianqi Shi, Shengchao Qin |
| 2015 | Parallel and Distributed Algorithms for Model Checking Problems (Doctoral Consortium). | Zhimin Wu |
| 2015 | Formal Development of a Real-Time Operating System Memory Manager. | Wen Su, Jean-Raymond Abrial, Geguang Pu, Bin Fang |
| 2015 | Requirements-Aided Automatic Test Case Generation for Industrial Cyber-physical Systems. | Roopak Sinha, Cheng Pang, Gerardo Santillan Martinez, Juha Kuronen, Valeriy Vyatkin |
| 2015 | Conversing at Many Layers: Multi-layer System-on-Chip Protocol Conversion. | Roopak Sinha |
| 2015 | A Make/Buy/Reuse Feature Development Framework for Product Line Evolution. | Juha Savolainen, Mike Mannion |
| 2015 | Verifying FreeRTOS' Cyclic Doubly Linked List Implementation: From Abstract Specification to Machine Code. | David Sann, Yang Liu, Yongwang Zhao, Zhenchang Xing, Mike Hinchey |
| 2015 | Multi-objectives Refinement of AADL Models for the Synthesis Embedded Systems (mu-RAMSES). | Smail Rahmoun, Etienne Borde, Laurent Pautet |