Katsumi Wasaki

41 papers B 3C 10Journal 10Unranked 18

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