18th International Conference on Engineering of Complex Computer Systems


ACCEPTED PAPERS


Full Papers

  • Wenpin Jiao, Measurements for Adaptation Level and Efficiency of Adaptive Software Systems.
  • Marco Bozzano, Alessandro Cimatti and Cristian Mattarei, Automated Analysis of Reliability Architectures.
  • Xiaokai Xia, Ji Wu, Chao Liu and Luo Xu, A Model-Driven Approach for Evaluating System of Systems.
  • Qin Li and Graeme Smith, Using Bounded Fairness to Specify and Verify Ordered Asynchronous Multi-agent Systems.
  • Eun-Young Kang, Gilles Perrouin and Pierre-Yves Schobbens, Model-based Verification of Energy-aware Real-Time Automotive Systems.
  • Martin Manderscheid and Christian Prehofer, Network Performance Evaluation for Distributed Embedded Systems Using Feature Models.
  • Arda Goknil, Julien Deantoni, Marie-Agnes Peraldi-Frati and Frederic Mallet, Tool Support for the Analysis of TADL2 Timing Constraints using TimeSquare.
  • Liangze Yin, Fei He, Min Zhou and Ming Gu, Reusing Search Tree for Incremental SAT Solving of Temporal Induction.
  • Xinshu Dong, Kailas Patil, Jian Mao and Zhenkai Liang, A Comprehensive Client-side Behavior Model for Diagnosing Attacks in Ajax Applications.
  • Chen Su, Min Zhou, Liangze Yin, Hai Wan and Ming Gu, Model and Verify Component-based Systems with Data Passing using BIP.
  • Sven Walther and Heike Wehrheim, Knowledge-based verification of service compositions - An SMT approach.
  • Stefan Blom, Joseph Kiniry and Marieke Huisman, How Do Developers Use APIs? A Case Study in Concurrency.
  • Anton Barua, Mohammad Zulkernine and Komminist Weldemariam, Protecting Web Browser Extensions from JavaScript Injection Attacks.
  • Étienne André. , Observer Patterns for Real-Time Systems.
  • Xin Xia, David Lo, Feng Zhu, Xinyu Wang and Bo Zhou, Software Internationalization and Localization: An Industrial Experience.
  • Aiguier Marc, Golden Boris and Krob Daniel, An adequate logic for heterogeneous systems.
  • Asankhaya Sharma, A Refinement Calculus for Promela.
  • Fenglin Han, Peter Herrmann and Hien Le, Modeling and Verifying Real-time Properties of Reactive Systems.
  • Atef Shalan and Mohammad Zulkernine, Runtime Prediction of Failure Modes from System Error Logs.
  • Xiaofeng Wu, J W Sanders and Huibiao Zhu, Formal Modelling and Analysis of MANETs.
  • Zhucheng Shao and Jing Liu, Spatio-Temporal Properties Analysis for Cyber-Physical Systems.

  • Short Papers

  • M Shaban Jokhio, Gillian Dobbie, Jing Sun and Tianming Hu, Web Services Testing via Goal and Mutation.
  • Hajime Nakajima, Takeshi Masuda and Ikuya Takahashi, GUI Ferret: GUI Test Tool to Analyze Complex Behavior of Multi-Window Applications.
  • Pengcheng Zhang, Jun Yu and Wenrui Li, Game-based Monitors for Scenario-based specifications.
  • Katrina Falkner, Vanea Chiprianov, Nickolas Falkner, Claudia Szabo, James Hill, Gavin Puddy, Daniel Fraser, Adrian Johnston, Marianne Rieckmann and Andrew Wallis, Model-driven performance prediction of distributed real-time embedded defence systems.
  • Xiaolei Li, Guangdong Bai, Zhenkai Liang and Heng Yin, A Software Environment for Confining Malicious Android Applications via Resource Virtualization.
  • Chu-Ti Lin, Cheng-Ding Chen, Chang-Shi Tsai and Gregory M. Kapfhammer, History-based Test Case Prioritization with Software Version Awareness.
  • Ridha Benosman, Kamel Barkaoui and Yves Albrieux, Exploiting concurrency for the ESB architecture.
  • Mustafa Al Lail, Ramadan Abdunabi, Robert France and Indrakshi Ray, Rigorous Analysis of Temporal Access Control Properties in Mobile Systems.
  • Gabriel Ciobanu and Manchun Zheng, Verifying TiMo systems in PAT.
  • Étienne André, Lom Messan Hillah, Francis Hulin-Hubard, Fabrice Kordon, Yousra Lembachar, Alban Linard and Laure Petrucci, CosyVerif: An Open Source Extensible Verification Environment (Poster paper).
  • Tegawendé F. Bissyandé, Ferdian Thung, David Lo, Lingxiao Jiang and Laurent RÉveillÈre, Orion: A Software Project Search Engine with Integrated Diverse Software Artifacts.
  • Sylvain Lamprier, Nicolas Baskiotis, Tewfik Ziadi and Lom Messan Hillah, CARE: a platform for reliable Comparison and Analysis of Reverse-Engineering techniques.
  • Ichiro Satoh, Resillent Architecture for Complex Distributed Computing Systems.
  • Peng Liu, Huibiao Zhu, Shengchao Qin and Phillip Brooke, Linking the Semantics of BPEL using Maude.
  • Mohamed Mussa and Ferhat Khendek, Merging Test Models.