Abstract is missing.
- Fostering Software Architect and Programmer CollaborationVan Cam Pham, Shuai Li, Ansgar Radermacher, Sebastien Gerard, Chokri Mraidha. 3-12 [doi]
- Formally Describing the Architectural Behavior of Software-Intensive Systems-of-Systems with SosADLFlávio Oquendo. 13-22 [doi]
- TORUS: Tracing Complex Requirements for Large Cyber-Physical SystemsBarry Dowdeswell, Roopak Sinha, Enrico Haemmerle. 23-32 [doi]
- A Spatial Logic for Modeling and Verification of Collision-Free Control of VehiclesBingqing Xu, Qin Li. 33-42 [doi]
- Stepwise Formal Modeling and Verification of Self-Adaptive Systems with Event-B. The Automatic Rover Protection Case StudyNeeraj Kumar Singh, Yamine Aït Ameur, Marc Pantel, Arnaud Dieumegard, Eric Jenn. 43-52 [doi]
- Verification of Nash-Equilibrium for Probabilistic BAR SystemsDileepa Fernando, Naipeng Dong, Cyrille Jégourel, Jin Song Dong. 53-62 [doi]
- A Semantic Approach for Managing Trust and Uncertainty in Distributed Systems EnvironmentsFano Ramparany, Ravi Mondi, Yves Demazeau. 63-70 [doi]
- Semantic Technologies for Realising Decentralised Applications for the Web of ThingsFelix Leif Keppmann, Maria Maleshkova, Andreas Harth. 71-80 [doi]
- Engineering Socially-Aware Systems and ApplicationsMuhammad Ashad Kabir, Jun Han, Alan W. Colman, Naif R. Aljohani, Mohammed Basheri, Zhenchang Xing, Shang-Wei Lin. 81-90 [doi]
- Pareto Optimal Scheduling for Synchronous Data Flow Graphs on Heterogeneous MultiprocessorYu-Lei Gu, Xue-Yang Zhu, Guangquan Zhang, Yifan He. 91-100 [doi]
- Improving Quality of Use Case Documents through Learning and User InteractionShuang Liu, Jun Sun, Hao Xiao, Bimlesh Wadhwa, Jin Song Dong, Xinyu Wang. 101-110 [doi]
- An Experiment on Decision Diagrams for Model Checking Probabilistic Timed AutomataWei Ji, Farn Wang, Peng Wu 0002, Yi Lv. 111-121 [doi]
- Data Analysis of Digital Currency Networks: Namecoin Case StudyTao-Hung Chang, Davor Svetinovic. 122-125 [doi]
- Developing Multi-view Contracts Using Event-B and Uppaal Timed AutomataJüri Vain, Leonidas Tsiopoulos, Jishu Guin. 126-134 [doi]
- Concurrent On-the-Fly SCC Detection for Automata-Based Model Checking with Fairness AssumptionZhimin Wu, Yi Xu, Akin Günay, Yang Liu, Shengchao Qin. 135-144 [doi]
- Universal Analysis and Detection Framework for Location Aided RoutingXin Zhang, Xiaohong Li, Zhiyong Feng, Guangquan Xu. 145-154 [doi]
- Guiding the Selection of Security Patterns for Real-Time SystemsAnas Motii, Brahim Hamid, Agnes Lanusse, Jean-Michel Bruel. 155-164 [doi]
- Using Mobile Phone Based Camera to Read Information from a Li-Fi SourceSreesha Damodaran, Talal Shaikh, Nicholas K. Taylor. 165-170 [doi]
- Towards SDN Network Proofs - Taming a Complex SystemMatt Stevens, Bryan Ng, David Streader, Ian Welch. 171-180 [doi]
- From Code to Design: A Reverse Engineering ApproachElliot Varoy, John Burrows, Jing Sun, Sathiamoorthy Manoharan. 181-186 [doi]
- CostDL: A Cost Models Description Language for Performance Metrics in DatabaseAbdelkader Ouared, Yassine Ouhammou, Ladjel Bellatreche. 187-190 [doi]
- A Collaborative Code Review Platform for GitHubAkshay Kalyan, Matthew Chiam, Jing Sun, Sathiamoorthy Manoharan. 191-196 [doi]
- Meduse: An Approach for Tailoring Software Development ProcessSara J. Casare, Tewfik Ziadi, Anarosa Alves Franco Brandão, Zahia Guessoum. 197-200 [doi]
- Bridging Missions and Architecture in Software-Intensive Systems-of-SystemsEduardo Silva, Everton Cavalcante, Thaís Vasconcelos Batista, Flávio Oquendo. 201-206 [doi]
- Modelling Link State Routing in Event-BMojgan Kamali, Luigia Petre. 207-210 [doi]
- Towards a User-Guided Difference-Based Detection of Atomic ChangesDjamel Eddine Khelladi, Reda Bendraou, Marie-Pierre Gervais. 211-214 [doi]
- Extracting Permission-Based Specifications from a Sequential Java ProgramAyesha Sadiq, Yuan-Fang Li, Sea Ling, Ijaz Ahmed. 215-218 [doi]
- Towards Using Concurrent Java API CorrectlyShuang Liu, Guangdong Bai, Jun Sun, Jin Song Dong. 219-222 [doi]
- Application of Organizational Process Asset Library in High Maturity Process ImprovementSidou Dong, Aihua Ren, Xin Wang. 223-226 [doi]
- Experimental Frailty Model towards an Adaptable Service Delivery for Aging PeopleJoaquim Bellmunt, Mounir Mokhtari, Bessam Abdulrazak, Hamdi Aloulou, Martin Kodys. 227-230 [doi]
- Automatic Construction of Callback Model for Android ApplicationChenkai Guo, Quanqi Ye, Naipeng Dong, Guangdong Bai, Jin Song Dong, Jing Xu. 231-234 [doi]
- Detecting Inconsistencies in Rule-Based Reasoning for Ambient IntelligenceHamdi Aloulou, Romain Endelin, Mounir Mokhtari, Bessam Abdulrazak, Firas Kaddachi, Joaquim Bellmunt. 235-240 [doi]