WASAKI KATSUMI

Academic Assembly School of Science and Technology Institute of Engineering

Faculty of Engineering Electrical and Computer Engineering 

Professor 

Degree

  • Ph.D. in Engineering, Shinshu University

Research Keyword

    Concurent Systems, Mathematical Modeling, Formal Verification, Asynchronous Circuits, Petri Nets, LOTOS, Hardware Compiler, Upstream Design

Field Of Study

  • Theory of informatics, Theory of informatics
  • Computer system, Computer system
  • Information network, Information network

Career

  • 2009
    Dept. of Comp. Sci.&Eng., Fac. of Eng, Shinshu University, Full Professor
  • 2007 - 2009
    Graduate Sch. of Science and Tech., Shinshu University Assoc. Prof.
  • 2003 - 2007
    Graduate Sch. of Science and Tech., Shinshu University Assoc. Prof.
  • 2001 - 2003
    Dept. of Comp. Sci.&Eng., Fac. of Eng, Shinshu University Assoc. Prof.
  • 1998 - 2001
    Dept. of Comp. Sci.&Eng., Fac. of Eng, Shinshu University Assist. Prof.
  • 1994 - 1998
    Dept. of E&C, Nagano National College of Tech. Assist. Prof.

Educational Background

  • 2005 - 2005, Research Associate, Dept. of Computing Science, University of Alberta, Canada
  • 2003 - 2003, Research Associate, Dept. of Computing Science, University of Alberta, Canada
  • 1993 - 1994, Shinshu University, Graduate School of Science and Technology, System Development Engineering
  • 1991 - 1993, Shinshu University, Graduate School of Science and Technology, Computer Science&Engineering
  • 1991, Shinshu University, Faculty of Engineering, Computer Science&Engineering

Award

  • 2023
    精密エ学会技術賞, 精密エ学会技術賞
    「フィゾー型機械式位相シフト干渉計による高開口数レンズの高精度測定技術の開発」 共同研究者 態谷俊樹、富田恵多(オリンパス株式会社) 日比野 謙一 (産業総合研究所) 和﨑克己(信州大学)
  • 2023
    NaNA2023 Best Paper Award
    Man-machine Cooperative Monitoring System to Support Detection of DoS/DDoS Attacks through Continuous SOM Diagram Generation
  • 2016
    Information Processing Society of Japan, Best Poster Award on Embedded System Symposium2016 (ESS2016)
    三井雄太,張江洋次朗,和﨑克己 : 階層型ペトリネット設計・検証ツール:HiPS ; 組込みシステムシンポジウム2016(ESS2016)講演論文集, 情報処理学会, 96-97, 2016.【査読付】
  • 2016
    Information Processing Society of Japan, Best Presentation Award on Forum on Information Technology (FIT2016)
    和﨑克己, 新村正明, 下井信浩 : 高齢者見守りネットワークに用いる宅内センサ・エージェントの設計と実装 : 総務省SCOPE地域ICT振興型研究開発 ; FIT2016(第15回情報科学技術フォーラム)講演論文集, (J-036), 353-354, 2016.
  • 2012
    Shin-Etsu Branch, Institute of Electronics, Information and Communication Engineers, Best Practice Award, Shin-Etsu Branch, Institute of Electronics, Information and Communication Engineers
  • 2012
    International Conference on Information Technology : New Generation 2012, Best Poster Award on ITNG2012
    Sho NISHIDA, Katsumi WASAKI : Retargetable Netlists Generation and Structural Synthesis based on A Meta Hardware Description Language : Melasy+ ; Proceedings of the 9th International Conference on Information Technology : New Generations (ITNG2012), 827-830, IEEE Computer Society Conference Proceedings, DOI 10.1109/ITNG.2012.63, 2012.
  • 2007
    Japanese Society for Information and Systems in Education (JSiSE), Best Paper Award on Journal of Information and Systems in Education
    國宗永佳,新村正明,和崎克己,不破 泰,師玉康成,中村八束 : 信州大学インターネット大学院の現状と評価 ; 教育システム情報学会誌,22,(4),264-271,2005.
  • 2001
    The Instituteof Control, Automation, and Systems Engineers, Korea (ICASE), Best Paper Award on ICCAS2001 International Conference

Paper

  • 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, Refereed
  • 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, Refereed電子ジャーナル
  • 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, Refereed
  • 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, Refereed電子ジャーナル
  • 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, Refereed電子ジャーナル
  • 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, Refereed電子ジャーナル
  • 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, Refereed電子ジャーナル
  • 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, Refereed電子ジャーナル
  • Computer Vision Techniques for Growth Prediction: A Prisma-Based Systematic Literature Review
    Yojiro HARIE, Bishnu GAUTAM, Katsumi WASAKI
    Applied Sciences, 13(5335), Apr. 2023, Refereed電子ジャーナル
  • 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, Refereed電子ジャーナル
  • 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. 2022, Refereed電子ジャーナル
  • An Integrated Web Platform for the Mizar Mathematical Library
    Hideharu Furushima, Daichi Yamamichi, Seigo Shigenaka, Kazuhisa Nakasho and Katsumi Wasaki
    Proceedings of the 15th Conference on Intelligent Computer Mathematics (CICM 2022), LNAI 13467, 141-146, Sep. 2022, Refereed電子ジャーナル
  • Classification of Human Posture on Bed Using Machine Learning
    Kenta SAWADA, Kazuhisa NAKASHO, Katsumi WASAKI, Nobuhiro SHIMOI
    Proceedings of IEEE International Conference on Consumer Electronics - Taiwan - Consumer Systems for Healthcare and Wellbeing (ICCE-TW 2022), 547-548, Jul. 2022, Refereed電子ジャーナル
  • 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, Refereed電子ジャーナル
  • 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, Refereed電子ジャーナル
  • 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, Refereedリポジトリ
  • Low-Cost Sensor System with Life Signals for Bed Monitoring ; International Journal of Science and Engineering Investigations(IJSEI)
    Nobuhiro SHIMOI, Kazuhisa NAKASHO, Katsumi WASAKI
    International Journal of Science and Engineering Investigations(IJSEI), 10(116), 45-50, Sep. 2021, Refereed
  • A Web Platform for Hosting the Mizar Mathematical Library
    Daichi YAMAMICHI, Seigo SHIGENAKA, Kazuhisa NAKASHO, Katsumi WASAKI
    The 14th Conference on Intelligent Computer Mathematics (CICM 2021), Fifth Workshop on Formal Mathematics for Mathematicians (FMM2021), Session 22A, Jul. 2021, Refereed
  • A Method for Improving Memory Efficiency of the Reachability Graph Generation Process in General Petri Nets
    Kohei FUJIMORI, Katsumi WASAKI
    Proceedings of 18th International Conference on Information Technology-New Generations (ITNG 2021), Advances in Intelligent Systems and Computing, 1346, 255-263, Jul. 2021, Refereed電子ジャーナル
  • Hardware Logic Library and High-level Logic Synthesizer Combining LOTOS and A Functional Programming Language
    Katsumi WASAKI
    Proceedings of 18th International Conference on Information Technology-New Generations (ITNG 2021), Advances in Intelligent Systems and Computing, 1346, 313-321, Jul. 2021, Refereed電子ジャーナル
  • Synthetic aperture phase-shifting interferometry for high-numerical-aperture spherical surface measurement
    Toshiki KUMAGAI, Yasunari NAGAIKE, Kenichi HIBINO, Katsumi WASAKI
    Optical Engineering, 60(1), 0141011-1-0141011-13, Jan. 2021, Refereed電子ジャーナル
  • Analysis of the Structural Liveness and Boundedness in Weighted Free-Choice Net based on Circuit Flow Values
    Yojiro HARIE, Katsumi WASAKI
    Intelligent Computing - Proceedings of the 2020 Computing Conference - Advances in Intelligent Systems and Computing 1230, 3, 570-580, Aug. 2020, Refereed電子ジャーナル
  • An Approach for Flow Net Subgraph to Modelling and Analysis of Flexible Manufacturing Systems
    Yojiro HARIE, Katsumi WASAKI
    Proceedings of the 31st International Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC 2020), 39-44, Jul. 2020, Refereedリポジトリ
  • Stability of the 7-3 Compressor Circuit for Wallace Tree. Part I
    Katsumi WASAKI
    Formalized Mathematics, 28(1), 65-77, Apr. 2020, RefereedWebofScience電子ジャーナル
  • Determination of Structurally Liveness and Boundedness of Petri Nets Using Flow Net Transformation
    Yojiro HARIE, Katsumi WASAKI
    Proceedings of the 32nd Workshop on Circuits and Systems (KWS32), IEICE, (WIP-16), 278-283, Aug. 2019, Refereedリポジトリ
  • Development of Simplified Monitoring System of Daily Life Using Care Robot and Non-restraining Sensors
    Hirokazu MADOKORO, Nobuhiro SHIMOI, Kazuhito SATO, Kazuhisa NAKASHO, Masaaki NIIMURA, Katsumi WASAKI
    IEICE Trans of Inf. & Syst., J102-D(5), 411-422, May 2019, Refereedリポジトリ
  • Implications of Formal Verification and Modeling Tools for Performing Operational Profile-based Testing of VR Tourism Systems Design
    Amit BATAJOO, Yojiro HARIE, Katsumi WASAKI
    Proceedings of the 7th IEEE Global Conference on Consumer Electronics (GCCE 2018), 582-586, Oct. 2018, Refereed電子ジャーナル
  • HiPS: Hierarchical Petri Net Design, Simulation, Verification and Model Checking Tool
    Yojiro HARIE, Yuta MITSUI, Kohei FUJIMORI, Amit BATAJOO, Katsumi WASAKI
    Proceedings of the 6th IEEE Global Conference on Consumer Electronics (GCCE 2017), 686-690, Oct. 2017, Refereed電子ジャーナル
  • Hierarchical Petri Net Simulator: Simulation, Design Validation, and Model Checking Tool for Hierarchical Place/Transition Petri Nets
    Yojiro HARIE, Katsumi WASAKI
    Proceedings of the 7th International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH2017), 356-361, Jul. 2017, Refereed電子ジャーナル
  • A Petri Net Design and Verification Platform based on The Scalable and Parallel Architecture: HiPS
    Yojiro HARIE, Katsumi WASAKI
    Advances in Intelligent Systems and Computing, 558, 265-273, Apr. 2017, Refereed電子ジャーナル
  • Implementing an In-Home Sensor Agent in Conjunction with an Elderly Monitoring Network
    Katsumi WASAKI, Masaaki NIIMURA, Nobuhiro SHIMOI
    Advances in Intelligent Systems and Computing, 558, 57-65, Apr. 2017, Refereed電子ジャーナル
  • Formal Verification of the Safety Testing for Remote Controlled Consumer Electronics Using the Petri Net Design and Tool: HiPS
    Yojiro HARIE, Katsumi WASAKI
    Proceedings of the 5th IEEE Global Conference on Consumer Electronics (GCCE 2016), 290-294, Oct. 2016, Refereed電子ジャーナル
  • A Novel Approach of Fault Management and Restoration of Network Services in IoT Cluster to Ensure Disaster Readiness
    Bishnu Prasad GAUTAM, Katsumi WASAKI, Narayan SHARMA
    Proceedings of the 2016 International Conference on Networking and Network Applications (NaNA2016), 422-427, Jul. 2016, Refereed電子ジャーナル
  • Multi-master Replication of an Enhanced Learning Assistant System in IoT Cluster
    Bishnu GAUTAM, Amit BATAJOO, Katsumi WASAKI, Suresh SHRESTHA, Kazuhiko SATO
    Proceedings of the 30th IEEE International Conference on Advanced Information Networking and Applications (AINA-2016), 1006-1012, Mar. 2016, Refereed電子ジャーナル
  • Deployment of Wi-Fi Network as an Emergency Survival Communication Network in Wakkanai
    Bishnu Prasad GAUTAM, Katsumi WASAKI
    IEEJ Transactions on Electrical and Electronic Engineering, 10(s1), S60-S68, Apr. 2015, RefereedWebofScience電子ジャーナル
  • The Method for Shellcode Extraction from Malicious Document File Using Entropy and Emulation
    Kazuki IWAMOTO, Katsumi WASAKI
    IPSJ Trans, 56(3), 892-902, Mar. 2015, Refereed
  • A Method for Shellcode Extraction from Malicious Document Files usingEntropy and Emulation
    Kazuki IWAMOTO, Katsumi WASAKI
    Proceedings of the 4th International Conference on Security Science and Technology (ICSST2015), (ST005), 7pages, Jan. 2015, Refereed
  • Quantum Theory of Fundamental Network (Path Integral Expression Circuits and Network's Quantization)
    Hiroyuki MATSUURA, Katsumi WASAKI
    International Journal of Innovative Computing Information and Control, 10(5), 1601-1623, Oct. 2014, RefereedWebofScience
  • Quantization of Artificial Neuron (Quantum Current, Model of Polariton on Axon)
    Hiroyuki MATSUURA, Katsumi WASAKI
    International Journal of Innovative Computing Information and Control, 10(3), 1121-1133, Jun. 2014, RefereedWebofScience
  • Using a Redundant Wi-Fi Network as an Emergency Detour Route to Proactively Reduce Disaster Risk in Wakkanai, Hokkaido
    Bishnu Prasad GAUTAM, Katsumi WASAKI
    Proceedings of the 2014 International Conference on Information Science, Electronics and Electrical Engineering (ISEEE2014), 3, 1830-1837, Apr. 2014, Refereed
  • Malware Classification Based on Extracted API Sequence by Static Analysis
    Kazuki IWAMOTO, Katsumi WASAKI
    IPSJ Trans., 54(3), 1199-1210, 2013, Refereed
  • Content Development for Distance Education in Advanced University Mathematics Using Mizar
    TakayaIDO, Hiroyuki OKAZAKI, Hiroshi YAMAZAKI, Pauline Naomi KAWAMOTO, Katsumi WASAKI, Yasunari SHIDAMA
    Proceedings of the 2013 International Conference on e-Learning, e-Business, Enterprise Information Systems, and e-Government (EEE'13), 321-326, 2013, Refereed
  • Retargetable Netlists Generation and Structural Synthesis based on A Meta Hardware Description Language : Melasy+
    Sho NISHIDA, Katsumi WASAKI
    Proceedings of the 9th International Conference on Information Technology : New Generations (ITNG2012), 827-830, Apr. 2012, Refereedリポジトリ電子ジャーナル
  • Improved Analysis Algorithms of Free-Choice Nets for Behavioral Properties
    Kazuto IDE, Katsumi WASAKI
    Proceedings of International Conference of Information Science and Computer Applications (ICISCA 2012), 1, 195-200, 2012, Refereed
  • Malware Classification based on Extracted API Sequences using Static Analysis
    Kazuki IWAMOTO, Katsumi WASAKI
    Proceedings of the 8th Asian Internet Engineering Conference (AINTEC2012), 31-38, 2012, Refereed電子ジャーナル
  • Morphology for Image Processing, Part I
    Hiroshi YAMAZAKI, Czeslaw BYLINSKI, Katsumi WASAKI
    Formalized Mathematics, 20(1), 61-63, 2012, RefereedWebofScienceリポジトリ電子ジャーナル
  • Automatic Generation of SPIN Model Checking Code from UML Activity Diagram and Its Application to Web Application Design
    Yutaka YAMADA, Katsumi WASAKI
    Proceedings of the 7th International Conference on Digital Content, Multimedia Technology and its Applications (IDCTA2011), 1, 139-144, Aug. 2011, Refereedリポジトリ
  • Development and Evaluation of a Long-range 300-m Leaky Coaxial Cable in the 2.4-GHz Band for IEEE 802.11 b/g Wireless Network Access
    Masayuki NAKAMURA, Hideaki TAKAGI, Kiyoshi EINAGA, Toshiyuki NISHIKAWA, Naoshi MORIYAMA, Katsumi WASAKI
    IEEJ Transactions on Electrical and Electronic Engineering, 6(1), 37-45, 2011, RefereedWebofScience電子ジャーナル
  • Development and Evaluation of a Large-Scale Agent-Based System for Information Literacy Education - Improving the Automatic Collection of Learning Results through Template Matching -
    Keiichi TANAKA, Katsumi WASAKI
    Proceedings of the 8th International Conference on Information Technology : New Generations (ITNG2011), 1, 1-6, 2011, Refereedリポジトリ電子ジャーナル
  • Development and Evaluation of a Large-scale Agent-based System for Collecting Results of Information Literacy Learning Using Electronic Textbooks
    Keiichi TANAKA, Katsumi WASAKI
    JSiSE Journal, 27(3), 267-279, 2010, Refereed
  • Development of a Simple Multiple-Position Identifying System with a Long Range Multiband Leaky Coaxial Cable for Rescue Operations in Tunnels or Passages in Underground Facilities
    Masayuki Nakamura, Hideaki Takagi, Junichi Terashima, Kiyoshi Einaga, Toshiyuki Nishikawa, Naoshi Moriyama, Katsumi Wasaki
    Proceedings of 2010 Asia-Pacific Microwave Conference (APMC2010), 1(WE3C-02), 163-166, 2010, Refereed
  • Development and Evaluation of a Large-scale Agent-based System for Collecting Results of Information Literacy Learning Using Electronic Textbooks
    Keiichi TANAKA, Katsumi WASAKI
    Proceedings of Society for Information Technology&Teacher Education International Conference 2010 (SITE2010), 1, 3191-3196, 2010, RefereedWebofScience
  • Evaluation of a Dual-band Long Leaky Coaxial Cable in the 2.4 and 5 GHz Frequency Bands for Wireless Network Access
    Masayuki NAKAMURA, Hideaki TAKAGI, Kiyoshi EINAGA, Toshiyuki NISHIKAWA, Naoshi MORIYAMA, Katsumi WASAKI
    Proceedings of the 2009 IEEE Radio and Wireless Symposium (IEEE RWS2009), 1(TU3C), 510-513, 2009, Refereed
  • Complex Integral
    Masahiko YAMAZAKI, Hiroshi YAMAZAKI, Katsumi WASAKI, Yasunari SHIDAMA
    Formalized Mathematics, 17(4), 233-236, 2009, RefereedWebofScience電子ジャーナル
  • Correctness of the Stability of the 4-2 Compressor Cell for Partial Product Reduction in Parallel Multiplier Circuits
    Katsumi WASAKI
    Mechanized Mathematics and Its Applications, 7(2), 17-25, 2008, Refereed
  • Stability of n-bit Generalized Full Adder Circuits (GFAs). Part II
    Katsumi WASAKI
    Formalized Mathematics, 16(1), 73-80, 2008, RefereedWebofScience電子ジャーナル
  • Stability of the 4-2 Binary Addition Circuit Cells. Part I
    Katsumi WASAKI
    Formalized Mathematics, 16(4), 385-395, 2008, RefereedWebofScience電子ジャーナル
  • Development of a 300m 2.4GHz Frequency Band Leaky Coaxial Cable for Wireless Network Access
    Masayuki NAKAMURA, Hideaki TAKAGI, Kiyoshi EINAGA, Toshiyuki NISHIKAWA, Naoshi MORIYAMA, Katsumi WASAKI
    Proceedings of the 2008 IEEE Radio and Wireless Symposium (IEEE-RWS2008), 1(TH1C), 687-690, 2008, Refereed電子ジャーナル
  • A Meta Hardware Description Language Melasy for Model-Checking Systems
    Naoki IWASAKI, Katsumi WASAKI
    Proceedings of the 5th International Conference on Information Technology : New Generations (ITNG2008), 1(MC1), 273-278, 2008, Refereed電子ジャーナル
  • A Watermarking Scheme using Background Pattern to Protect Printed Documents
    Katsuki KOBAYASHI, Kiyoshi TANAKA, Hernan AGUIRRE, Hiroyuki OKAZAKI, Hisayoshi KUNIMUNE, Katsumi WASAKI, Masaaki NIIMURA, Yasushi FUWA
    Proceedings of the International Workshop on Nonlinear Circuits and Signal Processing (NCSP2007), 1(151), 17-20, 2007, Refereed
  • A Case Study of Formal Verification for Multi-Level Pipeline Logic Circuit by Using Mizar Proof Checker
    Katsumi WASAKI, Kenichi ARAI
    Proceedings of the 2007 International Conference on Foundations of Computer Science (FCS'07), 1(59), 10-16, 2007, Refereed
  • Riemann Indefinite Integral of Functions of Real Variable
    Yasunari SHIDAMA, Noboru ENDOU,Katsumi WASAKI
    Formalized Mathematics, 15(2), 59-63, 2007, RefereedWebofScience電子ジャーナル
  • A Design Verification of the Parallel Pipelined ImageProcessing
    Katsumi WASAKI, Toshiaki HARAI
    Proceedings of the International e-Conference of Computer Science (IeCCS2007) Part-I, 1(59), 1-4, 2007, Refereed電子ジャーナル
  • Controller Design and Verification for A Pipeline Image Processor based on An Extended Petri net
    Katsumi WASAKI, Toshiaki HARAI
    Proceedings of the 10th EUROMICRO Conference on Digital System Design (DSD2007), 1(6), 1-7, 2007, Refereed電子ジャーナル
  • A Modeling and Formal Verification of Multi-layered Combined Circuits
    Katsumi WASAKI
    Workshop Proceedings of the 14th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR2007), 1(6), 1-5, 2007, Refereed電子ジャーナル
  • Practice and Evaluation of Display Scope Control System of e-Learning Materials based on Learning Progressions
    Hisayoshi KUNIMUNE, Masaaki NIIMURA, Katsumi WASAKI, Yasushi FUWA
    The Journal of Information and Systems in Education, 5(1), 76-83, 2006, Refereed
  • A Transformation from AES Encryption Processes to Extended Petri Net Models using PNML and Evaluation Tools
    Shin'nosuke YAMAGUCHI, Katsumi WASAKI, Yasunari SHIDAMA
    Proceedings of the 1st International Conference on Multidisciplinary Information Sciences and Technologies (InSciT2006), 1(151), 283-287, 2006, Refereed
  • Study on Polymer Glass Transition Temperature Prediction by Neural Network and Its Capability of Generalization
    Yasuhiko KONDO, Katsumi WASAKI, Yasunari SHIDAMA
    JASCOME Journal, 5(05-062413), 73-78, 2005, Refereed
  • The Current Activities and Evaluations of Graduate School of Science and Technology on the Internet, Shinshu University
    Hisayoshi KUNIMUNE, Masaaki NIIMURA, Katsumi WASAKI, Yasushi FUWA, Yasunari SHIDAMA, Yatsuka NAKAMURA
    JSiSE Journal, 22(4), 264-271, 2005, Refereed
  • Experimental Telemedicine Networkwith the Long-Range Wireless LAN and CATV for Mountain Climbers in the Japanese Alps
    Masayuki NAKAMURA, Yuying YANG, Shoshin KUBOTA, Katsumi WASAKI, Yasunari SHIDAMA, Yutaka MIURA
    The Proceedings of the IASTED International Conference on Telehealth (Telehealth 2005), 1(484-032), 29-34, 2005, Refereed
  • Display Scope Control System of e-Learning Courseware based on the Learning Progress
    Hisayoshi KUNIMUNE, Masaaki NIIMURA, Katsumi WASAKI, Yasushi FUWA, Yasunari SHIDAMA, Yatsuka NAKAMURA
    Proceedings of the IPSI-2005, 1, 1-5, 2005, Refereed
  • Generalized Full AdderCircuits (GFAs). Part I
    Shin'nosuke YAMAGUCHI, Katsumi WASAKI, Nobuhiro SHIMOI
    Formalized Mathematics, 13(4), 549-571, 2005, RefereedWebofScience
  • The Learning System of Shinshu University Graduate School of Science and Technology on the Internet
    Kunimune, H; Niimura, M; Wasaki, K; Fuwa, Y; Shidama, Y; Nakamura, Y
    KNOWLEDGE-BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT 3, PROCEEDINGS, 3683(1), 1296-1302, 2005, RefereedWebofScience電子ジャーナル
  • The Learning System of Shinshu University Graduate School of Science and Technology on the Internet
    Hisayoshi KUNIMUNE, Masaaki NIIMURA, Katsumi WASAKI, Yasushi FUWA, Yasunari SHIDAMA, Yatsuka NAKAMURA
    Proceedings of 9th International Conference on Knowledge-Based Intelligent Information and Engineering Systems (KES2005), 3, 1296-1302, 2005, Refereed電子ジャーナル
  • The Current Activities and the Future Plan of Graduate School of Science and Technology on the Internet, Shinshu University
    Yasushi FUWA, Hisayoshi KUNIMUNE, Masaaki NIIMURA, Katsumi WASAKI, Yasunari SHIDAMA, Yatsuka NAKAMURA
    Journal of Multimedia Aided Education Research, 1(1), 11-18, 2004, Refereed
  • A Design Verification of an n-bit Adder Circuit Using a Proof Checker
    Shin'nosuke YAMAGUCHI, Grzegorz BANCEREK, Katsumi WASAKI, Yasunari SHIDAMA
    Mechanized Mathematics and Its Applications, 3(1), 18-26, 2004, Refereed
  • Controller Design and Verification for A Parallel Image Processor in An FMS using An Extended Petri Net
    Akira NISHINO, Noboru KASADA, Katsumi WASAKI And Yasunari SHIDAMA
    Proceedings of the 11th IFAC Symposium on Information Control Problems in Manufacturing (INCOM2004), 11, 61-66, 2004, Refereed
  • A Design and Verification Tool for the Parallel Systems by An Extended Petri Net and Java Executor
    Shin'nosuke YAMAGUCHI, Katsumi WASAKI, Yasunari SHIDAMA
    Proceedings of the International Workshop on Discrete-Event System Design (DESDes'04), 11(WeM1.5), 61-66, 2004, Refereed電子ジャーナル
  • The Design Verification for the 3DES Encipher Chip based on an Extended Petri Net and XML/Java Executor
    Shin'nosuke YAMAGUCHI, Akira NISHINO, Katsumi WASAKI , Yasunari SHIDAMA
    Proceedings of the 8th International Conference on Control,Automation,Robotics and Vision (ICARCV2004), 11(WeM1.5), 1994-1999, 2004, Refereed電子ジャーナル
  • Full Subtracter Circuit. Part II
    Shin'nosuke YAMAGUCHI, Grzegorz BANCEREK, Katsumi WASAKI
    Formalized Mathematics, 11(3), 231-236, 2003, Refereed
  • Multimedia Contents and Learning Style of the Shinshu University, Graduate School of Science and Technology on the Internet
    Masaaki NIIMURA, Yasushi FUWA, Katsumi WASAKI, Yasunari SHIDAMA, Yatsuka NAKAMURA, Shinjiro Oshita
    JSAI Journal, 18(4), 426-432, 2003, Refereed
  • Network system for alpine ambulance using long distance wireless LAN and CATV LAN
    Masayuki NAKAMURA, Yuying YANGA, Shoshin KUBOTA, Hiroshi SHIMIZU, Yutaka MIURA, Katsumi WASAKI, Yasunari SHIDAMA, Masaomi TAKIZAWA
    Jpn. J. Med. Phys., 23(1), 30-39, 2003, Refereed
  • A High Reliability Design for NFS Server Software By using An Extended Petri Net
    Shin'nosuke YAMAGUCHI , Katsumi WASAKI , Yasunari SHIDAMA
    Proceedings of the 5th International Conference on Enterprise Information System (ICEIS2003), 3(56), 498-502, 2003, Refereed
  • Development of Upstream Extension Amplifier for CATV with High Selectivity and Wideband Microstrip Line Filters
    Masayuki NAKAMURA, Yuying YANG, Katsumi WASAKI, Yasunari SHIDAMA
    Proceedings of the 2003 Asia-Pacific Microwave Conference (APMC'03), 1(FB6-1), 1636-1639, 2003, Refereed
  • Verification and Realization for the Distributed Parallel Systems based on An Extended Petri Net and XML/Java Executor
    Shin'nosuke YAMAGUCHI , Katsumi WASAKI , Yasunari SHIDAMA
    Proceedings of the 1st Workshop on Automated Technologyfor Verification and Analysis (ATVA'2003), 1(D-3), 157-168, 2003, Refereed
  • Shinshu University, Graduate School of Science and Technology on the Internet
    Masaaki NIIMURA, Yasushi FUWA, Katsumi WASAKI, Yasunari SHIDAMA,Yatsuka NAKAMURA, Shinjiro OSHITA
    Proceedings of the International Conference on Advance in Infrastructure for Electronic Business, Education, Science, Medicine and Mobile Technologies on the Internet (SSGRR-2003s), 1(56), 1-6, 2003, Refereed電子ジャーナル
  • Study on a Noise Reduction System of CATV Network Upstream for Data Communication
    Masayuki NAKAMURA, Yuying YANG, Katsumi WASAKI, Yasunari SHIDAMA
    Proceedings of the 12th International Conference on Computer Communication and Networks (ICCCN2003), 12(30-3), 613-616, 2003, Refereed電子ジャーナル
  • Full Adder Circuit. Part II
    Grzegorz BANCEREK, Shin'nosuke YAMAGUCHI, Katsumi WASAKI
    Formalized Mathematics, 10(1), 65-71, 2002, Refereed
  • The Persistence ofthe Petri Net State-space
    Koichi OKADA, Katsumi WASAKI , Yasunari SHIDAMA
    Proceedings of the 7th International Conference on Control,Automation,Robotics and Vision (ICARCV’02), 1(TuA4.1), 69-72, 2002, Refereed電子ジャーナル
  • A High Reliability Design for NFS Server Software Based on the Logical Coloured Petri Net
    Shin'nosuke YAMAGUCHI , Katsumi WASAKI , Yasunari SHIDAMA
    Proceedings of the 7th International Conference on Control,Automation,Robotics and Vision (ICARCV'02), 1(TuA4.2), 73-77, 2002, Refereed電子ジャーナル
  • Property of Complex Functions
    Takashi MITSUISHI,KatsumiWASAKI,Yasunari SHIDAMA
    Formalized Mathematics, 9(1), 179-184, 2001, Refereed
  • Property of Complex Sequence and Continuity of Complex Function
    Takashi MITSUISHI,Katsumi WASAKI,Yasunari SHIDAMA
    Formalized Mathematics, 9(1), 185-190, 2001, Refereed
  • Scalar Multiple of Riemann Definite Integral
    Noboru ENDOU,Katsumi WASAKI,Yasunari SHIDAMA
    Formalized Mathematics, 9(1), 191-196, 2001, Refereed
  • Darboux's Theorem
    Noboru ENDOU,Katsumi WASAKI,Yasunari SHIDAMA
    Formalized Mathematics, 9(1), 197-200, 2001, Refereed
  • Integrability of Bounded Total Functions
    Noboru ENDOU,Katsumi WASAKI, Yasunari SHIDAMA
    Formalized Mathematics, 9(2), 271-274, 2001, Refereed
  • Definition of Integrability for Partial Functions from REAL to REAL and Integrability for Continuous Functions
    Noboru ENDOU,Katsumi WASAKI,Yasunari SHIDAMA
    Formalized Mathematics, 9(2), 281-284, 2001, Refereed
  • Introduction to Several Concepts of Convexity and Semi-continuity for Function from Real to Real
    Noboru ENDOU,Katsumi WASAKI,Yasunari SHIDAMA
    Formalized Mathematics, 9(2), 285-289, 2001, Refereed
  • Basic Properties of Fuzzy Set Operation and Membership Function
    Takashi MITSUISHI,Katsumi WASAKI,Yasunari SHIDAMA
    Formalized Mathematics, 9(2), 357-362, 2001, Refereed
  • Ensemble by Seven Musical Performance Robots
    Tadahiro KANEDA, Shoichiro FUJISAWA, Takeo YOSHIDA, Yasumasa YOSHITANI, Takashi NISHI, Yasunari SHIDAMA, Katsumi WASAKI
    Journal of Robotics and Mechatronics, theRobotics and Mechatronics Division of the Japan Society ofMechanical Engineers, 13(1), 50-55, 2001, Refereed
  • The Correctness of the High Speed Array Multiplier Circuits
    Hiroshi YAMAZAKI,Katsumi WASAKI
    Formalized Mathematics, 9(3), 475-479, 2001, Refereed
  • Basic Properties of Extended Real Numbers
    Noboru ENDOU,Katsumi WASAKI,Yasunari SHIDAMA
    Formalized Mathematics, 9(3), 491-494, 2001, Refereed
  • Definitions and Basic Properties of Measurable Functions
    Noboru ENDOU,Katsumi WASAKI,Yasunari SHIDAMA
    Formalized Mathematics, 9(3), 495-500, 2001, Refereed
  • Some Properties of Extended Real Numbers Operations: absolute value, min and max
    Noboru ENDOU,Katsumi WASAKI,YasunariSHIDAMA
    Formalized Mathematics, 9(3), 511-516, 2001, Refereed
  • The Concept of Fuzzy Relation and Basic Properties of its Operation
    Takashi MITSUISHI,Katsumi WASAKI,Yasunari SHIDAMA
    Formalized Mathematics, 9(3), 517-524, 2001, Refereed
  • Measurability of Extended Real Valued Function
    Noboru ENDOU,Katsumi WASAKI,Yasunari SHIDAMA
    Formalized Mathematics, 9(3), 525-529, 2001, Refereed
  • Robotics Education of Design and Making Aimed to Concurrent Engineering
    Tadahiro KANEDA, Takeo YOSHIDA, Koichi OSUKA, Yasunari SHIDAMA, Katsumi WASAKI
    JSME Trans. (C), 67(659), 268-273, 2001, Refereed
  • The House Keeping System of Automated Evaluation of Students’ Programming Reports
    Hikofumi SUZUKI,Katsumi WASAKI,Tatsuo NAKAZAWA,Yasunari SHIDAMA
    Fast Abstract of the 12th International Symposium on Software Reliability Engineering (ISSRE2001), 1(S1-7), 1-2, 2001, Refereed
  • Automatic HDL Generation for A DES Codec for an Encrypted NFS Server based on an Extended Petri Net
    Shin'nosuke YAMAGUCHI, Katsumi WASAKI, Yasunari SHIDAMA
    Proceedings of the International Workshop on Discrete-Event System Design (DESDes'01), 1(I-7), 61-66, 2001, Refereed
  • Optimization of Fuzzy Feedback Control in L∞ Space
    Takashi MITSUISHI, Jun KAWABE, Katsumi WASAKI, Yasunari SHIDAMA
    Proceedings of The 10th IEEE International Conference on Fuzzy Systems (IEEE-FUZZ2001), 1(P211), 896-899, 2001, Refereed電子ジャーナル
  • Integral manifold and H-infinity control in weak nonlinear systems
    Miyajima, K; Wasaki, K; Suzuki, H; Shidama, Y; Eguchi, M
    ELECTRONICS AND COMMUNICATIONS IN JAPAN PART III-FUNDAMENTAL ELECTRONIC SCIENCE, 84(1), 43-56, 2001, RefereedWebofScienceリポジトリ電子ジャーナル
  • An Optimization of Fuzzy Logic by using Genetic Algorithm
    Noboru ENDOU, Akihiro UCHIBORI, Katsumi WASAKI
    Mechanized Mathematics and Its Applications, 1(1), 39-45, 2000, Refereed
  • Optimization of Fuzzy Feedback Control Determined by Product-Sum-Gravity Method
    Takashi MITSUISHI,Jun KAWABE, Katsumi WASAKI,Yasunari SHIDAMA
    Journal of Nonlinear and Convex Analysis, 1(2), 201-211, 2000, Refereed
  • A Set of Time Dependent Fuzzy Membership Functions and Its Compactness
    Noboru ENDOU,Katsumi WASAKI,Keiji OHKUBO,Pauline N. KAWAMOTO,Yasunari SHIDAMA
    Proceedings of the 2000 American Control Conference (ACC2K), 2468-2471, 2000, Refereed
  • Fuzzy Optimal Control Using Simple Inference Method and Function Type Inference Method
    Takashi MITSUISHI,Katsumi WASAKI,Keiji OHKUBO,Jun KAWABE,Yasunari SHIDAMA
    Proceedings of the 2000 American Control Conference (ACC2K), 1944-1948, 2000, Refereed
  • Decision-Making of Theme by Students in a Case Study and Its Results
    Tadahiro KANEDA, Yoichiro KINUGAWA, Yasumasa YOSHITANI, Takashi NISHI, Kazuo HIROGUCHI, TakeoYOSHIDA, Yasunari SHIDAMA, Katsumi WASAKI
    Proceedings of 9th IEEE International Workshop on Robot and Human Interactive Communication (IEEE-ROMAN2000), 1(FM5.2), 301-304, 2000, Refereed
  • A Rapid HDL Generation for A pipelined DES Encipher Circuit by using the Logical Coloured Petri Net
    Katsumi WASAKI , Shin'nosuke YAMAGUCHI , Yasunari SHIDAMA , Nobuhiro SHIMOI
    Proceedings of the 6th International Conference on Control,Automation,Robotics and Vision (ICARCV2000), 1(FM5.2), 1-6, 2000, Refereed
  • A process design for the Network File System model based on the Logical Coloured Petri Net
    Shin'nosuke YAMAGUCHI, Katsumi WASAKI, Yasunari SHIDAMA
    Proceedings of the 6th International Conference on Control,Automation,Robotics and Vision (ICARCV2000), 1(FM5.3), 1-6, 2000, Refereed
  • Mamdani fuzzy controller on NBV space
    Yuguang YANG,Noboru ENDOU,Katsumi WASAKI,Keiji OHKUBO,Yasunari SHIDAMA
    Proceedings of the 1999 American Control Conference (ACC99), 1(TA12), 1842-1845, 1999, Refereed
  • Existence of Optimal Fuzzy Rules in Fuzzy Control
    Takashi MITSUISHI, Jun KAWABE, Katsumi WASAKI, Yasunari SHIDAMA
    Proceeding of China and Japan Joint Symposium on Applied Mathematics and its Related Topic, 1(8), 77-86, 1999, Refereed
  • Construction and Operation of Regional School’s Co-operative System for Assist the Utilizing Personal Computers in Schools
    Tatsuo NAKAZAWA,Katsumi WASAKI,Michio SHIMIZU,Kazunori ITOH
    Proceedings of the 8th International Conference on Human-Computer Interaction (HCI99), 8(8), 251-252, 1999, Refereed
  • Center Manifold and H∞ Control in Weak Nonlinear Systems
    Noboru ENDOU,Keiji OHKUBO,Katsumi WASAKI,Pauline N. KAWAMOTO,Yasunari SHIDAMA
    Proceedings of the 1999 IEEE Systems, Man and Cybernetics Conference (SMC99), 1, 73-78, 1999, Refereed
  • Membership Functions in L2 Space and its Applications to Fuzzy Optimal Control
    Takashi MITSUISHI,Jun KAWABE,Katsumi WASAKI,Pauline N. KAWAMOTO,Yasunari SHIDAMA
    Proceedings of the 1999 IEEE Systems, Man and Cybernetics Conference (SMC99), 3, 51-55, 1999, Refereed
  • The Development of A VHDL Automatic Verification System for Logic Circuit Design Aid
    Hikofumi SUZUKI,Tatsuo NAKAZAWA,Katsumi WASAKI,Yasunari SHIDAMA
    Proceedings of the 2nd Magneto-Electronics International Symposium (MagEl99), 33-35, 1999, Refereed
  • The Compactness of a Set of Fuzzy Membership Functions in NBV and Its Application
    Yuguang YANG, Katsumi WASAKI, Masayoshi EGUCHI, Yasunari SHIDAMA, Morishige KIMURA
    IEICE Trans. of Fund., J82-A(4), 523-529, 1999, Refereedリポジトリ
  • Integral Manifold and H^\infty Optimal Control in Weal Nonlinear System
    Keiichi MIYAJIMA, Katsumi WASAKI, Hikofumi SUZUKI, Yasunari SHIDAMA, Masayoshi EGUCHI
    IEICE Trans. of Fund., J82-A(5), 637-648, 1999, Refereedリポジトリ
  • Full Subtracter Circuits. Part I
    Katsumi WASAKI,Noboru ENDOU
    Formalized Mathematics, 8(1), 77-81, 1999, Refereedリポジトリ
  • Correctness of Binary Counter Circuits
    Yuguang YANG,Katsumi WASAKI,Yasushi FUWA,Yatsuka NAKAMURA
    Formalized Mathematics, 8(1), 83-85, 1999, Refereedリポジトリ
  • Correctness of Johnson Counter Circuits
    Yuguang YANG,Katsumi WASAKI,Yasushi FUWA,Yatsuka NAKAMURA
    Formalized Mathematics, 8(1), 87-91, 1999, Refereedリポジトリ
  • Correctness of a Cyclic Redundancy Check Code Generator
    Yuguang YANG,Katsumi WASAKI,Yasushi FUWA,Yatsuka NAKAMURA
    Formalized Mathematics, 8(1), 129-132, 1999, Refereedリポジトリ
  • Fuzzy Optimal Control in L^2 Space
    Takashi MITSUISHI,Katsumi WASAKI,Jun KAWABE,Yasunari SHIDAMA
    Proceedings of the International Symposium on Artificial Intelligence in real-time Control (AIRTC98), 8(2), 62-65, 1998, Refereed
  • An Automatic HDL Generation for Parallel Accumulators based on the Extended Petri Net
    Katsumi WASAKI,Issei TAGUCHI,Hajime EIZAWA,Takeshi NAKAO,Pauline N. KAWAMOTO
    Proceedings of the 5th International Conference on Control,Automation,Robotics and Vision (ICARCV98), 1(TM4.6), 858-862, 1998, Refereed
  • The Realization and Evaluation of A Bi-level Image Code suitable for High-speed Real-time Decoding for Image Procesing
    Katsumi WASAKI, Yasushi FUWA, Masayoshi EGUCHI, Yatsuka NAKAMURA
    IIEEJ Trans., 25(6), 734-742, 1997, Refereedリポジトリ
  • 2's Complement Circuit (Boolean Operators and 2's Complement Circuit Properties)
    Katsumi WASAKI,Pauline N. KAWAMOTO
    Formalized Mathematics, 6(2), 189-197, 1997, Refereedリポジトリ
  • Teaching of Laboratory Courses for the Department of Electronics and Control Engineering of the College of Technology
    Nobuyuki ONO, Katsumi WASAKI, Hiroshi SUZUKI, Tomio HORIUCHI, Satoshi KISHI, Masao SAKAGUCHI
    JSEE Trans., 45(1), 21-25, 1997, Refereedリポジトリ
  • A Bus Arbitration Method based on Token Passing suited for the Packet Exchange System
    Katsumi WASAKI, Yasushi FUWA, Yatsuka NAKAMURA
    IEEJ Trans. (C), 117(12), 1782-1793, 1997, Refereedリポジトリ
  • Logical Coloured Petri Net Expanded to be Suitable for Making the Control System Model
    Katsumi WASAKI,Yasushi FUWA,Masayoshi EGUCHI,Yatsuka NAKAMURA
    Proceedings of the 4th International Conference on Control,Automation,Robotics and Vision (ICARCV96), 2(TA-2-2), 708-713, 1996, Refereed
  • A SELF-RECOVERING COMMUNICATION BUFFER BASED ON THE CONCEPT OF CELLULAR-AUTOMATON
    Katsumi WASAKI,Yasushi FUWA,Masayoshi EGUCHI,Yatsuka NAKAMURA
    SYSTEMS AND COMPUTERS IN JAPAN, 25(8), 1-15, Jul. 1994, RefereedWebofScience電子ジャーナル
  • A Self-Recovering Communication Buffer Based on the Concept of Cellular Automaton
    Katsumi WASAKI, Yasushi FUWA, Masayoshi EGUCHI, Yatsuka NAKAMURA
    IEICE Trans. of Inf. & Syst., J77-D-I(1), 41-52, 1994, Refereedリポジトリ

MISC

  • A Verification for Redundant Signed Digit Adder Circuits
    Edited by Roman Matuszewski and Anna Zalewska
    From Insight to Proof', Series of Studies in Logic, Grammar and Rhetoric, 10(23), 213-230, Jul. 2007
  • 高速ディジタル回路の論理的設計手法について
    和崎克己
    信州大学博士学位論文, Mar. 1997

Courses

  • Mathematical Logic
    Shinshu University
  • Information System Experimen II
    Shinshu University
  • Distributed Computing
    Shinshu University
  • Parallel Distributed Systems
    Shinshu University
  • Parallel Distributed Systems Tutorial I
    Shinshu University
  • Parallel Distributed Systems Tutorial II
    Shinshu University
  • Parallel Distributed Systems Lab.
    Shinshu University
  • Parallel Computing Systems
    Shinshu University

Affiliated academic society

  • IEEE
  • Institute of Electronics, Information and Communication Engineers (IEICE)
  • Institute of Electrical Engineers of Japan (JIEE)
  • Information Processing Society of Japan (IPSJ)
  • Japanese Society for Information and Systems in Education (JSiSE)

Research Themes

  • Modeling and Analysis of Concurrent, Parallel and/or Distributed Processing Systems
  • Mathematical Model and Formal Verification of Asynchronous Circuits
  • Hardware Compiler for Model Checking Systems

Academic Contribution Activities

  • Planning etc
    Technical Symposium and General Assembly of Mizar JAPAN (2019-2020), Faculty of Engineering, Shinshu University, Nagano, Japan., 27 Dec. 2018 - 27 Dec. 2020
  • Formal Methods and Verifications for The Highly Reliable Systems ; Distinguished Seminar at Qingdao University of Science&Technology(Qingdao, China), 21th June, 2010, 30 audiences.
    Planning etc
    Qingdao University of Science&Technology(Qingdao, China), 2010

Available resources (prototypes, experimental materials, data, etc.)

  • 高効率計算機システム構築技術, High Performance Computing (HPC) Systems
  • 形式検証とモデルチェッキング技術, Formal Verification and Model Checking