| 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 | 2011-06-30 11:00 |
Overseas | Korea Univ. (Seoul) | Verification of BPEL Workflows Design using Model Checking Ryosuke Nakashiro, Yasutaka Kamei, Naoyasu Ubayashi (Kyushu Univ.), Shin Nakajima (NII), Akihito Iwai (Denso)  SS2011-2 |
[more] | SS2011-2 pp.7-10 |
| SS | 2011-03-08 09:00 |
Okinawa | Okinawa-ken Seinen Kaikan | Modular Verification using Bounded Model Checking technique with Test Case Generation Yuusuke Hashimoto (Sokendai), Shin Nakajima (NII) SS2010-68 |
In bounded model checking technique, some approximation is introduced during the translation from a program to a finite ... [more] | SS2010-68 pp.91-96 |
| SS | 2010-08-05 15:30 |
Hokkaido | Asahikawa Shimin-Bunka-Kaikan (Civic Culture Hall) | Validation of System Requirements written in Event-B Shin Nakajima (NII) SS2010-23 |
[more] | SS2010-23 pp.41-46 |
| KBSE, SS | 2010-05-28 11:50 |
Kyoto | Doshisha University, Imadegawa Campus | Rewriting Logic Approach to Separating Policy Rules from Behavioral Specification Xiaoxi Dong, Shin Nakajima (NII) SS2010-11 KBSE2010-11 |
[more] | SS2010-11 KBSE2010-11 pp.63-68 |
| MSS | 2010-01-21 13:00 |
Aichi | Toyota Central R&D Labs. | A Comparative Study on Modeling for Verification
-- Cases from Embedded Sysitems Design -- Shin Nakajima (NII), Hirokazu Yatsu, Akira Nonaka, Shin Sahara (Tao Bears) CST2009-37 |
[more] | CST2009-37 pp.1-6 |
| SS | 2009-10-15 15:30 |
Nagano | Shinshu University | Aspectual Encapsulation of Web Application Features Reda Ahroum (NII), Keiji Hokamura (Kyusyu Inst. of Tech.), Daniel Balouek, Shin Nakajima (NII), Naoyasu Ubayashi (Kyusyu Inst. of Tech.) SS2009-31 |
[more] | SS2009-31 pp.13-18 |
| SS | 2009-10-16 10:00 |
Nagano | Shinshu University | Runtime Monitoring of Behavioral Specification Shin Nakajima (NII), Katsunori Imai (GLATTS Corp.), Tetsuo Tamai (Univ. of Tokyo) SS2009-32 |
[more] | SS2009-32 pp.19-24 |
| SS | 2009-10-16 10:30 |
Nagano | Shinshu University | A Study of Model Transformation Method Between UML and Simulink Satoshi Yoshida, Yoshikazu Ueda (Ibaraki Univ.), Shin Nakajima (NII) SS2009-33 |
Simulink, widely used in the development of embedded systems, is able to generate code automatically and simulate system... [more] | SS2009-33 pp.25-30 |
| SS | 2009-08-06 15:15 |
Hokkaido | Kitami Institute of Technology | Rodin Plugin to Link Event-B with SPIN Thomas Muller, Shin Nakajima (NII) SS2009-19 |
[more] | SS2009-19 pp.43-48 |
| SS | 2008-07-31 14:00 |
Hokkaido | Future University-Hakodate | AOP-based Requirements Monitoring for Web Applications Keiji Hokamura, Naoyasu Ubayashi (Kyushu Institute of Technology), Shin Nakajima (NII) SS2008-14 |
It is important to monitor requirements in order to ensure the system dependability against unpredicted user behavior be... [more] | SS2008-14 pp.7-12 |
| KBSE | 2007-09-11 13:00 |
Overseas | Kuala Lumpur | Formalization of FODA Feature Diagrams for Automatic Analysis Shin Nakajima (NII), Naoyasu Ubayashi (KIT) KBSE2007-24 |
[more] | KBSE2007-24 pp.55-60 |
| SS | 2007-08-03 10:45 |
Hokkaido | Hokkaido Univ. | Right-weight Formal Methods for Real-Time Components Shin Nakajima (NII) SS2007-27 |
Sampling abstraction with the maximum time elapse strategy might be an interesting alternative to the well known methods... [more] | SS2007-27 pp.65-70 |
| KBSE | 2006-11-25 13:20 |
Okinawa | Univ of Ryukyus(Faculty of engineering) | Constraint-based Software Design Shin Nakajima (NII) |
[more] | KBSE2006-42 pp.15-20 |
| SS | 2006-08-03 13:00 |
Hokkaido | Hokkaido University | Software Design Method using Extended Finite-state Automata with Constraints Shin Nakajima (NII) |
[more] | SS2006-25 pp.1-6 |
| SS | 2006-06-22 15:15 |
Okayama | Some Cases on Model-Checking of Finite-state Automaton with Constraints Shin Nakajima (NII/JST) |
[more] | SS2006-16 pp.19-24 |
|
| SS | 2006-02-02 14:00 |
Fukuoka | Fukuoka Laboratory for Emerging and Enabling Technology of SoC | Formal Verification of Refactoring with ESC/Java Shin Nakajima (NII), Yoshiaki Fukushima, Yusuke Hashimoto, Shinichi Iwasaki (NEC) |
[more] | SS2005-77 pp.7-12 |
| SS | 2005-08-04 13:30 |
Hokkaido | Otaru Univ. of commerce, Room 407 | Model-Checking of State Diagram with Priority Shin Nakajima (NII) |
[more] | SS2005-25 pp.7-12 |
| SS | 2005-03-14 14:30 |
Ishikawa | JAIST (IS 5F collabo#7) | Model-Checking of Software Design using State-Transition Systems Shin Nakajima (NII) |
(To be available after the conference date) [more] | SS2004-59 pp.19-24 |
[Return to Top Page]