Katsumi Wasaki
Orcid: 0000-0002-4719-459X
According to our database1,
Katsumi Wasaki
authored at least 38 papers
between 1994 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2023
Man-machine Cooperative Monitoring System to Support Detection of DoS/DDoS Attacks Through Continuous SOM Diagram Generation.
Proceedings of the International Conference on Networking and Network Applications, 2023
Automatic Classification of Quantitative Data from DNS Cache Servers into Stationary and Non-Stationary States Based on Clustering.
Proceedings of the 12th International Conference on Data Science, 2023
2022
Development Plan and Trial of Japanese Language e-Learning System Focusing on Content and Language Integrated Learning (CLIL) Suitable for Digital Education.
Proceedings of the Towards a Collaborative Society Through Creative Learning, 2022
Proceedings of the Intelligent Computer Mathematics - 15th International Conference, 2022
Proceedings of the IEEE International Conference on Consumer Electronics - Taiwan, 2022
2021
Proceedings of the Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics 2021 co-located with the 14th Conference on Intelligent Computer Mathematics (CICM 2021), Virtual Event, Timisoara, Romania, July 26, 2021
2020
Formaliz. Math., 2020
Analysis of Structural Liveness and Boundedness in Weighted Free-Choice Net Based on Circuit Flow Values.
Proceedings of the Intelligent Computing, 2020
2018
Implications of Formal Verification and Modeling Tools for Performing Operational Profile-based Testing of VR Tourism Systems Design.
Proceedings of the IEEE 7th Global Conference on Consumer Electronics, 2018
2017
A Multi-agent Approach to Smart Home Sensors for the Elderly based on an Open Hardware Architecture: A Model for Participatory Evaluation.
Proceedings of the 7th International Conference on Simulation and Modeling Methodologies, 2017
Hierarchical Petri Net Simulator: Simulation, Design Validation, and Model Checking Tool for Hierarchical Place/Transition Petri Nets.
Proceedings of the 7th International Conference on Simulation and Modeling Methodologies, 2017
HiPS: Hierarchical Petri Net design, simulation, verification and model checking tool.
Proceedings of the IEEE 6th Global Conference on Consumer Electronics, 2017
2016
A Novel Approach of Fault Management and Restoration of Network Services in IoT Cluster to Ensure Disaster Readiness.
Proceedings of the International Conference on Networking and Network Applications, 2016
Formal verification of safety testing for remote controlled consumer electronics using the Petri net tool: HiPS.
Proceedings of the IEEE 5th Global Conference on Consumer Electronics, 2016
Proceedings of the 30th IEEE International Conference on Advanced Information Networking and Applications, 2016
2012
Retargetable Netlists Generation and Structural Synthesis Based on a Meta Hardware Description Language: Melasy+.
Proceedings of the Ninth International Conference on Information Technology: New Generations, 2012
Proceedings of the Asian Internet Engineering Conference, 2012
2011
Development and Evaluation of a Large-Scale Agent-Based System for Information Literacy Education - Improving the Automatic Collection of Learning Results through Template Matching.
Proceedings of the Eighth International Conference on Information Technology: New Generations, 2011
2009
2008
Formaliz. Math., 2008
Proceedings of the Fifth International Conference on Information Technology: New Generations (ITNG 2008), 2008
2007
A Case Study of Formal Verification for Multi-level Pipeline Logic Circuit by using Mizar Proof Checker.
Proceedings of the 2007 International Conference on Foundations of Computer Science, 2007
Controller Design and Verification for A Pipeline Image Processor based on An Extended Petri net.
Proceedings of the Tenth Euromicro Conference on Digital System Design: Architectures, 2007
2005
The Learning System of Shinshu University Graduate School of Science and Technology on the Internet.
Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2005
2004
The design verification for the 3DES encipher chip based on an extended Petri net and XML/Java executor.
Proceedings of the 8th International Conference on Control, 2004
2003
A High Reliability Design for Nfs Server Software By Using an Extended Petri Net.
Proceedings of the ICEIS 2003, 2003
Proceedings of the 12th International Conference on Computer Communications and Networks, 2003
2002
A high reliability design for NFS server software based on the logical coloured Petri net.
Proceedings of the Seventh International Conference on Control, 2002
Proceedings of the Seventh International Conference on Control, 2002
2001
Proceedings of the 10th IEEE International Conference on Fuzzy Systems, 2001
Proceedings of the IEEE International Symposium on Computational Intelligence in Robotics and Automation: Integrating Intelligent Machines with Humans for a Better Tomorrow, 2001
2000
Fuzzy optimal control using simple inference method and function type inference method.
Proceedings of the American Control Conference, 2000
Proceedings of the American Control Conference, 2000
1994
Syst. Comput. Jpn., 1994