Rchr
J-GLOBAL ID:200901050538279345   Update date: Feb. 01, 2024

WASAKI KATSUMI

ワサキ カツミ | WASAKI KATSUMI
Affiliation and department:
Job title: Professor
Homepage URL  (2): https://www.cs.shinshu-u.ac.jp/~wasaki/index-e.htmlhttps://www.researchgate.net/profile/Katsumi_Wasaki/
Research field  (3): Information networks ,  Computer systems ,  Information theory
Research keywords  (12): Hardware Compiler ,  LOTOS ,  Petri Nets ,  Asynchronous Circuits ,  Formal Verification ,  Mathematical Modeling ,  Concurent Systems ,  Upstream Design ,  モデル検査系向けハードウェアコンパイラ ,  非同期回路の数学モデルと形式検証 ,  並列分散システムのモデル化と解析 ,  フォーマルアプローチ
Research theme for competitive and other funds  (11):
  • 2019 - 2023 Fusion of Meta-Scalable Theorem Prover and Parallel Model Checker to Realize Large-Scale Fast Formal Verification
  • 2010 - 2014 Content Development for Distance Education in Advanced University Mathematics Using Mizar
  • 2011 - 2013 Formal Verification System by using Hardware Compiler Fusioning of Theorem Prover and Model Checker on the Grid Environment
  • 2008 - 2010 Design verification method of massively parallel arithmetic unit combined using a functional language and the Grid computing system
  • 2007 - 2010 Development of the Comprehensive Support and Advice Activities System for Students of remote self-learning systems using e-Learning
Show all
Papers (155):
  • Kazuhisa NAKASHO, Chiaki KOHAMA, Kenta SAWADA, Katsumi WASAKI. Posture Estimation for Bed Monitoring System Using RFID. Proceedings of the 23rd International Conference on Control, Automation and Systems (ICCAS 2023). 2023. 1671-1676
  • 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. IFIP World Conference on Computers in Education (WCCE 2022), Advances in Information and Communication Technology. 2023. 685. 21-26
  • Toshiki KUMAGAI, Keita TOMITA, Kenichi HIBINO, Katsumi WASAKI. Reduction of coma aberration measurement error in high-numerical-aperture spherical test with synthetic-aperture Fizeau interferometry. The Fourteenth Japan-Finland Joint Symposium on Optics in Engineering (OIE2013) Abstracts. 2023. 43-44
  • 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. Proceedings of the 2023 International Conference on Networking and Network Applications (NaNA2023). 2023. 558-567
  • [3] Hikofumi SUZUKI, Katsumi WASAKI. 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, Technology and Applications (DATA 2023). 2023. 319-326
more...
MISC (162):
  • 芳澤, 祐大, 和﨑, 克己. 一般ペトリネットの構造的性質を用いた強L3/L2活性構造の検知. 第84回全国大会講演論文集. 2022. 2022. 1. 425-426
  • 三浦, 朋己, 和﨑, 克己. ペトリネット構造解析によるホーム状態存在性の判定. 第84回全国大会講演論文集. 2022. 2022. 1. 423-424
  • 渡貫, 正也, 張江, 洋次朗, 和﨑, 克己. サブクラス定義に反する閉路検知を利用したペトリネットの詳細解析. 第82回全国大会講演論文集. 2020. 2020. 1. 289-290
  • 南 史弥, 張江 洋次朗, 和﨑 克己. ペトリネット構造解析の効率化を目的としたヒューリスティック探査手法の実装. 第82回全国大会講演論文集. 2020. 2020. 1. 287-288
  • 畑瀬 尚之, 和﨑 克己. 自動コード生成を目的としたテンプレートベースのUML上位設計に対する整合性検査. 第82回全国大会講演論文集. 2020. 2020. 1. 195-196
more...
Professional career (1):
  • Ph.D. in Engineering (Shinshu University)
Work history (6):
  • 2009/12 - 現在 Dept. of Comp. Sci.&Eng., Fac. of Eng, Shinshu University, Full Professor
  • 2007/04 - 2009/11 Graduate Sch. of Science and Tech., Shinshu University Assoc. Prof.
  • 2003/04 - 2007/03 Graduate Sch. of Science and Tech., Shinshu University Assoc. Prof.
  • 2001/10 - 2003/03 Dept. of Comp. Sci.&Eng., Fac. of Eng, Shinshu University Assoc. Prof.
  • 1998/04 - 2001/09 Dept. of Comp. Sci.&Eng., Fac. of Eng, Shinshu University Assist. Prof.
Show all
Awards (9):
  • 2023/09/14 - 精密エ学会技術賞 精密エ学会技術賞
  • 2023/08/21 - NaNA2023 Best Paper Award
  • 2016/10/22 - Information Processing Society of Japan Best Poster Award on Embedded System Symposium2016 (ESS2016)
  • 2016/09/08 - Information Processing Society of Japan Best Presentation Award on Forum on Information Technology (FIT2016)
  • 2012/10/13 - 電子情報通信学会 電子情報通信学会信越支部ベストプラクティス賞
Show all
Association Membership(s) (5):
Japanese Society for Information and Systems in Education (JSiSE) ,  Information Processing Society of Japan (IPSJ) ,  Institute of Electrical Engineers of Japan (JIEE) ,  Institute of Electronics, Information and Communication Engineers (IEICE) ,  IEEE
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page