Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
RCS, NS (Joint) |
2022-12-16 10:45 |
Aichi |
Nagoya Institute of Technology, and Online (Primary: On-site, Secondary: Online) |
A Study on node placement for profit improvement in lightning networks Hideharu Kojima (OIT), Shinya Tsuchida (NFT) NS2022-143 |
[more] |
NS2022-143 pp.76-81 |
NS, NWS (Joint) |
2022-01-28 13:30 |
Online |
Online |
Implementation and Evaluation for A Self-Stabilizing Leader Election Algorithm on the Population Protocol Model Keitaro Watanabe, Hideharu Kojima (Osaka Univ.), Yuichi Sudo (Hosei Univ.), Naoto Yanai, Tatsuhiro Tsuchiya (Osaka Univ.) NS2021-120 |
[more] |
NS2021-120 pp.56-61 |
NS |
2021-10-06 15:45 |
Online |
Online |
Implementation of smart contracts with an access control by attribute based encryption Takumi Okano, Hideharu Kojima, Naoto Yanai, Tatsuhiro Tsuchiya (Osaka Univ.) |
[more] |
|
KBSE |
2021-01-23 14:15 |
Online |
Online |
A study of the framework with runtime verification treating time constraints for self-adaptive systems Hideharu Kojima, Hiroyuki Nakagawa (Osaka Univ.) KBSE2020-31 |
[more] |
KBSE2020-31 pp.13-18 |
KBSE |
2019-01-26 16:35 |
Tokyo |
NII |
Masaki Ishimaru, Hideharu Kojima, Tatsuhiro Tsuchiya (OU) KBSE2018-52 |
(To be available after the conference date) [more] |
KBSE2018-52 pp.55-60 |
KBSE |
2018-03-01 10:40 |
Okinawa |
|
Improvement and implementation of a natural language processing based goal classification method for the KAOS goal model Masaki Ishimaru, Hideharu Kojima, Tatsuhiro Tsuchiya (Osaka Univ) KBSE2017-41 |
NLP-KAOS is a method for reducing the cost of requirements analysis. NLP-KAOS semi-automatically extracts and classifies... [more] |
KBSE2017-41 pp.13-18 |
DC |
2018-02-20 12:05 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
On generating locating arrays using simulated annealing Tatsuya Konishi, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya (Osaka Univ.) DC2017-82 |
Combinatorial interaction testing is an efficient software testing strategy. In this paper, we focus on locating arrays ... [more] |
DC2017-82 pp.31-35 |
CAS, MSS, IPSJ-AL [detail] |
2017-11-17 16:30 |
Tokyo |
|
A SAT-based method for generating locating arrays Tatsuya Konishi, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya (Osaka Univ.) CAS2017-62 MSS2017-46 |
In this paper, we discuss combinatorial interaction testing, which is a well-known software testing strategy.Especially,... [more] |
CAS2017-62 MSS2017-46 pp.147-152 |
KBSE |
2017-03-03 12:50 |
Ishikawa |
|
KBSE2016-40 |
Self-adaptive systems, which change their behaviors to adapt to their environmental changes, are focused on in recent ye... [more] |
KBSE2016-40 pp.7-12 |
KBSE, SS, IPSJ-SE [detail] |
2014-07-10 09:00 |
Hokkaido |
Furano-Bunka-Kaikan |
Application of Answer Set Programming to Various Forms of the Task Scheduling Problem Hiroyuki Kobayashi, Hiroyuki Nakagawa, Hideharu Kojima, Tatsuhiro Tsuchiya (Osaka Univ.) SS2014-9 KBSE2014-12 |
Multi-core processor is widely used in recent CPUs. Even though it makes
an evolutional change to high performance com... [more] |
SS2014-9 KBSE2014-12 pp.25-30 |
SS, MSS |
2014-01-31 10:45 |
Aichi |
|
Improving a Test Case Generation Method for Faulty Interaction Location Takahiro Nagamoto, Hideharu Kojima, Tatsuhiro Tsuchiya (Osaka Univ) MSS2013-64 SS2013-61 |
This paper discusses the location of interaction faults in software interaction testing.In our previous
study we propos... [more] |
MSS2013-64 SS2013-61 pp.77-81 |
DC |
2013-12-13 15:35 |
Ishikawa |
|
On the effects of the interaction between power line and SCADA networks on system robustness Yuki Matsui, Hideharu Kojima, Tatsuhiro Tsuchiya (Osaka Univ.) DC2013-74 |
In this work, we discuss the robustness of a power line network and a SCADA network to interacting failures. Previous re... [more] |
DC2013-74 pp.35-39 |
DC |
2013-10-24 13:30 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
Evaluation of the availability of hierarchical voting systems that takes into account the replica placement in network failures Yuuki Ueda, Hideharu Kojima, Tatsuhiro Tsuchiya (Osaka Univ.) DC2013-21 |
Hierarchical voting, an extension of majority voting, is used to manage replicated data. Recently this method has been ... [more] |
DC2013-21 pp.1-5 |
SS, IPSJ-SE |
2013-10-25 13:30 |
Ishikawa |
|
Efficient random test case generation for constrained interaction testing Yasuhiro Hirasaki, Hideharu Kojima, Tatsuhiro Tsuchiya (Osaka Univ.) SS2013-45 |
This paper discusses interaction testing using random testing.
Random testing can generate test cases very fast, but d... [more] |
SS2013-45 pp.163-166 |
DC |
2013-06-21 15:30 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
An Approach of Generating a Test Set to Locate a Pair-Wise Interaction Fault Takahiro Nagamoto, Hideharu Kojima, Tatsuhiro Tsuchiya (Osaka Univ.) DC2013-13 |
This paper discusses the location of interaction faults in software interaction testing. Specically, we
propose a meth... [more] |
DC2013-13 pp.19-23 |
DC, CPSY |
2013-04-26 15:50 |
Tokyo |
|
Aumenting a Test Suite for Parameter Value Weighting Satoshi Fujimoto, Hideharu Kojima, Tatsuhiro Tsuchiya (Osaka Univ.) CPSY2013-6 DC2013-6 |
In this paper, we propose a weighting method for pair-wise testing.
Pair-wise testing is a software testing strategy t... [more] |
CPSY2013-6 DC2013-6 pp.31-36 |
SS |
2013-01-10 16:00 |
Okinawa |
|
On the Probability of Interaction Fault Detection Using Random Testing in the Presence of Constraints on Parameter Values Daiki Shigeoka, Hideharu Kojima, Tatsuhiro Tsuchiya (Osaka Univ.) |
This paper discusses random testing, which is a simple approach to test case generation for software testing. A notable ... [more] |
SS2012-51 pp.31-35 |
DC |
2012-10-29 14:00 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
A Test Case Generation Approach for Random Testing in the Presence of Constraints on Parameter Values Shingo Tanaka, Hideharu Kojima, Tatsuhiro Tsuchiya (Osaka Univ.) DC2012-21 |
[more] |
DC2012-21 pp.1-5 |
MoNA, AN, USN (Joint) |
2012-01-20 12:05 |
Mie |
Todaya (Toba) |
[Technology Exhibit]
A New Generation Children Tracking System Using Bluetooth MANET consisting of Android Terminals Yuichiro Mori, Koki Morii, Koji Taketa, Hideharu Kojima, Eitaro Kohno, Shinji Inoue, Tomoyuki Ohta, Yoshiaki Kakuda (Hiroshima City Univ.) MoMuC2011-49 AN2011-78 USN2011-84 |
We have been developing a New Generation Children Tracking System
using Android terminals which is based on experiences... [more] |
MoMuC2011-49 AN2011-78 USN2011-84 pp.73-78(MoMuC), pp.137-142(AN), pp.159-164(USN) |
AN, MoNA, USN (Joint) |
2011-01-20 12:00 |
Hiroshima |
Hiroshima City University |
[Technology Exhibit]
A self-configurable New Generation Children Tracking System Based on Android and MANET Yuichiro Mori, Hideharu Kojima, Eitaro Kohno, Shinji Inoue, Tomoyuki Ohta, Yoshiaki Kakuda (HCU) MoMuC2010-60 AN2010-51 USN2010-44 |
Hiroshima City Children Tracking System is the system based on ad hoc network technologies. Test experiments have been c... [more] |
MoMuC2010-60 AN2010-51 USN2010-44 pp.11-16(MoMuC), pp.41-46(AN), pp.35-40(USN) |