| 2013 | 37th Annual IEEE Computer Software and Applications Conference, COMPSAC 2013, Kyoto, Japan, July 22-26, 2013 |
| 2013 | A Device Specification Method Using Doppler Effect of Acoustic Waves. Yasutaka Nishimura, Kiyohito Yoshihara |
| 2013 | A Divide and Conquer Approach to Model Checking of Liveness Properties. Kazuhiro Ogata, Min Zhang |
| 2013 | A Dynamic Countermeasure Method to Android Malware by User Approval. Makoto Kato, Saeko Matsuura |
| 2013 | A Dynamic SQL Injection Vulnerability Test Case Generation Model Based on the Multiple Phases Detection Approach. Lei Liu, Jing Xu, Minglei Li, Jufeng Yang |
| 2013 | A Framework for Dynamic Context-Awarable User Interfaces of the Second Screen Devices in a Home Network Environment. Jae Won Moon, Tae-Beom Lim, Kyung Won Kim, Seung-woo Kum, Myunghyun Yoon, Kwangsu Cho |
| 2013 | A Hexagonal Coverage LED-ID Indoor Positioning Based on TDOA with Extended Kalman Filter. Attaphongse Taparugssanagorn, Siwaruk Siwamogsatham, Carlos A. Pomalaza-Raez |
| 2013 | A IoT Application of Safe Building in IPv6 Network Environment. Tseng-Yi Chen, Hsin-Wen Wei, Nien-I Hsu, Wei-Kuan Shih |
| 2013 | A Market-in-Market Collaborative Model towards Application Marketplaces. Shih-Fang Chang |
| 2013 | A Mashup-Based Approach for Virtual SDN Management. Oscar Maurício Caicedo Rendón, Felipe Estrada Solano, Lisandro Zambenedetti Granville |
| 2013 | A Multiple Security Domain Model of a Drive-by-Wire System. Gerry Howser, Bruce M. McMillin |
| 2013 | A Perspective on Computer-Based Training, CBT. Takafumi Yoshida |
| 2013 | A Portable Method for Improving Available Bandwidth of PC Cluster. Takafumi Fukunaga |
| 2013 | A Practical Behavior Analysis of Video Application Users on Smart Phones. Norihiro Fukumoto, Shigehiro Ano, Shigeki Goto |
| 2013 | A Relationship-Based VM Placement Framework of Cloud Environment. Xiaodong Zhang, Ying Zhang, Xing Chen, Kai Liu, Gang Huang, Jianfeng Zhan |
| 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 Putschögl |
| 2013 | A Rigorous and Comprehensive Analysis of Effort for Modeling Aspect State Machines: Results from a Series of Controlled Experiments. Shaukat Ali, Tao Yue |
| 2013 | A Scalable DTN Routing Protocol for an Infra-less Communication System. Kazumine Ogura, Hirofumi Ueda, Norihito Fujita |
| 2013 | A Scalable and High-efficiency Discovery Service Using a New Storage. Minbo Li, Zhu Zhu, Guangyu Chen |
| 2013 | A Software Architecture for High-Level Development of Component-Based Distributed Virtual Reality Systems. Vasily Y. Kharitonov |
| 2013 | ARIGUMA Code Analyzer: Efficient Variant Detection by Identifying Common Instruction Sequences in Malware Families. Yang Zhong, Hirofumi Yamaki, Yukiko Yamaguchi, Hiroki Takakura |
| 2013 | Adaptive Test-Case Prioritization Guided by Output Inspection. Dan Hao, Xu Zhao, Lu Zhang |
| 2013 | Agent Redeployment and Missing Data Regathering in Mobile Wireless Sensor Networks. Kazuya Matsuo, Keisuke Goto, Akimitsu Kanzaki, Takahiro Hara, Shojiro Nishio |
| 2013 | An If-While-If Model-Based Performance Evaluation of Ranking Metrics for Spectra-Based Fault Localization. Chunyan Ma, Tian Tan, Yibo Chen, Yunwei Dong |
| 2013 | Analysis of the Key Factors for Software Quality in Crowdsourcing Development: An Empirical Study on TopCoder.com. Ke Li, Junchao Xiao, Yongji Wang, Qing Wang |
| 2013 | Analytics over Big Data: Exploring the Convergence of DataWarehousing, OLAP and Data-Intensive Cloud Infrastructures. Alfredo Cuzzocrea |
| 2013 | Application of the 0-1 Programming Model for Cost-Effective Regression Test. Hirohisa Aman, Manami Sasaki, Kei Kureishi, Hideto Ogasawara |
| 2013 | Assisted Human-in-the-Loop Adaptation of Web Pages for Mobile Devices. Chenjie Wei, Heesung Lee, Luke Molnar, Michael Herold, Rajiv Ramnath, Jay Ramanathan |
| 2013 | Automated Transformation of Template-Based Web Applications into Single-Page Applications. Jaewon Oh, Woo Hyun Ahn, Seungho Jeong, Jinsoo Lim, Taegong Kim |
| 2013 | Automatic Redemption of Free Parking in Shopping Malls. Chi-Lok Tsang, Yiu-Wing Leung |
| 2013 | Autonomous Data Transmission Using Off-Peak Hours for Cellular-Based M2M Communications. Takeshi Kitahara, Yasuhiko Hiehata, Hideyuki Koto, Norihiro Fukumoto, Hajime Nakamura, Shigehiro Ano |
| 2013 | Big Data - Opportunities and Challenges Panel Position Paper. Elisa Bertino |
| 2013 | Breeze/ADL: Graph Grammar Support for an XML-Based Software Architecture Description Language. Chen Li, Linpeng Huang, Luxi Chen, Chengyuan Yu |
| 2013 | Browser Synchronization System for Supporting Elderly People and IT Shortfalls. Naoya Hongo, Hiroshi Yamamoto, Katsuyuki Yamazaki |
| 2013 | Building a Body of Knowledge on Model Checking for Software Development. Kenji Taguchi, Hideaki Nishihara, Toshiaki Aoki, Fumihiro Kumeno, Koji Hayamizu, Koichi Shinozaki |
| 2013 | Bypassing Code Coverage Approximation Limitations via Effective Input-Based Randomized Test Case Prioritization. Bo Jiang, W. K. Chan |
| 2013 | CASAT-HOOMT: Computer Aided Software Analysis Tool Based on High Order Object-Oriented Modeling Technique. Fan Zhang, Jinwu Wang, Xiaoqing (Frank) Liu, Buqing Cao, Mingdong Tang |
| 2013 | CLINEX: An Inter-node Cross-Layer Cooperation Architecture to Adapt to Dynamically Changing Network Situation. Kazuma Yonemura, Kunitake Kaneko, Fumio Teraoka |
| 2013 | Cloud Client Prediction Models Using Machine Learning Techniques. Samuel A. Ajila, Akindele A. Bankole |
| 2013 | Clustering of Similar Malware Behavior via Structural Host-Sequence Comparison. Horng-Tzer Wang, Ching-Hao Mao, Te-En Wei, Hahn-Ming Lee |
| 2013 | Component-Based Modeling and Code Synthesis for Cyclic Programs. Min Zhou, Hai Wan, Chen Su, Liangze Yin, Lianyi Zhang, Fei He, Ming Gu |
| 2013 | Congestion Detection in Mobile Network towards Complex Event Processing. Tatsuya Takahashi, Hiroshi Yamamoto, Norihiro Fukumoto, Shigehiro Ano, Katsuyuki Yamazaki |
| 2013 | Conversation Characteristics during Pair Work in Computer Literacy Education. Kimiko Uchida, Yoshihiko Oya, Takashi Okuda |
| 2013 | Cyber/Physical Co-verification for Developing Reliable Cyber-physical Systems. Yu Zhang, Fei Xie, Yunwei Dong, Xingshe Zhou, Chunyan Ma |
| 2013 | DBPowder: A Flexible Object-Relational Mapping Framework Based on a Conceptual Model. Tadashi Murakami, Toshiyuki Amagasa, Hiroyuki Kitagawa |
| 2013 | Data Hiding Technique by Ternary Hamming Codes. Jyun-Jie Wang, Hong-Da Chen, Ting-Ya Yang, Houshou Chen, Chi-Yuan Lin |
| 2013 | Data Management and User Interface for a Call for Paper Manager. Laurent Issertial, Hiroshi Tsuji |
| 2013 | Delineato: A Diagramming User Interface Designed Using a "What You Get is What You Need" Approach. Pedro F. Campos, Fernando Miguel Campos, João Pestana |
| 2013 | Deriving Requirements Specification with Time: A Software Environment Ontology Based Approach. Xiaohong Chen, Ronghua Ye, Haiying Sun, Hong Lu |
| 2013 | Describing Component Behavior Using Improved Chemical Abstract Machine. Jinfu Chen, Qing Li, Huanhuan Wang, Rubing Huang |
| 2013 | Design and Implementation of the Dual-Axis Solar Tracking System. Tung-Sheng Zhan, Whei-Min Lin, Ming-Huang Tsai, Guo-Shiang Wang |
| 2013 | Design of Cooperative Load Distribution for Addressing Flash Crowds Using P2P File Sharing Network. Hiroki Okamoto, Ryosuke Matsumoto, Yasuo Okabe |
| 2013 | Determining Appropriate IT Systems Design Based on System Models. Sayaka Izukura, Kazuo Yanoo, Hiroshi Sakaki, Masato Kawatsu |
| 2013 | Development of Model Checker of Dynamic Linear Hybrid Automata. Ryo Yanase, Tatsunori Sakai, Makoto Sakai, Satoshi Yamane |
| 2013 | Distributed Coordination of IoT-Based Services by Using a Graph Coloring Algorithm. Jang-Ho Choi, Jae-Hyun Cho, Han-Gyu Ko, In-Young Ko |
| 2013 | Domain Hyponymy Hierarchy Discovery by Iterative Web Searching and Inferable Semantics Based Concept Selecting. Lili Mou, Ge Li, Zhi Jin |
| 2013 | Dynamical Re-striping Data on Storage Servers in Parallel File Systems. Jianwei Liao, Xiaoyan Liu, Yingshen Chen |
| 2013 | EINSPECT: Evolution-Guided Analysis and Detection of Malicious Web Pages. Birhanu Eshete, Adolfo Villafiorita, Komminist Weldemariam, Mohammad Zulkernine |
| 2013 | Efficient General Policy Decision by Using Mutable Variable Aware Cache. Liangxing Liu, Weili Han, Elisa Bertino, Tao Zhou, Xinyi Zhang |
| 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 Control Model to Ease Off Centralized Control of Flow-Based SDNs. Othman M. M. Othman, Koji Okamura |
| 2013 | Evaluation and Analysis of Spectrum-Based Fault Localization with Modified Similarity Coefficients for Software Debugging. Yi-Sian You, Chin-Yu Huang, Kuan-Li Peng, Chao-Jung Hsu |
| 2013 | Evaluation of Ontology-Based Checking of Software Requirements Specification. Dang Viet Dzung, Atsushi Ohnishi |
| 2013 | Evaluation of Software Architectures Reliability Based on Hypergraph Grammar. Xu Li, Linpeng Huang |
| 2013 | Examining Privacy Concern in Social-Driven Location Sharing: An Empirical Study on Chinese Popular SNSs. Jingtao Li, Chao Zhong, Zhen Cao, Wengang Pei, Xi Zhou |
| 2013 | Expose: Discovering Potential Binary Code Re-use. Beng Heng Ng, Atul Prakash |
| 2013 | Fault-Tolerant Wireless LAN Roaming System Using Client Certificates. Shunichi Kinoshita, Toshiki Watanabe, Yasuhiro Yamasaki, Hideaki Goto, Hideaki Sone |
| 2013 | File-Based Memory Management for Non-volatile Main Memory. Shuichi Oikawa, Satoshi Miki |
| 2013 | Finding Optimal Solution for Satisficing Non-functional Requirements via 0-1 Programming. Bin Yin, Zhi Jin, Wei Zhang, Haiyan Zhao, Bo Wei |
| 2013 | Formal Modelling of PLC Systems by BIP Components. Rui Wang, Yong Guan, Liming Luo, Xiaoyu Song, Jie Zhang |
| 2013 | Formalising Middleware Systems: A Design Pattern-Based Approach. Nelson Souto Rosa |
| 2013 | From Sub-patterns to Patterns: An Approach to the Detection of Structural Design Pattern Instances by Subgraph Mining and Merging. Dongjin Yu, Yanyan Zhang, Jianlin Ge, Wei Wu |
| 2013 | Further Theoretical Contributions to a Privacy Preserving Distributed OLAP Framework. Alfredo Cuzzocrea, Elisa Bertino |
| 2013 | Fuzzy c-Means Clustering Based Polarization Assessment in Intelligent Argumentation System for Collaborative Decision Support. Ravi Santosh Arvapally, Xiaoqing (Frank) Liu, Donald C. Wunsch II |
| 2013 | GenRe: A General Replication Scheme over an Abstraction of DHTs. Jingtao Li, Jie Zhang, Zhen Cao, Wengang Pei |
| 2013 | Generalized Logit Regression-Based Software Reliability Modeling with Metrics Data. Daisuke Kuwa, Tadashi Dohi |
| 2013 | HACCS: Home Appliance Control Concierge System: Extending Functions on Web Service. Tomoki Watanabe, Rika Mochizuki, Toru Kobayashi, Masao Isshiki |
| 2013 | Image Encryption Based on Fuzzy Synchronization of Chaos Systems. Chao-Lin Kuo, Lung-Chuan Huang, Shun-Jih Wang, Jui-Sheng Lin, Cheng-Chi Wang, Jun-Juh Yan |
| 2013 | Implementation Considerations in Enabling Visually Impaired Musicians to Read Sheet Music Using a Tablet. Laura Housley, Thomas Lynch, Rajiv Ramnath, Peter F. Rogers, Jayashree Ramanathan |
| 2013 | Industrial Experiences of Organizing a Hackathon to Assess a Device-centric Cloud Ecosystem. Mikko Raatikainen, Marko Komssi, Vittorio dal Bianco, Klas Kindström, Janne Järvinen |
| 2013 | Inferring Directed Static Networks of Influence from Undirected Temporal Networks. Taro Takaguchi, Nobuo Sato, Kazuo Yano, Naoki Masuda |
| 2013 | Integrating SVM Classifier and Distribution State Estimation for Detection and Identification of AMI Customer's Meter Data. Shi-Jaw Chen, Chia-Hung Lin |
| 2013 | Interaction Physical-Activity Housekeeper for Silver-Haired Citizen Using Wireless Sensor and Mobile Healthcare iPhone. Chia-Hung Lin, Chun-Chao Wang, Jian-Liung Chen, Yi-Pin Kuo, Wei-Ling Chen, Che-Wei Chang |
| 2013 | Interactive Verification of Safety-Critical Software. Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto |
| 2013 | Isolating and Understanding Program Errors Using Probabilistic Dispute Model. Rong Chen, Yaqing Liu, Zhichun Jia, Jian Gao |
| 2013 | Junosphere: Towards Professional Networks Education. Maria Salama, Ahmed Shawish |
| 2013 | Logical Analysis of Weighted Social Networks - An Extended Abstract. Tuan-Fang Fan, Churn-Jung Liau |
| 2013 | Maximum Power Tracking Controller for a Wind-Driven Permanent-Magnet Synchronous Generator: Using an Approach of Chaos Synchronization. Jian-Liung Chen, Chia-Hung Lin, Bo-Wun Gu, Ming-Jyi Jang |
| 2013 | Mining Test Oracles for Test Inputs Generated from Java Bytecode. Weifeng Xu, Tao Ding, Hanlin Wang, Dianxiang Xu |
| 2013 | Modeling and Analysis of Multi-version Concurrent Control. Chao Luo, Hiroyuki Okamura, Tadashi Dohi |
| 2013 | Modeling and Optimizing Resource Scheduling for Service Composition Based on Queuing Petri Nets. Guisheng Fan, Huiqun Yu, Liqiong Chen, Dongmei Liu |
| 2013 | Monitoring Based on IOSTS for Testing Functional and Security Properties: Application to an Automotive Case Study. Pramila Mouttappa, Stephane Maag, Ana R. Cavalli |
| 2013 | Multiple Home Agent Placement Considerations Based on Internet Service Provider Perspective in MobileIPv6. H. R. O. E. Dayaratna, Kunitake Kaneko, Fumio Teraoka |
| 2013 | Nested Pattern Queries Processing Optimization over Multi-dimensional Event Streams. Fuyuan Xiao, Masayoshi Aritsugi |
| 2013 | On Simplifying Mobile Mashup Application Development. Guan-Zhong Wu, Chen-Che Huang, Yui-Chey Teng, Jiun-Long Huang, Wei-Chih Ting, Yi-Yu Su, Pin-Chuan Liu |
| 2013 | On the Gain of Measuring Test Case Prioritization. Junpeng Lv, Bei-Bei Yin, Kai-Yuan Cai |
| 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 | OpenFlow Network Visualization Software with Flow Control Interface. Yasuhiro Watashiba, Seiichiro Hirabara, Susumu Date, Hirotake Abe, Kohei Ichikawa, Yoshiyuki Kido, Shinji Shimojo, Haruo Takemura |
| 2013 | Optimization of Object Queries on Collections Using Annotations for the String Valued Attributes. Venkata Krishna Suhas Nerella, Sanjay Kumar Madria, Thomas Weigert |
| 2013 | PROMIS: A Management Platform for Software Supply Networks Based on the Linked Data and OSLC. Mikio Aoyama, Kazuo Yabuta, Tsutomu Kamimura, Souichi Inomata, Toshiya Chiba, Takashi Niwa, Koji Sakata |
| 2013 | Parallelizing Probabilistic Streaming Skyline Operator in Cloud Computing Environments. Xiaoyong Li, Yijie Wang, Xiaoling Li, Yuan Wang, Rubing Huang |
| 2013 | Popularity, Interoperability, and Impact of Programming Languages in 100, 000 Open Source Projects. Tegawendé F. Bissyandé, Ferdian Thung, David Lo, Lingxiao Jiang, Laurent Réveillère |
| 2013 | Potential Semantics in Multi-modal Relevance Feedback Information for Image Retrieval. Jiyi Li, Qiang Ma, Yasuhito Asano, Masatoshi Yoshikawa |
| 2013 | Prioritizing Variable-Strength Covering Array. Rubing Huang, Jinfu Chen, Tao Zhang, Rongcun Wang, Yansheng Lu |
| 2013 | ProViNet - An Open Platform for Programmable Virtual Network Management. Wanderson Paim de Jesus, Juliano Araújo Wickboldt, Lisandro Zambenedetti Granville |
| 2013 | Promising XMPP Based Applications for Military and Defense Systems. Oral Gurel, Mehmet Ulas Cakir |
| 2013 | QTime: A Queuing-Time Notification System Based on Participatory Sensing Data. Yasha Wang, Jiangtao Wang, Xiaoyu Zhang |
| 2013 | RSSI Based Indoor Localization for Smartphone Using Fixed and Mobile Wireless Node. Md. Osman Gani, Casey O'Brien, Sheikh Iqbal Ahamed, Roger O. Smith |
| 2013 | Realtime Guidance System in Hospital Using PHS and Android Device. Ryoji Aoki, Hiroshi Yamamoto, Kei-ichi Iguchi, Katsuyuki Yamazaki |
| 2013 | Recursive Segmentation Procedure Based on the Akaike Information Criterion Test. Aki-Hiro Sato |
| 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 | SQAF-DS: A Software Quality Assessment Framework for Dependable Systems. Junbeom Yoo, Sanghyun Yoon |
| 2013 | Semantic-Enabled Clone Detection. Iman Keivanloo, Juergen Rilling |
| 2013 | SoR-Based Programmable Network for Future Software-Defined Network. Kenichi Takagiwa, Shinichi Ishida, Hiroaki Nishi |
| 2013 | Software Architecture Decomposition Using Clustering Techniques. Abdulaziz Alkhalid, Chung-Horng Lung, Duo Liu, Samuel Ajila |
| 2013 | Software Assurance: What Should We Do Next? Mohammad Zulkernine |
| 2013 | Software Requirements Elicitation - A Controlled Experiment to Measure the Impact of a Native Natural Language. Sajjad Mahmood, Samuel A. Ajila |
| 2013 | Solving the Distributed Trigger Counting Problem without Any Global Assumption. Che-Cheng Chang, Jichiang Tsai |
| 2013 | Speed Control for Permanent Magnet Synchronous Motor System via Quasi-sliding Mode Control. Hsin-Chieh Chen, Yi-You Hou, Meei-Ling Hung, Zhang-Lin Wan |
| 2013 | Stability of a Cyber-physical Smart Grid System Using Cooperating Invariants. Ashish Choudhari, Harini Ramaprasad, Tamal Paul, Jonathan W. Kimball, Maciej J. Zawodniok, Bruce M. McMillin, Sriram Chellappan |
| 2013 | Support System for Software Development Exercise that Utilizes Activity Data Collected in Real Time from the Development Environment. Takafumi Tanaka, Kazuki Mori, Hiroaki Hashiura, Atsuo Hazeyama, Seiichi Komiya |
| 2013 | Support Vector Machine-Based Fuzzy Inference Systems for Service Restoration Strategy in Micro-distribution Systems. Whei-Min Lin, Chia-Sheng Tu, Chia-Hung Lin |
| 2013 | Supporting Integration of COTS Components from a Perspective of Self-Adaptive Software Architecture. Shan Tang, Qiang Liu |
| 2013 | Supporting Keyword Selection in Generating Earth Science Metadata. Toshiyuki Shimizu, Tomo Sueki, Masatoshi Yoshikawa |
| 2013 | Test Strategies Using Operational Profiles Based on Decision Tables. Tomohiko Takagi, Zengo Furukawa, Yoshinobu Machida |
| 2013 | Testing versus Static Analysis of Maximum Stack Size. Mahdi Eslamimehr, Jens Palsberg |
| 2013 | The New Verification Method of Authenticity for Pottery and Porcelain Products: Application of the Artifact-Metrics Technology. Masaki Fujikawa, Fumihiko Oda, Kengo Moriyasu, Shingo Fuchi, Yoshikazu Takeda |
| 2013 | The Relationships among Presentation Mode, Product Type, Consumers' Product Knowledge, and Consumers' Purchase Intention in the E-Commerce Environment. Yu-Min Wang, Yi-Shun Wang, Ching-Hsuan Yeh, Min-Quan Xie |
| 2013 | The ReqWiki Approach for Collaborative Software Requirements Engineering with Integrated Text Analysis Support. Bahar Sateli, Elian Angius, René Witte |
| 2013 | Through the Internet of Things - A Management by Delegation Smart Object Aware System (MbDSAS). Marcelo Antonio Marotta, Felipe Jose Carbone, José Jair Cardoso de Santanna, Liane Margarida Rockenbach Tarouco |
| 2013 | Timing Synchronization of ZigBee Sensor Network for Ecology Observation. Atsushi Morikawa, Hiroshi Yamamoto, Katsuyuki Yamazaki |
| 2013 | Toward Collective Intelligence for Fighting Obesity. Ivor D. Addo, Sheikh Iqbal Ahamed, William C. Chu |
| 2013 | Toward Practical Software Reliability Assessment with Change-Point Based on Hazard Rate Models. Shinji Inoue, Shiho Hayashida, Shigeru Yamada |
| 2013 | Towards Formal Verification of a Commercial Wireless Router Firmware. Zheng Lu, Christopher Steinmuller, Supratik Mukhopadhyay |
| 2013 | Towards Optimal Disaster Recovery in Backbone Networks. Kien Nguyen, Quang Tran Minh, Shigeki Yamada |
| 2013 | UML based Security Function Policy Verification Method for Requirements Specification. Atsushi Noro, Saeko Matsuura |
| 2013 | Using Autonomous Air Vehicle in DTN Sensor Network for Environmental Observation. Phuong Tran Thi Ha, Hiroshi Yamamoto, Katsuyuki Yamazaki |
| 2013 | Verification and Implementation of the Protocol Standard in Train Control System. Yu Jiang, Hehua Zhang, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun |
| 2013 | Verifying Access Control Properties with Design by Contract: Framework and Lessons Learned. Carlos E. Rubio-Medrano, Gail-Joon Ahn, Karsten Sohr |
| 2013 | pLSM: A Highly Efficient LSM-Tree Index Supporting Real-Time Big Data Analysis. Jin Wang, Yong Zhang, Yang Gao, Chunxiao Xing |