1. Home
  2. Proceedings
  3. ICECCS
  4. ICECCS 2016
Default Cover Image

2016 21st International Conference on Engineering of Complex Computer Systems (ICECCS)

Nov. 6 2016 to Nov. 8 2016

Dubai, United Arab Emirates

Table of Contents

Title Page iFreely available from IEEE.pp. i-i
Title Page iiiFreely available from IEEE.pp. iii-iii
Copyright PageFreely available from IEEE.pp. iv-iv
Table of ContentsFreely available from IEEE.pp. v-vii
Message from Program ChairsFreely available from IEEE.pp. viii-viii
Conference OrganizationFreely available from IEEE.pp. ix-ix
Program CommitteeFreely available from IEEE.pp. x-x
ReviewersFreely available from IEEE.pp. xi-xi
KeynotesFull-text access may be available. Sign in or learn about subscription options.pp. xii-xv
Fostering Software Architect and Programmer CollaborationFull-text access may be available. Sign in or learn about subscription options.pp. 3-12
by Van Cam Pham, Shuai Li, Ansgar Radermacher, Sébastien Gérard, Chokri Mraidha
Formally Describing the Architectural Behavior of Software-Intensive Systems-of-Systems with SosADLFull-text access may be available. Sign in or learn about subscription options.pp. 13-22
by Flavio Oquendo
TORUS: Tracing Complex Requirements for Large Cyber-Physical SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 23-32
by Barry Dowdeswell, Roopak Sinha, Enrico Haemmerle
A Spatial Logic for Modeling and Verification of Collision-Free Control of VehiclesFull-text access may be available. Sign in or learn about subscription options.pp. 33-42
by Bingqing Xu, Qin Li
Stepwise Formal Modeling and Verification of Self-Adaptive Systems with Event-B. The Automatic Rover Protection Case StudyFull-text access may be available. Sign in or learn about subscription options.pp. 43-52
by Neeraj Kumar Singh, Yamine Aït-Ameur, Marc Pantel, Arnaud Dieumegard, Eric Jenn
Verification of Nash-Equilibrium for Probabilistic BAR SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 53-62
by Dileepa Fernando, Naipeng Dong, Cyrille Jegourel, Jin Song Dong
A Semantic Approach for Managing Trust and Uncertainty in Distributed Systems EnvironmentsFull-text access may be available. Sign in or learn about subscription options.pp. 63-70
by Fano Ramparany, Ravi Mondi, Yves Demazeau
Semantic Technologies for Realising Decentralised Applications for the Web of ThingsFull-text access may be available. Sign in or learn about subscription options.pp. 71-80
by Felix Leif Keppmann, Maria Maleshkova, Andreas Harth
Engineering Socially-Aware Systems and ApplicationsFull-text access may be available. Sign in or learn about subscription options.pp. 81-90
by Muhammad Ashad Kabir, Jun Han, Alan Colman, Naif R. Aljohani, Mohammed Basheri, Zhenchang Xing, Shang-Wei Lin
Pareto Optimal Scheduling for Synchronous Data Flow Graphs on Heterogeneous MultiprocessorFull-text access may be available. Sign in or learn about subscription options.pp. 91-100
by Yu-Lei Gu, Xue-Yang Zhu, Guangquan Zhang, Yifan He
Improving Quality of Use Case Documents through Learning and User InteractionFull-text access may be available. Sign in or learn about subscription options.pp. 101-110
by Shuang Liu, Jun Sun, Hao Xiao, Bimlesh Wadhwa, Jin Song Dong, Xinyu Wang
An Experiment on Decision Diagrams for Model Checking Probabilistic Timed AutomataFull-text access may be available. Sign in or learn about subscription options.pp. 111-121
by Wei Ji, Farn Wang, Peng Wu, Yi Lv
Data Analysis of Digital Currency Networks: Namecoin Case StudyFull-text access may be available. Sign in or learn about subscription options.pp. 122-125
by Tao-Hung Chang, Davor Svetinovic
Developing Multi-view Contracts Using Event-B and Uppaal Timed AutomataFull-text access may be available. Sign in or learn about subscription options.pp. 126-134
by Jüri Vain, Leonidas Tsiopoulos, Jishu Guin
Concurrent On-the-Fly SCC Detection for Automata-Based Model Checking with Fairness AssumptionFull-text access may be available. Sign in or learn about subscription options.pp. 135-144
by Zhimin Wu, Yi Xu, Akin Gunay, Yang Liu, Shengchao Qin
Universal Analysis and Detection Framework for Location Aided RoutingFull-text access may be available. Sign in or learn about subscription options.pp. 145-154
by Xin Zhang, Xiaohong Li, Zhiyong Feng, Guangquan Xu
Guiding the Selection of Security Patterns for Real-Time SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 155-164
by Anas Motii, Brahim Hamid, Agnes Lanusse, Jean-Michel Bruel
Using Mobile Phone Based Camera to Read Information from a Li-Fi SourceFull-text access may be available. Sign in or learn about subscription options.pp. 165-170
by Sreesha Damodaran, Talal Shaikh, Nicholas K Taylor
Towards SDN Network Proofs — Taming a Complex SystemFull-text access may be available. Sign in or learn about subscription options.pp. 171-180
by Matt Stevens, Bryan Ng, David Streader, Ian Welch
From Code to Design: A Reverse Engineering ApproachFull-text access may be available. Sign in or learn about subscription options.pp. 181-186
by Elliot Varoy, John Burrows, Jing Sun, Sathiamoorthy Manoharan
CostDL: A Cost Models Description Language for Performance Metrics in DatabaseFull-text access may be available. Sign in or learn about subscription options.pp. 187-190
by Abdelkader Ouared, Yassine Ouhammou, Ladjel Bellatreche
A Collaborative Code Review Platform for GitHubFull-text access may be available. Sign in or learn about subscription options.pp. 191-196
by Akshay Kalyan, Matthew Chiam, Jing Sun, Sathiamoorthy Manoharan
Meduse: An Approach for Tailoring Software Development ProcessFull-text access may be available. Sign in or learn about subscription options.pp. 197-200
by Sara Casare, Tewfik Ziadi, Anarosa Alves Franco Brandão, Zahia Guessoum
Bridging Missions and Architecture in Software-Intensive Systems-of-SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 201-206
by Eduardo Silva, Everton Cavalcante, Thais Batista, Flavio Oquendo
Modelling Link State Routing in Event-BFull-text access may be available. Sign in or learn about subscription options.pp. 207-210
by Mojgan Kamali, Luigia Petre
Towards a User-Guided Difference-Based Detection of Atomic ChangesFull-text access may be available. Sign in or learn about subscription options.pp. 211-214
by Djamel Eddine Khelladi, Reda Bendraou, Marie-Pierre Gervais
Extracting Permission-Based Specifications from a Sequential Java ProgramFull-text access may be available. Sign in or learn about subscription options.pp. 215-218
by Ayesha Sadiq, Yuan-Fang Li, Sea Ling, Ijaz Ahmed
Towards Using Concurrent Java API CorrectlyFull-text access may be available. Sign in or learn about subscription options.pp. 219-222
by Shuang Liu, Guangdong Bai, Jun Sun, Jin Song Dong
Application of Organizational Process Asset Library in High Maturity Process ImprovementFull-text access may be available. Sign in or learn about subscription options.pp. 223-226
by Sidou Dong, Aihua Ren, Xin Wang
Experimental Frailty Model towards an Adaptable Service Delivery for Aging PeopleFull-text access may be available. Sign in or learn about subscription options.pp. 227-230
by Joaquim Bellmunt, Mounir Mokhtari, Bessam Abdulzarak, Hamdi Aloulou, Martin Kodyš
Automatic Construction of Callback Model for Android ApplicationFull-text access may be available. Sign in or learn about subscription options.pp. 231-234
by Chenkai Guo, Quanqi Ye, Naipeng Dong, Guangdong Bai, Jin Song Dong, Jing Xu
Detecting Inconsistencies in Rule-Based Reasoning for Ambient IntelligenceFull-text access may be available. Sign in or learn about subscription options.pp. 235-240
by Hamdi Aloulou, Romain Endelin, Mounir Mokhtari, Bessam Abdulrazak, Firas Kaddachi, Joaquim Bellmunt
Author IndexFreely available from IEEE.pp. 241-242
Roster PageFreely available from IEEE.pp. 244-244
Showing 43 out of 43