18th International Conference on Engineering of Complex Computer Systems

8:00 – 8:30 Registration

8:30 – 9:00 Briefing

9:00 – 10:00 Key Note 1: Expressiveness of Notations for Reasoning about Concurrency, Cliff Jones

10:00 – 10:30 Tea Break

10:30 – 12:15 System Modeling and Verification 1

1. Modeling and Verification of Component-based Systems with Data Passing using BIP, Chen Su, Min Zhou, Liangze Yin, Hai Wan and Ming Gu.
2. Modeling and Verifying Real-time Properties of Reactive Systems, Fenglin Han, Peter Herrmann and Hien Le.
3. Knowledge-based verification of service compositions - An SMT approach, Sven Walther and Heike Wehrheim.
4. CosyVerif: An Open Source Extensible Verification Environment (short paper), Étienne André, Lom Messan Hillah, Francis Hulin-Hubard, Fabrice Kordon, Yousra Lembachar, Alban Linard and Laure Petrucci.

12:15 – 2:00 Lunch

2:00 – 3:30 System Evaluation

1. Measurements for Adaptation Level and Efficiency of Adaptive Software Systems, Wenpin Jiao.
2. Network Performance Evaluation for Distributed Embedded Systems Using Feature Models, Martin Manderscheid and Christian Prehofer.
3. A Model-Driven Approach for Evaluating System of Systems, Xiaokai Xia, Ji Wu, Chao Liu and Luo Xu.

3:30 – 4:00 Tea Break

4:00 – 5:30 Logic and Algorithm

1. An adequate logic for heterogeneous systems, Aiguier Marc, Golden Boris and Krob Daniel.
2. A Refinement Calculus for Promela, Asankhaya Sharma.
3. Reusing Search Tree for Incremental SAT Solving of Temporal Induction, Liangze Yin, Fei He, Min Zhou and Ming Gu.

9:00 – 10:00 Key Note 2: Hybrid Relation Calculus, Jifeng HE

10:00 – 10:30 Tea Break

10:30 – 12:15 System Modeling and Verification 2

1. Formal Modelling and Analysis of AODV, Xiaofeng Wu, J.W. Sanders and Huibiao Zhu.
2. Spatio-Temporal Properties Analysis for Cyber-Physical Systems, Zhucheng Shao and Jing Liu.
3. Using Bounded Fairness to Specify and Verify Ordered Asynchronous Multi-agent Systems, Qin Li and Graeme Smith.
4. Verifying TiMo systems in PAT - Automatic Analysis of TiMo Systems in PAT (short paper), Gabriel Ciobanu and Manchun Zheng.

12:15 – 2:00 Lunch

2:00 – 3:45 Real-time systems

1. Observer Patterns for Real-Time Systems, Étienne André.
2. Model-based Verification of Energy-aware Real-Time Automotive Systems, Eun-Young Kang, Gilles Perrouin and Pierre-Yves Schobbens.
3. Tool Support for the Analysis of TADL2 Timing Constraints using TimeSquare, Arda Goknil, Julien Deantoni, Marie-Agnes Peraldi-Frati and Frederic Mallet.
4. Model-driven performance prediction of distributed real-time embedded defence systems (short paper), Katrina Falkner, Vanea Chiprianov, Nickolas Falkner, Claudia Szabo, James Hill, Gavin Puddy, Daniel Fraser, Adrian Johnston, Marianne Rieckmann and Andrew Wallis.

3:45 – 4:15 Tea Break

4:15 – 5:30 Short Papers Session 1

1. Web Services Testing via Goal and Mutation, M Shaban Jokhio, Gillian Dobbie, Jing Sun and Tianming Hu.
2. GUI Ferret: GUI Test Tool to Analyze Complex Behavior of Multi-Window Applications, Hajime Nakajima, Takeshi Masuda and Ikuya Takahashi.
3. Merging Test Models, Mohamed Mussa and Ferhat Khendek.
4. History-based Test Case Prioritization with Software Version Awareness, Chu-Ti Lin, Cheng-Ding Chen, Chang-Shi Tsai and Gregory M. Kapfhammer.
5. Exploiting concurrency for the ESB architecture, Ridha Benosman, Kamel Barkaoui and Yves Albrieux.

6:00 Banquet

9:00 – 10:00 Key Note 3: Goal Model Elaboration for Software Evolution, Speaker: Shinichi Honiden

10:00 – 10:30 Tea Break

10:30 – 12:15 Non-functional property analysis: Security and Reliability

1. A Comprehensive Client-side Behavior Model for Diagnosing Attacks in Ajax Applications, Xinshu Dong, Kailas Patil, Jian Mao and Zhenkai Liang.
2. Protecting Web Browser Extensions from JavaScript Injection Attacks, Anton Barua, Mohammad Zulkernine and Komminist Weldemariam.
3. Automated Analysis of Reliability Architectures, Marco Bozzano, Alessandro Cimatti and Cristian Mattarei.
4. A Software Environment for Confining Malicious Android Applications via Resource Virtualization (short paper), Xiaolei Li, Guangdong Bai, Zhenkai Liang and Heng Yin.

12:15 – 2:00 Lunch

2:00 – 3:45 Software Engineering

1. How Do Developers Use APIs? A Case Study in Concurrency, Stefan Blom, Joseph Kiniry and Marieke Huisman.
2. Software Internationalization and Localization: An Industrial Experience, Xin Xia, David Lo, Feng Zhu, Xinyu Wang and Bo Zhou.
3. Runtime Prediction of Failure Modes from System Error Logs, Atef Shalan and Mohammad Zulkernine.
4. Orion: A Software Project Search Engine with Integrated Diverse Software Artifacts (short paper), Tegawendé F. Bissyandé, Ferdian Thung, David Lo, Lingxiao Jiang and Laurent RÉveillÈre.

3:45 – 4:15 Tea Break

4:15 – 5:30 Short Papers Session 2

1. Rigorous Analysis of Temporal Access Control Properties in Mobile Systems, Mustafa Al Lail, Ramadan Abdunabi, Robert France and Indrakshi Ray.
2. CARE: a platform for reliable Comparison and Analysis of Reverse-Engineering techniques, Sylvain Lamprier, Nicolas Baskiotis, Tewfik Ziadi and Lom Messan Hillah.
3. Resillent Architecture for Complex Computing Systems, Ichiro Satoh.
4. Linking Algebraic Semantics and Operational Semantics for Web Services using Maude, Peng Liu, Huibiao Zhu, Shengchao Qin and Phillip Brooke.
5. Game-based Monitors for Scenario-based Specification, Pengcheng Zhang, Jun Yu and Wenrui Li.