| IEICE Technical Committee Submission System Conference Schedule |
Online Proceedings [Sign in] Tech. Rep. Archives |
All Technical Committee Conferences (Searched in: All Years)
| Committee | Date Time | Place | Paper Title / Authors | Abstract | Paper # | |
| SS | 2014-03-11 10:30 |
Okinawa | Tenbusu Naha | Generation and Verification of Decision Table using SAT Solver Shinji Itoh, Naoto Sato, Hidetaka Kondoh, Kunihiko Miyazaki, Hiroki Mori, Makoto Kimura, Kiyoshi Yamaguchi (Hitachi)  SS2013-73 |
Use of a decision table is an effective method to prevent defects of combination patterns of conditions. However, it is ... [more] | SS2013-73 pp.7-11 |
| SS | 2014-03-11 11:30 |
Okinawa | Tenbusu Naha | Formal Verification Technique for Consistency Checking between equals and hashCode methods in Java Hiroaki Shimba, Hiroki Onoue, Kozo Okano, Shinji Kusumoto (Osaka Univ.) SS2013-75 |
Java classes must observe constraints on ``hashCode'' methods as well as ``equals'' methods, in order to behave correctl... [more] | SS2013-75 pp.19-24 |
| SS, MSS | 2014-01-31 09:55 |
Aichi | Bounded model checking based in SMT for CISC embedded assembly programs Atsushi Takeshita, Junpei Kobashi, Satoshi Yamane (Kanazawa Univ.) MSS2013-62 SS2013-59 |
In this paper,we describe the method of verification by bounded model checking based in SMT using Code Block for embedde... [more] | MSS2013-62 SS2013-59 pp.65-70 |
|
| IN, NV (Joint) |
2013-07-19 15:15 |
Hokkaido | Hokkaido Univ. Faculty of Eng. Academic Lounge 3 | Model Checking of OpenFlow Network with Abstraction of Packets Based on Symbolic Execution Yutaka Yakuwa, Nobuyuki Tomizawa, Toshio Tonouchi (NEC) IN2013-54 |
We propose a verification method of the OpenFlow network with the model checking, which can detect a loop routing and so... [more] | IN2013-54 pp.107-112 |
| HIP, HCS, HI-SIGCOASTER [detail] | 2013-05-31 11:10 |
Okinawa | Okinawa Industry Support Center | Spatio-temporal Data Mining on Turn-taking and Mental Workload between Collaborative Learners Katsunori Oyama, Masato Kaneko, Atsushi Takeuchi (Nihon Univ.) HCS2013-19 HIP2013-19 |
This study argues visualization method for monitoring changing situation of communication in a development team. A conce... [more] | HCS2013-19 HIP2013-19 pp.129-134 |
| KBSE | 2013-03-14 15:30 |
Tokyo | Shibaura Institute of Technology | Model checking potential deadlocks of DB transactions Takuya Saruwatari, Hideaki Tsukamoto, Shingo Kamiya, Shunsuke Miyata (NTT) KBSE2012-76 |
Improvement of IT system’s dependability using formal methods is expected. In a typical IT system development, formal me... [more] | KBSE2012-76 pp.43-48 |
| KBSE | 2013-03-15 11:25 |
Tokyo | Shibaura Institute of Technology | A proposal on architecture based verification case Shuichiro Yamamoto (Nagoya Univ.) KBSE2012-82 |
Although formal method is attracted to verify system correctness, it is not practical to verify every property of system... [more] | KBSE2012-82 pp.79-83 |
| NLC | 2012-12-19 16:20 |
Tokyo | Ookayama Campasu, Tokyo Institute of Technology | Recognizing Variations of Japanese "Good Morning" Phrases in Twitter Yoshinari Fujinuma (Univ. of Tokyo), Hikaru Yokono (NII), Pascual Martinez-Gomez, Akiko Aizawa (Univ. of Tokyo/NII) NLC2012-39 |
Recently, the rapid growth of Consumer Generated Media (CGM) such as Twitter introduced much expressive variations and i... [more] | NLC2012-39 pp.35-40 |
| DC | 2012-12-14 17:00 |
Fukui | Aossa (Fukui) | Verification of Automatic Block System for Single Line Using SMT Solver Natsuki Terada (RTRI) DC2012-79 |
Formal methods are expected to increase reliability of software, including that of signaling systems. We modeled the sp... [more] | DC2012-79 pp.31-36 |
| SWIM | 2012-11-30 11:00 |
Tokyo | Tokai Univ. Takanawa Campus(Tokyo) | Event-B Based Development for Mobile Applications Hitoshi Koshika, Yoshiyuki Shinkawa (Ryukoku Univ.) SWIM2012-16 |
The recent increasing complexity of software limits the improvement of its reliability and productivity through the trad... [more] | SWIM2012-16 pp.7-12 |
| SS, IPSJ-SE | 2012-11-01 13:15 |
Hiroshima | Hiroshima City University | Application of formal methods to network behavior dependent systems Nobuaki Yoshida (ASTEM), Han-Myung Chang, Atsushi Sawada (Nanzan Univ.), Yukihiro Nakamura (ASTEM) SS2012-39 |
In this paper, we study application of formal methods to“mobile systems”, which consist of wireless devices distributed ... [more] | SS2012-39 pp.35-40 |
| AP, WPT (Joint) |
2012-08-27 13:25 |
Niigata | Niigata Univ. | On Radiation Pattern of Curved Patch Antenna Hirokazu Kobayashi (Niigata Univ.) AP2012-73 |
In this paper we study the radiation characteristics of curved surface patch antenna by means of analytical approach. As... [more] | AP2012-73 pp.29-34 |
| ET | 2012-07-28 13:50 |
Miyagi | Tohoku Gakuin Univ. | Development of Communication Tool for Informal Learning in Small Group Godai Nakamura, Naoto Nakamura (C.I.T.) ET2012-23 |
Communication tools based on the Web, such as “Twitter” and “Facebook” have to not only recently been methods of simple... [more] | ET2012-23 pp.13-16 |
| EST | 2012-06-01 11:25 |
Tokyo | Aoyama Gakuin University(Aoyama Campus) | WEB Application for Calculating Transmission Line Parameters Tsugumichi Shibata (NTT) EST2012-2 |
A WEB application is presented, which generates transmission line parameters of various coplanar lines from their cross-... [more] | EST2012-2 pp.7-13 |
| COMP, IPSJ-AL | 2012-05-14 15:15 |
Ehime | Ehime University | On Context-free Languages That Cannot Be Recognized by Limited Backtrack Top-down Parsers Shunichi Matsubara (Aoyama Gakuin Univ.) COMP2012-11 |
Recently, deterministic parsing with bounded lookahead and limited backtrack top-down parsing have been used for parsing... [more] | COMP2012-11 pp.45-50 |
| SS | 2012-03-13 13:05 |
Okinawa | Tenbusu-Naha | A development assistance method for Ruby on Rails Application with Alloy Hiroaki Mizutani, Shoji Yuen (Nagoya Univ.) SS2011-64 |
We propose a development assistance method by converting Ruby on Rails Web application into Alloy models. Alloy analyzes... [more] | SS2011-64 pp.43-48 |
| SS, MSS | 2012-01-26 13:15 |
Kochi | Kochi City Culture-Plaza Cul-Port | On Transforming Communication Diagrams to State Machines of cbUML and Their Formal Semantics Yasuwo Hasegawa, Toshiyuki Miyamoto (Osaka Univ.) MSS2011-59 SS2011-44 |
On developing information system, the methodology to realize required specications by combine unit parts of system calle... [more] | MSS2011-59 SS2011-44 pp.27-32 |
| DC | 2011-12-16 14:30 |
Hyogo | A Safety Estimation of the ATPB System using UML and Formal Method Guo Xie, Hiroshi Mochizuki, Sei Takahashi, Hideo Nakamura (Nihon Univ.) DC2011-70 |
This paper models and makes a formal analysis of the train control system of a novel railway system, ATPB system, which ... [more] | DC2011-70 pp.13-16 |
|
| KBSE | 2011-11-11 13:20 |
Nagano | Shinshu Univ. | A Formal Verification Method by Transforming UML Models of Web Applications Takahiko Ohsuga (Waseda Univ.), Kouichi Ono (IBM), Yoshiaki Fukazawa (Waseda Univ.) KBSE2011-49 |
Model checking techniques are being applied to application software for formal verifications. Regarded as results of dev... [more] | KBSE2011-49 pp.79-84 |
| SS | 2011-10-28 11:15 |
Ishikawa | JAIST | Iterative Construction of Finite Alloy Descriptions Kei Kogai (Ibaraki National College of Technology), Shin Nakajima (NII), Yoshikazu Ueda (Ibaraki Univ.) SS2011-36 |
In a process of creating Alloy descriptions, it is often to analyze the descriptions by scoped Alloy commands. The comma... [more] | SS2011-36 pp.55-60 |
[Return to Top Page]