| IEICE Technical Committee Submission System Conference Schedule |
Online Proceedings [Sign in] Tech. Rep. Archives |
All Technical Committee Conferences (Searched in: All Years)
| Committee | Date Time | Place | Paper Title / Authors | Abstract | Paper # | |
| SS | 2024-03-07 13:30 |
Okinawa | (Okinawa, Online) (Primary: On-site, Secondary: Online) |
Zone-Based Reachability Analysis of Nested Timed Automata Seiichiro Tachi (Nagoya Univ), Mizuhito Ogawa (JAIST), Shoji Yuen (Nagoya Univ)  SS2023-53 |
We present a zone-based reachability analysis for Nested Timed Automata (NeTA). NeTA is a timed pushdown automaton that... [more] |
SS2023-53 pp.25-30 |
| SS, KBSE, IPSJ-SE [detail] | 2023-07-20 14:50 |
Hokkaido | (Hokkaido, Online) (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 pp.13-18 |
| SS, IPSJ-SE, KBSE [detail] | 2022-07-29 13:00 |
Hokkaido | Hokkaido-Jichiro-Kaikan (Sapporo) (Hokkaido, Online) (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 pp.49-54 |
| SS | 2022-03-07 14:05 |
Online | 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 pp.37-42 |
| SS | 2022-03-07 14:30 |
Online | 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 pp.43-48 |
| MSS, NLP (Joint) |
2020-03-10 15:45 |
Aichi | (Aichi) (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 pp.53-58 |
| NLP, MSS (Joint) |
2019-03-15 15:55 |
Fukui | Bunkyo Camp., Univ. of Fukui (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] |
MSS2018-95 pp.75-80 |
| SS | 2019-03-04 09:25 |
Okinawa | (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 | (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 |
| KBSE, SS, IPSJ-SE [detail] | 2018-07-18 11:05 |
Hokkaido | (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 pp.13-18 |
| KBSE, SS, IPSJ-SE [detail] | 2018-07-18 11:30 |
Hokkaido | (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 pp.25-30 |
| SS | 2018-03-06 12:00 |
Okinawa | (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] |
SS2017-65 pp.7-12 |
| SS, KBSE, IPSJ-SE [detail] | 2017-07-19 11:10 |
Hokkaido | (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 pp.13-18 |
| SS | 2017-03-09 09:30 |
Okinawa | (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 pp.1-6 |
| SS | 2017-03-10 09:15 |
Okinawa | (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 pp.85-90 |
| DC, SS | 2016-10-27 15:05 |
Shiga | Hikone Kinro-Fukushi Kaikan Bldg. (Shiga) | 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 pp.43-48 |
| SS, MSS | 2016-01-26 11:30 |
Ishikawa | Shiinoki-Geihin-Kan (Ishikawa) | 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 pp.129-134 |
| SS | 2015-05-11 13:30 |
Kumamoto | Kumamoto University (Kumamoto) | 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 pp.7-10 |
| SS | 2015-05-11 13:50 |
Kumamoto | Kumamoto University (Kumamoto) | 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 pp.11-16 |
| SS | 2015-03-09 13:00 |
Okinawa | OKINAWAKEN SEINENKAIKAN (Okinawa) | 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 pp.31-36 |
[Return to Top Page]