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 - 20 of 36  /  [Next]  
Committee Date Time Place Paper Title / Authors Abstract Paper #
SS, KBSE, IPSJ-SE [detail] 2023-07-20
(Primary: On-site, Secondary: Online)
CROOPLPP : A Reversible Concurrent Object-oriented Programming Language
Yusuke Akaike, Shoji Yuen (Nagoya Univ) SS2023-3 KBSE2023-14
 [more] SS2023-3 KBSE2023-14
SS, IPSJ-SE, KBSE [detail] 2022-07-29
Hokkaido Hokkaido-Jichiro-Kaikan (Sapporo)
(Primary: On-site, Secondary: Online)
Verification of Implementable Timed Automata via Satisfiability Checking
Seiichiro Tachi, Shoji Yuen (Nagoya Univ.) SS2022-9 KBSE2022-19
We present a technique for bounded model-checking the reachability in timed automata with implementability assuming that... [more] SS2022-9 KBSE2022-19
SS 2022-03-07
Online Online reversible debugging for a parallel programming language by contract annotations
Takashi Ikeda, Shoji Yuen (Nagoya Univ.) SS2021-48
We present a reversible debugger for parallel programs with block structures. We propose a reversible debugging method b... [more] SS2021-48
SS 2022-03-07
Online Online Learning Assumptions for Compositional Verification of Timed Systems with Tree Queries
Kotaro Niimi, Shoji Yuen (Nagoya Univ) SS2021-49
This paper presents an automatic assumption-learning for compositional verification of timed systems. We focus on Assume... [more] SS2021-49
(Cancelled but technical report was issued)
Temporal Logic Falsification for Simulink models based on the hybrid robustness using ChainerRL
Ryota Owaki, Shoji Yuen (NU) MSS2019-67
We present a method of falsification for the hybrid property of Simulink model using deep reinforcement learning. This s... [more] MSS2019-67
Fukui Bunkyo Camp., Univ. of Fukui A derivation of weighted transition system for Simulink models from simulation results
Ryota Owaki (Nagoya Univ), Shoji Yuen (Nagooya Univ) MSS2018-95
We propose a method to generate a symbolic weighted transition system
from a Simulink model description. Continuous va... [more]
SS 2019-03-04
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
SS 2019-03-04
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
KBSE, SS, IPSJ-SE [detail] 2018-07-18
Hokkaido   A Fault Diagnosis of A Distributed Cooperative System by Learning State Transitions
Yosuke Watanabe (Nagoya Univ.), Shuichi Sato (TCRDL), Hiroyuki Seki, Shoji Yuen (Nagoya Univ.) SS2018-3 KBSE2018-13
Due to the spread of IoT and the development of connected cars, it is common for a system to be composed of many coopera... [more] SS2018-3 KBSE2018-13
KBSE, SS, IPSJ-SE [detail] 2018-07-18
Hokkaido   Reversible Communicating Systems with Time
Satoru Yamamoto, Shoji Yuen (Nagoya Univ.) SS2018-5 KBSE2018-15
In this research, we propose a timed extension of RCCS, called Timed RCCS, equipped with forward and backward discrete t... [more] SS2018-5 KBSE2018-15
SS 2018-03-06
Okinawa   A symbolic Zone-based reachability analysis for dense-timed pushdown automata with freezing clocks
Shoji Yuen, Sho Hiraoka (Nagoya Univ.) SS2017-65
We present a reachability analysis by the zone-based symbolic discretization
for dense-timed pushdown automata with fre... [more]
SS, KBSE, IPSJ-SE [detail] 2017-07-19
Hokkaido   Reliability Verification of Dynamic Information in Dynamic Map for Vehicles
Yosuke Watanabe (Nagoya Univ.), Shuichi Sato (TCRDL), Hiroyuki Seki, Shoji Yuen (Nagoya Univ.) SS2017-3 KBSE2017-3
In automotive industry, high-precision spatial information such as the LDM(Local Dyanamic Map), that includes dynamic ob... [more] SS2017-3 KBSE2017-3
SS 2017-03-09
Okinawa   A Symbolic Simulation of Dense-Timed Pushdown Automata with Clock Freezing
Sho Hiraoka, Shoji Yuen (Nagoya Univ.) SS2016-60
We present a symbolic simulation based on a zone construction for the dense timed pushdown automata with clock freezing(... [more] SS2016-60
SS 2017-03-10
Okinawa   Detecting Anormal Power Consumption in a Concurrent of Android Application
Takahiro Inagaki, Shoji Yuen (Nagoya Univ.) SS2016-74
We propose a method for an automatic detection of the power consumption problem in concurrent execution of Android appli... [more] SS2016-74
DC, SS 2016-10-27
Shiga Hikone Kinro-Fukushi Kaikan Bldg. Towards a Zone-based Verification for DTPDA with Clock Freezing
Sho Hiraoka, Shoji Yuen (Nagoya Univ.) SS2016-25 DC2016-27
We present a zone construction for the dense timed pushdown automata with freezing ages as a discretization method to ve... [more] SS2016-25 DC2016-27
SS, MSS 2016-01-26
Ishikawa Shiinoki-Geihin-Kan Towards an Extension of CCS for Hybrid Systems
Yuto Kawakita, Shoji Yuen (Ngagoya Univ.) MSS2015-58 SS2015-67
We propose an extension of Milner's CCS for hybrid systems where continuous and discrete behavior are related to each ot... [more] MSS2015-58 SS2015-67
SS 2015-05-11
Kumamoto Kumamoto University Towards the Supervisor Synthesis Using Hybrid Process Calculi
Yuto Kawakita, Shoji Yuen (Nagoya Univ.) SS2015-2
We deal with a supervisor synthesis for HCCS, an extension of CCS for hybrid communicating systems, by the syntactic man... [more] SS2015-2
SS 2015-05-11
Kumamoto Kumamoto University An Implementation of Computing Optimal Mean-payoff Values for Non-terminating Scheduling by Double Priced Timed Automata
Sho Hiraoka, Shoji Yuen (Nagoya Univ.) SS2015-3
Derivation of the optimal behavior for scheduling such as Operating System using double priced timed automata, DPTA for ... [more] SS2015-3
SS 2015-03-09
Okinawa OKINAWAKEN SEINENKAIKAN Certifying Low Level Code for The Task-Control in Toppers/SSP Kernel
Mitsuru Arakawa, Shoji Yuen (Nagoya Univ..) SS2014-60
We present a proof to certify the low-level code in Toppers/SSP kernel, which is an open source RTOS (Real Time Operatin... [more] SS2014-60
SS 2015-03-09
Okinawa OKINAWAKEN SEINENKAIKAN Statistical Model Checking with Adaptive Importance Sampling
Yu Nishiki, Shoji Yuen (Nagoya Univ) SS2014-61
We propose a method for statitical model checking of error as rare events with adaptive importance sampling, where the f... [more] SS2014-61
 Results 1 - 20 of 36  /  [Next]  
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