Naoto Sato

According to our database, Naoto Sato authored at least 27 papers between 2002 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Generating Shuttling Procedures for Constrained Silicon Quantum Dot Array.

Naoto Sato, Tomonori Sekiguchi, Takeru Utsugi, Hiroyuki Mizuno

CoRR, 2024

2023

Locating Buggy Segments in Quantum Program Debugging.

Naoto Sato, Ryota Katsube

CoRR, 2023

2020

Towards Clinical Translation of LED-Based Photoacoustic Imaging: A Review.

Yunhao Zhu, Ting Feng, Qian Cheng, Xueding Wang, Sidan Du, Naoto Sato, Jie Yuan, Mithun Kuniyil Ajith Singh

Sensors, 2020

Formal Verification of a Decision-Tree Ensemble Model and Detection of Its Violation Ranges.

Naoto Sato, Hironobu Kuruma, Yuichiroh Nakagawa, Hideto Ogawa

IEICE Trans. Inf. Syst., 2020

Unsupposable Test-data Generation for Machine-learned Software.

Naoto Sato, Hironobu Kuruma, Hideto Ogawa

CoRR, 2020

2019

Automatic smart contract generation using controlled natural language and template.

Takaaki Tateishi, Sachiko Yoshihama, Naoto Sato, Shin Saito

IBM J. Res. Dev., 2019

Formal Verification of Decision-Tree Ensemble Model and Detection of its Violating-input-value Ranges.

Naoto Sato, Hironobu Kuruma, Yuichiroh Nakagawa, Hideto Ogawa

CoRR, 2019

Point-of-care functional and molecular imaging using LED-based photoacoustics.

Mithun Kuniyil Ajith Singh, Naoto Sato, Fumiyuki Ichihashi, Yoshiyuki Sankai

Proceedings of the TENCON 2019, 2019

2018

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.

Wenfeng Xia, Mithun Kuniyil Ajith Singh, Efthymios Maneas, Naoto Sato, Yusuke Shigeta, Toshitaka Agano, Sébastien Ourselin, Simeon J. West, Adrien E. Desjardins

Sensors, 2018

DeepSaucer: Unified Environment for Verifying Deep Neural Networks.

Naoto Sato, Hironobu Kuruma, Masanori Kaneko, Yuichiroh Nakagawa, Hideto Ogawa, Thai Son Hoang, Michael J. Butler

CoRR, 2018

Formal Requirement Enforcement on Smart Contracts Based on Linear Dynamic Logic.

Naoto Sato, Takaaki Tateishi, Shunichi Amano

Proceedings of the IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, 2018

Simplified Influence Evaluation of Additional Training on Deep Neural Networks.

Naoto Sato, Hironobu Kuruma, Yuichiroh Nakagawa, Hideto Ogawa

Proceedings of the International Workshop on Evidence-based Security and Privacy in the Wild and the 1st International Workshop on Machine Learning Systems Engineering co-located with 25th Asia-Pacific Software Engineering Conference (APSEC 2018), 2018

2016

Large-scale system development using Abstract Data Types and refinement.

Andreas Fürst, Thai Son Hoang, David A. Basin, Naoto Sato, Kunihiko Miyazaki

Sci. Comput. Program., 2016

2015

Consistency Verification of Specification Rules.

Thai Son Hoang, Shinji Itoh, Kyohei Oyama, Kunihiko Miyazaki, Hironobu Kuruma, Naoto Sato

Proceedings of the Formal Methods and Software Engineering, 2015

T4: A two-tap based user interface system using a touch-type device for motor-impaired company employees.

Taishi Nomiyama, Naoto Sato, Kou Yamamoto, Shigeki Matsubara, Makoto Nakashima, Takao Sugimoto

Proceedings of the IEEE International Conference on Consumer Electronics - Taiwan, 2015

Separation of Considerations in Event-B Refinement toward Industrial Use.

Naoto Sato, Fuyuki Ishikawa

Proceedings of the First Workshop on Formal Methods in Software Engineering Education and Training, 2015

2014

Code Generation for Event-B.

Andreas Fürst, Thai Son Hoang, David A. Basin, Krishnaji Desai, Naoto Sato, Kunihiko Miyazaki

Proceedings of the Integrated Formal Methods - 11th International Conference, 2014

Formal System Modelling Using Abstract Data Types in Event-B.

Andreas Fürst, Thai Son Hoang, David A. Basin, Naoto Sato, Kunihiko Miyazaki

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2014

2013

Business Process Discovery by Using Process Skeletonization.

Michiharu Kudo, Ai Ishida, Naoto Sato

Proceedings of the Ninth International Conference on Signal-Image Technology & Internet-Based Systems, 2013

2012

Abstract Data Types in Event-B - An Application of Generic Instantiation

David A. Basin, Andreas Fürst, Thai Son Hoang, Kunihiko Miyazaki, Naoto Sato

CoRR, 2012

A Data Flow Language for Hybrid Query and Programming Languages.

Kristoffer Høgsbro Rose, Lionel Villard, Naoto Sato

Proceedings of the Functional and Logic Programming - 11th International Symposium, 2012

2011

Negation Naive Bayes for Categorization of Product Pages on the Web.

Kanako Komiya, Naoto Sato, Koji Fujimoto, Yoshiyuki Kotani

Proceedings of the Recent Advances in Natural Language Processing, 2011

2009

Static vs. Dynamic Validation of BSP Conformance.

Stefan Prennschütz-Schützenau, Nirmal Mukhi, Satoshi Hada, Naoto Sato, Fumiko Satoh, Naohiko Uramoto

Proceedings of the IEEE International Conference on Web Services, 2009

2006

An efficient and portable scheduler for RTOS simulation and its certified integration to SystemC.

Hiroaki Nakamura, Naoto Sato, Naoshi Tabuchi

Proceedings of the Conference on Design, Automation and Test in Europe, 2006

2005

Model-Driven Performance Analysis of UML Design Models Based on Stochastic Process Algebra.

Naoshi Tabuchi, Naoto Sato, Hiroaki Nakamura

Proceedings of the Model Driven Architecture, 2005

2002

Co-Evolutionary Learning in Strategic Environments.

Akira Namatame, Naoto Sato, Kazuyuki Murakami

Proceedings of the Recent Advances in Simulated Evolution and Learning [extended and revised papers selected from the 4th Asia-Pacific Conference on Simulated Evolution and Learning, 2002

Optimizing Composite Web Services through Parallelization of Service Invocations.

Naoto Sato, Shin Saito, Kinichi Mitsui

Proceedings of the 6th International Enterprise Distributed Object Computing Conference (EDOC 2002), 2002