| 2013 | 2013 18th International Conference on Engineering of Complex Computer Systems, Singapore, July 17-19, 2013 |
| 2013 | A Comprehensive Client-Side Behavior Model for Diagnosing Attacks in Ajax Applications. Xinshu Dong, Kailas Patil, Jian Mao, Zhenkai Liang |
| 2013 | A Model-Driven Approach for Evaluating System of Systems. Xiaokai Xia, Ji Wu, Chao Liu, Luo Xu |
| 2013 | A Refinement Calculus for Promela. Asankhaya Sharma |
| 2013 | A Software Environment for Confining Malicious Android Applications via Resource Virtualization. Xiaolei Li, Guangdong Bai, Zhenkai Liang, Heng Yin |
| 2013 | An Adequate Logic for Heterogeneous Systems. Marc Aiguier, Boris Golden, Daniel Krob |
| 2013 | Automated Analysis of Reliability Architectures. Marco Bozzano, Alessandro Cimatti, Cristian Mattarei |
| 2013 | Automatic Analysis of TiMo Systems in PAT. Gabriel Ciobanu, Manchun Zheng |
| 2013 | CARE: A Platform for Reliable Comparison and Analysis of Reverse-Engineering Techniques. Sylvain Lamprier, Nicolas Baskiotis, Tewfik Ziadi, Lom-Messan Hillah |
| 2013 | CosyVerif: An Open Source Extensible Verification Environment. Étienne André, Yousra Lembachar, Laure Petrucci, Francis Hulin-Hubard, Alban Linard, Lom Hillah, Fabrice Kordon |
| 2013 | Exploiting Concurrency for the ESB Architecture. Ridha Benosman, Kamel Barkaoui, Yves Albrieux |
| 2013 | Expressiveness of Notations for Reasoning about Concurrency. Cliff B. Jones |
| 2013 | Formal Modelling and Analysis of AODV. Xiaofeng Wu, Jeff W. Sanders, Huibiao Zhu |
| 2013 | GUI Ferret: GUI Test Tool to Analyze Complex Behavior of Multi-window Applications. Hajime Nakajima, Takeshi Masuda, Ikuya Takahashi |
| 2013 | Game-Based Monitors for Scenario-Based Specification. Pengcheng Zhang, Jun Yu, Wenrui Li, Hareton Leung |
| 2013 | Goal Model Elaboration for Software Evolution. Shinichi Honiden |
| 2013 | History-Based Test Case Prioritization with Software Version Awareness. Chu-Ti Lin, Cheng-Ding Chen, Chang-Shi Tsai, Gregory M. Kapfhammer |
| 2013 | How Do Developers Use APIs? A Case Study in Concurrency. Stefan Blom, Joseph Kiniry, Marieke Huisman |
| 2013 | Hybrid Relation Calculus. Jifeng He |
| 2013 | Knowledge-Based Verification of Service Compositions - An SMT Approach. Sven Walther, Heike Wehrheim |
| 2013 | Linking Algebraic Semantics and Operational Semantics for Web Services Using Maude. Peng Liu, Huibiao Zhu, Shengchao Qin, Phillip J. Brooke, Xi Wu |
| 2013 | Measurements for Adaptation Level and Efficiency of Adaptive Software Systems. Wenpin Jiao |
| 2013 | Merging Test Models. Mohamed Mussa, Ferhat Khendek |
| 2013 | Model-Based Verification of Energy-Aware Real-Time Automotive Systems. Eun-Young Kang, Gilles Perrouin, Pierre-Yves Schobbens |
| 2013 | Model-Driven Performance Prediction of Distributed Real-Time Embedded Defense Systems. Katrina Falkner, Vanea Chiprianov, Nickolas J. G. Falkner, Claudia Szabo, James Hill, Gavin Puddy, Daniel Fraser, Adrian Johnston, Marianne Rieckmann, Andrew Wallis |
| 2013 | Modeling and Verification of Component-Based Systems with Data Passing Using BIP. Chen Su, Min Zhou, Liangze Yin, Hai Wan, Ming Gu |
| 2013 | Modeling and Verifying Real-Time Properties of Reactive Systems. Fenglin Han, Peter Herrmann, Hien Le |
| 2013 | Network Performance Evaluation for Distributed Embedded Systems Using Feature Models. Martin Manderscheid, Christian Prehofer |
| 2013 | Observer Patterns for Real-Time Systems. Étienne André |
| 2013 | Orion: A Software Project Search Engine with Integrated Diverse Software Artifacts. Tegawendé F. Bissyandé, Ferdian Thung, David Lo, Lingxiao Jiang, Laurent Réveillère |
| 2013 | Protecting Web Browser Extensions from JavaScript Injection Attacks. Anton Barua, Mohammad Zulkernine, Komminist Weldemariam |
| 2013 | Resilient Architecture for Complex Computing Systems. Ichiro Satoh |
| 2013 | Reusing Search Tree for Incremental SAT Solving of Temporal Induction. Liangze Yin, Fei He, Min Zhou, Ming Gu |
| 2013 | Rigorous Analysis of Temporal Access Control Properties in Mobile Systems. Mustafa Al-Lail, Ramadan Abdunabi, Robert B. France, Indrakshi Ray |
| 2013 | Runtime Prediction of Failure Modes from System Error Logs. Atef Shalan, Mohammad Zulkernine |
| 2013 | Software Internationalization and Localization: An Industrial Experience. Xin Xia, David Lo, Feng Zhu, Xinyu Wang, Bo Zhou |
| 2013 | Spatio-temporal Properties Analysis for Cyber-physical Systems. Zhucheng Shao, Jing Liu, Zuohua Ding, Mingsong Chen, Ningkang Jiang |
| 2013 | Tool Support for the Analysis of TADL2 Timing Constraints Using TimeSquare. Arda Goknil, Julien Deantoni, Marie-Agnès Peraldi-Frati, Frédéric Mallet |
| 2013 | Using Bounded Fairness to Specify and Verify Ordered Asynchronous Multi-agent Systems. Qin Li, Graeme Smith |
| 2013 | Web Services Testing via Goal and Mutation. M. Shaban Jokhio, Gillian Dobbie, Jing Sun, Tianming Hu |