Yuen Shoji

Affiliation and department：
Job title： Professor
Homepage URL (1)： http://www.sqlab.jp/person/yuen/index.html

Research field (3)： Software , Information networks , Computer systems

Research keywords (30)：ソフトウェアエンジニアリング , SCCS , 検証技法 , ネットワーク家電 , 組み込みシステム , 実時間処理 , デバッグ , 並行プログラミング , π計算 , モデル検査 , CCS , プロセス代数 , 通信プロセスモデル , 構造的動作意味定義 , 代数的意味論 , インターネット高度化 , 並行システム , 形式意味論 , 並行計算モデル , 並行計算 , エンドポイント展開 , 証明系 , ネットワークプログラミング , テスト意味論 , プログラミング言語 , 実時間システム , 形式的意味論 , 構造的操作意味定義 , 組込みシステム , Webアプリケーション

Research theme for competitive and other funds (24)：

2021 - 2026 Network of automata with data based on compositional active learning
2022 - 2025 データハイブリッドなリアクティブプログラムの解析技術と自動合成・説明抽出への応用
2019 - 2023 ソフトウェアモデルへの量的尺度の導入とプログラム解析への応用
2017 - 2021 A reversible debugging model for real-time concurrent programs
2017 - 2020 A discrete execution model of dense-timed programs

2015 - 2019 Static Analysis and Dynamic Monitoring Methods for Software Security and Privacy

2014 - 2017 Verification of real-time systems based on proving codes

2013 - 2017 Verification of real-time reactive systems in high-level programming languages

2008 - 2011 A Development Method for Dependable WebService-ware

2007 - 2009 A reliable design method for embedded systems based on choreography descriptions

2005 - 2007 Semantic Refacteting Techniqus for Round-trip development of Web applications

2004 - 2006 Modeling Techniques aiming at Behavioral Verification for Developing Reliable Web Applications

2002 - 2004 Software Models for Building Reliable Reactive Middle-ware

2001 - 2003 Modeling Techniques for real-time concurrent software based on the Structural Operationl Semantics

1998 - 2000 Research on Software Recycle Environment -Design and Implementation of Browser, Slicer, and Specializer-

1998 - 1999 通信プロセス指向実時間並行プログラミングシステムの構築

1998 - 1999 通信プロセスモデルに基づく発展的プログラミングの研究

1996 - 1998 Computer Aided Software Design and Verification for Embedded System

1996 - 1997 Fundamental research on algebraic meta-programming

1996 - 1997 A Fundamental Research for Formal Models and Verification Techniques of Open Software

1995 - 1997 Implementing Visual Programming Environment for Rewriting Computation

1995 - 1995 関数型言語のユーザインターフェースに関する基礎的研究

1992 - 1992 メタ等式プログラミングに関する基礎的研究

1990 - 1991 Foundamental Study on Fundational Model of Concurrent Computation

Show all

Papers (58)：

Takashi Ikeda, Shoji Yuen. A Reversible Runtime Environment for Parallel Programs. Lecture Notes in Computer Science. 2020. 12247. 272-279
Shuichi Sato, Shogo Hattori, Hiroyuki Seki, Yutaka Inamori, Shoji Yuen. Automating Time-series Safety Analysis for Automotive Control Systems Using Weighted Partial Max-SMT. Journal of Information Processing. 2020. 28. 124-135
Keigo Imai, Rumyana Neykova, Nobuko Yoshida, Shoji Yuen. Multiparty Session Programming with Global Protocol Combinators. ECOOP 2020: 34th European Conference on Object-Oriented Programming (to appear). 2020
James Hoey, Irek Ulidowski, Shoji Yuen. Reversing Parallel Programs with Blocks and Procedures. EPTCS (EXPRESS/SOS 2018). 2018. 276. 69-86
Irek Ulidowski, Iain Phillips, Shoji Yuen. Reversing Event Structure. New Generation Computing. 2018. 36. 281-306

ｍore...

MISC (67)：

Shuichi Sato, Yosuke Watanabe, Hiroyuki Seki, Shoji Yuen. Availability Checking of Dynamic Spatial Information for Automobiles. 2nd International Conference on System Reliability and Safety. 2017. 000
NISHIKI YU, YUEN SHOJI. Statistical Model Checking with Adaptive Importance Sampling. Technical report of IEICE. SS. 2015. 114. 510. 37-42
ARAKAWA Mitsuru, YUEN Shoji. Certifying Low Level Code for The Task-Control in Toppers/SSP Kernel. Technical report of IEICE. SS. 2015. 114. 510. 31-36
ARAKAWA Mitsuru, YUEN Shoji. Code Synthesis for LEGO Mindstorms EV3 Using UPPAAL. Technical report of IEICE. SS. 2014. 114. 271. 41-46
Shoji Yuen, Tatsuro Kamei. A cost-aware scheduling for real-time tasks based on the priced task automta. IPSJ SIG Notes. 2014. 2014. 6. 1-6

ｍore...

Books (1)：

並行プロセスの操作的および代数的意味論
丸善 1993

Lectures and oral presentations (2)：

Session types in OCaml
(Theory and Applications of Behavioural Types (Dagstuhl Seminar 17051) 2017)
タスクマイグレーション機能を持つマルチコアスケジューリング解析
(電子情報通信学会ソフトウェアサイエンス研究会 2013)

Professional career (2)：

Master of Engineering (Kyoto University)
Doctor of Engineering (Nagoya University)

Work history (3)：

2017/04/01 - 現在 Nagoya University Graduate School of Informatics Department of Computing and Software Systems 3 Professor
2007/04/01 - 2017/03/31 Nagoya University Graduate School of Information Science Department of Information Engineering Professor
1998/04/09 - 2007/03/31 Nagoya University Graduate School of Information Science Department of Information Engineering Assistant Professor

※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page