KATSUMI WASAKI

Profile Information

Affiliation: Professor, Faculty of Engineering　Electrical and Computer Engineering, Shinshu University

Degree: Ph.D. in Engineering(Mar, 1997, Shinshu University)

J-GLOBAL ID: 200901050538279345
researchmap Member ID: 1000192799

External link: https://www.researchgate.net/profile/Katsumi_Wasaki/

フォーマルアプローチ，特に並列分散システムのモデル化と解析、非同期回路の数学モデルと形式検証、モデル検査系向けハードウェアコンパイラに関する研究を行っています。ペトリネット検証ツール HiPS の紹介デモ動画はこちらからどうぞ！

Research Interests

Research Areas

Research History

Dec, 2009 - Present

Dept. of Comp. Sci.&Eng., Fac. of Eng, Shinshu University, Full Professor
Apr, 2007 - Nov, 2009

Graduate Sch. of Science and Tech., Shinshu University Assoc. Prof.
Apr, 2003 - Mar, 2007

Graduate Sch. of Science and Tech., Shinshu University Assoc. Prof.
Oct, 2001 - Mar, 2003

Dept. of Comp. Sci.&Eng., Fac. of Eng, Shinshu University Assoc. Prof.
Apr, 1998 - Sep, 2001

Dept. of Comp. Sci.&Eng., Fac. of Eng, Shinshu University Assist. Prof.
Oct, 1994 - Mar, 1998

Dept. of E&C, Nagano National College of Tech. Assist. Prof.

Awards

Papers

155

Posture Estimation for Bed Monitoring System Using RFID

Kazuhisa NAKASHO, Chiaki KOHAMA, Kenta SAWADA, Katsumi WASAKI

Proceedings of the 23rd International Conference on Control, Automation and Systems (ICCAS 2023), 1671-1676, Oct, 2023 Peer-reviewed
Development Plan and Trial of Japanese Language e-Learning System Focusing on Content and Language Integrated Learning (CLIL) Suitable for Digital Education

Shizuka NAKAMURA, Katsumi WASAKI

IFIP World Conference on Computers in Education (WCCE 2022), Advances in Information and Communication Technology, 685 21-26, Oct, 2023 Peer-reviewed
Reduction of coma aberration measurement error in high-numerical-aperture spherical test with synthetic-aperture Fizeau interferometry

Toshiki KUMAGAI, Keita TOMITA, Kenichi HIBINO, Katsumi WASAKI

The Fourteenth Japan-Finland Joint Symposium on Optics in Engineering (OIE2013) Abstracts, 43-44, Sep, 2023 Peer-reviewed
Man-machine Cooperative Monitoring System to Support Detection of DoS/DDoS Attacks through Continuous SOM Diagram Generation

Hikofumi SUZUKI, Akiyoshi IWASA, Takumi UCHIYAMA, Katsumi WASAKI

Proceedings of the 2023 International Conference on Networking and Network Applications (NaNA2023), 558-567, Aug, 2023 Peer-reviewed
Automatic Classification of Quantitative Data from DNS Cache Servers into Stationary and Non-Stationary States Based on Clustering

[3] Hikofumi SUZUKI, Katsumi WASAKI

Proceedings of the 12th International Conference on Data Science, Technology and Applications (DATA 2023), 319-326, Jul, 2023 Peer-reviewed
Description and Consistency Checking of Distributed Algorithms in UML Models using Composite Structure and State Machine Diagrams

Yu MANTA, Katsumi WASAKI

Proceedings of 20th International Conference on Information Technology-New Generations (ITNG 2023), Advances in Intelligent Systems and Computing, 1445 199-207, May, 2023 Peer-reviewed
Description and Verification of Systolic Array Parallel Computation Model in Synchronous Circuit using LOTOS

Yuya CHIBA, Katsumi WASAKI

Proceedings of 20th International Conference on Information Technology-New Generations (ITNG 2023), Advances in Intelligent Systems and Computing, 1445 379-386, May, 2023 Peer-reviewed
Description of Restricted Object Reservation System using Specification and Description Language VDM++

Aoto MAKITA, Katsumi WASAKI

Proceedings of 20th International Conference on Information Technology-New Generations (ITNG 2023), Advances in Intelligent Systems and Computing, 1445 413-420, May, 2023 Peer-reviewed
Computer Vision Techniques for Growth Prediction: A Prisma-Based Systematic Literature Review

Yojiro Harie, Bishnu Gautam, Katsumi Wasaki

Applied Sciences, 13(9) 5335-5335, Apr 24, 2023
Reduction of spherical aberration measurement error in high numerical aperture spherical test with synthetic-aperture Fizeau interferometry

Toshiki KUMAGAI, Keita TOMITA, Kenichi HIBINO, Katsumi WASAKI

Proceedings of the 9th International Conference of Asian Society for Precision Engineering and Nanotechnology (ASPEN2022), (OR-11-0125) 528-530, Nov, 2022 Peer-reviewed
Inertia alignment of phase-shifting algorithms for high-numerical-aperture spherical testing in Fizeau interferometry

Toshiki Kumagai, Kenichi Hibino, Keita Tomita, Katsumi Wasaki

Applied Optics, 61(30) 8926-8935, Oct 20, 2022 Peer-reviewed
Development of an IoT Device for Structural Health Monitoring

Kenta Sawada, Kazuhisa Nakasho, Katsumi Wasaki, Nobuhiro Shimoi

IEEE International Conference on Consumer Electronics - Taiwan（ICCE-TW 2022）, 519-520, Jul 8, 2022
Detection of Strictly L3-Live Structures by Structural Analysis of General Petri Net Using SAT-Solver

Yuta YOSHIZAWA, Katsumi WASAKI

Proceedings of 19th International Conference on Information Technology-New Generations (ITNG 2022), Advances in Intelligent Systems and Computing, 1421 387-392, Jun, 2022 Peer-reviewed
Space Abstraction and Quasi-Home States of Petri Nets Using the Submarking Method

Tomoki MIURA, Katsumi WASAKI

Proceedings of 19th International Conference on Information Technology-New Generations (ITNG 2022), Advances in Intelligent Systems and Computing, 1421 393-398, Jun, 2022 Peer-reviewed
The Development of Japanese Language e-learning system focusing on CLIL (Content Language Integrated Learning) suitable for DX education

Shizuka NAKAMURA, Katsumi WASAKI

Proceedings of The 33rd Annual Conference of Society for Information Technology & Teacher Education (SITE 2022), 219-223, Apr, 2022 Peer-reviewed
Mizar数学ライブラリの定理検索を行うWebアプリケーション

Hideharu Furushima, Kazuhisa Nakasho and Katsumi Wasaki

第24回プログラミングおよびプログラミング言語ワークショップ (PPL 2022, Mar, 2022 Peer-reviewed
An Integrated Web Platform for the Mizar Mathematical Library.

Hideharu Furushima, Daichi Yamamichi, Seigo Shigenaka, Kazuhisa Nakasho, Katsumi Wasaki

CoRR, abs/2210.02336, 2022
Classification of Human Posture on Bed Using Machine Learning.

Kenta Sawada, Kazuhisa Nakasho, Katsumi Wasaki, Nobuhiro Shimoi

ICCE-TW, 547-548, 2022 Peer-reviewed
An Integrated Web Platform for the Mizar Mathematical Library

Hideharu Furushima, Daichi Yamamichi, Seigo Shigenaka, Kazuhisa Nakasho, Katsumi Wasaki

Lecture Notes in Computer Science, abs/2210.02336 141-146, 2022 Peer-reviewed
Low-Cost Sensor System with Life Signals for Bed Monitoring ; International Journal of Science and Engineering Investigations(IJSEI)

Nobuhiro Sshimoi, Kazuhisa Nakasho, Katsumi Wasaki

International Journal of Science and Engineering Investigations(IJSEI), 10(116) 45-50, Sep, 2021 Peer-reviewed

Misc.

162

一般ペトリネットの構造的性質を用いた強L3/L2活性構造の検知

芳澤, 祐大, 和﨑, 克己

第84回全国大会講演論文集, 2022(1) 425-426, Feb 17, 2022
ペトリネット構造解析によるホーム状態存在性の判定

三浦, 朋己, 和﨑, 克己

第84回全国大会講演論文集, 2022(1) 423-424, Feb 17, 2022
サブクラス定義に反する閉路検知を利用したペトリネットの詳細解析

渡貫, 正也, 張江, 洋次朗, 和﨑, 克己

第82回全国大会講演論文集, 2020(1) 289-290, Feb 20, 2020
ペトリネット構造解析の効率化を目的としたヒューリスティック探査手法の実装

南史弥, 張江洋次朗, 和﨑克己

第82回全国大会講演論文集, 2020(1) 287-288, Feb 20, 2020
自動コード生成を目的としたテンプレートベースのUML上位設計に対する整合性検査

畑瀬尚之, 和﨑克己

第82回全国大会講演論文集, 2020(1) 195-196, Feb 20, 2020
Structurally Liveness and boundedness Analysis of Petri nets using circuit flow calculating for structures covered by Strongly Connected Marked Graph

119(153) 77-82, Jul 30, 2019
Stability Subnet Detection of Petri Net by Circuit Flow-Matrix Transformation

118(295) 37-42, Nov 12, 2018
A Method for Improving Memory Efficiency of the Reachability Graph Generation Process in General Petri Nets

118(295) 43-47, Nov 12, 2018
高齢者見守りネットワークのための宅内センサデータ処理手法の設計と実装

新村正明, 中正和久, 和崎克己, 下井信浩

情報処理学会研究報告(Web), 2017(UBI-55), 2017
Development and evaluation of on-the-fly model checking for a Petri net verification tool (HiPS)

116(315) 31-35, Nov 24, 2016
ペトリネット検証ツールHiPSにおけるLTL仕様に基づいたOn-the-fly/Fluentモデル検査

張江洋次朗, 和崎克己

第78回全国大会講演論文集, 2016(1) 455-456, Mar 10, 2016
On-the-fly Model Checker for a Petri Net Verification Tool (HiPS) by using Replacement LTL Formula to Event-Based Automaton

115(420) 63-68, Jan 25, 2016
高齢者見守りネットワークに用いる宅内センサ・エージェントの設計と実装:総務省SCOPE地域ICT振興型研究開発

和崎克己, 新村正明, 下井信浩

情報科学技術フォーラム講演論文集, 15th, 2016
Design and Deployment of Obstacle Avoidance Functionalities in Tensai Gothalo (ITS)

115(187) 51-55, Aug 24, 2015
A-014 Application to High Efficiency Hash-map for State Space Generator of Petri Net

Furuichi Syunta, Wasaki Katsumi

14(1) 135-138, Aug 24, 2015
A-015 On-the-fly LTL Model Checker on the Petri Net Design Tool : HiPS

Harie Yojiiro, Wasaki Katsumi

14(1) 139-142, Aug 24, 2015
B-004 Application to the Prototyping and its Asynchronous UI using Distributed VDM++ Model Execution Environment

Tada Keisuke, Wasaki Katsumi

14(1) 173-176, Aug 24, 2015
Portable Tensai Gothalo: Leveraging Network Availability, Survivability, and Manageability Through Movable Redundant Device

GAUTAMA Bishnu Prasad, GAUTAMA Bishnu Prasad, WASAKI Katsumi, SHARMA Narayan

電子情報通信学会技術研究報告, 115(187(ITS2015 7-10)), 2015
B-018 Model Executing Environment in Upstream Process using VDMJ and Apache Axis2

Murabayashi Kei, Tada Keisuke, Wasaki Katsumi

13(1) 155-158, Aug 19, 2014
B-019 Verification of the Node Search Specifications in ZigBeeIP/RPL Protocol using UML-PROMELA Converter

Goto Ryoma, Wasaki Katsumi

13(1) 159-162, Aug 19, 2014

Professional Memberships

Research Projects

Fusion of Meta-Scalable Theorem Prover and Parallel Model Checker to Realize Large-Scale Fast Formal Verification

Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (C), Japan Society for the Promotion of Science, Apr, 2019 - Mar, 2023
Content Development for Distance Education in Advanced University Mathematics Using Mizar

Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (B), Japan Society for the Promotion of Science, Apr, 2010 - Mar, 2014

SHIDAMA Yasunari, WASAKI Katsumi, KPAULINE Naomi, YAMAZAKI Hiroshi, OKAZAKI Hiroyuki, FUTA Yuichi, ARAI Kenichi
Formal Verification System by using Hardware Compiler Fusioning of Theorem Prover and Model Checker on the Grid Environment

Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (C), Japan Society for the Promotion of Science, 2011 - 2013

WASAKI Katsumi
Design verification method of massively parallel arithmetic unit combined using a functional language and the Grid computing system

Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (C), Japan Society for the Promotion of Science, 2008 - 2010

WASAKI Katsumi
Development of the Comprehensive Support and Advice Activities System for Students of remote self-learning systems using e-Learning

Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (B), Japan Society for the Promotion of Science, 2007 - 2010

FUWA Yasushi, MORI Kazuo, TAKAHASHI Tomone, NIIMURA Masaaki, WASAKI Katumi, OKAZAKI Hiroyuki, KUNIMUNE Hisayoshi, IMAI Mika
Advanced Research in CAI System Utilizing Multimedia at Shinshu University Graduate School on the Internet

Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (B), Japan Society for the Promotion of Science, 2003 - 2006

SHIDAMA Yasunari, NAKAMURA Yatsuka, FUWA Yasushi, WASAKI Katsumi, NIIMURA Masaaki
A study of mine detecting and mine removal technology by using autonomous control working robot

Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (B), Japan Society for the Promotion of Science, 2002 - 2005

SHIMOI Nobuhiro, TAKITA Yoshihiro, WASAKI Katsumi, KAWAMOTO Paulin, N.
グリッドコンピューティング環境上のプルーフチェッカを用いた超並列演算器の設計検証

科学研究費助成事業, 若手研究(B), 日本学術振興会, 2004 - 2004

和崎克己
プルーフチェッカーを用いた超並列演算器の設計検証

科学研究費助成事業, 若手研究(B), 日本学術振興会, 2001 - 2002

和崎克己
A Study of Land"Mine Detecting by Using Camera.

Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (B), Japan Society for the Promotion of Science, 2000 - 2001

SHIMOI Nobuhiro, WASAKI Katumi, NOMAI Kenzo, KIKUO Yatabe, TAKITA Yoshihiro, KAWAMOTO Paulin.N
Modeling and Analysis of Concurrent, Parallel and/or Distributed Processing Systems

Profile Information

Research Interests

Research Areas

Research History

Awards

Papers

Misc.

Professional Memberships

Research Projects

Menu

Coauthors