| 2016 | 21st International Conference on Engineering of Complex Computer Systems, ICECCS 2016, Dubai, United Arab Emirates, November 6-8, 2016 Hai Wang, Mounir Mokhtari |
| 2016 | A Collaborative Code Review Platform for GitHub. Akshay Kalyan, Matthew Chiam, Jing Sun, Sathiamoorthy Manoharan |
| 2016 | A Semantic Approach for Managing Trust and Uncertainty in Distributed Systems Environments. Fano Ramparany, Ravi Mondi, Yves Demazeau |
| 2016 | A Spatial Logic for Modeling and Verification of Collision-Free Control of Vehicles. Bingqing Xu, Qin Li |
| 2016 | An Experiment on Decision Diagrams for Model Checking Probabilistic Timed Automata. Wei Ji, Farn Wang, Peng Wu, Yi Lv |
| 2016 | Application of Organizational Process Asset Library in High Maturity Process Improvement. Sidou Dong, Aihua Ren, Xin Wang |
| 2016 | Automatic Construction of Callback Model for Android Application. Chenkai Guo, Quanqi Ye, Naipeng Dong, Guangdong Bai, Jin Song Dong, Jing Xu |
| 2016 | Bridging Missions and Architecture in Software-Intensive Systems-of-Systems. Eduardo Silva, Everton Cavalcante, Thaís Vasconcelos Batista, Flávio Oquendo |
| 2016 | Concurrent On-the-Fly SCC Detection for Automata-Based Model Checking with Fairness Assumption. Zhimin Wu, Yi Xu, Akin Günay, Yang Liu, Shengchao Qin |
| 2016 | CostDL: A Cost Models Description Language for Performance Metrics in Database. Abdelkader Ouared, Yassine Ouhammou, Ladjel Bellatreche |
| 2016 | Data Analysis of Digital Currency Networks: Namecoin Case Study. Tao-Hung Chang, Davor Svetinovic |
| 2016 | Detecting Inconsistencies in Rule-Based Reasoning for Ambient Intelligence. Hamdi Aloulou, Romain Endelin, Mounir Mokhtari, Bessam Abdulrazak, Firas Kaddachi, Joaquim Bellmunt |
| 2016 | Developing Multi-view Contracts Using Event-B and Uppaal Timed Automata. Jüri Vain, Leonidas Tsiopoulos, Jishu Guin |
| 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 | Experimental Frailty Model towards an Adaptable Service Delivery for Aging People. Joaquim Bellmunt, Mounir Mokhtari, Bessam Abdulrazak, Hamdi Aloulou, Martin Kodys |
| 2016 | Extracting Permission-Based Specifications from a Sequential Java Program. Ayesha Sadiq, Yuan-Fang Li, Sea Ling, Ijaz Ahmed |
| 2016 | Formally Describing the Architectural Behavior of Software-Intensive Systems-of-Systems with SosADL. Flávio Oquendo |
| 2016 | Fostering Software Architect and Programmer Collaboration. Van Cam Pham, Shuai Li, Ansgar Radermacher, Sebastien Gerard, Chokri Mraidha |
| 2016 | From Code to Design: A Reverse Engineering Approach. Elliot Varoy, John Burrows, Jing Sun, Sathiamoorthy Manoharan |
| 2016 | Guiding the Selection of Security Patterns for Real-Time Systems. Anas Motii, Brahim Hamid, Agnes Lanusse, Jean-Michel Bruel |
| 2016 | Improving Quality of Use Case Documents through Learning and User Interaction. Shuang Liu, Jun Sun, Hao Xiao, Bimlesh Wadhwa, Jin Song Dong, Xinyu Wang |
| 2016 | Meduse: An Approach for Tailoring Software Development Process. Sara J. Casare, Tewfik Ziadi, Anarosa Alves Franco Brandão, Zahia Guessoum |
| 2016 | Modelling Link State Routing in Event-B. Mojgan Kamali, Luigia Petre |
| 2016 | Pareto Optimal Scheduling for Synchronous Data Flow Graphs on Heterogeneous Multiprocessor. Yu-Lei Gu, Xue-Yang Zhu, Guangquan Zhang, Yifan He |
| 2016 | Semantic Technologies for Realising Decentralised Applications for the Web of Things. Felix Leif Keppmann, Maria Maleshkova, Andreas Harth |
| 2016 | Stepwise Formal Modeling and Verification of Self-Adaptive Systems with Event-B. The Automatic Rover Protection Case Study. Neeraj Kumar Singh, Yamine Aït Ameur, Marc Pantel, Arnaud Dieumegard, Eric Jenn |
| 2016 | TORUS: Tracing Complex Requirements for Large Cyber-Physical Systems. Barry Dowdeswell, Roopak Sinha, Enrico Haemmerle |
| 2016 | Towards SDN Network Proofs - Taming a Complex System. Matt Stevens, Bryan C. K. Ng, David Streader, Ian Welch |
| 2016 | Towards Using Concurrent Java API Correctly. Shuang Liu, Guangdong Bai, Jun Sun, Jin Song Dong |
| 2016 | Towards a User-Guided Difference-Based Detection of Atomic Changes. Djamel Eddine Khelladi, Reda Bendraou, Marie-Pierre Gervais |
| 2016 | Universal Analysis and Detection Framework for Location Aided Routing. Xin Zhang, Xiaohong Li, Zhiyong Feng, Guangquan Xu |
| 2016 | Using Mobile Phone Based Camera to Read Information from a Li-Fi Source. Sreesha Damodaran, Talal Shaikh, Nicholas K. Taylor |
| 2016 | Verification of Nash-Equilibrium for Probabilistic BAR Systems. Dileepa Fernando, Naipeng Dong, Cyrille Jégourel, Jin Song Dong |