18th International Conference on Engineering of Complex Computer Systems

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.

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.