Naoto Sato

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