| IEICE Technical Committee Submission System Advance Program |
Online Proceedings [Sign in] Tech. Rep. Archives |
| Go Top | Go Back | Prev SS Conf / Next SS Conf | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
|
=============================================== Technical Committee on Software Science (SS) Chair: Akio Nakata (Hiroshima City Univ.) Vice Chair: Takashi Kobayashi (Tokyo Inst. of Tech.) Secretary: Yoshiki Higo (Osaka Univ.), Kazuyuki Shima (Hiroshima City Univ.) Assistant: Shinpei Hayashi (Tokyo Inst. of Tech.) =============================================== Technical Committee on Mathematical Systems Science and its applications (MSS) Chair: Shigemasa Takai (Osaka Univ.) Vice Chair: Atsuo Ozaki (Osaka Inst. of Tech.) Secretary: Takahumi Kanazawa (Osaka Univ.), Koichi Kobayashi (Hokkaido Univ.) Assistant: Naoki Hayashi (Osaka Univ.) DATE: Tue, Jan 14, 2020 13:00 - 17:45 Wed, Jan 15, 2020 10:30 - 14:15 PLACE: TOPICS: ---------------------------------------- Tue, Jan 14 PM (13:00 - 14:40) ---------------------------------------- (1) 13:00 - 13:25 (See Japanese page.) (2) 13:25 - 13:50 Aoi Maejima, Yoshiki Higo, Junnosuke Matsumoto, Shinji Kusumoto (Osaka Univ.) (3) 13:50 - 14:15 Akira Fujimoto, Yoshiki Higo, Junnosuke Matsumoto, Shinji Kusumoto (Osaka Univ.) (4) 14:15 - 14:40 (See Japanese page.) ----- Break ( 20 min. ) ----- ---------------------------------------- Tue, Jan 14 PM (15:00 - 16:15) ---------------------------------------- (5) 15:00 - 15:25 Smith Dynamics-Based Task Allocation Considering Differences of Abilities among Agents Hiroki Watanabe, Takafumi Kanazawa (Osaka Univ.) (6) 15:25 - 15:50 Sensor Attack Detection in Control Systems Using Moving Horizon Estimation Kei Isono, Koichi Kobayashi (Hokkaido Univ.), Ryosuke Adachi (Yamaguchi Univ.), Yuh Yamashita (Hokkaido Univ.) (7) 15:50 - 16:15 Verification of reliable codiagnosability for discrete event systems with conditional decidions Takumi Hamada, Shigemasa Takai (Osaka Univ.) ----- Break ( 15 min. ) ----- ---------------------------------------- Tue, Jan 14 PM (16:30 - 17:45) ---------------------------------------- (8) 16:30 - 16:55 A Prototype Algorithm and Implementation of Code-Clone Detection with MapReduce-Style Prallel Processing Toshihiro Kamiya (Shimane Univ.), Eunjong Choi (KIT) (9) 16:55 - 17:20 Dynamic Leakage Analysis Based on Model Counting and Its Evaluation Daichi Fukuda, Hiroyuki Seki (Nagoya Univ.) (10) 17:20 - 17:45 () ---------------------------------------- Wed, Jan 15 AM (10:30 - 11:45) ---------------------------------------- (11) 10:30 - 10:55 (See Japanese page.) (12) 10:55 - 11:20 A Proposal of Botnet Defense System and Its Basic Strategy Shingo Yamaguchi (Yamaguchi Univ.) (13) 11:20 - 11:45 Modeling of Prediction Processes based on Learning Colored Petri Nets Ibuki Kawamitsu, Morikazu Nakamura (Univ. of the Ryukyus) ----- Lunch Break ----- ---------------------------------------- Wed, Jan 15 PM (13:00 - 14:15) ---------------------------------------- (14) 13:00 - 13:25 (See Japanese page.) (15) 13:25 - 13:50 (See Japanese page.) (16) 13:50 - 14:15 Integration of Code Preprocessing Methods for Source Code Analysis Nozomi Nakajima, Shinsuke Matsumoto, Shinji Kusumoto (Osaka Univ.) # Information for speakers General Talk will have 20 minutes for presentation and 5 minutes for discussion. === Technical Committee on Software Science (SS) === # FUTURE SCHEDULE: Wed, Mar 4, 2020 - Thu, Mar 5, 2020 (tentative): [Fri, Jan 17] # SECRETARY: Yoshiki Higo (Osaka University) TEL: 06-6879-4111 FAX: 06-6879-4114 E-mail:    ist  -u # ANNOUNCEMENT: # Latest information will be presented on the homepage http://www.sa.cs.titech.ac.jp/sigss/ === Technical Committee on Mathematical Systems Science and its applications (MSS) === # FUTURE SCHEDULE: Mon, Mar 9, 2020 - Tue, Mar 10, 2020: [Sun, Jan 19], Topics: SICE-DES, IEICE-MSS, IEICE-NLP # SECRETARY: Takafumi Kanazawa (Osaka University) Tel: +81-6-6850-6388 E-mail:      es-uLast modified: 2020-02-27 14:45:03 |
Notification: Mail addresses are partially hidden against SPAM.
[Download Paper's Information (in Japanese)] <-- Press download button after click here.
[Cover and Index of IEICE Technical Report by Issue]
[Presentation and Participation FAQ] (in Japanese)
[Return to MSS Schedule Page] / [Return to SS Schedule Page] /
| Go Top | Go Back | Prev SS Conf / Next SS Conf | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
[Return to Top Page]