Naoto Sato

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 16

Top Topics

Abstract Data Types

Ultrasound Imaging

Top Venues

iThings/GreenCom/CPSCom/SmartData

Publications

Naoto Sato, Tomonori Sekiguchi, Takeru Utsugi, Hiroyuki Mizuno
Generating Shuttling Procedures for Constrained Silicon Quantum Dot Array. CoRR (2024)
Naoya Tanabe, Takumi Sakai, Naoto Sato, Yuki Mochida, Masami Iwase
Inverted Stabilization Control of Electric Wheelchairs with Tristar Wheel Mechanism. AMC (2024)
Naoto Sato
Fast Evaluation of DNN for Past Dataset in Incremental Learning. CoRR (2024)
Naoto Sato, Ryota Katsube
Locating Buggy Segments in Quantum Program Debugging. NIER@ICSE (2024)
Naoto Sato, Ryota Katsube
Locating Buggy Segments in Quantum Program Debugging. CoRR (2023)
Naoto Sato, Hironobu Kuruma, Yuichiroh Nakagawa, Hideto Ogawa
Formal Verification of a Decision-Tree Ensemble Model and Detection of Its Violation Ranges. IEICE Trans. Inf. Syst. (2) (2020)
Yunhao Zhu, Ting Feng, Qian Cheng, Xueding Wang, Sidan Du, Naoto Sato, Jie Yuan, Mithun Kuniyil Ajith Singh
Towards Clinical Translation of LED-Based Photoacoustic Imaging: A Review. Sensors 20 (9) (2020)
Naoto Sato, Hironobu Kuruma, Hideto Ogawa
Unsupposable Test-data Generation for Machine-learned Software. CoRR (2020)
Takaaki Tateishi, Sachiko Yoshihama, Naoto Sato, Shin Saito
Automatic smart contract generation using controlled natural language and template. IBM J. Res. Dev. 63 (2/3) (2019)
Naoto Sato, Hironobu Kuruma, Yuichiroh Nakagawa, Hideto Ogawa
Formal Verification of Decision-Tree Ensemble Model and Detection of its Violating-input-value Ranges. CoRR (2019)
Mithun Kuniyil Ajith Singh, Naoto Sato, Fumiyuki Ichihashi, Yoshiyuki Sankai
Point-of-care functional and molecular imaging using LED-based photoacoustics. TENCON (2019)
Naoto Sato, Takaaki Tateishi, Shunichi Amano
Formal Requirement Enforcement on Smart Contracts Based on Linear Dynamic Logic. iThings/GreenCom/CPSCom/SmartData (2018)
Wenfeng Xia, Mithun Kuniyil Ajith Singh, Efthymios Maneas, Naoto Sato, Yusuke Shigeta, Toshitaka Agano, Sébastien Ourselin, Simeon J. West, Adrien E. Desjardins
Handheld Real-Time LED-Based Photoacoustic and Ultrasound Imaging System for Accurate Visualization of Clinical Metal Needles and Superficial Vasculature to Guide Minimally Invasive Procedures. Sensors 18 (5) (2018)
Naoto Sato, Hironobu Kuruma, Yuichiroh Nakagawa, Hideto Ogawa
Simplified Influence Evaluation of Additional Training on Deep Neural Networks. WESPr-iMLSE@APSEC (2018)
Naoto Sato, Hironobu Kuruma, Masanori Kaneko, Yuichiroh Nakagawa, Hideto Ogawa, Thai Son Hoang, Michael J. Butler
DeepSaucer: Unified Environment for Verifying Deep Neural Networks. CoRR (2018)
Andreas Fürst, Thai Son Hoang, David A. Basin, Naoto Sato, Kunihiko Miyazaki
Large-scale system development using Abstract Data Types and refinement. Sci. Comput. Program. 131 (2016)
Naoto Sato, Fuyuki Ishikawa
Separation of Considerations in Event-B Refinement toward Industrial Use. FMSEE&T@FM (2015)
Taishi Nomiyama, Naoto Sato, Kou Yamamoto, Shigeki Matsubara, Makoto Nakashima, Takao Sugimoto
T4: A two-tap based user interface system using a touch-type device for motor-impaired company employees. ICCE-TW (2015)
Thai Son Hoang, Shinji Itoh, Kyohei Oyama, Kunihiko Miyazaki, Hironobu Kuruma, Naoto Sato
Consistency Verification of Specification Rules. ICFEM (2015)
Andreas Fürst, Thai Son Hoang, David A. Basin, Krishnaji Desai, Naoto Sato, Kunihiko Miyazaki
Code Generation for Event-B. IFM (2014)
Andreas Fürst, Thai Son Hoang, David A. Basin, Naoto Sato, Kunihiko Miyazaki
Formal System Modelling Using Abstract Data Types in Event-B. ABZ (2014)
Michiharu Kudo, Ai Ishida, Naoto Sato
Business Process Discovery by Using Process Skeletonization. SITIS (2013)
Kristoffer Høgsbro Rose, Lionel Villard, Naoto Sato
A Data Flow Language for Hybrid Query and Programming Languages. FLOPS (2012)
David A. Basin, Andreas Fürst, Thai Son Hoang, Kunihiko Miyazaki, Naoto Sato
Abstract Data Types in Event-B - An Application of Generic Instantiation CoRR (2012)
Kanako Komiya, Naoto Sato, Koji Fujimoto, Yoshiyuki Kotani
Negation Naive Bayes for Categorization of Product Pages on the Web. RANLP (2011)
Stefan Prennschütz-Schützenau, Nirmal Mukhi, Satoshi Hada, Naoto Sato, Fumiko Satoh, Naohiko Uramoto
Static vs. Dynamic Validation of BSP Conformance. ICWS (2009)
Hiroaki Nakamura, Naoto Sato, Naoshi Tabuchi
An efficient and portable scheduler for RTOS simulation and its certified integration to SystemC. DATE (2006)
Naoshi Tabuchi, Naoto Sato, Hiroaki Nakamura
Model-Driven Performance Analysis of UML Design Models Based on Stochastic Process Algebra. ECMDA-FA (2005)
Akira Namatame, Naoto Sato, Kazuyuki Murakami
Co-Evolutionary Learning in Strategic Environments. SEAL (2002)
Naoto Sato, Shin Saito, Kinichi Mitsui
Optimizing Composite Web Services through Parallelization of Service Invocations. EDOC (2002)