| 2013 | A Model-Driven Approach for Evaluating System of Systems. | Xiaokai Xia, Ji Wu, Chao Liu, Luo Xu |
| 2013 | Software Internationalization and Localization: An Industrial Experience. | Xin Xia, David Lo, Feng Zhu, Xinyu Wang, Bo Zhou |
| 2013 | Formal Modelling and Analysis of AODV. | Xiaofeng Wu, Jeff W. Sanders, Huibiao Zhu |
| 2013 | Knowledge-Based Verification of Service Compositions - An SMT Approach. | Sven Walther, Heike Wehrheim |
| 2013 | Modeling and Verification of Component-Based Systems with Data Passing Using BIP. | Chen Su, Min Zhou, Liangze Yin, Hai Wan, Ming Gu |
| 2013 | A Refinement Calculus for Promela. | Asankhaya Sharma |
| 2013 | Spatio-temporal Properties Analysis for Cyber-physical Systems. | Zhucheng Shao, Jing Liu, Zuohua Ding, Mingsong Chen, Ningkang Jiang |
| 2013 | Runtime Prediction of Failure Modes from System Error Logs. | Atef Shalan, Mohammad Zulkernine |
| 2013 | Resilient Architecture for Complex Computing Systems. | Ichiro Satoh |
| 2013 | GUI Ferret: GUI Test Tool to Analyze Complex Behavior of Multi-window Applications. | Hajime Nakajima, Takeshi Masuda, Ikuya Takahashi |
| 2013 | Merging Test Models. | Mohamed Mussa, Ferhat Khendek |
| 2013 | Network Performance Evaluation for Distributed Embedded Systems Using Feature Models. | Martin Manderscheid, Christian Prehofer |
| 2013 | Linking Algebraic Semantics and Operational Semantics for Web Services Using Maude. | Peng Liu, Huibiao Zhu, Shengchao Qin, Phillip J. Brooke, Xi Wu |
| 2013 | Using Bounded Fairness to Specify and Verify Ordered Asynchronous Multi-agent Systems. | Qin Li, Graeme Smith |
| 2013 | History-Based Test Case Prioritization with Software Version Awareness. | Chu-Ti Lin, Cheng-Ding Chen, Chang-Shi Tsai, Gregory M. Kapfhammer |
| 2013 | A Software Environment for Confining Malicious Android Applications via Resource Virtualization. | Xiaolei Li, Guangdong Bai, Zhenkai Liang, Heng Yin |
| 2013 | CARE: A Platform for Reliable Comparison and Analysis of Reverse-Engineering Techniques. | Sylvain Lamprier, Nicolas Baskiotis, Tewfik Ziadi, Lom-Messan Hillah |
| 2013 | Model-Based Verification of Energy-Aware Real-Time Automotive Systems. | Eun-Young Kang, Gilles Perrouin, Pierre-Yves Schobbens |
| 2013 | Expressiveness of Notations for Reasoning about Concurrency. | Cliff B. Jones |
| 2013 | Web Services Testing via Goal and Mutation. | M. Shaban Jokhio, Gillian Dobbie, Jing Sun, Tianming Hu |
| 2013 | Measurements for Adaptation Level and Efficiency of Adaptive Software Systems. | Wenpin Jiao |
| 2013 | Goal Model Elaboration for Software Evolution. | Shinichi Honiden |
| 2013 | Hybrid Relation Calculus. | Jifeng He |
| 2013 | Modeling and Verifying Real-Time Properties of Reactive Systems. | Fenglin Han, Peter Herrmann, Hien Le |
| 2013 | Tool Support for the Analysis of TADL2 Timing Constraints Using TimeSquare. | Arda Goknil, Julien DeAntoni, Marie-Agns Peraldi-Frati, Frdric Mallet |