An Extension of the Testing Method for Processes Passing Infinite Values. - Shoji Yuen; Toshiki Sakabe; Yasuyoshi Inagaki (NAPAW, 1992)

A formal description of monitors by CCS. - Shoji Yuen; Toshiki Sakabe; Yasuyoshi Inagaki (Syst. Comput. Jpn., 1992)

Fully Abstract Characterizations of Testing Preorders for Probabilistic Processes. - Shoji Yuen; Rance Cleaveland; Zeynep Dayar; Scott A. Smolka (CONCUR, 1994)

Extending Process Languages with Time. - Irek Ulidowski; Shoji Yuen (AMAST, 1997)

Testing Preorders for Probabilistic Processes. - Rance Cleaveland; Zeynep Dayar; Scott A. Smolka; Shoji Yuen (Inf. Comput., 1999)

Process Languages for Rooted Eager Bisimulation. - Irek Ulidowski; Shoji Yuen (CONCUR, 2000)

Library evolution for reliable software. - Noritoshi Atsumi; Shoji Yuen; Kiyoshi Agusa; Shinichirou Yamamoto (IWPSE, 2002)

Towards Assuring the Quality Attributes of Web Applications: An Approach for Separating Features. - Mohamed Sharaf Aun; Shoji Yuen; Kiyoshi Agusa (ICWI, 2003)

Separating Features for Assuring Quality Attributes of Client Web Applications. - Mohamed Sharaf Aun; I. M. Atiqul; Shoji Yuen; Kiyoshi Agusa (ICWI, 2004)

Name-passing style GUI programming in the pi-calculus-based language Nepi. - Atsushi Mizuno; Ken Mano; Yoshinobu Kawabe; Hiroaki Kuwabara; Kiyoshi Agusa; Shoji Yuen (ARTS, 2004)

Process languages with discrete relative time based on the Ordered SOS format and rooted eager bisimulation. - Irek Ulidowski; Shoji Yuen (J. Log. Algebraic Methods Program., 2004)

Towards assuring quality attributes of client dynamic Web applications: Identifying and addressing the challenges. - Mohamed Sharaf Aun; Shoji Yuen; Kiyoshi Agusa (J. Web Eng., 2005)

Web Automata: A Behavioral Model of Web applications based on the MVC model. - Shoji Yuen; Keishi Kato; Daiju Kato; Kiyoshi Agusa (Inf. Media Technol., 2006)

A Synchronization Flow Analysis of Concurrent Objects in AIBO OPEN-R Programs Based on Communicating Processes. - Ryo Suetsugu; Shoji Yuen; Kiyoshi Agusa (APSEC, 2007)

Environmental Simulation of Real-Time Systems with Nested Interrupts. - Guoqiang Li 001; Shoji Yuen; Masakazu Adachi (TASE, 2009)

Generating priority rewrite systems for OSOS process languages. - Irek Ulidowski; Shoji Yuen (Inf. Comput., 2009)

Session Type Inference in Haskell - Keigo Imai; Shoji Yuen; Kiyoshi Agusa (PLACES, 2010)

A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway. - Iain Phillips 001; Irek Ulidowski; Shoji Yuen (RC, 2012)

A Session Type System with Subject Reduction. - Keigo Imai; Shoji Yuen; Kiyoshi Agusa (IEICE Trans. Inf. Syst., 2012)

Foreword. - Shoji Yuen (IEICE Trans. Inf. Syst., 2012)

Modeling and Analysis of Real-Time Systems with Mutex Components. - Guoqiang Li 001; Xiaojuan Cai; Shoji Yuen (Int. J. Found. Comput. Sci., 2012)

Nested Timed Automata. - Guoqiang Li 001; Xiaojuan Cai; Mizuhito Ogawa; Shoji Yuen (FORMATS, 2013)

Modelling of Bonding with Processes and Events. - Iain Phillips 001; Irek Ulidowski; Shoji Yuen (RC, 2013)

Concurrency and Reversibility. - Irek Ulidowski; Iain Phillips 001; Shoji Yuen (RC, 2014)

An Over-Approximation Forward Analysis for Nested Timed Automata. - Yunqing Wen; Guoqiang Li 001; Shoji Yuen (SOFL+MSVL, 2014)

Nested Timed Automata with Frozen Clocks. - Guoqiang Li 001; Mizuhito Ogawa; Shoji Yuen (FORMATS, 2015)

On Reachability Analysis of Updatable Timed Automata with One Updatable Clock. - Yunqing Wen; Guoqiang Li 001; Shoji Yuen (SOFL+MSVL, 2015)

Automating Time Series Safety Analysis for Automotive Control Systems in STPA Using Weighted Partial Max-SMT. - Shuichi Sato; Shogo Hattori; Hiroyuki Seki; Yutaka Inamori; Shoji Yuen (FTSCS, 2016)

Nested Timed Automata with Diagonal Constraints. - Yuwei Wang; Yunqing Wen; Guoqiang Li 001; Shoji Yuen (ICFEM, 2017)

Availability checking of dynamic spatial information for automobiles. - Shuichi Sato; Yosuke Watanabe; Hiroyuki Seki; Shoji Yuen (ICSRS, 2017)

Nested Timed Automata with Invariants. - Yuwei Wang; Guoqiang Li 001; Shoji Yuen (SETTA, 2017)

Reversing Imperative Parallel Programs. - James Hoey; Irek Ulidowski; Shoji Yuen (EXPRESS/SOS, 2017)

Updatable timed automata with one updatable clock. - Guoqiang Li 001; Yunqing Wen; Shoji Yuen (Sci. China Inf. Sci., 2018)

Reversing Parallel Programs with Blocks and Procedures. - James Hoey; Irek Ulidowski; Shoji Yuen (EXPRESS/SOS, 2018)

Reversing Event Structures. - Irek Ulidowski; Iain Phillips 001; Shoji Yuen (New Gener. Comput., 2018)

Session-ocaml: A session-based library with polarities and lenses. - Keigo Imai; Nobuko Yoshida; Shoji Yuen (Sci. Comput. Program., 2019)

Multiparty Session Programming With Global Protocol Combinators. - Keigo Imai; Rumyana Neykova; Nobuko Yoshida; Shoji Yuen (ECOOP, 2020)

Fault Diagnosis for Distributed Cooperative System Using Inductive Logic Programming. - Shuichi Sato; Yosuke Watanabe; Hiroyuki Seki; Yoshinao Ishii; Shoji Yuen (ICPHM, 2020)

A Reversible Runtime Environment for Parallel Programs. - Takashi Ikeda; Shoji Yuen (RC, 2020)

Multiparty Session Programming with Global Protocol Combinators (Artifact). - Keigo Imai; Rumyana Neykova; Nobuko Yoshida; Shoji Yuen (Dagstuhl Artifacts Ser., 2020)

Automating Time-series Safety Analysis for Automotive Control Systems Using Weighted Partial Max-SMT. - Shuichi Sato; Shogo Hattori; Hiroyuki Seki; Yutaka Inamori; Shoji Yuen (J. Inf. Process., 2020)

The Reversible Temporal Process Language. - Laura Bocchi; Ivan Lanese; Claudio Antares Mezzina; Shoji Yuen (FORTE, 2022)

A Reversible Debugger for Imperative Parallel Programs with Contracts. - Takashi Ikeda; Shoji Yuen (RC, 2022)

CRIL: A Concurrent Reversible Intermediate Language. - Shunya Oguchi; Shoji Yuen (EXPRESS/SOS, 2023)

Concurrent RSSA for CRIL: Flow Analysis for a Concurrent Reversible Programming Language. - Shunya Oguchi; Shoji Yuen (RC, 2024)

Constant Propagation in CRIL by Bidirectional Data Flow Analysis. - Shunya Oguchi; Shoji Yuen (J. Inf. Process., 2024)

revTPL: The Reversible Temporal Process Language. - Laura Bocchi; Ivan Lanese; Claudio Antares Mezzina; Shoji Yuen (Log. Methods Comput. Sci., 2024)

RevMiGo: Reversible Channel-Based Communication in Go Language. - Shunya Oguchi; Shoji Yuen; Nobuko Yoshida (RC, 2025)