Katsumi Wasaki

Publication Activity (10 Years)

Years Active: 1994-2023
Publications (10 Years): 17

Top Topics

Top Venues

Publications

Hikofumi Suzuki, Akiyoshi Iwasa, Takumi Uchiyama, Katsumi Wasaki
Man-machine Cooperative Monitoring System to Support Detection of DoS/DDoS Attacks Through Continuous SOM Diagram Generation. NaNA (2023)
Hikofumi Suzuki, Katsumi Wasaki
Automatic Classification of Quantitative Data from DNS Cache Servers into Stationary and Non-Stationary States Based on Clustering. DATA (2023)
Shizuka Nakamura, Katsumi Wasaki
Development Plan and Trial of Japanese Language e-Learning System Focusing on Content and Language Integrated Learning (CLIL) Suitable for Digital Education. WCCE (2022)
Hideharu Furushima, Daichi Yamamichi, Seigo Shigenaka, Kazuhisa Nakasho, Katsumi Wasaki
An Integrated Web Platform for the Mizar Mathematical Library. CICM (2022)
Hideharu Furushima, Daichi Yamamichi, Seigo Shigenaka, Kazuhisa Nakasho, Katsumi Wasaki
An Integrated Web Platform for the Mizar Mathematical Library. CoRR (2022)
Kenta Sawada, Kazuhisa Nakasho, Katsumi Wasaki, Nobuhiro Shimoi
Classification of Human Posture on Bed Using Machine Learning. ICCE-TW (2022)
Bishnu Prasad Gautam, Amit Batajoo, Katsumi Wasaki
Fogging Jyaguchi Services in Tensai Gothalo. CoRR (2021)
Daichi Yamamichi, Seigo Shigenaka, Kazuhisa Nakasho, Katsumi Wasaki
A Web Platform for Hosting the Mizar Mathematical Library (short paper). CICM Workshops (2021)
Yojiro Harie, Katsumi Wasaki
Analysis of Structural Liveness and Boundedness in Weighted Free-Choice Net Based on Circuit Flow Values. SAI (3) (2020)
Katsumi Wasaki
Stability of the 7-3 Compressor Circuit for Wallace Tree. Part I. Formaliz. Math. 28 (1) (2020)
Amit Batajoo, Yojiro Harie, Katsumi Wasaki
Implications of Formal Verification and Modeling Tools for Performing Operational Profile-based Testing of VR Tourism Systems Design. GCCE (2018)
Yojiro Harie, Katsumi Wasaki
Hierarchical Petri Net Simulator: Simulation, Design Validation, and Model Checking Tool for Hierarchical Place/Transition Petri Nets. SIMULTECH (2017)
Yojiro Harie, Yuta Mitsui, Kouhei Fujimori, Amit Batajoo, Katsumi Wasaki
HiPS: Hierarchical Petri Net design, simulation, verification and model checking tool. GCCE (2017)
Katsumi Wasaki, Masaaki Niimura, Nobuhiro Shimoi
A Multi-agent Approach to Smart Home Sensors for the Elderly based on an Open Hardware Architecture: A Model for Participatory Evaluation. SIMULTECH (2017)
Bishnu Prasad Gautam, Katsumi Wasaki, Amit Batajoo, Suresh Shrestha, Kazuhiko Sato
Multi-master Replication of Enhanced Learning Assistant System in IoT Cluster. AINA (2016)
Yojiro Harie, Katsumi Wasaki
Formal verification of safety testing for remote controlled consumer electronics using the Petri net tool: HiPS. GCCE (2016)
Bishnu Prasad Gautam, Katsumi Wasaki, Narayan Sharma
A Novel Approach of Fault Management and Restoration of Network Services in IoT Cluster to Ensure Disaster Readiness. NaNA (2016)
Sho Nishida, Katsumi Wasaki
Retargetable Netlists Generation and Structural Synthesis Based on a Meta Hardware Description Language: Melasy+. ITNG (2012)
Kazuki Iwamoto, Katsumi Wasaki
Malware classification based on extracted API sequences using static analysis. AINTEC (2012)
Hiroshi Yamazaki, Czeslaw Bylinski, Katsumi Wasaki
Morphology for Image Processing. Part I. Formaliz. Math. 20 (1) (2012)
Keiichi Tanaka, Katsumi Wasaki
Development and Evaluation of a Large-Scale Agent-Based System for Information Literacy Education - Improving the Automatic Collection of Learning Results through Template Matching. ITNG (2011)
Masahiko Yamazaki, Hiroshi Yamazaki, Katsumi Wasaki, Yasunari Shidama
Complex Integral. Formaliz. Math. 17 (1-4) (2009)
Katsumi Wasaki
Stability of n-Bit Generalized Full Adder Circuits (GFAs). Part II. Formaliz. Math. 16 (1-4) (2008)
Naoki Iwasaki, Katsumi Wasaki
A Meta Hardware Description Language Melasy for Model-Checking Systems. ITNG (2008)
Katsumi Wasaki
Stability of the 4-2 Binary Addition Circuit Cells. Part I. Formaliz. Math. 16 (1-4) (2008)
Katsumi Wasaki, Toshiaki Harai, Tamotsu Hayashi, Ken-ichi Arai
Controller Design and Verification for A Pipeline Image Processor based on An Extended Petri net. DSD (2007)
Katsumi Wasaki, Ken-ichi Arai
A Case Study of Formal Verification for Multi-level Pipeline Logic Circuit by using Mizar Proof Checker. FCS (2007)
Hisayoshi Kunimune, Masaaki Niimura, Katsumi Wasaki, Yasushi Fuwa, Yasunari Shidama, Yatsuka Nakamura
The Learning System of Shinshu University Graduate School of Science and Technology on the Internet. KES (3) (2005)
Shinnosuke Yamaguchi, A. Nishino, Katsumi Wasaki, Yasunari Shidama
The design verification for the 3DES encipher chip based on an extended Petri net and XML/Java executor. ICARCV (2004)
Masayuki Nakamura, Yuying Yang, Katsumi Wasaki, Yasunari Shidama
Study on a noise reduction system of CATV network upstream for data communication. ICCCN (2003)
Shinnosuke Yamaguchi, Katsumi Wasaki, Yasunari Shidama
A High Reliability Design for Nfs Server Software By Using an Extended Petri Net. ICEIS (3) (2003)
Shinnosuke Yamaguchi, Katsumi Wasaki, Yasunari Shidama
A high reliability design for NFS server software based on the logical coloured Petri net. ICARCV (2002)
Koichi Okada, Katsumi Wasaki, Yasunari Shidama
The persistence of the Petri Net state-space. ICARCV (2002)
Nobuhiro Shimoi, Yoshihiro Takita, Kenzo Nonami, Katsumi Wasaki
Smart sensing for mine detection studies with IR cameras. CIRA (2001)
Tadahiro Kaneda, Shoichiro Fujisawa, Takeo Yoshida, Yasumasa Yoshitani, Takashi Nishi, Yasunari Shidama, Katsumi Wasaki
Ensemble by Seven Musical Performance Robots. J. Robotics Mechatronics 13 (1) (2001)
Takashi Mitsuishi, Jun Kawabe, Katsumi Wasaki, Yasunari Shidama
Optimization of Fuzzy Feedback Control in L_Space. FUZZ-IEEE (2001)
Noboru Endou, Katsumi Wasaki, Keiji Ohkubo, Pauline N. Kawamoto, Yasunari Shidama
A set of time dependent fuzzy membership functions and its compactness. ACC (2000)
Takashi Mitsuishi, Katsumi Wasaki, Keiji Ohkubo, Jun Kawabe, Yasuiiari Shidama
Fuzzy optimal control using simple inference method and function type inference method. ACC (2000)
Katsumi Wasaki, Yasushi Fuwa, Yatsuka Nakamura, Masayoshi Eguchi
A self-recovering communication buffer based on the concept of cellular automaton. Systems and Computers in Japan 25 (8) (1994)