Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
MSS, CAS, IPSJ-AL [detail] |
2018-11-12 16:15 |
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 pp.43-47 |
SS, MSS |
2016-01-25 15:45 |
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 pp.63-68 |
SWIM |
2011-11-18 10:30 |
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 pp.7-12 |
IA, ICSS |
2011-06-17 13:00 |
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 pp.57-62 |
SWIM |
2011-02-25 13: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 pp.23-28 |
MSS, CAS |
2009-11-27 15:15 |
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 pp.83-88 |
ET |
2009-03-07 15:35 |
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] |
ET2008-129 pp.211-215 |
ET |
2008-10-17 11:20 |
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 pp.11-16 |
ISEC |
2007-12-19 17:00 |
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 pp.107-113 |
MSS |
2006-06-02 11:15 |
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 pp.19-24 |
CS, CAS, SIP |
2005-03-15 13:35 |
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 pp.59-62 |
NS, IN |
2005-03-04 10:10 |
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 pp.131-134 |
MSS |
2004-08-05 14:00 |
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 pp.1-6 |