| 2013 | Test Strategies Using Operational Profiles Based on Decision Tables. | Tomohiko Takagi, Zengo Furukawa, Yoshinobu Machida |
| 2013 | S-MAIDS: A Semantic Model for Automated Tuning, Correlation, and Response Selection in Intrusion Detection Systems. | Chris Strasburg, Samik Basu, Johnny S. Wong |
| 2013 | Using Security and Domain Ontologies for Security Requirements Analysis. | Amina Souag, Camille Salinesi, Isabelle Wattiau, Haris Mouratidis |
| 2013 | A Structural Analysis of SLAs and Dependencies Using Conceptual Modelling Approach. | William Wei Song, Aijaz Soomro, Yang Li, Qin Liu |
| 2013 | Supporting Keyword Selection in Generating Earth Science Metadata. | Toshiyuki Shimizu, Tomo Sueki, Masatoshi Yoshikawa |
| 2013 | Predictive Notification Service of Privacy Invasion on Posting Pictures to SNS. | Shigeru Shimada, Isao Echizen |
| 2013 | A Multi-order Markov Chain Based Scheme for Anomaly Detection. | Wenyao Sha, Yongxin Zhu, Tian Huang, Meikang Qiu, Yan Zhu, Qiannan Zhang |
| 2013 | Privacy Enhancing Proxies in Attribute Releases: Two Approaches. | Hiroyuki Sato, Yasuo Okabe, Takeshi Nishimura, Kazutsuna Yamaji, Motonori Nakamura |
| 2013 | Identifying User Authentication Methods on Connections for SSH Dictionary Attack Detection. | Akihiro Satoh, Yutaka Nakamura, Takeshi Ikenaga |
| 2013 | Recursive Segmentation Procedure Based on the Akaike Information Criterion Test. | Aki-Hiro Sato |
| 2013 | The ReqWiki Approach for Collaborative Software Requirements Engineering with Integrated Text Analysis Support. | Bahar Sateli, Elian Angius, Ren Witte |
| 2013 | Formal Modeling of Trust-Based Access Control in Dynamic Coalitions. | Nadim Sarrouh |
| 2013 | Partitioning Decision Process for Embedded Hardware and Software Deployment. | Gaetana Sapienza, Tiberiu Seceleanu, Ivica Crnkovic |
| 2013 | Junosphere: Towards Professional Networks Education. | Maria Salama, Ahmed Shawish |
| 2013 | Verifying Access Control Properties with Design by Contract: Framework and Lessons Learned. | Carlos E. Rubio-Medrano, Gail-Joon Ahn, Karsten Sohr |
| 2013 | Formalising Middleware Systems: A Design Pattern-Based Approach. | Nelson Souto Rosa |
| 2013 | A Mashup-Based Approach for Virtual SDN Management. | Oscar Maurcio Caicedo Rendn, Felipe Estrada Solano, Lisandro Zambenedetti Granville |
| 2013 | Implementation of Metadata Quality Metrics and Application on Public Government Data. | Konrad Johannes Reiche, Edzard Hfig |
| 2013 | Ontology-Based Classification of Non-functional Requirements in Software Specifications: A New Corpus and SVM-Based Classifier. | Abderahman Rashwan, Olga Ormandjieva, Ren Witte |
| 2013 | A Replicated Study on Random Test Case Generation and Manual Unit Testing: How Many Bugs Do Professional Developers Find? | Rudolf Ramler, Klaus Wolfmaier, Theodorich Kopetzky |
| 2013 | A Retrospection on Building a Custom Tool for Automated System Testing. | Rudolf Ramler, Werner Putschgl |
| 2013 | Design and Implementation of a Novel Weighted Shortest Path Algorithm for Maze Solving Robots. | Behnam Rahnama, Makbule Canan Ozdemir, Yunus Kiran, Atilla Eli |
| 2013 | Industrial Experiences of Organizing a Hackathon to Assess a Device-centric Cloud Ecosystem. | Mikko Raatikainen, Marko Komssi, Vittorio dal Bianco, Klas Kindstrm, Janne Jrvinen |
| 2013 | Empirical Effectiveness Evaluation of Spectra-Based Fault Localization on Automated Program Repair. | Yuhua Qi, Xiaoguang Mao, Yan Lei, Ziying Dai, Yudong Qi, Chengsong Wang |
| 2013 | Enhancing Diversity-Accuracy Technique on User-Based Top-N Recommendation Algorithms. | Wichian Premchaiswadi, Pittaya Poompuang, Nipat Jongsawat, Nucharee Premchaiswadi |