IEICE Technical Committee Submission System
Conference Schedule
Online Proceedings
[Sign in]
Tech. Rep. Archives
    [Japanese] / [English] 
( Committee/Place/Topics  ) --Press->
 
( Paper Keywords:  /  Column:Title Auth. Affi. Abst. Keyword ) --Press->

All Technical Committee Conferences  (Searched in: All Years)

Search Results: Conference Papers
 Conference Papers (Available on Advance Programs)  (Sort by: Date Descending)
 Results 1 - 13 of 13  /   
Committee Date Time Place Paper Title / Authors Abstract Paper #
MW 2023-06-22
13:35
Kanagawa Yugawara-machi Shou-Kou-Kai Bldg.
(Primary: On-site, Secondary: Online)
Development of millimeter wave signal source using Non-Liner Transmission Line
Makoto Yoshida (CDEX), Kohei Fujiwara, Kouich Tokita, Hidehiko Yamaoka (TIRI), Toshiyuki Yakabe (MPL) MW2023-20
We have been working on the practical application of 28 GHz-band VNA based on six-port method, which is a kind of the ho... [more] MW2023-20
pp.1-6
CAS, SIP, VLD, MSS 2022-06-16
10:00
Aomori Hachinohe Institute of Technology
(Primary: On-site, Secondary: Online)
Path Planning of Heterogeneous Multi-robot Systems Satisfying a Counting Temporal Logics Constraint
Kotaro Nagae, Toshimitsu Ushio (Osaka Univ.) CAS2022-1 VLD2022-1 SIP2022-32 MSS2022-1
We propose a path planning method for heterogeneous multi-robot systems using counting temporal logic. The cLTL+ has eno... [more] CAS2022-1 VLD2022-1 SIP2022-32 MSS2022-1
pp.1-6
MSS, NLP 2022-03-28
09:15
Online Online Shield Synthesis for Opacity-Enforcing Planning
Koki Kanashima, Toshimitsu Ushio (Osaka Univ.) MSS2021-55 NLP2021-126
Opacity is one of the hyperproperties that can be expressed using hyperLTL. Consider a secret and an observation on a tr... [more] MSS2021-55 NLP2021-126
pp.1-6
SIP, CAS, VLD, MSS 2021-07-06
11:40
Online Online Visitor Route Planning in An Amusement Park Using Counting Temporal Logic
Kotaro Nagae, Toshimitsu Ushio (Osaka Univ.) CAS2021-13 VLD2021-13 SIP2021-23 MSS2021-13
In this paper, we propose a method for determining the route of visitors in an amusement park that avoids congestion usi... [more] CAS2021-13 VLD2021-13 SIP2021-23 MSS2021-13
pp.64-69
SS 2021-03-03
10:25
Online Online A Subclass of LTL with the Freeze Quantifier Translatable into Register Automata
Akira Onishi, Ryoma Senda (Nagoya Univ.), Yoshiaki Takata (KUT), Hiroyuki Seki (Nagoya Univ.) SS2020-29
Register automaton (abbreviated as RA) is an extension of finite automaton by adding
registers storing data values. RA ... [more]
SS2020-29
pp.7-12
DC, SS 2020-10-19
13:25
Online Online LTL Model Checking for Register Pushdown Systems
Ryoma Senda (Nagoya Univ.), Yoshiaki Takata (KUT), Hiroyuki Seki (Nagoya Univ.) SS2020-6 DC2020-23
A pushdown system (PDS) is known as an abstract model of recursive programs.
For PDS, model checking methods have been ... [more]
SS2020-6 DC2020-23
pp.7-12
CCS 2019-11-15
09:30
Hyogo Kobe Univ. An application of reinforcement learning in anti-jamming mechanism of mobile robot path planning with co-safe temporal logic specifications
Jian Mi, Naomi Kuze, Toshimitsu Ushio (Osaka Univ.) CCS2019-29
This paper provides a method for mobile robot path planning with syntactically co-safe Linear Temporal Logic (scLTL) spe... [more] CCS2019-29
pp.23-28
MSS, SS 2019-01-15
13:05
Okinawa   A Study on Control Specifications Using LTL[F] for Supervisory Control
Ami Sakakibara, Toshimitsu Ushio (Osaka Univ.) MSS2018-58 SS2018-29
LTL[$ mathcal{F} $] is a quantitative extension of linear temporal logic, whose evaluations are based on how well a spec... [more] MSS2018-58 SS2018-29
pp.25-28
HIP, ASJ-H 2018-03-03
14:25
Okinawa IT Souzoukan, Naha City Study of Visual Cognition Estimation based on Gaze Movements and target Visual Cognition Difficultly
Hideho Sakaguchi (NAIST/ATR), Akira Utsumi (ATR), Kenji Susami (ATR/Kindai Univ.), Tadahisa Kondo (Kogakuin Univ.), Masayuki Kanbara (NAIST/ATR), Norihiro Hagita (ATR/NAIST) HIP2017-96
Proper estimation of human visual awareness is significant to realize an efficient support for visual tasks such as vehi... [more] HIP2017-96
pp.17-20
SS 2015-03-09
13:50
Okinawa OKINAWAKEN SEINENKAIKAN Removing Possibility of Ambiguous Message Ordering in Sequence Diagram
Noa Kusunoki, Kozo Okano, Shinji Kusumoto (Osaka Univ.) SS2014-62
This report proposes a method to detect and repair software faults in sequence diagrams which are used for software desi... [more] SS2014-62
pp.43-48
SWIM 2009-11-27
15:15
Tokyo   Inter-Model Consistency between UML Class and Sequence Models
Akitoshi Takaya, Yoshiyuki Shinkawa (Ryukoku Univ) SWIM2009-16
UML class diagrams and sequence diagrams are widely used to model a system from a static or a dynamic aspect respectivel... [more] SWIM2009-16
pp.25-30
SWIM 2008-11-21
11:00
Tokyo Tokyo International Forum Inter-Model Consistency between UML Use-case and Sequence Models
Akitoshi Takaya, Yoshiyuki Shinkawa (Ryukoku Univ) SWIM2008-18
It seems difficult to validate sequence diagrams, since there are no appropriate points to descried the constraints in t... [more] SWIM2008-18
pp.13-18
SWIM 2008-05-23
14:35
Tokyo Kikai-Shinko-Kaikan Bldg Model Verification for UML Sequence Diagrams
Akitoshi Takaya, Yoshiyuki Shinkawa (Ryukoku Univ) SWIM2008-3
In this paper, we propose a verification process for UML sequence diagrams, using the SPIN model checker. The SPIN can n... [more] SWIM2008-3
pp.13-18
 Results 1 - 13 of 13  /   
Choose a download format for default settings. [NEW !!]
Text format pLaTeX format CSV format BibTeX format
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)


[Return to Top Page]

[Return to IEICE Web Page]


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