IEICE Technical Committee Submission System
Advance Program
Online Proceedings
[Sign in]
Tech. Rep. Archives
 Go Top  Go Back   / [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 


Technical Committee on Mathematical Systems Science and its applications (MSS) [schedule] [select]
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.)

Technical Committee on Software Science (SS) [schedule] [select]
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.)

Conference Date Tue, Jan 14, 2020 13:00 - 17:45
Wed, Jan 15, 2020 10:30 - 14:15
Topics  
Conference Place  
Copyright
and
reproduction
All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (License No.: 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)
Registration Fee This workshop will be held as the IEICE workshop in fully electronic publishing. Registration fee will be necessary except the speakers and participants other than the participants to workshop(s) in non-electronic publishing. See the registration fee page. We request the registration fee or presentation fee to participants who will attend the workshop(s) on SS, MSS.

Tue, Jan 14 PM 
13:00 - 14:40
(1) 13:00-13:25 MSS2019-41 SS2019-25
(2) 13:25-13:50 MSS2019-42 SS2019-26 Aoi Maejima, Yoshiki Higo, Junnosuke Matsumoto, Shinji Kusumoto (Osaka Univ.)
(3) 13:50-14:15 MSS2019-43 SS2019-27 Akira Fujimoto, Yoshiki Higo, Junnosuke Matsumoto, Shinji Kusumoto (Osaka Univ.)
(4) 14:15-14:40 MSS2019-44 SS2019-28
  14:40-15:00 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 MSS2019-45 SS2019-29 Hiroki Watanabe, Takafumi Kanazawa (Osaka Univ.)
(6) 15:25-15:50 Sensor Attack Detection in Control Systems Using Moving Horizon Estimation MSS2019-46 SS2019-30 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 MSS2019-47 SS2019-31 Takumi Hamada, Shigemasa Takai (Osaka Univ.)
  16:15-16:30 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 MSS2019-48 SS2019-32 Toshihiro Kamiya (Shimane Univ.), Eunjong Choi (KIT)
(9) 16:55-17:20 Dynamic Leakage Analysis Based on Model Counting and Its Evaluation MSS2019-49 SS2019-33 Daichi Fukuda, Hiroyuki Seki (Nagoya Univ.)
(10) 17:20-17:45 MSS2019-50 SS2019-34 ()
Wed, Jan 15 AM 
10:30 - 11:45
(11) 10:30-10:55 MSS2019-51 SS2019-35
(12) 10:55-11:20 A Proposal of Botnet Defense System and Its Basic Strategy MSS2019-52 SS2019-36 Shingo Yamaguchi (Yamaguchi Univ.)
(13) 11:20-11:45 Modeling of Prediction Processes based on Learning Colored Petri Nets MSS2019-53 SS2019-37 Ibuki Kawamitsu, Morikazu Nakamura (Univ. of the Ryukyus)
  - Lunch Break
Wed, Jan 15 PM 
13:00 - 14:15
(14) 13:00-13:25 MSS2019-54 SS2019-38
(15) 13:25-13:50 MSS2019-55 SS2019-39
(16) 13:50-14:15 Integration of Code Preprocessing Methods for Source Code Analysis MSS2019-56 SS2019-40 Nozomi Nakajima, Shinsuke Matsumoto, Shinji Kusumoto (Osaka Univ.)

Announcement for Speakers
General TalkEach speech will have 20 minutes for presentation and 5 minutes for discussion.

Contact Address and Latest Schedule Information
MSS Technical Committee on Mathematical Systems Science and its applications (MSS)   [Latest Schedule]
Contact Address Takafumi Kanazawa (Osaka University)
Tel: +81-6-6850-6388
E-: es-u 
SS Technical Committee on Software Science (SS)   [Latest Schedule]
Contact Address Yoshiki Higo (Osaka University)
TEL: 06-6879-4111
FAX: 06-6879-4114
E-: ist-u 
Announcement Latest information will be presented on the homepage
http://www.sa.cs.titech.ac.jp/sigss/


Last 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.
 

[On-Site Price List of Paper Version of Proceedings (Technical Report)] (in Japanese)
 
[Presentation and Participation FAQ] (in Japanese)
 
[Cover and Index of IEICE Technical Report by Issue]
 

[Return to MSS Schedule Page]   /   [Return to SS Schedule Page]   /  
 
 Go Top  Go Back   / [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 


[Return to Top Page]

[Return to IEICE Web Page]


The Institute of Electronics, Information and Communication Engineers (IEICE), Japan