Katsumi Wasaki - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 37 from 37

2023

Man-machine Cooperative Monitoring System to Support Detection of DoS/DDoS Attacks Through Continuous SOM Diagram GenerationHikofumi Suzuki, Akiyoshi Iwasa, Takumi Uchiyama, Katsumi Wasaki. nana 2023: 558-567 [doi]

Automatic Classification of Quantitative Data from DNS Cache Servers into Stationary and Non-Stationary States Based on ClusteringHikofumi Suzuki, Katsumi Wasaki. data 2023: 319-326 [doi]

2022

2021

A Web Platform for Hosting the Mizar Mathematical Library (short paper)Daichi Yamamichi, Seigo Shigenaka, Kazuhisa Nakasho, Katsumi Wasaki. mkm 2023: [doi]

2020

Analysis of Structural Liveness and Boundedness in Weighted Free-Choice Net Based on Circuit Flow ValuesYojiro Harie, Katsumi Wasaki. sai 2020: 570-580 [doi]

Stability of the 7-3 Compressor Circuit for Wallace Tree. Part IKatsumi Wasaki. fm, 28(1):65-77, 2020. [doi]

2018

Implications of Formal Verification and Modeling Tools for Performing Operational Profile-based Testing of VR Tourism Systems DesignAmit Batajoo, Yojiro Harie, Katsumi Wasaki. gcce 2018: 614-618 [doi]

2017

Hierarchical Petri Net Simulator: Simulation, Design Validation, and Model Checking Tool for Hierarchical Place/Transition Petri NetsYojiro Harie, Katsumi Wasaki. simultech 2017: 356-361 [doi]

HiPS: Hierarchical Petri Net design, simulation, verification and model checking toolYojiro Harie, Yuta Mitsui, Kouhei Fujimori, Amit Batajoo, Katsumi Wasaki. gcce 2017: 1-5 [doi]

A Multi-agent Approach to Smart Home Sensors for the Elderly based on an Open Hardware Architecture: A Model for Participatory EvaluationKatsumi Wasaki, Masaaki Niimura, Nobuhiro Shimoi. simultech 2017: 386-391 [doi]

2016

Multi-master Replication of Enhanced Learning Assistant System in IoT ClusterBishnu Prasad Gautam, Katsumi Wasaki, Amit Batajoo, Suresh Shrestha, Sato Kazuhiko. aina 2016: 1006-1012 [doi]

A Novel Approach of Fault Management and Restoration of Network Services in IoT Cluster to Ensure Disaster ReadinessBishnu Prasad Gautam, Katsumi Wasaki, Narayan Sharma. nana 2016: 423-428 [doi]

Formal verification of safety testing for remote controlled consumer electronics using the Petri net tool: HiPSYojiro Harie, Katsumi Wasaki. gcce 2016: 1-5 [doi]

2012

Malware classification based on extracted API sequences using static analysisKazuki Iwamoto, Katsumi Wasaki. aintec 2012: 31-38 [doi]

Retargetable Netlists Generation and Structural Synthesis Based on a Meta Hardware Description Language: Melasy+Sho Nishida, Katsumi Wasaki. itng 2012: 827-830 [doi]

Morphology for Image Processing. Part IHiroshi Yamazaki, Czeslaw Bylinski, Katsumi Wasaki. fm, 20(1):61-63, 2012. [doi]

2011

Development and Evaluation of a Large-Scale Agent-Based System for Information Literacy Education - Improving the Automatic Collection of Learning Results through Template MatchingKeiichi Tanaka, Katsumi Wasaki. itng 2011: 1-6 [doi]

2009

Complex IntegralMasahiko Yamazaki, Hiroshi Yamazaki, Katsumi Wasaki, Yasunari Shidama. fm, 17(1-4):233-236, 2009. [doi]

2008

A Meta Hardware Description Language Melasy for Model-Checking SystemsNaoki Iwasaki, Katsumi Wasaki. itng 2008: 273-278 [doi]

Stability of the 4-2 Binary Addition Circuit Cells. Part IKatsumi Wasaki. fm, 16(1-4):377-387, 2008. [doi]

Stability of n-Bit Generalized Full Adder Circuits (GFAs). Part IIKatsumi Wasaki. fm, 16(1-4):73-80, 2008. [doi]

2007

A Case Study of Formal Verification for Multi-level Pipeline Logic Circuit by using Mizar Proof CheckerKatsumi Wasaki, Ken-ichi Arai. fcs 2007: 10-16

Controller Design and Verification for A Pipeline Image Processor based on An Extended Petri netKatsumi Wasaki, Toshiaki Harai, Tamotsu Hayashi, Ken-ichi Arai. dsdm 2007: 257-260 [doi]

2005

The Learning System of Shinshu University Graduate School of Science and Technology on the InternetHisayoshi Kunimune, Masaaki Niimura, Katsumi Wasaki, Yasushi Fuwa, Yasunari Shidama, Yatsuka Nakamura. kes 2005: 1296-1302 [doi]

2004

The design verification for the 3DES encipher chip based on an extended Petri net and XML/Java executorShinnosuke Yamaguchi, A. Nishino, Katsumi Wasaki, Yasunari Shidama. icarcv 2004: 1994-1999 [doi]

2003

Study on a noise reduction system of CATV network upstream for data communicationMasayuki Nakamura, Yuying Yang, Katsumi Wasaki, Yasunari Shidama. icccn 2003: 613-616 [doi]

A High Reliability Design for Nfs Server Software By Using an Extended Petri NetShinnosuke Yamaguchi, Katsumi Wasaki, Yasunari Shidama. ICEIS 2003: 498-502

2002

The persistence of the Petri Net state-spaceKoichi Okada, Katsumi Wasaki, Yasunari Shidama. icarcv 2002: 69-72 [doi]

A high reliability design for NFS server software based on the logical coloured Petri netShinnosuke Yamaguchi, Katsumi Wasaki, Yasunari Shidama. icarcv 2002: 73-77 [doi]

2001

2000

A set of time dependent fuzzy membership functions and its compactnessNoboru Endou, Katsumi Wasaki, Keiji Ohkubo, Pauline Kawamoto, Yasunari Shidama. amcc 2000: 2468-2471 [doi]

Fuzzy optimal control using simple inference method and function type inference methodTakashi Mitsuishi, Katsumi Wasaki, Keiji Ohkubo, Jun Kawabe, Yasuiiari Shidama. amcc 2000: 1944-1948 [doi]

1994

A self-recovering communication buffer based on the concept of cellular automatonKatsumi Wasaki, Yasushi Fuwa, Yatsuka Nakamura, Masayoshi Eguchi. scjapan, 25(8):1-15, 1994. [doi]

Sign in or sign up to see more results.

runs on WebDSL