Shinshu University HOMEJAPANESEAccess / Campus Map

Shinshu University Researcher DirectoryShinshu University Researcher Directory

Search by Researcher / Research Field
Search by Category

WASAKI KATSUMI

Academic OrganizationAcademic Assembly School of Science and Technology Institute of EngineeringTEL
Education and Research OrganizationFaculty of Engineering Electrical and Computer EngineeringFAX
PositionProfessorMail Address
Address4-17-1 Wakasato Nagano-city, Nagano 380-8553, Japan.Web sitehttp://www.cs.shinshu-u.ac.jp/~wasaki
https://www.researchgate.net/profile/Katsumi_Wasaki/

Modified:04/19/2017

Profile

Research Field
Theory of informatics
Computer system
Information network
Current Subject
Modeling and Analysis of Concurrent, Parallel and/or Distributed Processing Systems
Keywords:Concurrency, Parallel, Distributed Systems
Mathematical Model and Formal Verification of Asynchronous Circuits
Keywords:Asynchronous Circuits, Formal Verification, Model Checking
Hardware Compiler for Model Checking Systems
Keywords:Model Checking, Upstream Compiler
Academic Societies
Academic Societies
MIZAR Association
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)
Academic Background
Graduate School
Shinshu University , (System Development Engineering , Graduate School of Science and Technology) , 1994
Shinshu University , (Computer Science&Engineering , Graduate School of Science and Technology) , 1993

College
Shinshu University , (Faculty of Engineering) , 1991

Degree
Doctor in Engineering , Shinshu University
Awards
2016 , Best Poster Award on Embedded System Symposium2016 (ESS2016)
2016 , Best Presentation Award on Forum on Information Technology (FIT2016)
2012
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 , Best Paper Award on Journal of Information and Systems in Education
2001 , Best Paper Award on ICCAS2001 International Conference
Research Career
Research Career
2016- , Department of Electrical and Computer Engineering, Faculty of Engineering, Shinshu University, Full Professor
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.

Overseas Education
2005-2005 , Research Associate, Dept. of Computing Science, University of Alberta, Canada
2003-2003 , Research Associate, Dept. of Computing Science, University of Alberta, Canada

Research

Books, Articles, etc.
Articles
Implementing an In-Home Sensor Agent in Conjunction with an Elderly Monitoring Network
Proceedings of the 14th International Conference on Information Technology - New Generations (ITNG2017), Advances in Intelligent Systems and Computing,558:57-65 2017(Apr.)
Author:Katsumi WASAKI, Masaaki NIIMURA, Nobuhiro SHIMOI


A Petri Net Design and Verification Platform based on The Scalable and Parallel Architecture: HiPS
Proceedings of the 14th International Conference on Information Technology - New Generations (ITNG2017), Advances in Intelligent Systems and Computing,558:265-273 2017(Apr.)
Author:Yojiro HARIE, Katsumi WASAKI


Formal Verification of the Safety Testing for Remote Controlled Consumer Electronics Using the Petri Net Design and Tool: HiPS
Proceedings of the 5th IEEE Global Conference on Consumer Electronics (GCCE 2016),:290-294 2016(Oct.)
Author:Yojiro HARIE, Katsumi WASAKI


A Novel Approach of Fault Management and Restoration of Network Services in IoT Cluster to Ensure Disaster Readiness
Proceedings of the 2016 International Conference on Networking and Network Applications (NaNA2016),:422-427 2016(Jul.)
Author:Bishnu Prasad GAUTAM, Katsumi WASAKI, Narayan SHARMA


Multi-master Replication of an Enhanced Learning Assistant System in IoT Cluster
Proceedings of the 30th IEEE International Conference on Advanced Information Networking and Applications (AINA-2016),:1006-1012 2016(Mar.)
Author:Bishnu GAUTAM, Amit BATAJOO, Katsumi WASAKI, Suresh SHRESTHA, Kazuhiko SATO


Deployment of Wi-Fi Network as an Emergency Survival Communication Network in Wakkanai
IEEJ Transactions on Electrical and Electronic Engineering,10(s1):S60-S68 2015(Oct.)
Author:Bishnu Prasad GAUTAM, Katsumi WASAKI


文書型マルウェアに対するエントロピーとエミュレーションを用いたシェルコード特定方法
情報処理学会論文誌,56(3):892-902 2015(Mar.)
Author:岩本一樹, 和崎克己


A Method for Shellcode Extraction from Malicious Document Files usingEntropy and Emulation
Proceedings of the 4th International Conference on Security Science and Technology (ICSST2015),(ST005):7pages 2015(Jan.)
Author:Kazuki IWAMOTO, Katsumi WASAKI


Using a Solar Powered Robotic Vehicle to Monitor and Manage Unstable Networks
International Journal of Future Computer and Communication,3(6):415-420 2014(Dec.)
Author:Bishnu Prasad GAUTAM, Katsumi WASAKI, Narayan SHARMA


Quantum Theory of Fundamental Network (Path Integral Expression Circuits and Network's Quantization)
International Journal of Innovative Computing Information and Control,10(5):1601-1623 2014(Oct.)
Author:Hiroyuki MATSUURA, Katsumi WASAKI


Quantization of Artificial Neuron (Quantum Current, Model of Polariton on Axon)
International Journal of Innovative Computing Information and Control,10(3):1121-1133 2014(Jun.)
Author:Hiroyuki MATSUURA, Katsumi WASAKI


Using a Redundant Wi-Fi Network as an Emergency Detour Route to Proactively Reduce Disaster Risk in Wakkanai, Hokkaido
Proceedings of the 2014 International Conference on Information Science, Electronics and Electrical Engineering (ISEEE2014),3:1830-1837 2014(Apr.)
Author:Bishnu Prasad GAUTAM, Katsumi WASAKI


Content Development for Distance Education in Advanced University Mathematics Using Mizar
Proceedings of the 2013 International Conference on e-Learning, e-Business, Enterprise Information Systems, and e-Government (EEE'13),:321-326 2013
Author:TakayaIDO, Hiroyuki OKAZAKI, Hiroshi YAMAZAKI, Pauline Naomi KAWAMOTO, Katsumi WASAKI, Yasunari SHIDAMA


Structural Analysis and Retargetable Netlist Generation using an Upstream Hardware Compiler : Melasy+
International Journal of Advanced Computer Science,3(1):26-32 2013
Author:Sho NISHIDA, Katsumi WASAKI


静的解析により抽出されたAPI推移に基づくマルウェアの分類
情報処理学会論文誌,54(3):1199-1210 2013
Author:岩本一樹, 和崎克己


SOA-based Campus Administration Management System using Multi-layered Architecture : Campus-SIA
マルチメディア通信と分散処理ワークショップ論文集,2012(4):219-226 2012(Oct. 10)
Author:BishnuPrasadGautam; Katsumi Wasaki;


An Integrated Design and Verification Environment Handling the Transformation from Upstream Design to the Model Checking Process
International Journal of Advancements in Computing Technology,4(14):372-380 2012(Aug.)
Author:Naoki MIYAMOTO, 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 2012(Apr.)
Author:Sho NISHIDA, Katsumi WASAKI


Improved Analysis Algorithms of Free-Choice Nets for Behavioral Properties
Proceedings of International Conference of Information Science and Computer Applications (ICISCA 2012),1:195-200 2012
Author:Kazuto IDE, Katsumi WASAKI


Malware Classification based on Extracted API Sequences using Static Analysis
Proceedings of the 8th Asian Internet Engineering Conference (AINTEC2012),:31-38 2012
Author:Kazuki IWAMOTO, Katsumi WASAKI


Morphology for Image Processing, Part I
Formalized Mathematics,20(1):61-63 2012
Author:Hiroshi YAMAZAKI, Czeslaw BYLINSKI, Katsumi WASAKI


Automatic Generation of SPIN Model Checking Code from UML Activity Diagrams
International Journal of Advancements in Computing Technology,3(8):189-197 2011(Sep.)
Author:Yutaka YAMADA, Katsumi WASAKI


Automatic Generation of SPIN Model Checking Code from UML Activity Diagram and Its Application to Web Application Design
Proceedings of the 7th International Conference on Digital Content, Multimedia Technology and its Applications (IDCTA2011),1:139-144 2011(Aug.)
Author:Yutaka YAMADA, Katsumi WASAKI


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 8th International Conference on Information Technology : New Generations (ITNG2011),1:1-6 2011
Author:Keiichi TANAKA, Katsumi WASAKI


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
IEEJ Transactions on Electrical and Electronic Engineering,6(1):37-45 2011
Author:Masayuki NAKAMURA, Hideaki TAKAGI, Kiyoshi EINAGA, Toshiyuki NISHIKAWA, Naoshi MORIYAMA, Katsumi WASAKI


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
Proceedings of 2010 Asia-Pacific Microwave Conference (APMC2010),1(WE3C-02):163-166 2010
Author:Masayuki Nakamura, Hideaki Takagi, Junichi Terashima, Kiyoshi Einaga, Toshiyuki Nishikawa, Naoshi Moriyama, Katsumi Wasaki


Development and evaluation of a large-scale agent-based system for collecting results of information literacy learning using electronic textbooks
Proceedings of Society for Information Technology&Teacher Education International Conference 2010 (SITE2010),1:3191-3196 2010
Author:Keiichi TANAKA, Katsumi WASAKI


電子テキストを利用した情報リテラシ教育の実施結果収集を行う大規模エージェントベースシステムの開発と評価
教育システム情報学会誌,27(3):267-279 2010
Author:田中敬一、和崎克己


Complex Integral
Formalized Mathematics,17(4):233-236 2009
Author:Masahiko YAMAZAKI, Hiroshi YAMAZAKI, Katsumi WASAKI, Yasunari SHIDAMA


Evaluation of a Dual-band Long Leaky Coaxial Cable in the 2.4 and 5 GHz Frequency Bands for Wireless Network Access
Proceedings of the 2009 IEEE Radio and Wireless Symposium (IEEE RWS2009),1(TU3C):510-513 2009
Author:Masayuki NAKAMURA, Hideaki TAKAGI, Kiyoshi EINAGA, Toshiyuki NISHIKAWA, Naoshi MORIYAMA, Katsumi WASAKI


A Meta Hardware Description Language Melasy for Model-Checking Systems
Proceedings of the 5th International Conference on Information Technology : New Generations (ITNG2008),1(MC1):273-278 2008
Author:Naoki IWASAKI, Katsumi WASAKI


Development of a 300m 2.4GHz Frequency Band Leaky Coaxial Cable for Wireless Network Access
Proceedings of the 2008 IEEE Radio and Wireless Symposium (IEEE-RWS2008),1(TH1C):687-690 2008
Author:Masayuki NAKAMURA, Hideaki TAKAGI, Kiyoshi EINAGA, Toshiyuki NISHIKAWA, Naoshi MORIYAMA, Katsumi WASAKI


Stability of the 4-2 Binary Addition Circuit Cells. Part I
Formalized Mathematics,16(4):385-395 2008
Author:Katsumi WASAKI


A Realization of the Persistence of Petri Net State Spaces using XML Data Deployment
International Journal of Computer Science and Network Security,8(3):92-97 2008
Author:Katsumi WASAKI


Correctness of the Stability of the 4-2 Compressor Cell for Partial Product Reduction in Parallel Multiplier Circuits
Mechanized Mathematics and Its Applications,7(2):17-25 2008
Author:Katsumi WASAKI


Stability of n-bit Generalized Full Adder Circuits (GFAs). Part II
Formalized Mathematics,16(1):73-80 2008
Author:Katsumi WASAKI


A Modeling and Formal Verification of Multi-layered Combined Circuits
Workshop Proceedings of the 14th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR2007),1(6):1-5 2007
Author:Katsumi WASAKI


Controller Design and Verification for A Pipeline Image Processor based on An Extended Petri net
Proceedings of the 10th EUROMICRO Conference on Digital System Design (DSD2007),1(6):1-7 2007
Author:Katsumi WASAKI, Toshiaki HARAI


A Design Verification of the Parallel Pipelined ImageProcessing
Proceedings of the International e-Conference of Computer Science (IeCCS2007) Part-I,1(59):1-4 2007
Author:Katsumi WASAKI, Toshiaki HARAI


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 (FCS'07),1(59):10-16 2007
Author:Katsumi WASAKI, Kenichi ARAI


A Watermarking Scheme using Background Pattern to Protect Printed Documents
Proceedings of the International Workshop on Nonlinear Circuits and Signal Processing (NCSP2007),1(151):17-20 2007
Author:Katsuki KOBAYASHI, Kiyoshi TANAKA, Hernan AGUIRRE, Hiroyuki OKAZAKI, Hisayoshi KUNIMUNE, Katsumi WASAKI, Masaaki NIIMURA, Yasushi FUWA


Riemann Indefinite Integral of Functions of Real Variable
Formalized Mathematics,15(2):59-63 2007
Author:Yasunari SHIDAMA, Noboru ENDOU,Katsumi WASAKI


A Realization and Verification of A Parallel Image Processing Controller by using An Extended Petri net
International Journal of Computer Science and Network Security,7(3):258-263 2007
Author:Katsumi WASAKI


A Formal Verification Case Study for IEEE-P.896 Bus Arbiter by using A Model Checking Tool
International Journal of Computer Science and Network Security,7(3):184-192 2007
Author:Katsumi WASAKI


A Transformation from AES Encryption Processes to Extended Petri Net Models using PNML and Evaluation Tools
Proceedings of the 1st International Conference on Multidisciplinary Information Sciences and Technologies (InSciT2006),1(151):283-287 2006
Author:Shin'nosuke YAMAGUCHI, Katsumi WASAKI, Yasunari SHIDAMA


Practice and Evaluation of Display Scope Control System of e-Learning Materials based on Learning Progressions
The Journal of Information and Systems in Education,5(1):76-83 2006
Author:Hisayoshi KUNIMUNE, Masaaki NIIMURA, Katsumi WASAKI, Yasushi FUWA


The learning system of Shinshu University Graduate School of Science and Technology on the Internet
KNOWLEDGE-BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT 3, PROCEEDINGS,3683(1):1296-1302 2005
Author:Kunimune, H; Niimura, M; Wasaki, K; Fuwa, Y; Shidama, Y; Nakamura, Y


The Learning System of Shinshu University Graduate School of Science and Technology on the Internet
Proceedings of 9th International Conference on Knowledge-Based Intelligent Information and Engineering Systems (KES2005),3:1296-1302 2005
Author:Hisayoshi KUNIMUNE, Masaaki NIIMURA, Katsumi WASAKI, Yasushi FUWA, Yasunari SHIDAMA, Yatsuka NAKAMURA


Display Scope Control System of e-Learning Courseware based on the Learning Progress
Proceedings of the IPSI-2005,1:1-5 2005
Author:Hisayoshi KUNIMUNE, Masaaki NIIMURA, Katsumi WASAKI, Yasushi FUWA, Yasunari SHIDAMA, Yatsuka NAKAMURA


Experimental Telemedicine Networkwith the Long-Range Wireless LAN and CATV for Mountain Climbers in the Japanese Alps
The Proceedings of the IASTED International Conference on Telehealth (Telehealth 2005),1(484-032):29-34 2005
Author:Masayuki NAKAMURA, Yuying YANG, Shoshin KUBOTA, Katsumi WASAKI, Yasunari SHIDAMA, Yutaka MIURA


信州大学インターネット大学院の現状と評価
教育システム情報学会誌,22(4):264-271 2005
Author:國宗永佳,新村正明,和崎克己,不破 泰,師玉康成,中村八束


Generalized Full AdderCircuits (GFAs). Part I
Formalized Mathematics,14(4):549-571 2005
Author:Shin'nosuke YAMAGUCHI, Katsumi WASAKI, Nobuhiro SHIMOI


ニューラルネットワークを用いた高分子材料のガラス転移温度(Tg)の予測と汎化能力について
計算数理工学論文集,5(05-062413):73-78 2005
Author:近藤康彦, 和崎克己, 師玉康成


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,Automation,Robotics and Vision (ICARCV2004),11(WeM1.5):1994-1999 2004
Author:Shin'nosuke YAMAGUCHI, Akira NISHINO, Katsumi WASAKI , Yasunari SHIDAMA


A Design and Verification Tool for the Parallel Systems by An Extended Petri Net and Java Executor
Proceedings of the International Workshop on Discrete-Event System Design (DESDes'04),11(WeM1.5):61-66 2004
Author:Shin'nosuke YAMAGUCHI, Katsumi WASAKI, Yasunari SHIDAMA


Controller Design and Verification for A Parallel Image Processor in An FMS using An Extended Petri Net
Proceedings of the 11th IFAC Symposium on Information Control Problems in Manufacturing (INCOM2004),11:61-66 2004
Author:Akira NISHINO, Noboru KASADA, Katsumi WASAKI And Yasunari SHIDAMA


A Design Verification of an n-bit Adder Circuit Using a Proof Checker
Mechanized Mathematics and Its Applications,3(1):18-26 2004
Author:Shin'nosuke YAMAGUCHI, Grzegorz BANCEREK, Katsumi WASAKI, Yasunari SHIDAMA


信州大学インターネット大学院の現状と将来計画
Journal of Multimedia Aided Education Research,1(1):11-18 2004
Author:不破 泰,國宗永佳,新村正明,和崎克己,師玉康成,中村八束


Verification and Realization for the Distributed Parallel Systems based on An Extended Petri Net and XML/Java Executor
Proceedings of the 1st Workshop on Automated Technologyfor Verification and Analysis (ATVA'2003),1(D-3):157-168 2003
Author:Shin'nosuke YAMAGUCHI , Katsumi WASAKI , Yasunari SHIDAMA


Development of Upstream Extension Amplifier for CATV with High Selectivity and Wideband Microstrip Line Filters
Proceedings of the 2003 Asia-Pacific Microwave Conference (APMC'03),1(FB6-1):1636-1639 2003
Author:Masayuki NAKAMURA, Yuying YANG, Katsumi WASAKI, Yasunari SHIDAMA


Study on a Noise Reduction System of CATV Network Upstream for Data Communication
Proceedings of the 12th International Conference on Computer Communication and Networks (ICCCN2003),12(30-3):613-616 2003
Author:Masayuki NAKAMURA, Yuying YANG, Katsumi WASAKI, Yasunari SHIDAMA


Shinshu University, Graduate School of Science and Technology on the Internet
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
Author:Masaaki NIIMURA, Yasushi FUWA, Katsumi WASAKI, Yasunari SHIDAMA,Yatsuka NAKAMURA, Shinjiro OSHITA


A High Reliability Design for NFS Server Software By using An Extended Petri Net
Proceedings of the 5th International Conference on Enterprise Information System (ICEIS2003),3(56):498-502 2003
Author:Shin'nosuke YAMAGUCHI , Katsumi WASAKI , Yasunari SHIDAMA


長距離無線LANと広域CATV通信網接続による山岳医療情報ネットワークの構築
医学物理,23(1):30-39 2003
Author:中村正幸,楊 毓英,窪田昭真, 清水 洋, 三浦 裕, 和崎克己,師玉康成, 滝沢正臣


信州大学インターネット大学院におけるマルチメディア教材の利用と履修状況について
人工知能学会誌,18(4):426-432 2003
Author:新村正明,不破 泰,和崎克己,師玉康成,中村八束,大下眞二郎


Full Subtracter Circuit. Part II
Formalized Mathematics,11(3):231-236 2003
Author:Shin'nosuke YAMAGUCHI, Grzegorz BANCEREK, Katsumi WASAKI


データ通信に用いるCATV網上り回線の雑音低減について
情報処理学会研究報告 [オーディオビジュアル複合情報処理],2002(120):117-120 2002
Author:中村正幸,楊 航英,山崎英樹,内川富彦,和崎克己,師玉康成


A High Reliability Design for NFS Server Software Based on the Logical Coloured Petri Net
Proceedings of the 7th International Conference on Control,Automation,Robotics and Vision (ICARCV'02),1(TuA4.2):73-77 2002
Author:Shin'nosuke YAMAGUCHI , Katsumi WASAKI , Yasunari SHIDAMA


The Persistence ofthe Petri Net State-space
Proceedings of the 7th International Conference on Control,Automation,Robotics and Vision (ICARCV’02),1(TuA4.1):69-72 2002
Author:Koichi OKADA, Katsumi WASAKI , Yasunari SHIDAMA


Full Adder Circuit. Part II
Formalized Mathematics,10(1):65-71 2002
Author:Grzegorz BANCEREK, Shin'nosuke YAMAGUCHI, Katsumi WASAKI


Integral manifold and H-infinity control in weak nonlinear systems
ELECTRONICS AND COMMUNICATIONS IN JAPAN PART III-FUNDAMENTAL ELECTRONIC SCIENCE,84(1):43-56 2001
Author:Miyajima, K; Wasaki, K; Suzuki, H; Shidama, Y; Eguchi, M


Optimization of Fuzzy Feedback Control in L∞ Space
Proceedings of The 10th IEEE International Conference on Fuzzy Systems (IEEE-FUZZ2001),1(P211):896-899 2001
Author:Takashi MITSUISHI, Jun KAWABE, Katsumi WASAKI, Yasunari SHIDAMA


Automatic HDL Generation for A DES Codec for an Encrypted NFS Server based on an Extended Petri Net
Proceedings of the International Workshop on Discrete-Event System Design (DESDes'01),1(I-7):61-66 2001
Author:Shin'nosuke YAMAGUCHI, Katsumi WASAKI, Yasunari SHIDAMA


The House Keeping System of Automated Evaluation of Students’ Programming Reports
Fast Abstract of the 12th International Symposium on Software Reliability Engineering (ISSRE2001),1(S1-7):1-2 2001
Author:Hikofumi SUZUKI,Katsumi WASAKI,Tatsuo NAKAZAWA,Yasunari SHIDAMA


コンカレントエンジニアリングを目指したロボット設計製作教育の試行
日本機械学会論文誌C編,67(659):268-273 2001
Author:金田忠裕, 吉田丈夫, 大須賀公一, 師玉康成, 和崎克己


Measurability of Extended Real Valued Function
Formalized Mathematics,9(3):525-529 2001
Author:Noboru ENDOU,Katsumi WASAKI,Yasunari SHIDAMA


The Concept of Fuzzy Relation and Basic Properties of its Operation
Formalized Mathematics,9(3):517-524 2001
Author:Takashi MITSUISHI,Katsumi WASAKI,Yasunari SHIDAMA


Some Properties of Extended Real Numbers Operations: absolute value, min and max
Formalized Mathematics,9(3):511-516 2001
Author:Noboru ENDOU,Katsumi WASAKI,YasunariSHIDAMA


Definitions and Basic Properties of Measurable Functions
Formalized Mathematics,9(3):495-500 2001
Author:Noboru ENDOU,Katsumi WASAKI,Yasunari SHIDAMA


Basic Properties of Extended Real Numbers
Formalized Mathematics,9(3):491-494 2001
Author:Noboru ENDOU,Katsumi WASAKI,Yasunari SHIDAMA


The Correctness of the High Speed Array Multiplier Circuits
Formalized Mathematics,9(3):475-479 2001
Author:Hiroshi YAMAZAKI,Katsumi WASAKI


Ensemble by Seven Musical Performance Robots
Journal of Robotics and Mechatronics, theRobotics and Mechatronics Division of the Japan Society ofMechanical Engineers,13(1):50-55 2001
Author:Tadahiro KANEDA, Shoichiro FUJISAWA, Takeo YOSHIDA, Yasumasa YOSHITANI, Takashi NISHI, Yasunari SHIDAMA, Katsumi WASAKI


Basic Properties of Fuzzy Set Operation and Membership Function
Formalized Mathematics,9(2):357-362 2001
Author:Takashi MITSUISHI,Katsumi WASAKI,Yasunari SHIDAMA


Introduction to Several Concepts of Convexity and Semi-continuity for Function from Real to Real
Formalized Mathematics,9(2):285-289 2001
Author:Noboru ENDOU,Katsumi WASAKI,Yasunari SHIDAMA


Definition of Integrability for Partial Functions from REAL to REAL and Integrability for Continuous Functions
Formalized Mathematics,9(2):281-284 2001
Author:Noboru ENDOU,Katsumi WASAKI,Yasunari SHIDAMA


Integrability of Bounded Total Functions
Formalized Mathematics,9(2):271-274 2001
Author:Noboru ENDOU,Katsumi WASAKI, Yasunari SHIDAMA


Darboux's Theorem
Formalized Mathematics,9(1):197-200 2001
Author:Noboru ENDOU,Katsumi WASAKI,Yasunari SHIDAMA


Scalar Multiple of Riemann Definite Integral
Formalized Mathematics,9(1):191-196 2001
Author:Noboru ENDOU,Katsumi WASAKI,Yasunari SHIDAMA


Property ofComplex Sequence and Continuity of Complex Function
Formalized Mathematics,9(1):185-190 2001
Author:Takashi MITSUISHI,Katsumi WASAKI,Yasunari SHIDAMA


Property of Complex Functions
Formalized Mathematics,9(1):179-184 2001
Author:Takashi MITSUISHI,KatsumiWASAKI,Yasunari SHIDAMA


A process design for the Network File System model based on the Logical Coloured Petri Net
Proceedings of the 6th International Conference on Control,Automation,Robotics and Vision (ICARCV2000),1(FM5.3):1-6 2000
Author:Shin'nosuke YAMAGUCHI, Katsumi WASAKI, Yasunari SHIDAMA


A Rapid HDL Generation for A pipelined DES Encipher Circuit by using the Logical Coloured Petri Net
Proceedings of the 6th International Conference on Control,Automation,Robotics and Vision (ICARCV2000),1(FM5.2):1-6 2000
Author:Katsumi WASAKI , Shin'nosuke YAMAGUCHI , Yasunari SHIDAMA , Nobuhiro SHIMOI


Decision-Making of Theme by Students in a Case Study and Its Results
Proceedings of 9th IEEE International Workshop on Robot and Human Interactive Communication (IEEE-ROMAN2000),1(FM5.2):301-304 2000
Author:Tadahiro KANEDA, Yoichiro KINUGAWA, Yasumasa YOSHITANI, Takashi NISHI, Kazuo HIROGUCHI, TakeoYOSHIDA, Yasunari SHIDAMA, Katsumi WASAKI


Fuzzy Optimal Control Using Simple Inference Method and Function Type Inference Method
Proceedings of the 2000 American Control Conference (ACC2K),:1944-1948 2000
Author:Takashi MITSUISHI,Katsumi WASAKI,Keiji OHKUBO,Jun KAWABE,Yasunari SHIDAMA


A Set of Time Dependent Fuzzy Membership Functions and Its Compactness
Proceedings of the 2000 American Control Conference (ACC2K),:2468-2471 2000
Author:Noboru ENDOU,Katsumi WASAKI,Keiji OHKUBO,Pauline N. KAWAMOTO,Yasunari SHIDAMA


Optimization of Fuzzy Feedback Control Determined by Product-Sum-Gravity Method
Journal of Nonlinear and Convex Analysis,1(2):201-211 2000
Author:Takashi MITSUISHI,Jun KAWABE, Katsumi WASAKI,Yasunari SHIDAMA


An Optimization of Fuzzy Logic by using Genetic Algorithm
Mechanized Mathematics and Its Applications,1(1):39-45 2000
Author:Noboru ENDOU, Akihiro UCHIBORI, Katsumi WASAKI


The Development of A VHDL Automatic Verification System for Logic Circuit Design Aid
Proceedings of the 2nd Magneto-Electronics International Symposium (MagEl99),:33-35 1999
Author:Hikofumi SUZUKI,Tatsuo NAKAZAWA,Katsumi WASAKI,Yasunari SHIDAMA


Membership Functions in L2 Space and its Applications to Fuzzy Optimal Control
Proceedings of the 1999 IEEE Systems, Man and Cybernetics Conference (SMC99),3:51-55 1999
Author:Takashi MITSUISHI,Jun KAWABE,Katsumi WASAKI,Pauline N. KAWAMOTO,Yasunari SHIDAMA


Center Manifold and H∞ Control in Weak Nonlinear Systems
Proceedings of the 1999 IEEE Systems, Man and Cybernetics Conference (SMC99),1:73-78 1999
Author:Noboru ENDOU,Keiji OHKUBO,Katsumi WASAKI,Pauline N. KAWAMOTO,Yasunari SHIDAMA


Construction and Operation of Regional School’s Co-operative System for Assist the Utilizing Personal Computers in Schools
Proceedings of the 8th International Conference on Human-Computer Interaction (HCI99),8(8):251-252 1999
Author:Tatsuo NAKAZAWA,Katsumi WASAKI,Michio SHIMIZU,Kazunori ITOH


Existence of Optimal Fuzzy Rules in Fuzzy Control
Proceeding of China and Japan Joint Symposium on Applied Mathematics and its Related Topic,1(8):77-86 1999
Author:Takashi MITSUISHI, Jun KAWABE, Katsumi WASAKI, Yasunari SHIDAMA


Mamdani fuzzy controller on NBV space
Proceedings of the 1999 American Control Conference (ACC99),1(TA12):1842-1845 1999
Author:Yuguang YANG,Noboru ENDOU,Katsumi WASAKI,Keiji OHKUBO,Yasunari SHIDAMA


Correctness of a Cyclic Redundancy Check Code Generator
Formalized Mathematics,8(1):129-132 1999
Author:Yuguang YANG,Katsumi WASAKI,Yasushi FUWA,Yatsuka NAKAMURA


Correctness of Johnson Counter Circuits
Formalized Mathematics,8(1):87-91 1999
Author:Yuguang YANG,Katsumi WASAKI,Yasushi FUWA,Yatsuka NAKAMURA


Correctness of Binary Counter Circuits
Formalized Mathematics,8(1):83-85 1999
Author:Yuguang YANG,Katsumi WASAKI,Yasushi FUWA,Yatsuka NAKAMURA


Full Subtracter Circuits. Part I
Formalized Mathematics,8(1):77-81 1999
Author:Katsumi WASAKI,Noboru ENDOU


中心多様体と弱非線形系H∞制御
電子情報通信学会論文誌,J82-A(5):637-648 1999
Author:宮島啓一,和崎克己,鈴木彦文,江口正義,師玉康成


NBV空間のファジィ集合族のコンパクト性とファジィ制御への応用
電子情報通信学会論文誌,J82-A(4):523-529 1999
Author:楊 毓光,和崎克己,江口正義,師玉康成,木村盛茂


An Automatic HDL Generation for Parallel Accumulators based on the Extended Petri Net
Proceedings of the 5th International Conference on Control,Automation,Robotics and Vision (ICARCV98),1(TM4.6):858-862 1998
Author:Katsumi WASAKI,Issei TAGUCHI,Hajime EIZAWA,Takeshi NAKAO,Pauline N. KAWAMOTO


Fuzzy Optimal Control in L^2 Space
Proceedings of the International Symposium on Artificial Intelligence in real-time Control (AIRTC98),8(2):62-65 1998
Author:Takashi MITSUISHI,Katsumi WASAKI,Jun KAWABE,Yasunari SHIDAMA


トークンを用いたパケット交換システム用バス調停方式
電気学会電子・情報・システム部門誌(C分冊),117(12):1782-1793 1997
Author:和崎克己,不破 泰,中村八束


高専電子制御工学科における実験実習指導~システム技術者能力の育成を目指す総合実験実習の導入~
工学教育,45(1):21-25 1997
Author:小野伸幸,和崎克己,岸 佐年,鈴木 宏,堀内富雄,坂口正雄


2's Complement Circuit (Boolean Operators and 2's Complement Circuit Properties)
Formalized Mathematics,6(2):189-197 1997
Author:Katsumi WASAKI,Pauline N. KAWAMOTO


画像処理に適した高速リアルタイム復号が可能な2値画像符号とその評価
画像電子学会誌,25(6):734-742 1997
Author:和崎克己,不破 泰,江口正義,中村八束


Logical Coloured Petri Net Expanded to be Suitable for Making the Control System Model
Proceedings of the 4th International Conference on Control,Automation,Robotics and Vision (ICARCV96),2(TA-2-2):708-713 1996
Author:Katsumi WASAKI,Yasushi FUWA,Masayoshi EGUCHI,Yatsuka NAKAMURA


セルオートマトンの概念を用いた自己回復能力をもつ通信用バッファ
電子情報通信学会論文誌,J77-D-I(1):41-52 1994
Author:和崎克己,不破 泰,江口正義,中村八束


Others
A Verification for Redundant Signed Digit Adder Circuits
From Insight to Proof', Series of Studies in Logic, Grammar and Rhetoric , 10(23):213-230 2007(Jul.)
Author:Edited by Roman Matuszewski and Anna Zalewska


高速ディジタル回路の論理的設計手法について
信州大学博士学位論文 1997(Mar.)
Author:和崎克己

Themes for Joint Research
High Performance Computing Systems (HPCS) with GPGPU Cluster
Formal Verification and Model Checking for Digital Circuits
Upstream Design Language and its Hardware Compiler
Resources
High Performance Computing (HPC) Systems
Formal Verification and Model Checking
Research Grants
Cooperative research with industry
2015 - 2017 , 総務省SCOPE:地域ICT振興型研究開発「複合センサを用いた地域型独居高齢者生活モニタリングシステムの研究開発」フェーズI・II
2006 - 2008 , 総務省消防庁「消防防災科学技術研究推進制度」受託研究 GHz帯長距離漏洩同軸ケーブルを用いた高速防災無線情報システムの研究開発

Education

Lectures
2017 , Networked Computing
2017 , Security of Society Systems
2017 , Formalized System Modeling
2017 , Computer Networks
2017 , Information Fundamental Tutorial I
2017 , Information Fundamental Tutorial III
2017 , Information Fundamental Lab. I
2017 , Information Fundamental Lab. III
2017 , Parallel Computing Systems
2016 , Information Security Systems