Publications

Journals

Yuki Sawada, Yuichiro Umeda, Yoshinari Hachisu, Atsushi Yoshida and Hiroaki Kuwabara.
A Method to Localize Defects in Source Codes Using Segments in Programming Exercises.
Computer Software, Vol.40, No.4, pp.29-36, 2023. (in Japanese)

Yoshinari Hachisu, Naoki Azuma, Hiro Mikami, Koudai Nagano, Atsushi Yoshida and Hiroaki Kuwabara.．
Prototype of Automatic Error Repair Tool in Control Statements Caused by Grammatical Knowledge of Multiple Programming Languages.
Computer Software, Vol.39, No.4, pp.38-48, 2022. (in Japanese)

Hiroaki Kuwabara.
Towards Secrecy Wildcards in Information Flow Analysis.
Computer Software, Vol.38, No.4, pp.40-45, 2021．(in Japanese)

Kenta Hasegawa, Hiroaki Kuwabara and Yoshitoshi Kunieda.
A Type System for Detecting Non-Terminating Stream Operations with Java Stream API.
Computer Software, Vol.37, No.2, pp.59-75, 2020. (in Japanese)

Hiroaki Kuwabara and Yoshitoshi Kunieda.
Bounded Secrecy Parameters in Information Flow Analysis.
Computer Software, Vol.36, No.4, pp.39-45, 2019. (in Japanese)

Yoshinari Hachisu, Atsushi Yoshida, Hiroaki Kuwabara and Kiyoshi Agusa.
A Method for Automatic Input Forms Generation of C Programming Learning Environment on Web.
Computer Software, Vol.36, No.4, pp.18-24, 2019. (in Japanese)

Shinya Yoshida, Hiroaki Kuwabara and Yoshitoshi Kunieda.
Secrecy Parameterization in Information Flow Analysis for Object-oriented Programs.
Computer Software, Vol.36, No.1, pp.48-65, 2019. (in Japanese)

Yoshinari Hachisu, Atsushi Yoshida, Hiroaki Kuwabara and Kiyoshi Agusa.
A Pototype on Proofreader for Learning Programming.
Computer Software, Vol.35, No.4, pp.129-135, 2018. (in Japanese)

Shinya Yoshida, Hiroaki Kuwabara and Yoshitoshi Kunieda.
Java Annotations for Information Flow Analysis.
Computer Software, Vol.34, No.4, pp.47-53, 2017. (in Japanese)

Hiroaki Kuwabara and Yoshitoshi Kunieda.
Declassifiers Placement for General Secrecy Lattices in Information Flow Analysis.
Computer Software, Vol.34, No.2, pp.28-38, 2017. (in Japanese)

Noritoshi Atsumi, Hiroaki Kuwabara.
MAFP: Alert Management Tool for Static Checking of Source Code.
Computer Software, Vol.33, No.4, pp.50-66, 2016. (in Japanese)

Hiroaki Kuwabara and Yoshitoshi Kunieda.
A Method of Declassifiers Placement in Information Flow Analysis.
Computer Software, Vol.32, No.1, pp.136-146, 2015. (in Japanese)

Takayuki Omori, Hiroaki Kuwabara and Katsuhisa Maruyama.
Improving code completion based on repetitive code completion operations.
Computer Software, Vol.32, No.1, pp.120-135, 2015. (in Japanese)

Hiroaki Kuwabara and Takayuki Omori.
Coarse-grained Frame for Replaying Editing Operation History.
Computer Software, Vol.30, No.4, pp.61-66, 2013. (in Japanese)

Florencio Rusty Punzalan, Yoshiharu Yamashita, Masanari Kawabata, Takao Shimayoshi, Hiroaki Kuwabara, Yoshitoshi Kunieda and Akira Amano.
Distributed Parameter Biological Function Model Simulation with User-Provided PDE Numerical Solution Scheme.
JBMES，Vol.50，No.6，pp.666-674，2013．(in Japanese)

Florencio Rusty Punzalan, Yoshiharu Yamashita, Naoki Soejima, Masanari Kawabata, Takao Shimayoshi, Hiroaki Kuwabara, Yoshitoshi Kunieda and Akira Amano.
A CellML Simulation Compiler and Code Generator using ODE Solving Schemes.
Source Code for Biology and Medicine, 7:11, 2012. (PDF)

Yuuki Tominaga, Takehiro Kashiyama, Eiji Takimoto, Hiroaki Kuwabara, Koichi Mouri, Shoichi Saito, Tetsutaro Uehara and Yoshitoshi Kunieda.
Mimicry Attack Detection by Saving and Checking Control Data Stored on Call Stack.
IPSJ, Vol.53, No.9, pp.2075-2085, 2012. (in Japanese)

Yoshiharu Yamashita, Naoki Soejima, Masanari Kawabata, Punzalan Florencio Rusty, Takao Shimayoshi, Hiroaki Kuwabara, Yoshitoshi Kunieda and Akira Amano.
A CellML Simulation Code Generator using ODE Solving Scheme Description.
JBMES, Vol.50, No.1, pp.68-77, 2012. (in Japanese)

Hiroaki Kuwabara.
Type Error Slicing for Type-based Information Flow Analysis of Imperative Programs.
Computer Software, Vol.27, No.4, pp.221-227, 2010. (in Japanese)

Nobuyuki Kaneko, Hiroaki Kuwabara, Shinichiro Yamamoto and Kiyoshi Agusa.
StrutsLint: Web Application Coding Checker.
Computer Software, Vol.26, No.3, pp.34-43, 2009. (in Japanese)

Sho Kurokawa, Hiroaki Kurokawa, Sinichiro Yamamoto, Toshiki Sakabe, Masahiko Sakai, Keiichirou Kusakari and Naoki Nishida.
A Type System for Analyzing Secure Information Flow in Object-Oriented Programs with Exception Handling.
IEICE D, Vol.J91-D, No.3, pp.757-770, 2008. (in Japanese)

Noritoshi Atsumi, Hiroaki Kuwabara, Nobuyuki Kaneko, Shinichiro Yamamoto and Kiyoshi Agusa.
A Test Method of Page Generators for Dependable Web Application.
Computer Software, Vol.24, No.4, pp.153-164, 2007. (in Japanese)

Hiroaki Kuwabara, Shoji Yuen and Kiyoshi Agusa.
Congruence Properties for a Timed Extension of the pi-Calculus.
IEICE D, Vol.J89-D, No.4, pp.632-641, 2006. (in Japanese)

Atsushi Mizuno, Ken Mano, Yoshinobu Kawabe, Hiroaki Kuwabara, Kiyoshi Agusa and Shoji Yuen.
Name-passing style GUI programming in the pi-calculus-based language Nepi.
Electronic Notes in Theoretical Computer Science, Vol.139, No.1, pp.145-168, 2005. (ScienceDirect)

Hiroaki Kuwabara, Shoji Yuen and Kiyoshi Agusa.
A Formal Description of a Real-Timed Object-Oriented Language by the pi-Calculus with Time.
IPSJ, Vol.45, No.6, pp.1498-1507, 2004. (in Japanese)

International Conference

Florencio Rusty Punzalan, Yoshiharu Yamashita, Masanari Kawabata, Takao Shimayoshi, Hiroaki Kuwabara, Yoshitoshi Kunieda and Akira Amano.
Code Generator for Distributed Parameter Biological Model Simulation with PDE Numerical Schemes.
In Proc. IEEE EMB Conference 2013, pp.1494-1497, 2013. (IEEE Xplore)

Takayuki Omori, Hiroaki Kuwabara and Katsuhisa Maruyama.
A Study on Repetitiveness of Code Completion Operations.
Proceedings of 28th IEEE International Conference on Software Maintenance (ICSM'12), pp.584-587, 2012. (IEEE Xplore)

Akira Amano, Masanari Kawabata, Yoshiharu Yamashita, Florencio Rusty Punzalan, Takao Shimayoshi, Hiroaki Kuwabara and Yoshitoshi Kunieda.
A Program Code Generator for Multiphysics Biological Simulation using Markup Languages.
In 34th Annual International IEEE EMBS Conference, 2012. (IEEE Xplore)

Yuuki Tominaga, Takehiro Kashiyama, Eiji Takimoto, Hiroaki Kuwabara, Koichi Mouri, Shoichi Saito, Tetsutaro Uehara and Yoshitoshi Kunieda.
Secure Call and Return Instructions for Mimicry Attack Detection.
In IWIA 2012, 2012. (extended abstract)

Yoshiharu Yamashita, Yuichiro Hayashi, Naoki Soejima, Masanari Kawabata, Punzalan Florencio Rusty, Takao Shimayoshi, Hiroaki Kuwabara, Yoshitoshi Kunieda and Akira Amano.
A Parallel CellML Simulation Program Generator with a Nonlinear Simultaneous Equation Solver.
In IWIA 2012, 2012. (extended abstract)

Akira Amano, Naoki Soejima, Takao Shimayoshi, Hiroaki Kuwabara and Yoshitoshi Kunieda.
A General CellML Simulation Code Generator using ODE Solving Scheme Description.
In 33rd Annual International IEEE EMBS Conference, 2011. (IEEE Xplore)

Hiroaki Kuwabara, Shoji Yuen and Kiyoshi Agusa.
Congruence Properties for a Timed Extension of the pi-Calculus.
DSN2005 Workshop1: Dependable Software -Tools and Methods-, pp.207-214, 2005. (PDF)

Atsushi Mizuno, Ken Mano, Yoshinobu Kawabe, Hiroaki Kuwabara, Shoji Yuen and Kiyoshi Agusa.
Name-passing style GUI programming in the pi-calculus-based language Nepi.
In 6th AMAST Workshop on Real-time Systems (ARTS2004), pp.49-66, Technical Report No. 2004/28, University of Leicester, 2004.

Domestic Conference

Shun Sako, Ryoma Takahara, Atsushi Yoshida, Yoshinari Hachisu and Hiroaki Kuwabara.
A Method for Understanding Changes in Pointer Values during Iteratives based on Partial Evaluation.
SES 2024, pp.72-81, 2024. (in Japanese)

Taiki Hayakawa, Hayato Yamaguchi, Daiki Yamamoto, Yoshinari Hachisu, Atsushi Yoshida and Hiroaki Kuwabara.
An Interactive Support System for Correcting Errors on Programming Learning Based on Understanding Levels.
SSS2024, 2024. (in Japanese)

Yuki Sawada, Yoshinari Hachisu, Atsushi Yoshida and Hiroaki Kuwabara.
Considerations of an Automatic Feedback Method for a Learner’s Editing Source Codes in Programming Exercises.
IEICE Technical Report, Vol.123, No.414, SS2023-78, pp.174-179, 2024. (in Japanese)

Hiroaki Kuwabara.
IDE-based Secret Level Annotations for Information Flow Analysis.
IPSJ SIG Technical Report, Vol.2024-SE-216, No.23, pp.1-8, 2024. (in Japanese)

Yuki Sawada, Yoshinari Hachisu, Atsushi Yoshida and Hiroaki Kuwabara.
An Automatic Feedback Method for a Learner's Editing Source Codes in Programming Exercises.
WINF2023, 1B-3, 2023.

Hiroki Horie, Yoshinari Hachisu, Atsushi Yoshida and Hiroaki Kuwabara.
A Support Method to Understand Rust Programs for C Programmers.
FOSE2023, Poster, 2023. (in Japanese)

Yuki Sawada, Yoshinari Hachisu, Atsushi Yoshida and Hiroaki Kuwabara.
An Automatic Feedback Method for a Learner's Editing Source Codes in Programming Exercises.．
FOSE2023, pp.191-192, 2023. (in Japanese)

Yoshinari Hachisu, Shusuke Ozawa, Hiroto Miyajima, Atsushi Yoshida and Hiroaki Kuwabara.
A Coding Checker for Sequential Conditional Branches.
FOSE2023, pp.141-146, 2023. (in Japanese)

Tsuyoshi Toya, Manaya Ogawa, Yoshinari Hachisu, Atsushi Yoshida and Hiroaki Kuwabara.
Automatic Programming Exercise Generation from A Model Answer Program.
FIT2023, N-033, 2023. (in Japanese)

Hana Tsukihara, Eiichiro Yamamoto, Ami Nakashima, Yoshinari Hachisu, Atsushi Yoshida and Hiroaki Kuwabara.
Localize a Fault in a Learner’s Program using Mutation Analysis.
SSS2023, 2023. (in Japanese)

Ryosuke Matsui, Yoshinari Hachisu, Atsushi Yoshida and Hiroaki Kuwabara.
Research of Software Development Assistance focused on Variables.
FOSE2022, Poster, 2022. (in Japanese)

Hiroaki Kuwabara.
Towards Type-based Information Flow Analysis for Rust MIR.
FOSE2022, pp.67-72, 2022. (in Japanese)

Yuki Sawada, Yuichiro Umeda, Yoshinari Hachisu, Atsushi Yoshida and Hiroaki Kuwabara.
A Method for Localizing Defects in Source Codes Using Segments in Programming Exercises.
FOSE2022, pp.55-60, 2022. (in Japanese)

Ryosuke Matsui, Yoshinari Hachisu, Atsushi Yoshida and Hiroaki Kuwabara.
Research and Discussions for Providing Support for Variable Names.
Proceedings of the 39th JSSST Annual Conference, 32-S, 2022. (in Japanese)

Hiroki Horie, Eisuke Souhama, Yoshinari Hachisu, Atsushi Yoshida and Hiroaki Kuwabara.
Data Pre-processing Examinations in Web Page Screenshot Classification Using Machine Learning.
Proceedings of the 39th JSSST Annual Conference, 32-S, 2022. (in Japanese)

Hiroaki Kuwabara and Noritoshi Atsumi.
Preliminary Evaluation of Pattern Retrieving in Automated Program Repair using API Usage Patterns.
IPSJ SIG Technical Report, Vol.2022-SE-210, No.29, pp.1-8, 2022. (in Japanese)

Yoshinari Hachisu, Naoki Azuma, Hiro Mikami, Koudai Nagano, Atsushi Yoshida and Hiroaki Kuwabara.
Automatical Error Repair in Control Statements Caused by Grammatical Knowledge of Multiple Programming Languages.
FOSE2021, pp.51-60, 2021. (in Japanese)

Yoshihito Araki, Hiroaki Kuwabara and Yoshitoshi Kunieda.
An Automated Program Repair using API Usage Patterns.
IPSJ SIG Technical Report, Vol.2021-SE-207, No.3, pp.1-8, 2021. (in Japanese)

Yoshihito Araki, Hiroaki Kuwabara and Yoshitoshi Kunieda.
Partial Patch Generation using API Usage Patterns in Automated Program Repair.
FOSE2020, pp.137-138, 2020. (in Japanese)

Yoshinari Hachisu, Shintaro Ishimoto, Atsushi Yoshida and Hiroaki Kuwabara.
A matching method of variables in editing source codes by programming learners with ones in a model answer.
FOSE2020, pp.109-114, 2020. (in Japanese)

Hiroaki Kuwabara.
Towards Secrecy Wildcards in Information Flow Analysis.
FOSE2020, pp.45-50, 2020. (in Japanese)

Kenta Hasegawa, Hiroaki Kuwabara and Yoshitoshi Kunieda.
A Type System for Information Flow Analysis of Rust Programs.
IEICE Technical Report, Vol.119, No.451, SS2019-53, pp.73-78, 2020. (in Japanese)

Shintaro Ishimoto, Yoshinari Hachisu, Atsushi Yoshida and Hiroaki Kuwabara.
A Source Code based Feedback Generation for Programming Learners.
FOSE2019, Poster, 2019. (in Japanese)

Hiroaki Kuwabara and Yoshitoshi Kunieda.
Type Checking Algorithm and Java Annotations for Information Flow Analysis with Parameterized Secrecy.
FOSE2019, pp.109-114, 2019. (in Japanese)

Yoshinari Hachisu, Akane Morimoto, Shoma Matsuo, Chihiro Kato, Atsushi Yoshida and Hiroaki Kuwabara.
A learning support tool for understanding function calls with pointer parameters.
FOSE2019, pp.103-108, 2019. (in Japanese)

Shimon Kubota, Yoshinari Hachisu, Atsushi Yoshida and Hiroaki Kuwabara.
A Method for Grasping Coding Status to Assist Students inProgramming Exercise.
IPSJ SIG Technical Reports, Vol.2019-CE-151, No.6, pp.1-8, 2019. (in Japanese)

Yoshihito Araki, Hiroaki Kuwabara and Yoshitoshi Kunieda.
A Static Method for Detecting Reuse of Stream in Java Programs using Stream API.
IPSJ SIG Technical Reports, Vol.2019-SE-201, No.4, pp.1-8, 2019. (in Japanese)

Noritoshi Atsumi and Hiroaki Kuwabara.
An Approach of Sharing Software Modification to Adopt Library Evolution.
IEICE Technical Report, Vol.118, No.471, SS2018-78, pp.157-162, 2019. (in Japanese)

Soichiro Kato, Atsushi Yoshida, Yoshinari Hachisu and Hiroaki Kuwabara.
A Method to Digest Programs based on the Commonalities of Code Fragments.
FOSE2018, pp.155-156, 2018. (in Japanese)

Hiroaki Kuwabara and Yoshitoshi Kunieda.
Bounded Secrecy Parameters in Information Flow Analysis.
FOSE2018, pp.85-90, 2018. (in Japanese)

Kenta Hasegawa, Hiroaki Kuwabara and Yoshitoshi Kunieda.
A Type System for Detecting Non-Terminating Stream Operations with Java Stream APIs.
FOSE2018, pp.75-84, 2018. (in Japanese)

Atsushi Yoshida, Hiroki Kato, Yoshinari Hachisu, Hiroaki Kuwabara and Kiyoshi Agusa.
Extraction of Conditional Statements for Exception Handling based on Commonality of Token Sequences.
IPSJ/SIGSE Software Engineering Symposium (SES) 2018, 2018. (in Japanese)

Shintaro Ishimoto, Yoshinari Hachisu, Atsushi Yoshida, Hiroaki Kuwabara and Kiyoshi Agusa.
Assessing Coding Situations on a Programming Exercise from Views of Syntax Element Types.
SSS2018, 2018. (in Japanese)

Yuki Adachi, Yoshinari Hachisu, Atsushi Yoshida, Hiroaki Kuwabara and Kiyoshi Agusa.
A Support System for Understanding the Syntax of Programming Language based on a Syntax Diagram.
SSS2018, 2018. (in Japanese)

Kenta Hasegawa, Shinya Yoshida, Hiroaki Kuwabara, Tetsutaro Uehara and Yoshitoshi Kunieda.
A Type System for Checking Termination of Stream Operation by Java Stream APIs.
PPL2018, Poster, 2018. (in Japanese)

Hiroki Kato, Atsushi Yoshida, Yoshinari Hachisu, Hiroaki Kuwabara and Kiyoshi Agusa.
A Method for Recommending Code Examples based on Common Characteristics of Exception Handling for APIs.
FOSE2017, Poster, 2017. (in Japanese)

Kenta Hasegawa, Shinya Yoshida, Hiroaki Kuwabara, Tetsutaro Uehara and Yoshitoshi Kunieda.
A Type System for Checking Termination of Stream Operations in Java Stream APIs.
FOSE2017, Poster, 2017. (in Japanese)

Koichi Uchinishi, Hiroaki Kuwabara and Yoshitoshi Kunieda.
Towards a Program Analysis Platform using Graph Database.
FOSE2017, Poster, 2017. (in Japanese)

Shinya Yoshida, Hiroaki Kuwabara and Yoshitoshi Kunieda.
Secrecy Parameterization in Object-oriented Programs for Information Flow Analysis.
FOSE2017, pp.83-92, 2017. (in Japanese)

Yoshinari Hachisu, Atsushi Yoshida, Hiroaki Kuwabara and Kiyoshi Agusa.
A Prototype of Proofreader for Programming Exercises.
FOSE2017, pp.53-62, 2017. (in Japanese)

Yuuki Kayahara, Hiroaki Kuwabara and Yoshitoshi Kunieda.
Dynamic Scheduling Method of Cooking Process Considering The Finishing Temperature of Dishes.
IEICE Technical Report, Vol.117, No.217, MVE2017-21, pp.37-41, 2017. (in Japanese)

Soichiro Kato, Atsushi Yoshida, Yoshinari Hachisu, Hiroaki Kuwabara and Kiyoshi Agusa.
A Method for Structuring Execution Histories based on Input from and Output to Files.
IPSJ SIG Technical Reports, Vol.2017-SE-195, No.24, pp.1-8, 2017. (in Japanese)

Hiroaki Kuwabara and Yoshitoshi Kunieda.
Type-based Analysis of Information Flow with Runtime Exceptions.
FOSE2016, pp.229-234, 2016. (in Japanese)

Shinya Yoshida, Hiroaki Kuwabara and Yoshitoshi Kunieda.
Java Annotations for Information Flow Analysis.
FOSE2016, pp.73-82, 2016. (in Japanese)

Takuya Kanematsu, Hiroaki Kuwabara, Tetsutaro Uehara and Yoshitoshi Kunieda.
Acceleration of Generating Rainbow Tables by GPGPU.
Computer Security Symposium 2016 (CSS2016), pp.1260-1267, 2016. (in Japanese)

Koki Ando, Hiroaki Kuwabara, Tetsutaro Uehara and Yoshitoshi Kunieda.
Acceleration of Generating Full Coverage Rainbow Tables using Hybrid MPI/OpenMP.
Computer Security Symposium 2016 (CSS2016), pp.255-262, 2016. (in Japanese)

Noritoshi Atsumi and Hiroaki Kuwabara.
An Investigation of false positive alerts in Static Analysis Tools.
FOSE2015, Poster, 2015. (in Japanese)

Hiroaki Kuwabara and Yoshitoshi Kunieda.
Entropy-based Ranking Method for Declassifiers Placement.
FOSE2015, pp.151-156, 2015. (in Japanese)

Koki Ando, Hiroaki Kuwabara, Tetsutaro Uehara and Yoshitoshi Kunieda.
Acceleration of Generating Rainbow Tables by MPI Parallelized Processing.
Computer Security Symposium 2015 (CSS2015), Vol.2015, No.3, pp.1335-1342, 2015. (in Japanese)

Takahiro Nakagawa, Hiroaki Kuwabara, Yoshitoshi Kunieda and Akira Amano.
A Method for Collecting the Result of Biological Simulation on PC Cluster.
JBMES2015, 2015. (in Japanese)

Hiroaki Kuwabara, Noritoshi Atsumi.
A Tool for Version Tracking of Alerts in Static Checking of Source Code.
IPSJ/SIGSE Software Engineering Symposium (SES) 2015, 2015. (in Japanese)

Yukio Kuwa, Takaya Maehama, Florencio Rusty Punzalan, Hiroaki Kuwabara, Yoshitoshi Kunieda, Akira Amano.
A Refinement Method of Biological Morphology Data Division for Parallel Computing of Distributed Parameter Systems.
IEICE Technical Report, Vol.114, No.514, MBE2014-137, pp.117-122, 2015. (in Japanese)

Noritoshi Atsumi and Hiroaki Kuwabara.
A Version Tracking based Cost Reduction for Screening Alerts of Static Check Tools.
IPSJ SIG Technical Reports, Vol.2015-SE-187, No.44, pp.1-8, 2015. (in Japanese)

Yu Shigetani, Hiroaki Kuwabara and Yoshitoshi Kunieda.
Behavior Driven Development of MPI Applications.
IPSJ SIG Technical Reports, Vol.2015-SE-187, No.26, pp.1-8, 2015. (in Japanese)

Noritoshi Atsumi and Hiroaki Kuwabara.
An Effective Usage of Static Check Tools using Change Tracking.
FOSE2014, pp.271-272, 2014. (in Japanese)

Hiroaki Kuwabara and Yoshitoshi Kunieda.
Declassifiers Placement for General Secrecy Lattices in Information Flow Analysis.
FOSE2014, pp.113-122, 2014. (in Japanese)

Hiroaki Kuwabara and Yoshitoshi Kunieda.
A Method of Declassifiers Placement in Information Flow Analysis.
FOSE2013, pp.15-24, 2013. (in Japanese)

Hiroaki Kuwabara and Takayuki Omori.
Coarse-grained Frame for Replaying Editing Operation History.
FOSE2012, pp.171-176, 2012. (in Japanese)

Takayuki Omori, Hiroaki Kuwabara and Katsuhisa Maruyama.
A Study on Repetitiveness of Code Completion Operations on an Integrated Development Environment.
FOSE2012, pp.141-150, 2012. (in Japanese)

Punzalan Florencio Rusty, Yoshiharu Yamashita, Masanari Kawabata, Takao Shimayoshi, Hiroaki Kuwabara, Yoshitoshi Kunieda and Akira Amano.
Organ-Level Model Simulation with User-Provided PDE Numerical Solution Scheme.
JBMES2012, 2012. (in Japanese)

Hiroaki Kuwabara．
Towards Program Analysis Platform as a Service.
Proceedings of Winter Workshop 2012, pp.73-74, 2012. (in Japanese)

Hiroaki Kuwabara, Noritoshi Atsumi and Shinichiro Yamamoto.
Towards Program Analysis Service.
FOSE2011, pp.243-248, 2011. (in Japanese)

Yoshiharu Yamashita, Naoki Soejima, Masanari Kawabata, Punzalan Florencio Rusty, Takao Shimayoshi, Hiroaki Kuwabara, Yoshitoshi Kunieda and Akira Amano.
A CellML Simulation Code Generator using ODE Solving Scheme Description.
JBMES2011, 2011. (in Japanese)

Takuya Ohashi, Hiroaki Kuwabara and Yoshitoshi Kunieda.
Profiling and Optimization support for CUDA programming.
FIT2011, B-038, 2011. (in Japanese)

Yoshiharu Yamashita, Hiroaki Kuwabara and Yoshitoshi Kunieda.
A Quantum Search Mechanism for Existing Programming Languages.
FIT2011, A-011, 2011. (in Japanese)

Hiroaki Kuwabara．
A Language-Independent Program Analysis Platform.
Proceedings of Winter Workshop 2011, pp.15-16, 2011. (in Japanese)

Hiroaki Kuwabara, Ryo Suetsugu, Shinichiro Yamamoto and Kiyoshi Agusa.
An Extensible Coding Checker for JavaScript Programs.
JSSST, 6C-1, 2010. (in Japanese)

Hiroaki Kuwabara.
Type Error Slicing for Type-based Information Flow Analysis.
FOSE2009, pp.49-60, 2009. (in Japanese)

Mitsuru Tabata, Hiroaki Kuwabara and Yoshitoshi Kunieda.
Towards a Generator of Semantic Analyzer.
FOSE2009, pp.329-330, 2009. (in Japanese)

Hideki Takahashi, Hiroaki Kuwabara and Yoshitoshi Kunieda.
Power Optimization using Dynamic Prediction on Power Consumption.
The 71st National Convention of IPSJ, Vol. 1, pp.133-134, 2009. (in Japanese)

Naoki Soejima, Hiroaki Kuwabara and Yoshitoshi Kunieda.
A Graphical User Interface of MPI Program Development Environment using Code Visualization.
The 71st National Convention of IPSJ, Vol. 1, pp.319-320, 2009. (in Japanese)

Akira Iwata, Yushi Urushio, Hiroaki Kuwabara and Yoshitoshi Kunieda.
A Simdization of Conditionals for Cell Processor.
The 71st National Convention of IPSJ, Vol. 1, pp.109-110, 2009. (in Japanese)

Yushi Urushio, Hiroaki Kuwabara and Yoshitoshi Kunieda.
Development of an Automatic Parallelizing Compiler for Cell by Task Partitioning.
The 71st National Convention of IPSJ, Vol. 1, pp.99-100, 2009. (in Japanese)

Shinya Hattori, Takahiko Keno, Hiroaki Kuwabara and Yoshitoshi Kunieda.
Improvement of Accuracy of Intrusion Detection for a Secure System using Static Analysis Information.
The 71st National Convention of IPSJ, Vol. 1, pp.69-70, 2009. (in Japanese)

Satoshi Yamasaki, Hiroaki Kuwabara and Yoshitoshi Kunieda.
An Implementation of a Defence Tool against Integer Overflow Attack without Redundant Checks.
The 71st National Convention of IPSJ, Vol. 3, pp.405-406, 2009. (in Japanese)

Satoshi Furukawa, Katsuya Yamamoto, Mitsuru Tabata, Taihei Sintani, Yoshitoshi Kunieda and Hiroaki Kuwabara.
SHILCO: A Management System for VM Cluster.
Symposium on Advanced Computing Systems and Infrastructures 2008 (poster), pp.35-36, 2008. (in Japanese)

Hiroaki Kuwabara．
A CASE Tool Platform for Scripting Languages.
Proceedings of Winter Workshop 2008, pp.17-18, 2008. (in Japanese)

Yuji Omote, Ikki Moriyama, Hiroaki Kuwabara, Koichi Mouri, Shoichi Saito, Tetsutaro Uehara and Yoshitoshi Kunieda.
A Process Monitoring for Mandatory Access Control by Collaboration of Compiler and Operating System.
Computer Security Symposium 2007, pp.109-114, 2007. (in Japanese)

Ikki Moriyama, Yuji Omote, Hiroaki Kuwabara, Koichi Mouri, Shoichi Saito, Tetsutaro Uehara and Yoshitoshi Kunieda.
Static Analysis for Mandatory Access Control by Collaboration of Compiler and OS.
Computer Security Symposium 2007, pp.103-108, 2007. (in Japanese)

Nobuyuki Kaneko, Hiroaki Kuwabara, Shinichiro Yamamoto and Kiyoshi Agusa.
StrutsLint: A Coding Checker for Web Application.
24th JSSST Conference, 2007. (in Japanese)

Hiroaki Kuwabara, Shoji Yuen and Kiyoshi Agusa.
An Abstraction of Timed Behavior in Communicating Process Model with Time.
LA Symposium 2006 Winter, 2007. (in Japanese)

Sho Kurokawa, Hiroaki Kurokawa, Sinichiro Yamamoto, Toshiki Sakabe, Masahiko Sakai, Keiichirou Kusakari and Naoki Nishida.
Security Analysis of Information Flow for an Object-Oriented Language with Exception Handling.
IEICE Techinical Report, Vol.106, No.324, pp.13-18, 2006. (in Japanese)

Ryota Mizuno, Hiroaki Kuwabara, Shinichiro Yamamoto and Kiyoshi Agusa.
Immutability Analysis for Java Program Understanding.
IPSJ SIG Technical Reports, Vol.2006, No.48, pp.33-40, 2006. (in Japanese)

Sho Kurokawa, Hiroaki Kuwabara, Shinichiro Yamamoto and Kiyoshi Agusa.
A Data Dependency Graph for Web Applications.
FOSE2005, pp.237-246, 2005. (in Japanese)

Hiroaki Kuwabara, Shoji Yuen and Kiyoshi Agusa.
An Algebraic Theory for a Timed Extension of the pi-Calculus.
FOSE2004, pp.97-108, 2004. (in Japanese)

Atsushi Mizuno, Ken Mano, Yoshinobu Kawabe, Hiroaki Kuwabara, Shoji Yuen and Kiyoshi Agusa.
Design and implementation fo GUI for a pi-calculus-based programming language Nepi.
IPSJ-PRO, Vol.45, No.SIG12(PRO23), pp.95, 2004. (in Japanese)

Hiroaki Kuwabara, Shoji Yuen and Kiyoshi Agusa.
A Formal Description of a Real-Timed Object-Oriented Language by the pi-Calculus with Time.
IPSJ-OO2003, pp.68-76, 2003. (in Japanese)

Hiroaki Kuwabara, Shoji Yuen and Kiyoshi Agusa.
Timed Extension of the pi-Calculus and Bisimulation Relations.
LA Symposium 2003 Summer, 2003. (in Japanese)

Hiroaki Kuwabara, Shoji Yuen and Kiyoshi Agusa.
A Formal Description of the Priority Inheritance Protocol by the pi-Calculus.
IPSJ-PRO, Vol.43, No.SIG8(PRO15), pp.118, 2002. (in Japanese)

Doctor thesis

A Timed Extension of Communicating Process Model and its Application in Real-Time System Development (in Japanese)

Master thesis

A Timed Extension of pi-Calculus for Compositional Development of Real-Time Software (in Japanese)

Graduation thesis

A Tool for Supporting Development of Real-Time Concurrent Software (in Japanese)

Back

Copyright(C) since 2008 KUWABARA Hiroaki. All rights reserved.