IEICE Technical Committee Submission System
Conference Schedule
Online Proceedings
[Sign in]
Tech. Rep. Archives
    [Japanese] / [English] 
( Committee/Place/Topics  ) --Press->
( Paper Keywords:  /  Column:Title Auth. Affi. Abst. Keyword ) --Press->

All Technical Committee Conferences  (Searched in: All Years)

Search Results: Conference Papers
 Conference Papers (Available on Advance Programs)  (Sort by: Date Descending)
 Results 1 - 16 of 16  /   
Committee Date Time Place Paper Title / Authors Abstract Paper #
MSS, CAS, SIP, VLD 2019-07-31
Iwate Iwate Univ. Structurally Liveness and Boundedness Analysis of Petri Nets Using Circuit Flow Calculating for Structures Covered by Marked Graph
Yojiro Harie, Katsumi Wasaki (Shinshu Univ.) CAS2019-18 VLD2019-24 SIP2019-34 MSS2019-18
 [more] CAS2019-18 VLD2019-24 SIP2019-34 MSS2019-18
MSS, CAS, IPSJ-AL [detail] 2018-11-12
Shizuoka   Stability Subnet Detection of Petri Net by Circuit Flow-Matrix Transformation
Yojiro Harie, Katsumi Wasaki (Shinshu Univ.) CAS2018-64 MSS2018-40
Petri net is a graphical and mathematical modeling tool describes distributed systems.
For dynamic analysis of Petri ne... [more]
CAS2018-64 MSS2018-40
MSS, CAS, IPSJ-AL [detail] 2018-11-12
Shizuoka   A Method for Improving Memory Efficiency of the Reachability Graph Generation Process in General Petri Nets
Kohei Fujimori, Yojiro Harie, Katsumi Wasaki (Shinshu Univ.) CAS2018-65 MSS2018-41
State space generator is one of the analysis functions of Petri net
design tool HiPS (Hierarchical Petri net Simulator)... [more]
CAS2018-65 MSS2018-41
MSS, CAS, IPSJ-AL [detail] 2016-11-24
Hyogo Kobe Institute of Computing Development and evaluation of on-the-fly model checking for a Petri net verification tool (HiPS)
Yojiro Harie, Katsumi Wasaki (Shinshu Univ.) CAS2016-63 MSS2016-43
This paper proposes an On-the-fly Fluent Linear Temporal Logic (FLTL) model checker using state space generation based o... [more] CAS2016-63 MSS2016-43
SS, MSS 2016-01-25
Ishikawa Shiinoki-Geihin-Kan On-the-fly Model Checker for a Petri Net Verification Tool(HiPS) by using Replacement LTL Formula to Event-Based Automaton
Yojiro Harie, Katsumi Wasaki (Shinshu Univ.) MSS2015-46 SS2015-55
This paper proposes an On-the-fly Linear Temporal Logic (LTL) model checker using state space generation based on the Pe... [more] MSS2015-46 SS2015-55
SWIM 2011-11-18
Tokyo Tokai Univ.(Takanawa) An Integrated Design and Verification Environment from Upstream Design to Model Checking Process -- Automatic Conversion from UML Descriptions into the Process Definitions and Linear Temporal Logic for SPIN Model Checker --
Naoki Miyamoto, Katsumi Wasaki (Shinshu Univ) SWIM2011-19
To execute a SPIN model checker, the targeted model has to be described by the dedicated specification description langu... [more] SWIM2011-19
IA, ICSS 2011-06-17
Fukuoka Kyushu Institute of Technology Detecting Original Entry Point based on Comparing Runtime Library Codes in Malware Unpacking
Kazuki Iwamoto, Katsumi Wasaki (Shinshu Univ.) IA2011-10 ICSS2011-10
Almost malwares are compressed or encrypted by packer.
So we can't analyse them directly.
Several methods to extract a... [more]
IA2011-10 ICSS2011-10
SWIM 2011-02-25
Tokyo Kikai-Shinko-Kaikan Bldg. Automatic Generation from UML Activity Diagram to SPIN Model Checking Code and its Application to Web Application Design
Yutaka Yamada, Katsumi Wasaki (Shinshu Univ.) SWIM2010-29
The UML activity diagram is suitable for the expression of the work flow, and it expresses behavior at each stage of dev... [more] SWIM2010-29
MSS, CAS 2009-11-27
Aichi Nagoya University The Design of distributed algorithm for information gathering by using Petri Net
Shin'nosuke Yamaguchi (Kyushu Inst. of Tech.), Katsumi Wasaki, Yasunari Shidama (Shinshu Univ) CAS2009-59 CST2009-32
 [more] CAS2009-59 CST2009-32
ET 2009-03-07
Kagawa   The Method of Mathmatical Exercises on the web by using Assignment Module of Moodle
Tatsuo Miwa (Anet Corp.), Hideko Kobayashi, Ryota Kobayashi, Hiroyuki Okazaki (Shinshu Univ), Noboru Endo (Gifu National Coll. of Tech.), Katsumi Wasaki, Yasunari Shidama (Shinshu Univ) ET2008-129
We have developed the training module working on Moodle in order to foster not only the mathematically
logical thinking... [more]
ET 2008-10-17
Okayama   A Development of CMS/Moodle Assignment Module for Interactive Mathematical Exercises by using Mizar Proof Checking System in Formalized Mathematics.
Tatsuo Miwa (anet), Katsumi Wasaki (Shinshu Univ), Noboru Endo (gifu-nct), Yasunari Shidama (Shinshu Univ) ET2008-41
e have developed the module which is working on Moodle known as Open Source CMS(Course Management System) or LMS(Learnin... [more] ET2008-41
ISEC 2007-12-19
Tokyo Kikai-Shinko-Kaikan Bldg. Classification and feature extraction by using computer virus static analysis
Kazuki Iwamoto (JCSR), Katsumi Wasaki (Shinshu Univ.) ISEC2007-127
About the variant judgment of the computer virus, we consider the method of classification and feature extraction based ... [more] ISEC2007-127
MSS 2006-06-02
Ishikawa Ishikawa Science Park A Java/PNML Verification Framework for Concurrent System Design based on an Extended Petri Net
Shin'nosuke Yamaguchi (KIT), Katsumi Wasaki, Yasunari Shidama (Shinshu Univ.)
 [more] CST2006-9
CS, CAS, SIP 2005-03-15
Okayama Okayama Prefectural University Development of long range Wireless LAN complied with IEEE802.11g for mountain areas
Masayuki Nakamura (Information Technology Research Institute of Nagano Prefecture), Kiyoshi Einaga (Mitsubishi Cable Industries), Ryuichi Takizawa, Hiroshi Shimizu (Information Technology Research Institute of Nagano Prefecture), Katsumi Wasaki, Yasunari Shidama (Shinshu Univ.)
The broadband network such as ADSL and FTTH has been available in urban areas and suburban areas. Meanwhile, these are s... [more] CAS2004-107 SIP2004-150 CS2004-243
NS, IN 2005-03-04
Okinawa Okinawa Zanpa-misaki Royal An IP address free Authentication Gateway
Go Yamashita, Masaaki Niimura (Shinshu Univ.), Hisayoshi Kunimune, Katsumi Wasaki, Yasushi Fuwa (Graduate School of Shinshu Univ.)
Recently, networks used in offices are equipped with authentication gateways to ensure proper security. In this method, ... [more] NS2004-269 IN2004-269
MSS 2004-08-05
Hokkaido Hokkai Gakuen University A Design Tool for the Distributed Parallel Systems based on An Extended Petri Net and Java Executor
Shin'nosuke Yamaguchi (KIT), Katsumi Wasaki, Yasunari Shidama (Shinshu Univ.)
 [more] CST2004-16
 Results 1 - 16 of 16  /   
Choose a download format for default settings. [NEW !!]
Text format pLaTeX format CSV format BibTeX format
Copyright and reproduction : All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (License No.: 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)

[Return to Top Page]

[Return to IEICE Web Page]

The Institute of Electronics, Information and Communication Engineers (IEICE), Japan