Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
SS |
2019-03-04 09:25 |
Okinawa |
|
Behavioral Verification of Yampa Programs in a Discrete Runtime Environment using Uppaal Riku Nakane, Shoji Yuen (Nagoya Univ.) SS2018-52 |
This study proposes a verification of Yampa program behavior in the discrete runtime environment using Uppaal. Although ... [more] |
SS2018-52 pp.1-6 |
SS |
2019-03-04 09:50 |
Okinawa |
|
Congruence property of reversible process calculus with time Satoru Yamamoto, Shoji Yuen (Nagoya Univ.) SS2018-53 |
We present a reversible bisimilar equivalence for Timed RCCS(Timed Reversible Calculus of Communicating Systems) extende... [more] |
SS2018-53 pp.7-12 |
SS |
2019-03-04 10:15 |
Okinawa |
|
Statistical model checking of hybrid systems with Acumen Kosuke Inoue, Daisuke Ishii (Fukui Univ.) SS2018-54 |
An integrated tool for modeling, simulation and verification is useful for developing reliable continuous/discrete hybri... [more] |
SS2018-54 pp.13-18 |
SS |
2019-03-04 10:40 |
Okinawa |
|
An improved LLF scheduling for reducing heap memory consumption in multiprocessor real-time system by considering laxity time Yuki Machigashira, Akio Nakata (Hirosima City Univ.) SS2018-55 |
Real-time embedded systems are often designed as multitasking systems in order to improve responsiveness to multiple ext... [more] |
SS2018-55 pp.19-24 |
SS |
2019-03-04 11:15 |
Okinawa |
|
SS2018-56 |
(To be available after the conference date) [more] |
SS2018-56 pp.25-30 |
SS |
2019-03-04 11:40 |
Okinawa |
|
SS2018-57 |
(To be available after the conference date) [more] |
SS2018-57 pp.31-36 |
SS |
2019-03-04 12:05 |
Okinawa |
|
Junnosuke Matsumoto, Yoshiki Higo, Shinji Kusumoto (Osaka Univ.) SS2018-58 |
[more] |
SS2018-58 pp.37-42 |
SS |
2019-03-04 13:30 |
Okinawa |
|
Ripple effect analysis method of data flow requirements BUI Do Tien Hung, Takayuki Omori, Atsushi Ohnishi (Ritsumeikan Univ.) SS2018-59 |
Ripple effect in the modification of software requirements should be properly analyzed, since it may cause errors of sof... [more] |
SS2018-59 pp.43-48 |
SS |
2019-03-04 13:55 |
Okinawa |
|
Proposal of a test description support environment for request acquisition in web application development Yoshitake Nakaji, Choi Eunjong (NAIST), Norihiro Yoshida (Nagoya Univ.), Hajimu Iida (NAIST) SS2018-60 |
In the development of web application, requirements changes are frequently delivered from planners (i.e., people who sug... [more] |
SS2018-60 pp.49-54 |
SS |
2019-03-04 14:20 |
Okinawa |
|
Preliminary Evaluation of a Support Tool for Reuse of Software Patterns in Conceptual Modeling Ken Akagi, Hiroaki Hashiura (NIT), Yasufumi Tanaka (TUAT), Atsuo Hazeyama (TGU), Hiroshi Takase (NIT) SS2018-61 |
A software pattern is a structure extracted frequently appearing in software development and is a collection of them as ... [more] |
SS2018-61 pp.55-60 |
SS |
2019-03-04 14:45 |
Okinawa |
|
Machine learning based requirements description analysis technique for creating backlogs Ryo Ishizuka, Hironori Washizaki (Waseda Univ.), Shinobu Saito, saori ouji (NTT SIC) SS2018-62 |
A large amount of demands are sent by users during systems operation. The project manager should identify the features r... [more] |
SS2018-62 pp.61-66 |
SS |
2019-03-04 15:20 |
Okinawa |
|
SS2018-63 |
(To be available after the conference date) [more] |
SS2018-63 pp.67-72 |
SS |
2019-03-04 15:45 |
Okinawa |
|
SS2018-64 |
(To be available after the conference date) [more] |
SS2018-64 pp.73-78 |
SS |
2019-03-04 16:10 |
Okinawa |
|
Effects of rule aggregation and ranking method on change history analysis based error prevention methods Yoshiya Ishida, Takashi Kobayashi (Tokyo Tech.) SS2018-65 |
(To be available after the conference date) [more] |
SS2018-65 pp.79-84 |
SS |
2019-03-04 16:45 |
Okinawa |
|
SQL queries for generating input constraints of SMT solvers from descriptions of combinatorial optimization problems Genki Sakanashi, Masahiko Sakai, Naoki Nishida, Kenji Hashimoto (Nagoya Univ.) SS2018-66 |
The authors recently proposed an SQL-based language CombSQL+ for specifying combinatorial optimization problems, and sho... [more] |
SS2018-66 pp.85-90 |
SS |
2019-03-04 17:10 |
Okinawa |
|
Formal STAMP Modelling toward Safety Verification of Hybrid Systems Mitsuaki Tsuji, Toshinori Takai (NAIST), Masafumi Katahira, Naoki Ishihama (JAXA), Kazuki Kakimoto, Hajimu Iida (NAIST) SS2018-67 |
Safety-critical systems, for example, autonomous vehicles and space systems, are required to be safe and reliable. Recen... [more] |
SS2018-67 pp.91-96 |
SS |
2019-03-04 17:35 |
Okinawa |
|
Dynamic information leakage analysis and adaptive input optimization Tatsuya Miwa, Hiroyuki Seki (Nagoya Univ.) SS2018-68 |
We first propose a method of analyzing dynamic information leakage of a given program.Our method uses abstract interpret... [more] |
SS2018-68 pp.97-102 |
SS |
2019-03-05 09:00 |
Okinawa |
|
Masayuki Doi, Yoshiki Higo, Shinji Kusumoto (Osaka Univ.) SS2018-69 |
(To be available after the conference date) [more] |
SS2018-69 pp.103-108 |
SS |
2019-03-05 09:25 |
Okinawa |
|
Tasuku Nakagawa, Yoshiki Higo, Shinji Kusumoto (Osaka Univ.) SS2018-70 |
(To be available after the conference date) [more] |
SS2018-70 pp.109-114 |
SS |
2019-03-05 09:50 |
Okinawa |
|
A system for visualizing clone evolution to support clone maintenance Hirotaka Honda, Shogo Tokui, Kazuki Yokoi (Osaka Univ.), Eunjong Choi (NAIST), Norihiro Yoshida (Nagoya Univ.), Katsuro Inoue (Osaka Univ.) SS2018-71 |
Clone Notifier, a code clone change management system, notifies developers about the evolution of code clones such as ad... [more] |
SS2018-71 pp.115-120 |