Papers - YUEN, Shoji

Nested Timed Automata with Diagonal Constraints Reviewed

Yuwei Wang, Yunqing Wen, Guoqiang Li, Shoji Yuen

Lecture notes in computer science   Vol. 10610   page： 396-412   2017.11

　More details

Language：English  

DOI： 10.1007/978-3-319-68690-5_24

Reversing Imperative Parallel Programs. Reviewed Open Access

James Hoey, Irek Ulidowski, Shoji Yuen

Proceedings Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics and 14th Workshop on Structural Operational Semantics, EXPRESS/SOS 2017, Berlin, Germany, 4th September 2017. EPTCS 255, 2017     2017.9

　More details

Language：English  

DOI： 10.4204/EPTCS.255.4

Open Access

Session-ocaml: A Session-Based Library with Polarities and Lenses Reviewed Open Access

Keigo Imai, Nobuko Yoshida, Shoji Yuen

Lecture Notes in Computer Science   Vol. 10319   page： 99-118   2017.6

　More details

Language：English  

DOI： 10.1007/978-3-319-59746-1_6

Open Access

Automating Time Series Safety Analysis for Automotive Control Systems in STPA Using Weighted Partial Max-SMT Reviewed

Shuichi Sato, Shogo Hattori, Hiroyuki Seki,Yutaka Inamori,Shoji Yuen

Communications in Computer and Information Science   ( 694 ) page： 39-54   2016.11

　More details

Language：English   Publishing type：Research paper (scientific journal)  

DOI： 10.1007/978-3-319-53946-1_3

An Over-Approximation Forward Analysis for Nested Timed Automata Reviewed

Yunqing Wen, Guoqiang Li, Shoji Yuen

Lecture Notes in Computer Science   Vol. 8979   page： 1-15   2015.1

　More details

Language：English   Publishing type：Research paper (scientific journal)  

DOI： 10.1007/978-3-319-17404-4_5

Nested Timed Automata with Frozen Clocks Reviewed

Guoqiang Li, Mizuhito Ogawa, Shoji Yuen

Lecture Notes in Computer Science   Vol. 9268   page： 189-205   2015.9

　More details

Language：English   Publishing type：Research paper (scientific journal)  

A nested timed automaton (NeTA) is a pushdown system whose control locations and stack alphabet are
timed automata (TAs). A control location describes a working TA, and the stack presents a pile of
interrupted TAs. In NeTAs, all local clocks of TAs proceed uniformly also in the stack. This paper extends
NeTAs with frozen local clocks (NeTA-Fs). All clocks of a TA in the stack can be either frozen or
proceeding when it is pushed. A NeTA-F also allows global clocks adding to local clocks in the working
TA, which can be referred and/or updated from the working TA. We investigate the reachability of NeTAFs
showing that (1) the reachability with a single global clock is decidable, and (2) the reachability with
multiple global clocks is undecidable.

DOI： 10.1007/978-3-319-22975-1_13

Concurrency and reversibility Invited Reviewed

Irek Ulidowski, Iain Phillips and Shoji Yuen

Reversible Computation 2014, LNCS 8507   ( 8507 ) page： 1-14   2014.7

　More details

Language：English   Publishing type：Research paper (scientific journal)  

値付きタスクオートマトンに基づくコストを意識した実時間タスクスケジューリング

結縁祥冶、亀井達朗

信学技報   Vol. 114 ( 127 ) page： 37-42   2014.7

　More details

Authorship：Lead author   Language：Japanese   Publishing type：Research paper (scientific journal)  

離散事象システムにおけるMaxSATソルバを用いた最大可制御部分仕様の導出

廣田樹、結縁祥冶、東道徹也

信学技報   Vol. 114 ( 271 ) page： 35-40   2014.10

　More details

Language：Japanese   Publishing type：Research paper (scientific journal)  

部分観測におけるMaxSATソルバを用いたスーパバイザ合成手法

廣田樹、結縁祥冶、東道徹也

信学技報   Vol. 114 ( 416 ) page： 79-84   2015.1

　More details

Language：Japanese   Publishing type：Research paper (scientific journal)  

Modelling of Bonding with Process and Events Reviewed

Iain Phillips, Irek Ulidowski, Shoji Yuen

Lecture Notes in Computer Science   Vol. 7948   page： 141-154   2013.7

　More details

Language：English  

Modelling and analysis of real-time systems with mutex components Reviewed

Guoqiang Li, Xiaojuan Cai, Shoji Yuen

International Journal of Foundations of Computer Science   Vol. 25 ( 4 ) page： 831-851   2012.6

　More details

Language：English   Publishing type：Research paper (scientific journal)  

DOI： 10.1142/S0129054112400382

A Reversible Process Calculus and the Modelling of the ERK signalling pathway Reviewed

Iain Phillips, Irek Ulidowski and Shoji Yuen

In Proceedings of the 4th workshop on reversible computation RC2012     page： 227-239   2012.7

　More details

Language：English  

A session type systems with subject reduction Reviewed

Keigo Imai, Shoji Yuen, and Kiyoshi Agusa

IEICE Transaction, Infromatoin adn systems   Vol. E95-D ( 8 ) page： 2053--2064   2012.8

　More details

Language：English   Publishing type：Research paper (scientific journal)  

タスクマイグレーション機能を持つマルチコアスケジューリング解析

中堂園貴幸,結縁祥治

信学技法   Vol. 112 ( 458 ) page： 103-108   2013.3

　More details

Language：English   Publishing type：Research paper (scientific journal)  

名前渡しプロセス計算における優先度ガード Reviewed

結縁祥治, 太田正悟

プログラミングおよびプログラミング言語ワークショップ     page： 246-257   2011.3

　More details

Authorship：Lead author   Language：Japanese  

Modeling and Analysis of Real -Time Systems with Mutex Components Reviewed

Guoqiang Li, Xiaojuan Cai, Shoji Yuen

Advances in Parallel and Distributed Computing Models   ( 3 ) page： 1-8   2010.4

　More details

Language：English  

Session Type Inference in Haskell Reviewed

Keigo Imai, Shoji Yuen, Kiyoshi Agusa

PLACES '10: Programming Language Approaches to Concurrency and Communication-cEntric Software     page： 43-52   2010.3

　More details

Language：English  

Communication Centered Dependable GUI Programmingbased on Choreography

Sho SHIMOMURA and Shoji YUEN

IEICE Technical Report (Software Science)   Vol. 109 ( 456 ) page： 127-132   2010.3

　More details

Language：Japanese  

A Type-Based Analysis for Checking Race and Deadlockbased on Access Capabilities

Yoshitaka BANNO and Shoji YUEN

IEICE Technical Report (Software Science)   Vol. 109 ( 456 ) page： 133-138   2010.3

　More details

Language：Japanese