WASAKI, KATSUMI | Shinshu University Researcher Directory

Academic Organization	Academic Assembly　School of Science and Technology　Institute of Engineering	TEL
Education and Research Organization	Faculty of Engineering　Electrical and Computer Engineering	FAX
Position	Professor	Mail Address
Address	4-17-1 Wakasato Nagano-city, Nagano 380-8553, Japan.	Web site	https://www.cs.shinshu-u.ac.jp/~wasaki/index-e.html https://www.researchgate.net/profile/Katsumi_Wasaki/

Profile

Research Field: Theory of informatics
Computer system
Information network
Keywords:Concurent Systems , Mathematical Modeling , Formal Verification , Asynchronous Circuits , Petri Nets , LOTOS , Hardware Compiler , Upstream Design

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
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
Ph.D. in Engineering , Shinshu University

Awards: 2016 , Best Poster Award on Embedded System Symposium2016 (ESS2016) , 三井雄太，張江洋次朗，和﨑克己 : 階層型ペトリネット設計・検証ツール：HiPS ; 組込みシステムシンポジウム2016（ESS2016）講演論文集, 情報処理学会, 96-97, 2016.【査読付】
2016 , Best Presentation Award on Forum on Information Technology (FIT2016) , 和﨑克己, 新村正明, 下井信浩 : 高齢者見守りネットワークに用いる宅内センサ・エージェントの設計と実装 : 総務省SCOPE地域ICT振興型研究開発 ; FIT2016（第15回情報科学技術フォーラム）講演論文集, (J-036), 353-354, 2016.
2012 , Best Practice Award, Shin-Etsu Branch, Institute of Electronics, Information and Communication Engineers
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 , 國宗永佳，新村正明，和崎克己，不破　泰，師玉康成，中村八束 : 信州大学インターネット大学院の現状と評価 ; 教育システム情報学会誌，22，(4)，264-271，2005.
2001 , Best Paper Award on ICCAS2001 International Conference

Research Career: Research 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.

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
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,:43-44 2023(Sep.)
Author:Toshiki KUMAGAI, Keita TOMITA, Kenichi HIBINO, Katsumi WASAKI

Description and Consistency Checking of Distributed Algorithms in UML Models using Composite Structure and State Machine Diagrams
Proceedings of 20th International Conference on Information Technology-New Generations (ITNG 2023), Advances in Intelligent Systems and Computing,1445:199-207 2023(May)
Author:Yu MANTA, Katsumi WASAKI

Description and Verification of Systolic Array Parallel Computation Model in Synchronous Circuit using LOTOS
Proceedings of 20th International Conference on Information Technology-New Generations (ITNG 2023), Advances in Intelligent Systems and Computing,1445:379-386 2023(May)
Author:Yuya CHIBA, Katsumi WASAKI

Description of Restricted Object Reservation System using Specification and Description Language VDM++
Proceedings of 20th International Conference on Information Technology-New Generations (ITNG 2023), Advances in Intelligent Systems and Computing,1445:413-420 2023(May)
Author:Aoto MAKITA, Katsumi WASAKI

Computer Vision Techniques for Growth Prediction: A Prisma-Based Systematic Literature Review
Applied Sciences,13(5335) 2023(Apr.)
Author:Yojiro HARIE, Bishnu GAUTAM, Katsumi WASAKI

Reduction of spherical aberration measurement error in high numerical aperture spherical test with synthetic-aperture Fizeau interferometry
Proceedings of the 9th International Conference of Asian Society for Precision Engineering and Nanotechnology (ASPEN2022),(OR-11-0125):528-530 2022(Nov.)
Author:Toshiki KUMAGAI, Keita TOMITA, Kenichi HIBINO, Katsumi WASAKI

Inertia alignment of phase-shifting algorithms for high-numerical-aperture spherical testing in Fizeau interferometry
Applied Optics,61(30):8926-8935 2022(Oct.)
Author:Toshiki KUMAGAI, Kenichi HIBINO, Keita TOMITA, Katsumi WASAKI

An Integrated Web Platform for the Mizar Mathematical Library
Proceedings of the 15th Conference on Intelligent Computer Mathematics (CICM 2022),LNAI 13467:141-146 2022(Sep.)
Author:Hideharu Furushima, Daichi Yamamichi, Seigo Shigenaka, Kazuhisa Nakasho and Katsumi Wasaki

Classification of Human Posture on Bed Using Machine Learning
Proceedings of IEEE International Conference on Consumer Electronics - Taiwan - Consumer Systems for Healthcare and Wellbeing (ICCE-TW 2022),:547-548 2022(Jul.)
Author:Kenta SAWADA, Kazuhisa NAKASHO, Katsumi WASAKI, Nobuhiro SHIMOI

Detection of Strictly L3-Live Structures by Structural Analysis of General Petri Net Using SAT-Solver
Proceedings of 19th International Conference on Information Technology-New Generations (ITNG 2022), Advances in Intelligent Systems and Computing,1421:387-392 2022(Jun.)
Author:Yuta YOSHIZAWA, Katsumi WASAKI

Space Abstraction and Quasi-Home States of Petri Nets Using the Submarking Method
Proceedings of 19th International Conference on Information Technology-New Generations (ITNG 2022), Advances in Intelligent Systems and Computing,1421:393-398 2022(Jun.)
Author:Tomoki MIURA, Katsumi WASAKI

The Development of Japanese Language e-learning system focusing on CLIL (Content Language Integrated Learning) suitable for DX education
Proceedings of The 33rd Annual Conference of Society for Information Technology & Teacher Education (SITE 2022),:219-223 2022(Apr.)
Author:Shizuka NAKAMURA, Katsumi WASAKI

Low-Cost Sensor System with Life Signals for Bed Monitoring ; International Journal of Science and Engineering Investigations(IJSEI)
International Journal of Science and Engineering Investigations(IJSEI),10(116):45-50 2021(Sep.)
Author:Nobuhiro SHIMOI, Kazuhisa NAKASHO, Katsumi WASAKI

A Web Platform for Hosting the Mizar Mathematical Library
The 14th Conference on Intelligent Computer Mathematics (CICM 2021), Fifth Workshop on Formal Mathematics for Mathematicians (FMM2021), Session 22A 2021(Jul.)
Author:Daichi YAMAMICHI, Seigo SHIGENAKA, Kazuhisa NAKASHO, Katsumi WASAKI

Hardware Logic Library and High-level Logic Synthesizer Combining LOTOS and A Functional Programming Language
Proceedings of 18th International Conference on Information Technology-New Generations (ITNG 2021), Advances in Intelligent Systems and Computing,1346:313-321 2021(Jul.)
Author:Katsumi WASAKI

A Method for Improving Memory Efficiency of the Reachability Graph Generation Process in General Petri Nets
Proceedings of 18th International Conference on Information Technology-New Generations (ITNG 2021), Advances in Intelligent Systems and Computing,1346:255-263 2021(Jul.)
Author:Kohei FUJIMORI, Katsumi WASAKI

Synthetic aperture phase-shifting interferometry for high-numerical-aperture spherical surface measurement
Optical Engineering,60(1):0141011-1-0141011-13 2021(Jan.)
Author:Toshiki KUMAGAI, Yasunari NAGAIKE, Kenichi HIBINO, Katsumi WASAKI

Analysis of the Structural Liveness and Boundedness in Weighted Free-Choice Net based on Circuit Flow Values
Intelligent Computing - Proceedings of the 2020 Computing Conference - Advances in Intelligent Systems and Computing 1230,3:570-580 2020(Aug.)
Author:Yojiro HARIE, Katsumi WASAKI

An Approach for Flow Net Subgraph to Modelling and Analysis of Flexible Manufacturing Systems
Proceedings of the 31st International Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC 2020),:39-44 2020(Jul.)
Author:Yojiro HARIE, Katsumi WASAKI

Stability of the 7-3 Compressor Circuit for Wallace Tree. Part I
Formalized Mathematics,28(1):65-77 2020(Apr.)
Author:Katsumi WASAKI

Determination of Structurally Liveness and Boundedness of Petri Nets Using Flow Net Transformation
Proceedings of the 32nd Workshop on Circuits and Systems (KWS32), IEICE,(WIP-16):278-283 2019(Aug.)
Author:Yojiro HARIE, Katsumi WASAKI

Development of Simplified Monitoring System of Daily Life Using Care Robot and Non-restraining Sensors
IEICE Trans of Inf. & Syst.,J102-D(5):411-422 2019(May)
Author:Hirokazu MADOKORO, Nobuhiro SHIMOI, Kazuhito SATO, Kazuhisa NAKASHO, Masaaki NIIMURA, Katsumi WASAKI

Implications of Formal Verification and Modeling Tools for Performing Operational Profile-based Testing of VR Tourism Systems Design
Proceedings of the 7th IEEE Global Conference on Consumer Electronics (GCCE 2018),:582-586 2018(Oct.)
Author:Amit BATAJOO, Yojiro HARIE, Katsumi WASAKI

HiPS: Hierarchical Petri Net Design, Simulation, Verification and Model Checking Tool
Proceedings of the 6th IEEE Global Conference on Consumer Electronics (GCCE 2017),:686-690 2017(Oct.)
Author:Yojiro HARIE, Yuta MITSUI, Kohei FUJIMORI, Amit BATAJOO, Katsumi WASAKI

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, Technologies and Applications (SIMULTECH2017),:356-361 2017(Jul.)
Author:Yojiro HARIE, Katsumi WASAKI

Implementing an In-Home Sensor Agent in Conjunction with an Elderly Monitoring Network
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
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(Apr.)
Author:Bishnu Prasad GAUTAM, Katsumi WASAKI

The Method for Shellcode Extraction from Malicious Document File Using Entropy and Emulation
IPSJ Trans,56(3):892-902 2015(Mar.)
Author:Kazuki IWAMOTO, Katsumi WASAKI

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

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

Malware Classification Based on Extracted API Sequence by Static Analysis
IPSJ Trans.,54(3):1199-1210 2013
Author:Kazuki IWAMOTO, 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 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

Development and Evaluation of a Large-scale Agent-based System for Collecting Results of Information Literacy Learning Using Electronic Textbooks
JSiSE Journal,27(3):267-279 2010
Author:Keiichi TANAKA, Katsumi WASAKI

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

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 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

The Current Activities and Evaluations of Graduate School of Science and Technology on the Internet, Shinshu University
JSiSE Journal,22(4):264-271 2005
Author:Hisayoshi KUNIMUNE, Masaaki NIIMURA, Katsumi WASAKI, Yasushi FUWA, Yasunari SHIDAMA, Yatsuka NAKAMURA

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

Study on Polymer Glass Transition Temperature Prediction by Neural Network and Its Capability of Generalization
JASCOME Journal,5(05-062413):73-78 2005
Author:Yasuhiko KONDO, Katsumi WASAKI, Yasunari SHIDAMA

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

The Current Activities and the Future Plan of Graduate School of Science and Technology on the Internet, Shinshu University
Journal of Multimedia Aided Education Research,1(1):11-18 2004
Author:Yasushi FUWA, Hisayoshi KUNIMUNE, Masaaki NIIMURA, Katsumi WASAKI, Yasunari SHIDAMA, Yatsuka NAKAMURA

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

Network system for alpine ambulance using long distance wireless LAN and CATV LAN
Jpn. J. Med. Phys.,23(1):30-39 2003
Author:Masayuki NAKAMURA, Yuying YANGA, Shoshin KUBOTA, Hiroshi SHIMIZU, Yutaka MIURA, Katsumi WASAKI, Yasunari SHIDAMA, Masaomi TAKIZAWA

Multimedia Contents and Learning Style of the Shinshu University, Graduate School of Science and Technology on the Internet
JSAI Journal,18(4):426-432 2003
Author:Masaaki NIIMURA, Yasushi FUWA, Katsumi WASAKI, Yasunari SHIDAMA, Yatsuka NAKAMURA, Shinjiro Oshita

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

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

Robotics Education of Design and Making Aimed to Concurrent Engineering
JSME Trans. (C),67(659):268-273 2001
Author:Tadahiro KANEDA, Takeo YOSHIDA, Koichi OSUKA, Yasunari SHIDAMA, Katsumi WASAKI

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 of Complex 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

Integral Manifold and H^\infty Optimal Control in Weal Nonlinear System
IEICE Trans. of Fund.,J82-A(5):637-648 1999
Author:Keiichi MIYAJIMA, Katsumi WASAKI, Hikofumi SUZUKI, Yasunari SHIDAMA, Masayoshi EGUCHI

The Compactness of a Set of Fuzzy Membership Functions in NBV and Its Application
IEICE Trans. of Fund.,J82-A(4):523-529 1999
Author:Yuguang YANG, Katsumi WASAKI, Masayoshi EGUCHI, Yasunari SHIDAMA, Morishige KIMURA

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

A Bus Arbitration Method based on Token Passing suited for the Packet Exchange System
IEEJ Trans. (C),117(12):1782-1793 1997
Author:Katsumi WASAKI, Yasushi FUWA, Yatsuka NAKAMURA

Teaching of Laboratory Courses for the Department of Electronics and Control Engineering of the College of Technology
JSEE Trans.,45(1):21-25 1997
Author:Nobuyuki ONO, Katsumi WASAKI, Hiroshi SUZUKI, Tomio HORIUCHI, Satoshi KISHI, Masao SAKAGUCHI

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

The Realization and Evaluation of A Bi-level Image Code suitable for High-speed Real-time Decoding for Image Procesing
IIEEJ Trans.,25(6):734-742 1997
Author:Katsumi WASAKI, Yasushi FUWA, Masayoshi EGUCHI, Yatsuka NAKAMURA

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

A SELF-RECOVERING COMMUNICATION BUFFER BASED ON THE CONCEPT OF CELLULAR-AUTOMATON
SYSTEMS AND COMPUTERS IN JAPAN,25(8):1-15 1994(Jul.)
Author:Katsumi WASAKI，Yasushi FUWA，Masayoshi EGUCHI，Yatsuka NAKAMURA

A Self-Recovering Communication Buffer Based on the Concept of Cellular Automaton
IEICE Trans. of Inf. & Syst.,J77-D-I(1):41-52 1994
Author:Katsumi WASAKI, Yasushi FUWA, Masayoshi EGUCHI, Yatsuka NAKAMURA

MISC
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
Abstract:B01

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

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

Education

Lectures: 2023 , Mathematical Logic
2023 , Distributed Computing
2023 , Parallel Distributed Systems , 隔年開講科目
2023 , Information System Experimen II
2023 , Parallel Distributed Systems Tutorial I
2023 , Parallel Distributed Systems Tutorial II
2023 , Parallel Distributed Systems Lab.
2023 , Parallel Computing Systems

Social Activities

Social Activitie: Organization of Conferences and/or Symposia
20181227 - 20201227 , Technical Symposium and General Assembly of Mizar JAPAN (2019-2020) , Conference Organizer
2010 - , Formal Methods and Verifications for The Highly Reliable Systems ; Distinguished Seminar at Qingdao University of Science&Technology（Qingdao, China）, 21th June, 2010, 30 audiences.

Shinshu University Researcher Directory

WASAKI KATSUMI

Profile

Research

Education

Social Activities

WASAKI　KATSUMI