| 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 | (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 | (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) (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 | 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 | 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 | (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 | 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 | 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 | 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 | 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 | 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 | 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, DC | 2017-10-19 14:45 |
Kochi | Kochi City Culture-plaza CUL-PORT | Towards a behavioral model of Yampa programs in a discrete runtime environment Tomoki Ichihashi, Shouji Yuuen (Nagoya Univ.) SS2017-24 DC2017-23 |
We propse an operational model for discrete executions of Yampa programs whose behavior are defined in the dense time. Y... [more] | SS2017-24 DC2017-23 pp.19-24 |
| SS, KBSE, IPSJ-SE [detail] | 2017-07-19 11:10 |
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 | 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 | 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. | 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 |
| KBSE, SS, IPSJ-SE [detail] | 2016-07-14 13:10 |
Hokkaido | A Behavioral Model for Executing Yampa Programs Tomoki Ichihashi, Yuuen Shouji (Nagoya Univ.) SS2016-11 KBSE2016-17 |
In this paper, we propose differences-embedded automata as a behavioral model of Yampa programs which is a domain-specif... [more] | SS2016-11 KBSE2016-17 pp.99-104 |
|
| SS, MSS | 2016-01-26 11:30 |
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 pp.129-134 |
| DC, SS | 2015-10-13 13:50 |
Nara | Todaiji Culture Center (Nara) | A Description of Recursive Hybrid Automata by HCCS Yuto Kawakita, Yuen Shoji (Nagoya Univ.) SS2015-36 DC2015-26 |
We present a formal description of recursive hybrid automata, RHA for short, by HCCS proposed by Schneider et.el., which... [more] | SS2015-36 DC2015-26 pp.7-12 |
[Return to Top Page]