WASAKI KATSUMI
Academic Assembly School of Science and Technology Institute of Engineering
Faculty of Engineering Electrical and Computer Engineering
Professor
Researcher Information
Research Keyword
- Modeling and Analysis of Parallel and Distributed Systems, Mathematical Models and Formal Verification of Asynchronous Circuits, Hardware Compilers for Model Checking Systems, Formal Approaches, Formal Verification, Mathematical Modeling, Concurent Systems, Petri Nets, Upstream Software Design, Domain-Driven Design : DDD, Hardware Compiler, LOTOS, Asynchronous Circuits
Field Of Study
Web site
Career
- 2009 - Present
Dept. of Comp. Sci.&Eng., Fac. of Eng, Shinshu University, Full Professor - 2007 - 2009
Graduate Sch. of Science and Tech., Shinshu University Assoc. Prof. - 2005 - 2005
Visiting Researcher, Department of Computational Science, University of Alberta, Canada - 2003 - 2003
Visiting Researcher, Department of Computational Science, University of Alberta, Canada - 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
- 1997 - 1997, Shinshu University, Doctorate by Dissertation Conferral, Ph.D in Engineering, No. 乙 54
- 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
Research activity information
Award
- 2023
The Japan Society for Precision Engineering, Technical Award of The Japan Society for Precision Engineering
Japan
「フィゾー型機械式位相シフト干渉計による高開口数レンズの高精度測定技術の開発」 共同研究者 態谷俊樹、富田恵多（オリンパス株式会社） 日比野 謙一 （産業総合研究所） 和﨑克己（信州大学） - 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)
Japan
三井雄太，張江洋次朗，和﨑克己 : 階層型ペトリネット設計・検証ツール：HiPS ; 組込みシステムシンポジウム2016（ESS2016）講演論文集, 情報処理学会, 96-97, 2016.【査読付】 - 2016
Information Processing Society of Japan, Best Presentation Award on Forum on Information Technology (FIT2016)
Japan
和﨑克己, 新村正明, 下井信浩 : 高齢者見守りネットワークに用いる宅内センサ・エージェントの設計と実装 : 総務省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
Japan - 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
Japan
國宗永佳;新村正明;和崎克己;不破 泰;師玉康成;中村八束;信州大学インターネット大学院の現状と評価;教育システム情報学会誌
Best Paper Award on Journal of Information and Systems in Education - 2001
The Instituteof Control, Automation, and Systems Engineers, Korea (ICASE), Best Paper Award on ICCAS2001 International Conference
Paper
- CodoMo: Python Model Checking to Integrate Agile Verification Process of Computer Vision Systems
Yojiro Harie; Yuto Ogata; Bishnu Prasad Gautam; Katsumi Wasaki
2024 Twelfth International Symposium on Computing and Networking (CANDAR), 30-38, Nov. 2024, Refereed
- 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 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 - 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 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 - Computer Vision Techniques for Growth Prediction: A Prisma-Based Systematic Literature Review
Yojiro Harie; Bishnu Gautam; Katsumi Wasaki
Applied Sciences, 13(9), 5335-5335, Apr. 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 - Development of an IoT Device for Structural Health Monitoring
Kenta Sawada; Kazuhisa Nakasho; Katsumi Wasaki; Nobuhiro Shimoi
IEEE International Conference on Consumer Electronics - Taiwan（ICCE-TW 2022）, 519-520, Jul. 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 - 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 - 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 - Mizar数学ライブラリの定理検索を行うWebアプリケーション
Hideharu Furushima, Kazuhisa Nakasho and Katsumi Wasaki
第24回プログラミングおよびプログラミング言語ワークショップ (PPL 2022, Mar. 2022, Refereed - An Integrated Web Platform for the Mizar Mathematical Library.
Hideharu Furushima; Daichi Yamamichi; Seigo Shigenaka; Kazuhisa Nakasho; Katsumi Wasaki
CoRR, abs/2210.02336, 2022 - Classification of Human Posture on Bed Using Machine Learning.
Kenta Sawada; Kazuhisa Nakasho; Katsumi Wasaki; Nobuhiro Shimoi
ICCE-TW, 547-548, 2022, Refereed - An Integrated Web Platform for the Mizar Mathematical Library
Hideharu Furushima; Daichi Yamamichi; Seigo Shigenaka; Kazuhisa Nakasho; Katsumi Wasaki
Lecture Notes in Computer Science, abs/2210.02336, 141-146, 2022, Refereed - Low-Cost Sensor System with Life Signals for Bed Monitoring ; International Journal of Science and Engineering Investigations(IJSEI)
Nobuhiro Sshimoi; Kazuhisa Nakasho; Katsumi Wasaki
International Journal of Science and Engineering Investigations(IJSEI), 10(116), 45-50, Sep. 2021, 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 - 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-13-0141011-13, Jan. 2021, Refereed
- Fogging Jyaguchi Services in Tensai Gothalo.
Bishnu Prasad Gautam; Amit Batajoo; Katsumi Wasaki
CoRR, abs/2106.07866, 2021, Refereed - Analysis of Structural Liveness and Boundedness in Weighted Free-Choice Net Based on Circuit Flow Values
Yojiro Harie; Katsumi Wasaki
Advances in Intelligent Systems and Computing, 3, 570-580, Aug. 2020, Refereed - An Approach for Flow Net Subgraph to Modelling and Analysis of Flexible Manufacturing Systems
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, Refereed, Not invited - Determination of Structurally Liveness and Boundedness of Petri Nets Using Flow Net Transformation
張江洋次朗,和﨑克己
電子情報通信学会 第32回 回路とシステムワークショップ（KWS32）論文集, 32(WIP-16), 278-283, Aug. 2019, Refereed - Development of Simplified Monitoring System of Daily Life Using Care Robot and Non-restraining Sensors
MADOKORO Hirokazu; SHIMOI Nobuhiro; SATO Kazuhito; NAKASHO Kazuhisa; NIIMURA Masaaki; WASAKI Katsumi
電子情報通信学会論文誌D 情報・システム, J102-D(5), 411-422, May 2019, Refereed - 見守りロボットと非拘束センサによる日常生活の簡易モニタリングシステムの開発
間所洋和; 下井信浩; 佐藤和人; 中正和久; 新村正明; 和﨑克己
電子情報通信学会論文誌(D), J102-D(5), 411-422, Mar. 2019, Refereed, Not invited - Implications of Formal Verification and Modeling Tools for Performing Operational Profile-based Testing of VR Tourism Systems Design
Batajoo Amit; Yojiro Harie; Katsumi Wasaki
2018 IEEE 7th Global Conference on Consumer Electronics (GCCE), 582-586, Oct. 2018, Refereed, Not invited - 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, 2018, Refereed, Not invited - 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, 2018, Refereed, Not invited - HiPS: Hierarchical Petri Net design, simulation, verification and model checking tool
Yojiro Harie; Yuta Mitsui; Kouhei Fujimori; Amit Batajoo; Katsumi Wasaki
2017 IEEE 6th Global Conference on Consumer Electronics, GCCE 2017, 2017-January, 1-5, Dec. 2017, Refereed, Not invited - 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, 356-361, Jul. 2017, Refereed, Not invited - A Multi-agent Approach to Smart Home Sensors for the Elderly based on an Open Hardware Architecture: A Model for Participatory Evaluation.
Katsumi Wasaki; Masaaki Niimura; Nobuhiro Shimoi
Proceedings of the 7th International Conference on Simulation and Modeling Methodologies, Technologies and Applications(SIMULTECH), 386-391, 2017, Refereed - 高齢者見守りネットワークに用いる宅内センサ・エージェントの機能と設計
和崎 克己; 新村 正明; 下井 信浩
生活生命支援医療福祉工学系学会連合大会講演要旨集, 2016, 562-565, Sep. 2016 - 枕センサとピエゾ荷重センサを用いたベッドモニタリング
下井 信浩; 間所 洋和; 中正 和久; 和崎 克己
生活生命支援医療福祉工学系学会連合大会講演要旨集, 2016, 574-577, Sep. 2016 - Multi-master Replication of Enhanced Learning Assistant System in IoT Cluster
Bishnu Prasad Gautam; Amit Batajoo; Katsumi Wasaki; Suresh Shrestha; Sato Kazuhiko
IEEE 30TH INTERNATIONAL CONFERENCE ON ADVANCED INFORMATION NETWORKING AND APPLICATIONS IEEE AINA 2016, 2016-May, 1006-1012, 2016, Refereed, Not invited - 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 2016 International Conference on Networking and Network Applications NaNA 2016, 423-428, 2016, Refereed, Not invited - Formal Verification of Safety Testing for Remote Controlled Consumer Electronics Using the Petri Net Tool: HiPS
Yojiro Harie; Katsumi Wasaki
2016 IEEE 5TH GLOBAL CONFERENCE ON CONSUMER ELECTRONICS, 290-294-5, 2016, Refereed, Not invited - Deployment of Wi-Fi Network as an Emergency Survival Communication Network in Wakkanai, Hokkaido
Bishnu Prasad Gautam; Katsumi Wasaki
IEEJ TRANSACTIONS ON ELECTRICAL AND ELECTRONIC ENGINEERING, 10(s1), S60-S68, Oct. 2015, Refereed, Not invited - The Method for Shellcode Extraction from Malicious Document File Using Entropy and Emulation
岩本一樹; 和崎克己
IPSJ Journal, 56(3), 892-902, Mar. 2015, Refereed, Not invited - 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, Not invited - 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, Refereed, Not invited - 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, Refereed, Not invited - Using a Redundant Wi-Fi Network as an Emergency Detour Route to Proactively Reduce Disaster Risk in Wakkanai, Hokkaido
Bishnu Prasad Gautam; Katsumi Wasaki
2014 INTERNATIONAL CONFERENCE ON INFORMATION SCIENCE, ELECTRONICS AND ELECTRICAL ENGINEERING (ISEEE), VOLS 1-3, 3, 1829-+, 2014, Refereed, Not invited - Malware Classification Based on Extracted API Sequence by Static Analysis
岩本一樹; 和崎克己
情報処理学会論文誌, 54(3), 1199-1210, Mar. 2013, Refereed, Not invited - 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, Not invited - SOA-based Campus Administration Management System using Multi-layered Architecture: Campus-SIA
PRASAD GAUTAM Bishnu; PRASAD GAUTAM Bishnu; WASAKI Katsumi
情報処理学会シンポジウムシリーズ(CD-ROM), 2012(4), 219-226, Oct. 2012, Refereed, Not invited - Expression of quantum bayes' form and its calculations
Hiroyuki Matsuura; Katsumi Wasaki
ICIC Express Letters, 6(6), 1653-1657, Jun. 2012 - Morphology for image processing. Part i
Hiroshi Yamazaki; Czesław Byliński; Katsumi Wasaki
Formalized Mathematics, 20(1), 61-63, Jan. 2012, Refereed, Not invited - An integrated design and verification environment handling the transformation from upstream design to the model checking process
Miyamoto, N.; Wasaki, K.
International Journal of Advancements in Computing Technology, 4(14), 2012 - Efficient Algorithm for Liveness/Safeness Analysis of Free-Choice Nets in A Petri Net Tool: HiPS
Kazuto Ide; Katsumi Wasaki
2012 6TH INTERNATIONAL CONFERENCE ON NEW TRENDS IN INFORMATION SCIENCE, SERVICE SCIENCE AND DATA MINING (ISSDM2012), 179-184, 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, Not invited - Malware classification based on extracted API sequences using static analysis
Kazuki Iwamoto; Katsumi Wasaki
Asian Internet Engineeering Conference, AINTEC 2012, 31-38, 2012, Refereed, Not invited - 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, ITNG 2012, 827-830, 2012, Refereed, Not invited - 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, Not invited - 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, Jan. 2011, Refereed, Not invited - Automatic generation of SPIN model checking code from UML activity diagrams
Yamada, Y.; Wasaki, K.
International Journal of Advancements in Computing Technology, 3(8), 2011 - 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
2010 ASIA-PACIFIC MICROWAVE CONFERENCE, 1(WE3C-02), 163-166, 2010, Refereed, Not invited - 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, Refereed, Not invited - Development and Evaluation of a Large-scale Agent-based System for Collecting Results of Information Literacy Learning Using Electronic Textbooks
Tanaka Keiichi; Wasaki Katsumi
Transactions of Japanese Society for Information and Systems in Education, 27(3), 267-279, 2010, Refereed, Not invited - 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 - 2011 8th International Conference on Information Technology: New Generations, ITNG 2011, 1, 1-6, 2010, Refereed, Not invited - Quantum circuits, lots, interference and basis of neuro-computations
Hiroyuki Matsuura; Masahiro Nakano; Katsumi Wasaki
ICIC Express Letters, 3(1), 7-14, Mar. 2009 - Overview of Graduate School of Science and Technology on the Internet, Shinshu University and Its Evaluation
Hisayoshi Kunimune; Masaaki Niimura; Katsumi Wasaki; Yasushi Fuwa; Yasunari Shidama; Yatsuka Nakamura
The Journal of Information and Systems in Education, 7(1), 112-120, Mar. 2009, Refereed, Not invited - Complex integral
Masahiko Yamazaki; Hiroshi Yamazaki; Yasunari Shidama; Katsumi Wasaki
Formalized Mathematics, 17(4), 233-236, Jan. 2009, Refereed, Not invited - 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
RWS: 2009 IEEE RADIO AND WIRELESS SYMPOSIUM, 1(TU3C), 483-+, 2009, Refereed, Not invited - A Design Verification of the Parallel Pipelined Image Processings
Katsumi Wasaki; Toshiaki Harai
INTERNATIONAL ELECTRONIC CONFERENCE ON COMPUTER SCIENCE, 1060(59), 200-203, 2008, Refereed, Not invited - A meta hardware description language Melasy for model-checking systems
Naoki Iwasaki; Katsumi Wasaki
PROCEEDINGS OF THE FIFTH INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY: NEW GENERATIONS, 1(MC1), 273-+, 2008, Refereed, Not invited - Development of a 300 m 2.4 GHz frequency band leaky coaxial cable for wireless network access
Masayuki Nakamura; Hideaki Takagi; Kiyoshi Einaga; Toshiyuki Nishikawa; Naoshi Moriyama; Katsumi Wasaki
2008 IEEE RADIO AND WIRELESS SYMPOSIUM, VOLS 1 AND 2, 1(TH1C), 687-+, 2008, Refereed, Not invited - Stability of the 4-2 binary addition circuit cells. Part i
Katsumi Wasaki
Formalized Mathematics, 16(4), 377-387, 2008, Refereed, Not invited - 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, Not invited - Stability of n-Bit generalized full adder circuits (GFAs). Part II
Katsumi Wasaki
Formalized Mathematics, 16(1), 73-80, 2008, Refereed, Not invited - 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, Not invited - Controller design and verification for a pipeline image processor based on an extended Petri net
Katsumi Wasaki; Toshiaki Harai; Tamotsu Hayashi; Kenichi Arai
DSD 2007: 10TH EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN ARCHITECTURES, METHODS AND TOOLS, PROCEEDINGS, 1(6), 257-260, 2007, Refereed, Not invited - A Case Study of Formal Verification for Multi-level Pipeline Logic Circuit by using Mizar Proof Checker.
Katsumi Wasaki; Ken-ichi Arai
Proceedings of the 2007 International Conference on Foundations of Computer Science (FCS'07), 1(59), 10-16, 2007, Refereed, Not invited - 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, Not invited - Riemann indefinite integral of functions of real variable
Yasunari Shidama; Noboru Endou; Katsumi Wasaki
Formalized Mathematics, 15(2), 59-63, 2007, Refereed, Not invited - 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, Not invited - 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, Not invited - Generalized Full Adder Circuits (GFA)
和崎 克己; 下井 信浩
Part I ; Formalized Mathematics Vol.13, No.4, 125-134, 2005 - The learning system of Shinshu University Graduate School of Science and Technology on the Internet
H Kunimune; M Niimura; K Wasaki; Y Fuwa; Y Shidama; Y Nakamura
KNOWLEDGE-BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT 3, PROCEEDINGS, 3683(1), 1296-1302, 2005, Refereed, Not invited - The learning system of Shinshu University Graduate School of Science and Technology on the Internet
H Kunimune; M Niimura; K Wasaki; Y Fuwa; Y Shidama; Y Nakamura
KNOWLEDGE-BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT 3, PROCEEDINGS, 3683, 1296-1302, 2005, Refereed, Not invited - 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), 1-5, 2005, Refereed, Not invited - Experimental telemedicine network with the long-range wireless LAN and CATV for mountain climbers in the Japanese Alps
Masayuki Nakamura; Yuying Yang; Shoshin Kubota; Katsumi Wasaki; Yasunari Shidama; Kenichi Kasahara; Saburo Saito; Yutaka Miura; Masaomi Takizawa; Sumio Murase
Proceedings of the IASTED International Conference on TELEHEALTH, 1(484-032), 29-34, 2005, Refereed, Not invited - The Current Activities and the Evaluations of Graduate School of Science and Technology on the Internet, Shinshu University
國宗永佳; 新村正明; 和崎克己; 不破 泰; 師玉康成; 中村八束
教育システム情報学会誌, 22(4), 264-271, 2005, Refereed, Not invited - Generalized Full Adder Circuits (GFAs). Part I
Shin'nosuke Yamaguchi; Katsumi Wasaki; Nobuhiro Shimoi
FORMALIZED MATHEMATICS, 13(4), 549-571, 2005, Refereed, Not invited - ニューラルネットワークを用いた高分子材料のガラス転移温度(Tg)の予測と汎化能力について
近藤康彦; 和崎克己; 師玉康成
計算数理工学論文集, 5(05-062413), 73-78, 2005, Refereed, Not invited - The design verification for the 3DES encipher chip based on an extended Petri net and XML/Java executor
S Yamaguchi; A Nishino; K Wasaki; Y Shidama
2004 8TH INTERNATIONAL CONFERENCE ON CONTROL, AUTOMATION, ROBOTICS AND VISION, VOLS 1-3, 11(WeM1.5), 1994-1999, 2004, Refereed, Not invited - 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, Not invited - Controller Design and Verification for A Parallel Image Processor in An FMS using An Extended Petri Net
Akira NISHINO; Noboru KASADA; Katsumi WASAKI; A; Yasunari SHIDAMA
Proceedings of the 11th IFAC Symposium on Information Control Problems in Manufacturing (INCOM2004), 11, 61-66, 2004, Refereed, Not invited - 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, Not invited - 信州大学インターネット大学院の現状と将来計画
不破 泰; 國宗永佳; 新村正明; 和崎克己; 師玉康成; 中村八束
Journal of Multimedia Aided Education Research, 1(1), 11-18, 2004, Refereed, Not invited - A remote sensing method of ground mines using time difference IR images
Katsumi Wasaki; Nobuhiro Shimoi; Yoshihiro Takita
Inverse Problems in Engineering Mechanics IV, 261-270, Nov. 2003 - Multimedia Contents and Learning Style of the Shinshu University, Graduate School of Science and Technology on the Internet
NIIMURA Masaaki; FUWA Yasushi; WASAKI Katsumi; SHIDAMA Yasunari; NAKAMURA Yatsuka; OSHITA Shinjiro; Masaaki Niimura; Yasushi Fuwa; Katsumi Wasaki; Yasunari Shidama; Yatsuka Nakamura; Shinjiro Oshita; Department of Information Engineering Faculty of Engineering Shinshu University; Information Engineering Course Graduate School of Science and Technology Shinshu University; Information Engineering Course Graduate School of Science and Technology Shinshu University; Department of Information Engineering Faculty of Engineering Shinshu University; Department of Information Engineering Faculty of Engineering Shinshu University; Department of Electrical and Electronic Engineering Faculty of Engineering Shinshu University
Journal of Japanese Society for Artificial Intelligence, 18(4), 426-432, Jul. 2003, Refereed, Not invited - Network system for alpine ambulance using long distance wireless LAN and CATV LAN
Nakamura Masayuki; Yanga Yuying; Kubota Shoshin; Shimizu Hiroshi; Miura Yutaka; Wasaki Katsumi; Shidama Yasunari; Takizawa Masaomi
Japanese Journal of Medical Physics, 23(1), 30-39, 2003, Not invited - Verification and Realization for the Distributed Parallel Systems based on An Extended Petri Net and XML/Java Executor
YAMAGUCHI Shin'nosuke
First International Workshop on Automated Technology for Verification and Analysis (ATVA'2003), 1(D-3), 157-168, 2003, Refereed, Not invited - 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, Not invited - Study on a noise reduction system of CATV network upstream for data communication
M Nakamura; YY Yang; K Wasaki; Y Shidama
ICCCN 2003: 12TH INTERNATIONAL CONFERENCE ON COMPUTER COMMUNICATIONS AND NETWORKS, PROCEEDINGS, 12(30-3), 613-616, 2003, Refereed, Not invited - 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, Not invited - 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, Not invited - Full Subtracter Circuit. Part II
Shin'nosuke YAMAGUCHI; Grzegorz BANCEREK; Katsumi WASAKI
Formalized Mathematics, 11(3), 231-236, 2003, Refereed, Not invited - Shinshu University, Graduate School of Science and Technology on the Internet
FUWA Yasushi; SHIDAMA Yasunari; WASAKI Katsumi; NAKAMURA Yatsuka
教育システム情報学会誌 = Transactions of Japanese Society for Information and Systems in Education, 19(2), 112-117, Apr. 2002, Not invited - 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, Not invited - 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, Not invited - Full Adder Circuit. Part II
Grzegorz BANCEREK; Shin'nosuke YAMAGUCHI; Katsumi WASAKI
Formalized Mathematics, 10(1), 65-71, 2002, Refereed, Not invited - Robotics Education of Design and Making Aimed to Concurrent Engineering
KANEDA Tadahiro; YOSHIDA Takeo; OSUGA Koichi; SHIDAMA Yasunari; WASAKI Katsumi
Transactions of the Japan Society of Mechanical Engineers. Series C., 67(659), 2366-2371, Jul. 2001, Refereed, Not invited - ロボット製作を通したグループ学習の分析
金田忠裕; よし谷安正; 吉田丈夫; 藤沢正一郎; 和崎克巳; 師玉康成
日本教育工学会論文誌, 25(1), 27-37, Jun. 2001, Not invited - 大阪府立高専システム制御工学科における福祉技術に関する研究
金田 忠裕; 藤澤 正一郎; 西 高志; 土井 智晴; 梅本 敏孝; 里中 直樹; 吉田 丈夫; 廣口 和夫; 師玉 康成; 和崎 克巳
高等専門学校の教育と研究 : 日本高専学会誌, 6(1), 51-56, Jan. 2001, Refereed, Not invited - 時間に依存するファジィ集合族を用いた最適制御に関する一考察 (函数解析学の応用としての情報数理の研究)
遠藤 登; 河邊 淳; 和崎 克己; 師玉 康成
数理解析研究所講究録, 1186(1186), 216-222, Jan. 2001, Not invited - A smart sensing method for mine detection using time difference IR images
Katsumi Wasaki; Nobuhiro Shimoi; Yoshihiro Takita; Pauline N. Kawamoto
IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems, 133-140, 2001 - Smart sensing for mine detection studies with IR cameras.
Nobuhiro Shimoi; Yoshihiro Takita; Kenzo Nonami; Katsumi Wasaki
Proceedings of the IEEE International Symposium on Computational Intelligence in Robotics and Automation: Integrating Intelligent Machines with Humans for a Better Tomorrow(CIRA), 356-361, 2001 - コンカレントエンジニアリングを目指したロボット設計製作教育の試行
金田忠裕, 吉田丈夫, 大須賀公一, 師玉康成, 和崎克己
日本機械学会論文誌C編, 67(659), 268-273, 2001, Refereed - 工学教育におけるロボットコンテストの意義「論説」
金田忠裕; 土井智晴; 梅本敏孝; 杉浦公彦; 吉田丈夫; 大須賀公一; 師玉康成; 和崎克己
工学教育, 49(2), 29-32, 2001, Refereed, Not invited - Integral manifold and H-infinity control in weak nonlinear systems
K Miyajima; K Wasaki; H Suzuki; Y Shidama; M Eguchi
ELECTRONICS AND COMMUNICATIONS IN JAPAN PART III-FUNDAMENTAL ELECTRONIC SCIENCE, 84(1), 43-56, 2001, Refereed, Not invited - Optimization of fuzzy feedback control in L-infinity space
T Mitsuishi; J Kawabe; K Wasaki; Y Shidama
10TH IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS, VOLS 1-3, 1(P211), 896-899, 2001, Refereed, Not invited - Automatic HDL generation for a DES codec for an encrypted NFS server based on an extended Petri net
S Yamaguchi; K Wasaki; Y Shidama; PN Kawamoto
DESDES '1: PROCEEDINGS OF THE INTERNATIONAL WORKSHOP ON DISCRETE-EVENT SYSTEM DESIGN, 1(I-7), 61-66, 2001, Refereed, Not invited - 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, Not invited - Measurability of Extended Real Valued Function
Noboru ENDOU; Katsumi WASAKI; Yasunari SHIDAMA
Formalized Mathematics, 9(3), 525-529, 2001, Refereed, Not invited - 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, Not invited - 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, Not invited - Definitions and Basic Properties of Measurable Functions
Noboru ENDOU; Katsumi WASAKI; Yasunari SHIDAMA
Formalized Mathematics, 9(3), 495-500, 2001, Refereed, Not invited - Basic Properties of Extended Real Numbers
Noboru ENDOU; Katsumi WASAKI; Yasunari SHIDAMA
Formalized Mathematics, 9(3), 491-494, 2001, Refereed, Not invited - The Correctness of the High Speed Array Multiplier Circuits
YAMAZAKI H.
Formalized Mathematics, 9(3), 475-479, 2001, Refereed, Not invited - 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, Not invited - Basic Properties of Fuzzy Set Operation and Membership Function
Takashi MITSUISHI; Katsumi WASAKI; Yasunari SHIDAMA
Formalized Mathematics, 9(2), 357-362, 2001, Refereed, Not invited - 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, Not invited - 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, Not invited - Integrability of Bounded Total Functions
Noboru ENDOU; Katsumi WASAKI; Yasunari SHIDAMA
Formalized Mathematics, 9(2), 271-274, 2001, Refereed, Not invited - Darboux's Theorem
Noboru ENDOU; Katsumi WASAKI; Yasunari SHIDAMA
Formalized Mathematics, 9(1), 197-200, 2001, Refereed, Not invited - Scalar Multiple of Riemann Definite Integral
Noboru ENDOU; Katsumi WASAKI; Yasunari SHIDAMA
Formalized Mathematics, 9(1), 191-196, 2001, Refereed, Not invited - Property ofComplex Sequence and Continuity of Complex Function
Takashi MITSUISHI; Katsumi WASAKI; Yasunari SHIDAMA
Formalized Mathematics, 9(1), 185-190, 2001, Refereed, Not invited - Property of Complex Functions
Takashi MITSUISHI; Katsumi WASAKI; Yasunari SHIDAMA
Formalized Mathematics, 9(1), 179-184, 2001, Refereed, Not invited - The Use of Team-Teaching to Manufacture Robots
KANEDA Tadahiro; YOSHIDA Takeo; YOSHITANI Yasumasa; DOI Motoharu; SATONAKA Naoki; FUJISAWA Shoichiro; SHIDAMA Yasunari; WASAKI Katsumi
Japan journal of educational technology, 24, 69-72, Aug. 2000, Refereed, Not invited - A process design for the Network File System model based on the Logical Coloured Petri Net
YAMAGUCHI S.
Sixth International Conference on Control, Automation, Robotics and Vision (ICARCV'2000) Decenber, 1(FM5.3), 1-6, 2000, Refereed, Not invited - A Rapd HDL Generation for A pipelined DES Enchiher Circuit by using the Logical Coloured Petri Net
WASAKI K.
Sixth International Conference on Control, Automation, Robotics and Vision (ICARCV'2000) Decenber, 1(FM5.2), 1-6, 2000, Refereed, Not invited - Decision-making of the theme by students in a case study and its results
T Kaneda; Y Kinugawa; Y Yoshitani; T Nishi; K Hiroguchi; T Yoshida; Y Shidama; K Wasaki
IEEE RO-MAN 2000: 9TH IEEE INTERNATIONAL WORKSHOP ON ROBOT AND HUMAN INTERACTIVE COMMUNICATION, PROCEEDINGS, 1(FM5.2), 301-304, 2000, Refereed, Not invited - Fuzzy optimal control using simple inference method and function type inference method
T Mitsuishi; K Wasaki; K Ohkubo; J Kawabe; Y Shidama
PROCEEDINGS OF THE 2000 AMERICAN CONTROL CONFERENCE, VOLS 1-6, 1944-1948, 2000, Refereed, Not invited - A set of time dependent fuzzy membership functions and its compactness
N Endou; K Wasaki; K Ohkubo; P Kawamoto; Y Shidama
PROCEEDINGS OF THE 2000 AMERICAN CONTROL CONFERENCE, VOLS 1-6, 2468-2471, 2000, Refereed, Not invited - Optimization of Fuzzy Feedback Control Determined by Product-Sum-Gravity Method
MITSUISHI T.
Journal of Nonlinear and Convex Analysis, 1(2), 201-211, 2000, Refereed, Not invited - 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, Not invited - Integral Manifold and H^∞ Optimal Control in Weak Nonlinear System
MIYAJIMA Keiichi; WASAKI Katsumi; SUZUKI Hikofumi; SHIDAMA Yasunari; EGUCHI Masayoshi
The Transactions of the Institute of Electronics,Information and Communication Engineers. A, 82(5), 637-648, May 1999, Refereed, Not invited - The Compactness of a Set of Fuzzy Membership Functions in NBV and Its Application
YANG Yuguang; WASAKI Katsumi; EGUCHI Msayoshi; SHIDAMA Yasunari; KIMURA Morishige
The Transactions of the Institute of Electronics,Information and Communication Engineers. A, 82(4), 523-529, Apr. 1999, Refereed, Not invited - 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), 1(FM5.2), 33-35, 1999, Refereed, Not invited - Membership functions in L2 space and its applications to fuzzy optimal control
Takashi Mitsuishi; Jun Kawabe; Katsumi Wasaki; Pauline Kawamoto; Yasunari Shidama
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 3(2), 51-55, 1999, Refereed, Not invited - 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(1), 73-78, 1999, Refereed, Not invited - 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, Not invited - 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, Not invited - 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, Not invited - Correctness of a Cyclic Redundancy Check Code Generator
Yuguang YANG; Katsumi WASAKI; Yasushi FUWA; Yatsuka NAKAMURA
Formalized Mathematics, 8(1), 129-132, 1999, Refereed, Not invited - Correctness of Johnson Counter Circuits
YANG Y., WASAKI K.
Formalized Mathematics, 11(1), 87-91, 1999, Refereed, Not invited - Correctness of Binary Counter Circuits
Yuguang YANG; Katsumi WASAKI; Yasushi FUWA; Yatsuka NAKAMURA
Formalized Mathematics, 8(1), 83-85, 1999, Refereed, Not invited - Full Subtracter Circuits. Part I
Katsumi WASAKI; Noboru ENDOU
Formalized Mathematics, 8(1), 77-81, 1999, Refereed, Not invited - 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, Not invited - Fuzzy optimal control in L^2 space
MITSUISHI T.
Proc. of 7th IFAC Symposium Artificial Intelligence in Real-Time Control, 1998, 8(2), 173-177, 1998, Refereed, Not invited - Teaching of Laboratory Courses for the Department of Electronics and Control Engineering of the College of Technology
ONO Nobuyuki; WASAKI Katsumi; SUZUKI Hiroshi; HORIUCHI Tomio; KISHI Satoshi; SAKAGUCHI Masao
Journal of Jsee, 45(1), 21-25, Jan. 1997, Refereed, Not invited - A Bus Arbitration Method based on Token Passing suited for the Packet Exchange System
Wasaki Katsumi; Fuwa Yasushi; Nakamura Yatsuka
IEEJ Transactions on Electronics, Information and Systems, 117(12), 1782-1793, 1997, Refereed, Not invited - 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, Not invited - The Realization and Evaluation of A Bi-level Image Code suitable for High-speed Real-time Decoding for Image Processing
WASAKI Katsumi; FUWA Yasushi; EGUCHI Masayoshi; NAKAMURA Yatsuka
The Journal of the Institute of Image Electronics Engineers of Japan, 25(6), 734-742, Dec. 1996, Refereed, Not invited - A self‐recovering communication buffer based on the concept of cellular automaton
Wasaki, K.; Fuwa, Y.; Nakamura, Y.; Eguchi, M.
Systems and Computers in Japan, 25(8), 1-15, Jul. 1994, Refereed - A Self-Recovering Communication Buffer Based on the Concept of Cellular Automaton
WASAKI Katsumi; FUWA Yasushi; EGUCHI Masayoshi; NAKAMURA Yatsuka
The Transactions of the Institute of Electronics,Information and Communication Engineers., 77(1), 41-52, Jan. 1994, Refereed, Not invited
MISC
- GHz帯長距離漏洩同軸ケーブルを用いた高速防災無線情報システムの研究開発（第3報）
高木秀昭; 窪田昭真; 寺島潤一; 宮下純一; 中村正幸; 西川敏行; 守山直志; 小池幸永; 山辺常広; 水谷功明; 角田正幸; 内川富彦; 黒田善夫; 島崎健司; 中川泰孝; 岩﨑直木; 桑島芳朗; 和﨑克己
長野県工業技術センター研究報告, 4(E9-E14), Apr. 2009, Not invited
Last - High speed communication system for emergencies using long-distance GHz leaky coaxial cables
高木 秀昭; 和崎 克己; 小池 幸永
Mitsubishi Cable Industries review, (105), 6 - 10, Oct. 2008 - Meaning of Robot Contest in Engineering Education
KANEDA Tadahiro; DOI Tomoharu; UMEMOTO Toshitaka; SUGIURA Kimihiko; YOSHIDA Takeo; OSUKA Koichi; SHIDAMA Yasunari; WASAKI Katsumi
Journal of Jsee, 49(2), 36 - 39, 31 Mar. 2001, Not invited - 高速ディジタル回路の論理的設計手法について
和崎克己
信州大学博士学位論文, Mar. 1997, Not invited - LC-Petri Net expanded to be suitable for making FMS model
WASAKI Katsumi; FUWA Yasushi; EGUCHI Masayoshi; NAKAMURA Yatsuka
長野工業高等専門学校紀要, (31), 49 - 54, 1997 - A Bi-level Image Compression Method for Realizing Real-time Sequential Decoding
和崎 克己; 不破 泰; 江口 正義; 中村 八束
長野工業高等専門学校紀要, (31), 41 - 48, 1997 - "Practice of Mechatoronics and the Construction Experience" intended for the Elementary and Junior High School Students
坂口 正雄; 芳賀 武; 岸 佐年; 森山 実; 服部 忍; 鈴木 宏; 中島 隆行; 小野 伸幸; 堀内 富雄; 和崎 克己; 加藤 正幸; 中澤 達夫
長野工業高等専門学校紀要, (31), 159 - 164, 1997 - The Reallization and Evaluation of A Bus Arbitration Method Based on Token Passing Suited for Packet Processing Devices
和崎 克己; 不破 泰; 中村 八束; 清水 英夫
長野工業高等専門学校紀要, (30), 63 - 74, 1996 - 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(29), 17 - 25, 1995, Refereed, Not invited
Books and other publications
- “From Insight to Proof”, Series of Studies in Logic, Grammar and Rhetoric
Edited by Roman Matuszewski and Anna Zalewska, Contributor, A Verification for Redundant Signed Digit Adder Circuits
University of Bialystok, Poland, 213-230 Jul. 2007, Refereed
ISBN:9788374311281Lectures, oral presentations, etc.
- 拡張被覆木CRTsに基づく非有界ペトリネットのサイクリック性の部分検知
太田真生; 和﨑克己
第23回情報科学技術フォーラム（FIT2024）講演論文集, Sep. 2024, 情報処理学会, Not invited,分散相互排除アルゴリズムにおける冗長化管理プロセスを用いた適応型フェイルオーバー
橋爪由道; 和﨑克己
第23回情報科学技術フォーラム（FIT2024）講演論文集, Sep. 2024, 情報処理学会, Not invited,ドメイン駆動設計を用いたリファクタリングにおけるレイヤードアーキテクチャの拡張と準形式的表現
上原宗大; 和﨑克己
第23回情報科学技術フォーラム（FIT2024）講演論文集, Sep. 2024, 情報処理学会, Not invited,ドメイン駆動設計における制約条件記述を含むドメインモデルの生成AI援用リファインメント
水野 駆; 和﨑克己
第23回情報科学技術フォーラム（FIT2024）講演論文集, Sep. 2024, 情報処理学会, Not invited,ブロックチェーン・アカウントに紐づいた Verifiable Credentials の枠組みと証明書可視化
石坂 匠; 和﨑克己
第23回情報科学技術フォーラム（FIT2024）講演論文集, Sep. 2024, 情報処理学会, Not invited,分散相互排除アルゴリズムの参加ノードに対する故障モデルと故障検知の一手法
橋爪由道; 和﨑克己
情報処理学会 第86回全国大会 講演論文集, Mar. 2024, 情報処理学会, Not invited,拡張被覆木CRTsを用いた非有界ペトリネットのデッドロック性の判定と表現
太田真生; 和﨑克己
情報処理学会 第86回全国大会 講演論文集, Mar. 2024, 情報処理学会, Not invited,ドメイン駆動設計における制約条件記述を含むドメインモデルの準形式化手法の提案
水野 駆; 和﨑克己
情報処理学会 第86回全国大会 講演論文集, Mar. 2024, 情報処理学会, Not invited,生成型AIによるスクリプトと発話を用いた日本語発話学習授業の実践実例
中村しづか; 和﨑克己
教育システム情報学会 2023年度第3回研究会 研究報告, Sep. 2023, 教育システム情報学会, Not invitedPROMELA自動コード生成を目的とした複数のUML図による分散アルゴリズムの記述方法
萬田 悠; 和﨑克己
第22回情報科学技術フォーラム（FIT2023）講演論文集, Sep. 2023, 情報処理学会, Not invited仕様記述言語VDM++に出力結果を考慮したファジィ集合を作成する手法と推論の提案
牧田蒼斗; 和﨑克己
第22回情報科学技術フォーラム（FIT2023）講演論文集, Sep. 2023, 情報処理学会, Not invitedモデル規範型形式手法VDM++による組織の整合性・制約条件に対する記述と検証手法
水野 駆; 和﨑克己
第22回情報科学技術フォーラム（FIT2023）講演論文集, Sep. 2023, 情報処理学会, Not invited分散相互排除アルゴリズムの仕様記述言語LNTによるモデル化と検証
橋爪由道; 和﨑克己
第22回情報科学技術フォーラム（FIT2023）講演論文集, Sep. 2023, 情報処理学会, Not invited一般ペトリネットにおける有界プレースに対する最大トークン数の判定法
太田真生; 和﨑克己
第22回情報科学技術フォーラム（FIT2023）講演論文集, Sep. 2023, 情報処理学会, Not invited2次元シストリックアレイ並列計算モデルの記述とモデル検査器を用いた振る舞い検証
千葉悠矢; 和﨑克己
第22回情報科学技術フォーラム（FIT2023）講演論文集, Sep. 2023, 情報処理学会, Not invited一般ペトリネットの構造的性質を用いた強L3/L2活性構造の検知
芳澤, 祐大; 和﨑, 克己
第84回全国大会講演論文集, Feb. 2022,ペトリネット構造解析によるホーム状態存在性の判定
三浦, 朋己; 和﨑, 克己
第84回全国大会講演論文集, Feb. 2022,サブクラス定義に反する閉路検知を利用したペトリネットの詳細解析
渡貫, 正也; 張江, 洋次朗; 和﨑, 克己
第82回全国大会講演論文集, Feb. 2020,ペトリネット構造解析の効率化を目的としたヒューリスティック探査手法の実装
南 史弥; 張江 洋次朗; 和﨑 克己
第82回全国大会講演論文集, Feb. 2020,自動コード生成を目的としたテンプレートベースのUML上位設計に対する整合性検査
畑瀬 尚之; 和﨑 克己
第82回全国大会講演論文集, Feb. 2020,Structurally Liveness and boundedness Analysis of Petri nets using circuit flow calculating for structures covered by Strongly Connected Marked Graph
張江 洋次朗; 和﨑 克己
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, Jul. 2019, 電子情報通信学会,Stability Subnet Detection of Petri Net by Circuit Flow-Matrix Transformation
張江 洋次朗; 和崎 克己
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, Nov. 2018, 電子情報通信学会,A Method for Improving Memory Efficiency of the Reachability Graph Generation Process in General Petri Nets
藤森 浩平; 張江 洋次朗; 和崎 克己
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, Nov. 2018, 電子情報通信学会,高齢者見守りネットワークのための宅内センサデータ処理手法の設計と実装
新村正明; 中正和久; 和崎克己; 下井信浩
情報処理学会研究報告(Web), 2017Development and evaluation of on-the-fly model checking for a Petri net verification tool (HiPS)
張江 洋次朗; 和崎 克己
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, Nov. 2016, 電子情報通信学会,ペトリネット検証ツールHiPSにおけるLTL仕様に基づいたOn-the-fly/Fluentモデル検査
張江 洋次朗; 和崎 克己
第78回全国大会講演論文集, Mar. 2016,On-the-fly Model Checker for a Petri Net Verification Tool (HiPS) by using Replacement LTL Formula to Event-Based Automaton
張江 洋次朗; 和崎 克己
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, Jan. 2016, 電子情報通信学会,高齢者見守りネットワークに用いる宅内センサ・エージェントの設計と実装:総務省SCOPE地域ICT振興型研究開発
和崎克己; 新村正明; 下井信浩
情報科学技術フォーラム講演論文集, 2016Design and Deployment of Obstacle Avoidance Functionalities in Tensai Gothalo (ITS)
GAUTAM BISHNU PRASAD; SHARMA NARAYAN; WASAKI KATSUMI
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, Aug. 2015, 電子情報通信学会,A-014 Application to High Efficiency Hash-map for State Space Generator of Petri Net
Furuichi Syunta; Wasaki Katsumi
情報科学技術フォーラム講演論文集, Aug. 2015, Forum on Information Technology,A-015 On-the-fly LTL Model Checker on the Petri Net Design Tool : HiPS
Harie Yojiiro; Wasaki Katsumi
情報科学技術フォーラム講演論文集, Aug. 2015, Forum on Information Technology,B-004 Application to the Prototyping and its Asynchronous UI using Distributed VDM++ Model Execution Environment
Tada Keisuke; Wasaki Katsumi
情報科学技術フォーラム講演論文集, Aug. 2015, Forum on Information Technology,Portable Tensai Gothalo: Leveraging Network Availability, Survivability, and Manageability Through Movable Redundant Device
GAUTAMA Bishnu Prasad; GAUTAMA Bishnu Prasad; WASAKI Katsumi; SHARMA Narayan
電子情報通信学会技術研究報告, 2015B-018 Model Executing Environment in Upstream Process using VDMJ and Apache Axis2
Murabayashi Kei; Tada Keisuke; Wasaki Katsumi
情報科学技術フォーラム講演論文集, Aug. 2014, Forum on Information Technology,B-019 Verification of the Node Search Specifications in ZigBeeIP/RPL Protocol using UML-PROMELA Converter
Goto Ryoma; Wasaki Katsumi
情報科学技術フォーラム講演論文集, Aug. 2014, Forum on Information Technology,Proposal for Automated Method to Narrow Down to Suspicious Android Application by Comparing Control Flow Graph
Kazuki Iwamoto; Masata Nishida; Katsumi Wasaki
IPSJ SIG Notes, Dec. 2013, Information Processing Society of Japan (IPSJ),A-015 Model Designing using A Petri Net Tool and State Space Generation Algorithm for Post-Verification Tool
Ohta Junya; Wasaki Katsumi
情報科学技術フォーラム講演論文集, Aug. 2013, Forum on Information Technology,A-016 Splitting Algorithm and its Realization from Live-Safe Free-Choice Nets to the Covering Marked Graphs on a Petri Net Tool
Ide Kazuto; Wasaki Katsumi
情報科学技術フォーラム講演論文集, Aug. 2013, Forum on Information Technology,B-021 UML modeling and SPIN model checking for a message exchange protocol with timeout behavior
Sakamoto Osamu; Gotoh Ryoma; Wasaki Katsumi
情報科学技術フォーラム講演論文集, Aug. 2013, Forum on Information Technology,Evaluation of Android Malware Detection Method without Code Analysis
IWAMOTO KAZUKI; NISHIDA MASATA; WASAKI KATSUMI
IEICE technical report. Social Implications of Technology and Information Ethics, Jul. 2013, The Institute of Electronics, Information and Communication Engineers,Evaluation of Android Malware Detection Method without Code Analysis
岩本 一樹; 西田 雅太; 和﨑 克己
研究報告セキュリティ心理学とトラスト（SPT）, Jul. 2013,Evaluation of Android Malware Detection Method without Code Analysis
岩本 一樹; 西田 雅太; 和﨑 克己
研究報告コンピュータセキュリティ（CSEC）, Jul. 2013,調停者の選出方法を考慮した分散合意アルゴリズムのPROMELAモデルと検証
後藤亮馬; 和崎克己
研究報告ソフトウェア工学（SE）, Jul. 2013, 一般社団法人情報処理学会,コード解析を伴わないAndroidマルウェア検出方法の検証—Evaluation of Android Malware Detection Method without Code Analysis—マルチメディア情報ハイディング・エンリッチメント
岩本 一樹; 西田 雅太; 和﨑 克己
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, Jul. 2013, 一般社団法人電子情報通信学会,Detection Method for Android Malware by comparing Control Flow Graphs
IWAMOTO KAZUKI; WASAKI KATSUMI
IEICE technical report. Information and communication management, May 2013, The Institute of Electronics, Information and Communication Engineers,Detection Method for Android Malware by comparing Control Flow Graphs
岩本 一樹; 和﨑 克己
研究報告コンピュータセキュリティ（CSEC）, May 2013,B-028 Live Initial Marking in Free-Choice Work ow Nets converted from UML Activity Diagrams
Kobayashi Ippei; Wasaki Katsumi
情報科学技術フォーラム講演論文集, Sep. 2012, Forum on Information Technology,B-029 Introduction of Semaphore for Activity Diagrams in UML of Web Application Design and Model Checking
Kobayashi Takumi; Yamada Yutaka; Wasaki Katsumi
情報科学技術フォーラム講演論文集, Sep. 2012, Forum on Information Technology,C-026 Design, Verification and NuSMV Code Generation based on A Meta Hardware Description Language : Melasy+
Nishida Sho; Uozumi Yukika; Wasaki Katsumi
情報科学技術フォーラム講演論文集, Sep. 2012, Forum on Information Technology,RA-003An Improved Algorithm and its Implement of the Liveness/Safeness Analysis for Free-Choice Net on Petri Net Tool
Ide Kazuto; Wasaki Katsumi
情報科学技術フォーラム講演論文集, Sep. 2012, Forum on Information Technology,Extension for the Parallel Processing in Automatic Generation from UML Activity Diagram to SPIN Model Checking Code and its Application to Ajax Application Design
山田 豊; 和﨑 克己
研究報告ソフトウェア工学（SE）, May 2012,Extension for the Parallel Processing in Automatic Generation from UML Activity Diagram to SPIN Model Checking Code and its Application to Ajax Application Design
山田 豊; 和﨑 克己
研究報告組込みシステム（EMB）, May 2012,Model of Polariton, Quantum Neuron, Its Network & Quantum Information (人工知能学会全国大会(第26回)文化,科学技術と未来) -- (International Organized Session「Alan Turing Year Special Session on AI Research That Can Change The World」)
Matsuura HIROYUKI; Wasaki KATSUMI
人工知能学会全国大会論文集, 2012, 人工知能学会,神経細胞の軸索伝導の量子論モデル（ポラリトンの役割）
松浦 弘幸; 和崎 克己
人工知能学会全国大会論文集, 2012, 一般社団法人 人工知能学会,神経伝導の量子モデルとその干渉，量子ベイズ統計，量子ニューラルネット
松浦 弘幸; 和崎 克己
人工知能学会全国大会論文集, 2012, 一般社団法人 人工知能学会,Quantum Neuro-Conduction, Quantum Bayes' method, and Quantum Neuro-Network
松浦 弘幸; 和崎 克己
人工知能学会全国大会論文集, 2012, 人工知能学会,Quantum Theory of Nuro-Conduction on Axion, and Polaritons
松浦 弘幸; 和崎 克己
人工知能学会全国大会論文集, 2012, 人工知能学会,An Integrated Design and Verification Environment from Upstream Design to Model Checking Process : Automatic Conversion from UML Descriptions into the Process Definitions and Linear Temporal Logic for SPIN Model Checker
MIYAMOTO Naoki; WASAKI Katsumi
IEICE technical report, Nov. 2011, The Institute of Electronics, Information and Communication Engineers,API Sequence Extraction and Cluster Analysis for MalwareCodes based on the Static Analysis
岩本 一樹; 和崎 克己
コンピュータセキュリティシンポジウム2009 (CSS2009) 論文集, Oct. 2011,Detection Method for Android Malware by using Control Flow Analysis
岩本 一樹; 和崎 克己
コンピュータセキュリティシンポジウム2011 論文集, Oct. 2011,B-006 Verification of System Design for Robot Control in UML/Activity Diagram by using Petri Net
Sekiya Takashi; Wasaki Katsumi
情報科学技術フォーラム講演論文集, Sep. 2011, Forum on Information Technology,B-028 Automatic Conversion from the Structure Description on UML Sequence Chart to Linear Temporal Logic
Miyamoto Naoki; Wasaki Katsumi
情報科学技術フォーラム講演論文集, Sep. 2011, Forum on Information Technology,C-006 HiPS2 : An Application Tool for High-level Petri Net and Its Verification Case-study on Asynchronous Circuits
Horiuchi Isaku; Wasaki Katsumi
情報科学技術フォーラム講演論文集, Sep. 2011, Forum on Information Technology,Detecting Original Entry Point based on Comparing Runtime Library Codes in Malware Unpacking
IWAMOTO Kazuki; WASAKI Katsumi
IEICE technical report, Jun. 2011, The Institute of Electronics, Information and Communication Engineers,Automatic Generation from UML Activity Diagram to SPIN Model Checking Code and its Application to Web Application Design
YAMADA Yutaka; WASAKI Katsumi
IEICE technical report, Feb. 2011, The Institute of Electronics, Information and Communication Engineers,Development and evaluation of a large-scale agent-based system for information literacy learning: improvement of the learning result automatic collection using template matching
田中 敬一; 和崎 克己
JSiSE research report, Nov. 2010, 教育システム情報学会,B-020 Automatic Conversion from the Specification on UML Description to PROMELA Model for SPIN Model Checker
Miyamoto Naoki; Wasaki Katsumi
情報科学技術フォーラム講演論文集, Aug. 2010, Forum on Information Technology,C-002 VHDL Code Generation and Verification by A Meta Hardware Description Language "Melasy+"
Shirotori Kousuke; Wasaki Katsumi
情報科学技術フォーラム講演論文集, Aug. 2010, Forum on Information Technology,ネットワークサービスの可視化を主眼に置いた戦略的監視手法の提案—Proposal for strategic Monitoring Methodology with an Emphasis on the Visibility of Network Services—インターネットと運用技術(IOT) Vol.2010-IOT-8
川崎 敏行; 和﨑 克己
情報処理学会研究報告, Apr. 2010, 情報処理学会,Embedded Specifications Pattern and its Unfolding Strategy in A Meta Hardware Description Language : Melasy+
SHIROTORI Kousuke; WASAKI Katsumi
全国大会講演論文集, Mar. 2010,Design and Verification for A Self-Testing BusArbiter Circuit using Meta Description Language with Model Checker : Melasy+ and NuSMV
HANAZATO Takahiro; SHIROTORI Kousuke; WASAKI Katsumi
全国大会講演論文集, Mar. 2010,Proposal for strategic monitoring methodology with an emphasis on the visibility of network services
川崎 敏行; 和崎 克己
IEICE technical report, Mar. 2010, 電子情報通信学会,Proposal for Strategic Monitoring Methodology with an Emphasis on the Visibility of Network Services
KAWASAKI Toshiyuki; WASAKI Katsumi
研究報告インターネットと運用技術（IOT）, Feb. 2010, 情報処理学会,The Design of distributed algorithm for information gathering by using Petri Net
YAMAGUCHI Shin'nosuke; WASAKI Katsumi; SHIDAMA Yasunari
IEICE technical report, Nov. 2009, The Institute of Electronics, Information and Communication Engineers, Not invited,Development and evaluation for an education support system by distributed processing using template matching: a case of the learning material for Microsoft Certified Application Specialist (MCAS)
田中 敬一; 和崎 克己
JSiSE research report, Sep. 2009, 教育システム情報学会,B-014 Conversion from Explicit Specifications in VDM-SL to Scheme as Family of Lisp Language
Hase Takahiro; Wasaki Katsumi
情報科学技術フォーラム講演論文集, Aug. 2009, Forum on Information Technology,C-011 Code Generation and Verification of A FIFO-type Memory with Self-recovery Functions using A Meta Hardware Description Language "Melasy+"
Shiratori Kousuke; Wasaki Katsumi
情報科学技術フォーラム講演論文集, Aug. 2009, Forum on Information Technology,C-035 Code Generation and Logic Circuit Library in Formal Specification Language LOTOS using a High-level Hardware Design HDCaml
Kuwashima Yoshirou; Wasaki Katsumi
情報科学技術フォーラム講演論文集, Aug. 2009, Forum on Information Technology,C-038 Modeling and Hierarchical Design for Asynchronous Circuits based on Time-Petri Net
Matsuyama Chihiro; Wasaki Katsumi
情報科学技術フォーラム講演論文集, Aug. 2009, Forum on Information Technology,M-065 A Realization and Model Checking of the Persistence Protocol for Mobile Connections in P2P Virtual Network
Oh Hyouk; Wasaki Katsumi
情報科学技術フォーラム講演論文集, Aug. 2009, Forum on Information Technology,Moodle用数理演習モジュールを用いた整数論コースウェアの製作
小林亮太; 岡崎裕之; 三輪辰雄; 和崎克己; 師玉康成
教育システム情報学会全国大会講演論文集, Aug. 2009, Not invited,A Realization and Verification of the Persistence Protocol for Virtual Connection in P2P Overlay Network
OH Hyouk; WASAKI Katsumi
全国大会講演論文集, Mar. 2009,A Meta Hardware Description Language Melasy for Model-Checking Systems and its XML Intermediate Representation
IWASAKI Naoki; NOMURA Tatsuo; WASAKI Katsumi
全国大会講演論文集, Mar. 2009,A Meta Hardware Description Language Melasy for Model-Checking Systems and its VHDL Code Generation
NOMURA Tatsuo; IWASAKI Naoki; WASAKI Katsumi
全国大会講演論文集, Mar. 2009,Extended DILL for the Logic Circuit Library based on the Time Guard LOTOS Specification (E-LOTOS)
KUWASHIMA Yoshirou; WASAKI Katsumi
全国大会講演論文集, Mar. 2009,The Method of Mathmatical Exercises on the web by using Assignment Module of Moodle
MIWA Tatsuo; KOBAYASHI Hideko; KOBAYASHI Ryota; OKAZAKI Hiroyuki; ENDO Noboru; WASAKI Katsumi; SHIDAMA Yasunari
IEICE technical report, Feb. 2009, The Institute of Electronics, Information and Communication Engineers, Not invited,A Development of CMS/Moodle Assignment Module for Interactive Mathematical Exercises by using Mizar Proof Checking System in Formalized Mathematics
MIWA Tatsuo; WASAKI Katsumi; ENDO Noboru; SHIDAMA Yasunari
IEICE technical report, Oct. 2008, The Institute of Electronics, Information and Communication Engineers, Not invited,Making of Electronic Teaching Materials to Electric Works Practice : Try to impart skills and knowledge for students through e-learning
ANDO Mamoru; MIURA Seiichiro; TANNO Takumi; WASAKI Katsumi
The Papers of Technical Meeting on Frontiers in Education, IEE Japan, Sep. 2008, 電気学会,Quantum circuits, Bifurcations, and Quantum Neuro-Computation Theory
MATSUURA Hiroyuki; NAKANO Masahiro; NODA Nobuo; Koide Kazuharu; YAMANAKA Makoto; ITO Yasumi; NEMOTO Tetsuya; WASAKI Katsumi
Journal of Biomedical Fuzzy Systems Association, 2008, Biomedical Fuzzy Systems Association,A Classification and Feature Extraction based on the Static Analysis on the Computer Virus Codes
IWAMOTO Kazuki; WASAKI Katsumi
IEICE technical report, Dec. 2007, The Institute of Electronics, Information and Communication Engineers,A-031 A Meta Hardware Description Language "Melasy" for Model Checking system
Iwasaki Naoki; Wasaki Katsumi
情報科学技術フォーラム一般講演論文集, Aug. 2007, Forum on Information Technology,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, Jul. 2007, Not invitedB-7-80 A Leaky Coaxial Cable for 2.4GHz Frequency Band in the Disaster Prevention and Post-Disaster Communication Networks
Nakamura Masayuki; Takagi Hideaki; Einaga Kiyoshi; Nishikawa Toshiyuki; Moriyama Naoshi; Wasaki Katsumi
Proceedings of the IEICE General Conference, Mar. 2007, The Institute of Electronics, Information and Communication EngineersA Java/PNML Verification Framework for Concurrent System Design based on an Extended Petri Net
YAMAGUCHI Shin'nosuke; WASAKI Katsumi; SHIDAMA Yasunari
IEICE technical report, May 2006, The Institute of Electronics, Information and Communication Engineers, Not invited,7-213 Current Activities of Graduate School and Undergraduate Course, Shinshu University on the Internet
KUNIMUNE Hisayoshi; NIIMURA Masaaki; WASAKI Katsumi; FUWA Yasushi; SHIDAMA Yasunari; NAKAMURA Yatsuka
Proceedings of Annual Conference of Japanese Society for Engineering Education, Sep. 2005, Japanese Society for Engineering Education, Not invited,信州大学インターネット大学院における学習進捗状況管理システム (eラーニングの実践報告とシステム公開デモセッション)
國宗 永佳; 新村 正明; 和崎 克己
教育システム情報学会研究報告, Jun. 2005, 教育システム情報学会, Not invited,Development of Long Range Wireless LAN complied with IEEE802.11g for Mountain Areas
NAKAMURA Masayuki; EINAGA Kiyoshi; TAKIZAWA Ryuichi; SHIMIZU Hiroshi; WASAKI Katsumi; SHIDAMA Yasunari
IEICE technical report. Circuits and systems, Mar. 2005, The Institute of Electronics, Information and Communication Engineers, Not invited,An IP address free Authentication Gateway
YAMASHITA Go; NIIMURA Masaaki; KUNIMUNE Hisayoshi; WASAKI Katsumi; FUWA Yasushi
IEICE technical report, Feb. 2005, The Institute of Electronics, Information and Communication Engineers, Not invited,Polymer physical-properties prediction by the neural network using the self organization map
KONDO Yasuhiko; SHIDAMA Yasunari; WASAKI Katsumi
The Computational Mechanics Conference, Nov. 2004, The Japan Society of Mechanical Engineers, Not invited,信州大学インターネット大学院・大学(1)―経緯と現状―
不破泰; 国宗永佳; 新村正明; 和崎克己; 師玉康成; 中村八束
教育システム情報学会全国大会講演論文集, Aug. 2004, Not invited,e‐Learning教材の学習進捗状況に基づいた提示範囲制御
国宗永佳; 新村正明; 和崎克己; 不破泰; 師玉康成; 中村八束
教育システム情報学会全国大会講演論文集, Aug. 2004, Not invited,信州大学インターネット大学院・大学(1)―評価と今後の計画―
不破泰; 国宗永佳; 新村正明; 和崎克己; 師玉康成; 中村八束
教育システム情報学会全国大会講演論文集, Aug. 2004, Not invited,(202)Development of e-learning materials by using learner sets exercises in OTC drug selling education
YAMAMOTO Yumiko; FUWA Yasushi; WASAKI Katsumi; YAMAMOTO Takakazu
Proceedings of Annual Conference of Japanese Society for Engineering Education, Jul. 2004, Japanese Society for Engineering Education,(72)Material Control System for e-Learning Courseware Based on the Learning Progress of Each Learner
KUNIMUNE Hisayoshi; NIIMURA Masaaki; WASAKI Katsumi; FUWA Yasushi; SHIDAMA Yasunari; NAKAMURA Yatsuka
Proceedings of Annual Conference of Japanese Society for Engineering Education, Jul. 2004, Japanese Society for Engineering Education, Not invited,(73)High Reliability CAI Server System for Shinshu University, Graduate School on the Internet
KUNIMUNE Hisayoshi; NIIMURA Masaaki; WASAKI Katsumi; FUWA Yasushi; SHIDAMA Yasunari; NAKAMURA Yatsuka
Proceedings of Annual Conference of Japanese Society for Engineering Education, Jul. 2004, Japanese Society for Engineering Education, Not invited,(204)Creation of the educational contents for information security managements : Training of an attitude which takes part in the planning of the information society to a high school student
MASUTANI Toru; Wasaki KATSUMI; Shidama YASUNARI
Proceedings of Annual Conference of Japanese Society for Engineering Education, Jul. 2004, Japanese Society for Engineering Education, Not invited,A Design and Verification for the Distributed Parallel Systems based on An Extended Petri Net and Java Executor
YAMAGUCHI Shin'nosuke; WASAKI Katsumi; SHIDAMA Yasunari
Technical report of IEICE. CST, Jul. 2004, The Institute of Electronics, Information and Communication Engineers, Not invited,学習進捗状況に基づいたe-Learning教材表示制御システム (組織内教育におけるe-Learningの新しい展開)
國宗 永佳; 新村 正明; 和崎 克己
教育システム情報学会研究報告, May 2004, 教育システム情報学会, Not invited,Land Mine Detecting Technology for Humanitarian Purposes
SHIMOI Nobuhiro; TAKITA Yoshihiro; WASAKI Katsumi
Micromechatronics, 2004, The Horological Institute of Japan,The Process for establishment and the present activities of Graduate School of Science and Technology on the Internet, Shinshu University
FUWA Yasushi; KUNIMUNE Hisayoshi; WASAKI Katsumi; NIIMURA Masaaki; SHIDAMA Yasunari; NAKAMURA Yatsuka
Journal of Information Processing and Management, 2004, Japan Science and Technology Agency, Not invited,人道的埋設地雷探知技術の研究
下井信浩; 滝田好宏; 和崎克己
マイクロメカトロニクス学術講演会講演論文集, Sep. 2003, Not invitedImprovement of the k-SD number to profit the hardware
NIIMURA Masaaki; FUWA Yasushi; WASAKI Katsumi
Technical report of IEICE. CQ, Jul. 2003, The Institute of Electronics, Information and Communication Engineers,On Increasing Reliability of Servers on Shinshu University Graduate School on the Internet
KUNIMUNE Hisayoshi; FUWA Yasushi; NIIMURA Masaaki; WASAKI Katsumi; SHIDAMA Yasunari; NAKAMURA Yatsuka
Technical report of IEICE. CQ, Jul. 2003, The Institute of Electronics, Information and Communication Engineers, Not invited,遠隔講義におけるストリーミングメディアと電子出版物の連動手法 (シミュレーション(Virtual Reality、ゲームを含む))
國宗 永佳; 和崎 克己; 新村 正明
教育システム情報学会研究報告, Jul. 2003, 教育システム情報学会, Not invited,Development of Upstream Extension Amplifier with Highly Selective and Wideband Microstrip Filter for CATV
NAKAMURA Masayuki; YANG Yuying; WASAKI Katsumi; SHIDAMA Yasunari
IEICE technical report. Circuits and systems, Mar. 2003, The Institute of Electronics, Information and Communication Engineers, Not invited,A Noise Reduction of CATV Network Uplink for Data Communication
NAKAMURA Masayuki; YANG Yuying; YAMAZAKI Hideki; UCHIKAWA Tomihiko; WASAKI Katsumi; SHIDAMA Yasunari
IPSJ SIG Notes, Dec. 2002, Information Processing Society of Japan (IPSJ), Not invited,A Noise Reduction of CATV Network Uplink for Data Communication
NAKAMURA Masayuki; YANG Yuying; YAMAZAKI Hideki; UCHIKAWA Tomihiko; WASAKI Katsumi; SHIDAMA Yasunari
ITE technical report, Dec. 2002, The Institute of Image Information and Television Engineers, Not invited,A Noise Reduction of CATV Network Uplink for Data Communication
NAKAMURA Masayuki; YANG Yuying; YAMAZAKI Hideki; UCHIKAWA Tomihiko; WASAKI Katsumi; SHIDAMA Yasunari
IEICE technical report. Image engineering, Dec. 2002, The Institute of Electronics, Information and Communication Engineers, Not invited,A Study on Extension of the Upstream Frequency Band in CATV
NAKAMURA Masayuki; YANG Yuying; WASAKI Katsumi; SHIDAMA Yasunari
IEICE technical report. Communication systems, Nov. 2002, The Institute of Electronics, Information and Communication Engineers, Not invited,The modelling of the network file server based on an extended Petri net and XML tool
YAMAGUCHI Shin'nosuke; WASAKI Katsumi; SHIDAMA Yasunari
IEICE technical report. Circuits and systems, Nov. 2002, The Institute of Electronics, Information and Communication Engineers, Not invited,A-30 Property Verification for Arithmetic Logical Circuit by using Proof Checker
Wasaki Katsumi; Yamaguchi Shin'nosuke; Bancerek Grzegorz
情報科学技術フォーラム一般講演論文集, Sep. 2002, Forum on Information TechnologyN-5 The Pre-Process for an Automated Report Evaluation System for Programming Report
SUZUKI Hikofumi; NAKAZAWA Tatsuo; WASAKI Katsumi; SHIDAMA Yasunari
情報科学技術フォーラム一般講演論文集, Sep. 2002, Forum on Information Technology, Not invited,C-22 The design and veri^-cation for the Network ^-le system based on an Extended Petri Net