| 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 # | |
| 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 |
| 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 |
| 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 |
| 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-06-30 11:30 |
Overseas | Korea Univ. (Seoul) | An Introduction of a Formal Method in PBL: A Case Report Shinya Yamada, Tomohiro Iwamoto, Tsunayuki Shinozawa, Mitsuhide Honda, Ryo Miyashita (Kyushu Univ.), Takashi Iwasaki, Yasuo Inoue (FUJITSU QNET), Keijiro Araki, Shigeru Kusakabe, Yoichi Omori (Kyushu Univ.) SS2011-3 |
In this paper, we report our PBL whose aim is to establish a guideline to introduce formal methods into software develo... [more] |
SS2011-3 pp.11-16 |
| EMCJ, IEE-EMC | 2011-06-24 13:35 |
Kyoto | Kyoto Univ. | Effective Electromagnetic Simulation Techniques of Angled Interconnection Pattern by Using Hybrid Implicit-Explicit (HIE)-FDTD and Conformal FDTD (CFDTD) Methods Hideaki Muraoka, Masaki Unno, Shuichi Aono, Hideki Asai (Shizuoka Univ.) EMCJ2011-39 |
Due to orthogonal grids in conventional finite-difference time-domain (FDTD) methods, difficulty in modeling a complicat... [more] | EMCJ2011-39 pp.31-36 |
| SWIM | 2011-06-17 16:25 |
Tokyo | Kikai-Shinko-Kaikan Bldg. | Implementation of the Event-B models using Haskell Hitoshi Koshika, Yoshiyuki Shinkawa (Ryukoku Univ.) SWIM2011-7 |
Formal methods in early development stages are recognized more effective for quality and productivity of software, in co... [more] | SWIM2011-7 pp.31-36 |
| SWIM | 2010-11-19 15:25 |
Tokyo | Tokai Univ. Takanawa Campus(Tokyo) | Verification of UML Sequence Diagrams with Time Constraints Yoshihiro Yasuda, Yoshiyuki Shinkawa (Ryukoku Univ.) SWIM2010-23 |
Verification of the system specification is usually performed independently from three major different viewpoints, that ... [more] | SWIM2010-23 pp.39-44 |
| MSS | 2010-08-02 14:25 |
Ishikawa | Generating test cases for implementing concurrent systems based on the OTS/CafeOBJ method Takahiro Seino (AIST), Masaki Nakamura (Kanazawa Univ.) CST2010-33 |
In software developments with formal methods, there exists an unavoidable gap between a system description in formal spe... [more] | CST2010-33 pp.7-12 |
|
| USN, AN, MoNA (Joint) |
2010-01-22 14:50 |
Shizuoka | Actcity Hamamatsu | An Estimation Method of the Calendar Missing Events Using the Plural Schedules and Location Information Hisatsugu Matsuba, Yuusuke Kawakita (Univ. of Electro-comm.), Sunyong Kim, Miyuki Imada (NTT), Etsuko Suzuki, Haruhisa Ichikawa (Univ. of Electro-comm.) USN2009-69 |
In this manuscript, the estimation method to supplement an omission of events in the calendar was proposed, to achieve t... [more] | USN2009-69 pp.111-116 |
| COMP | 2009-10-16 16:00 |
Miyagi | Tohoku University | Breaking the Rectangle Bound Barrier against Formula Size Lower Bounds Kenya Ueno (Univ. of Tokyo) COMP2009-38 |
Karchmer, Kushilevitz and Nisan formulated the formula size problem as an integer programming problem called the rectang... [more] | COMP2009-38 pp.41-48 |
| R | 2008-10-17 15:25 |
Fukuoka | Kyusyu Institute of Technology | Application of Formal Methods to Signalling System based on Stepwise Refinement Natsuki Terada (RTRI) R2008-32 |
It is expected that formal methods enhance reliability of software. When the target system is large and complicated, st... [more] |
R2008-32 pp.27-32 |
| PRMU, DE | 2008-06-19 10:30 |
Hokkaido | Otaru-Shimin-Kaikan | A Comparison of Topologies in Rough Sets Theory and Formal Concept Analysis Hirofumi Miura, Tetsuya Murai, Seiki Ubukata (Hokkaido Univ.), Yasuo Kudo (Muroran IT) DE2008-6 PRMU2008-24 |
There are many mathematical methods of analyzing data in a form of table and, among them, formal concept analysis, and r... [more] | DE2008-6 PRMU2008-24 pp.31-34 |
| SS | 2008-03-03 11:25 |
Nagasaki | Nagasaki Univ. | Formal verification of multiple UML diagrams using bounded model checking Hisashi Miyazaki, Tomoyuki Yokogawa, Sadahito Sato, Yoichiro Sato, Michiyoshi Hayase (Okayama Prefectural Univ.) SS2007-60 |
In previous work, we have proposed a framework for verifying system designs by multiple UML diagrams using symbolic mode... [more] | SS2007-60 pp.19-24 |
| AI | 2007-12-13 15:00 |
Kyoto | Game theory for Design and Verification of Embedded Systems Satoshi Yamane (Kanazawa Univ.) AI2007-26 |
Embedded systems, from control systems to home information appliances, are increasingly deployed in safety-critical si... [more] |
AI2007-26 pp.31-36 |
|
| SS | 2007-10-22 15:45 |
Miyagi | Miyagi Univ. | Behavior Verification for Embedded Systems Focusing on System Contexts Hirotoshi Kanagawa, Toshiki Seto, Susumu Taniguchi, Jyun Yoshida, Naoyasu Ubayashi (KIT), Takeshi Sumi, Masayuki Hirayama (TOSHIBA) SS2007-32 |
Many of the embedded systems not only affect their external contexts through actuators but also are affected by their en... [more] | SS2007-32 pp.13-18 |
| SS | 2007-06-22 11:45 |
Ishikawa | JAIST | Formal Description and Verification of Domains Yasuhito Arimoto, Kokichi Futatsugi (JAIST) SS2007-15 |
In this paper, we propose a methodology for describing formal domain descriptions and verifying them by using OTS/Cafe... [more] |
SS2007-15 pp.35-40 |
[Return to Top Page]