| 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 | 2015-05-11 13:30 |
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 pp.7-10 |
| SS | 2015-05-11 13:50 |
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 pp.11-16 |
| SS | 2015-03-09 13:00 |
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 pp.31-36 |
| SS | 2015-03-09 13:25 |
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 pp.37-42 |
| MSS, SS | 2015-01-27 09:20 |
Tottori | A supervisor synthesis by MaxSAT solvers under partial observation Tatsuki Hirota, Shoji Yuen (Nagoya Univ), Tetsuya Tohdo (DENSO) MSS2014-82 SS2014-46 |
Synthesis of the supervisor for discrete event systems under partial observation has been shown exponen- tial in princi... [more] |
MSS2014-82 SS2014-46 pp.79-84 |
|
| SS | 2014-10-23 15:45 |
Kochi | Kochi city culture-plaza cul-port | Code synthesis for LEGO Mindstorms EV3 using UPPAAL Mitsuru Arakawa, Shoji Yuen (Nagoya Univ.) SS2014-32 |
We present a code synthesis for controlling the LEGO Mindstorm EV3 using UPPAAL as the designing tool. UPPAAL is a model... [more] | SS2014-32 pp.41-46 |
| SS | 2014-10-24 10:30 |
Kochi | Kochi city culture-plaza cul-port | Deriving supremal controllable sub-specifications in discrete event systems using MaxSAT solvers. Tatsuki Hirota, Shoji Yuen (Nagoya Univ), Tetsuya Tohdo (DENSO) SS2014-31 |
A discrete event system, DES for short, makes state transitions by discrete occurrences of events.System behavior is mod... [more] | SS2014-31 pp.35-40 |
| KBSE, SS, IPSJ-SE [detail] | 2014-07-10 10:00 |
Hokkaido | Furano-Bunka-Kaikan | A cost-aware scheduling for real-time tasks based on the priced task automta Shoji Yuen, Tatsuro Kamei (Nagoya Univ.) SS2014-11 KBSE2014-14 |
This report presents a technique to give the optimal cost with respect to time passage when a set of tasks are schedul... [more] |
SS2014-11 KBSE2014-14 pp.37-42 |
| SS | 2014-03-11 10:00 |
Okinawa | Tenbusu Naha | An Extension of Alloy with Time Constraints Ryota Kuroita, Shoji Yuen (Nagoya Univ.) SS2013-72 |
This paper proposes an extension of Alloy, called Alloy-R, with constraints for reals in purpose of specifying time-dep... [more] | SS2013-72 pp.1-6 |
| MSS, SS | 2013-03-07 11:20 |
Fukuoka | Shikanoshima | Multicore scheduling analysis with task migration Takayuki Nakadozono, Shoji Yuen (Nagoya Univ.) MSS2012-77 SS2012-77 |
We extend the task automata to be capable to handle ’taskmigration’. The task automata has been proposed as a general be... [more] | MSS2012-77 SS2012-77 pp.103-108 |
| SS | 2012-03-13 13:05 |
Okinawa | Tenbusu-Naha | A development assistance method for Ruby on Rails Application with Alloy Hiroaki Mizutani, Shoji Yuen (Nagoya Univ.) SS2011-64 |
We propose a development assistance method by converting Ruby on Rails Web application into Alloy models. Alloy analyzes... [more] | SS2011-64 pp.43-48 |
| SS | 2011-10-28 11:45 |
Ishikawa | JAIST | Towards a formal verification of interrupts in TOPPERS/ASP by the separation logic Takashi Nakashima, Shoji Yuen (Nagoya Univ.) SS2011-37 |
We give a formal verification of a fragment of ARM assembly code in TOPPERS/ASP to handle interrupts using the separatio... [more] | SS2011-37 pp.61-66 |
| SS | 2011-06-30 10:30 |
Overseas | Korea Univ. (Seoul) | An Extention of DynAlloy with Concurrency Takuya Iwatsuka, Shoji Yuen (Nagoya Univ.) SS2011-1 |
We extend the DynAlloy specification language to deal with concurrency. DynAlloy is an extension of the Alloy specificat... [more] | SS2011-1 pp.1-6 |
| SS | 2011-03-08 09:50 |
Okinawa | Okinawa-ken Seinen Kaikan | A Process Algebra Compiler with Negative Premises Jun Ban, Shoji Yuen (Nagoya Univ.) SS2010-70 |
Structural Operational Semantics (SOS) is widely used for defining operational semantics of concurrent process calculi. ... [more] |
SS2010-70 pp.103-108 |
| SS | 2010-03-08 13:40 |
Kagoshima | Kagoshima Univ. | Communication Centered Dependable GUI Programming based on Choreography Sho Shimomura, Shoji Yuen (Nagoya Univ.) SS2009-69 |
We show an application of the communication centred programming to GUI(Graphical User Interface) programming by characte... [more] | SS2009-69 pp.127-132 |
| SS | 2010-03-08 14:10 |
Kagoshima | Kagoshima Univ. | A Type-Based Analysis for Checking Race and Deadlock based on Access Capabilities Yoshitaka Banno, Shoji Yuen (Nagoya Univ.) SS2009-70 |
This paper proposes a type-based analysis of data races and deadlocks for a simple concurrent programming language. We e... [more] | SS2009-70 pp.133-138 |
| SS | 2009-12-18 09:40 |
Kagawa | Kagawa Univ. | A behavioral model for debugging multicore real-time applications based on execution traces Hiroki Mizuno, Shoji Yuen (Nagoya Univ) SS2009-43 |
This paper proposes a technique to effectively identify defects of realtime applications running in the multicore envir... [more] |
SS2009-43 pp.49-54 |
| SS, KBSE | 2009-05-22 10:30 |
Akita | Akita University | An SOS interpreter with negative premises and an equivalence checker by Maude Jun Ban, Keigo Imai, Shoji Yuen (Nagoya Univ.) SS2009-9 KBSE2009-9 |
This paper presents a general implementation by Maude of labelled transition systems specified by SOS (structural oper... [more] |
SS2009-9 KBSE2009-9 pp.49-54 |
| SS | 2009-03-02 15:45 |
Saga | Saga University | A verification of web applications by model checing apache cocoon flowscript Takashi Baba, Shoji Yuen, Kiyoshi Agusa (Nagoya Univ.) SS2008-51 |
[more] | SS2008-51 pp.17-22 |
| SS | 2005-03-15 10:30 |
Ishikawa | JAIST (IS 5F collabo#7) | A Reliable Code Generation of Real-Time Java Based on the Timed Automaton Kimihiro Inoue, Shoji Yuen, Kiyoshi Agusa (Nagoya Univ.) |
[more] | SS2004-66 pp.13-18 |
[Return to Top Page]