Shoji Yuen

According to our database, Shoji Yuen authored at least 44 papers between 1992 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

revTPL: The Reversible Temporal Process Language.

Laura Bocchi, Ivan Lanese, Claudio Antares Mezzina, Shoji Yuen

Log. Methods Comput. Sci., 2024

2023

CRIL: A Concurrent Reversible Intermediate Language.

Shunya Oguchi, Shoji Yuen

Proceedings of the Proceedings Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics, 2023

2022

A Reversible Debugger for Imperative Parallel Programs with Contracts.

Takashi Ikeda, Shoji Yuen

Proceedings of the Reversible Computation - 14th International Conference, 2022

The Reversible Temporal Process Language.

Laura Bocchi, Ivan Lanese, Claudio Antares Mezzina, Shoji Yuen

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2022

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

Multiparty Session Programming with Global Protocol Combinators (Artifact).

Keigo Imai, Rumyana Neykova, Nobuko Yoshida, Shoji Yuen

Dagstuhl Artifacts Ser., 2020

A Reversible Runtime Environment for Parallel Programs.

Takashi Ikeda, Shoji Yuen

Proceedings of the Reversible Computation - 12th International Conference, 2020

Fault Diagnosis for Distributed Cooperative System Using Inductive Logic Programming.

Shuichi Sato, Yosuke Watanabe, Hiroyuki Seki, Yoshinao Ishii, Shoji Yuen

Proceedings of the IEEE International Conference on Prognostics and Health Management, 2020

Multiparty Session Programming With Global Protocol Combinators.

Keigo Imai, Rumyana Neykova, Nobuko Yoshida, Shoji Yuen

Proceedings of the 34th European Conference on Object-Oriented Programming, 2020

2019

Session-ocaml: A session-based library with polarities and lenses.

Keigo Imai, Nobuko Yoshida, Shoji Yuen

Sci. Comput. Program., 2019

2018

Reversing Event Structures.

Irek Ulidowski, Iain Phillips, Shoji Yuen

New Gener. Comput., 2018

Reversing Parallel Programs with Blocks and Procedures.

James Hoey, Irek Ulidowski, Shoji Yuen

Proceedings of the Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics, 2018

Updatable timed automata with one updatable clock.

Guoqiang Li, Yunqing Wen, Shoji Yuen

Sci. China Inf. Sci., 2018

2017

Reversing Imperative Parallel Programs.

James Hoey, Irek Ulidowski, Shoji Yuen

Proceedings of the Proceedings Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics, 2017

Nested Timed Automata with Invariants.

Yuwei Wang, Guoqiang Li, Shoji Yuen

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2017

Availability checking of dynamic spatial information for automobiles.

Shuichi Sato, Yosuke Watanabe, Hiroyuki Seki, Shoji Yuen

Proceedings of the 2nd International Conference on System Reliability and Safety, 2017

Nested Timed Automata with Diagonal Constraints.

Yuwei Wang, Yunqing Wen, Guoqiang Li, Shoji Yuen

Proceedings of the Formal Methods and Software Engineering, 2017

2016

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

Proceedings of the Formal Techniques for Safety-Critical Systems, 2016

2015

On Reachability Analysis of Updatable Timed Automata with One Updatable Clock.

Yunqing Wen, Guoqiang Li, Shoji Yuen

Proceedings of the Structured Object-Oriented Formal Language and Method, 2015

Nested Timed Automata with Frozen Clocks.

Guoqiang Li, Mizuhito Ogawa, Shoji Yuen

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2015

2014

An Over-Approximation Forward Analysis for Nested Timed Automata.

Yunqing Wen, Guoqiang Li, Shoji Yuen

Proceedings of the Structured Object-Oriented Formal Language and Method, 2014

Concurrency and Reversibility.

Irek Ulidowski, Iain Phillips, Shoji Yuen

Proceedings of the Reversible Computation - 6th International Conference, 2014

2013

Modelling of Bonding with Processes and Events.

Iain Phillips, Irek Ulidowski, Shoji Yuen

Proceedings of the Reversible Computation - 5th International Conference, 2013

Nested Timed Automata.

Guoqiang Li, Xiaojuan Cai, Mizuhito Ogawa, Shoji Yuen

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2013

2012

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

Guoqiang Li, Xiaojuan Cai, Shoji Yuen

Int. J. Found. Comput. Sci., 2012

Foreword.

Shoji Yuen

IEICE Trans. Inf. Syst., 2012

A Session Type System with Subject Reduction.

Keigo Imai, Shoji Yuen, Kiyoshi Agusa

IEICE Trans. Inf. Syst., 2012

A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway.

Iain Phillips, Irek Ulidowski, Shoji Yuen

Proceedings of the Reversible Computation, 4th International Workshop, 2012

2010

Session Type Inference in Haskell

Keigo Imai, Shoji Yuen, Kiyoshi Agusa

Proceedings of the Proceedings Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software, 2010

2009

Generating priority rewrite systems for OSOS process languages.

Irek Ulidowski, Shoji Yuen

Inf. Comput., 2009

Environmental Simulation of Real-Time Systems with Nested Interrupts.

Guoqiang Li, Shoji Yuen, Masakazu Adachi

Proceedings of the TASE 2009, 2009

2007

A Synchronization Flow Analysis of Concurrent Objects in AIBO OPEN-R Programs Based on Communicating Processes.

Ryo Suetsugu, Shoji Yuen, Kiyoshi Agusa

Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 2007

2005

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

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

Name-passing style GUI programming in the <i>pi</i>-calculus-based language Nepi.

Atsushi Mizuno, Ken Mano, Yoshinobu Kawabe, Hiroaki Kuwabara, Kiyoshi Agusa, Shoji Yuen

Proceedings of the 6th AMAST Workshop on Real-Time Systems, 2004

Separating Features for Assuring Quality Attributes of Client Web Applications.

Mohamed Sharaf Aun, I. M. Atiqul, Shoji Yuen, Kiyoshi Agusa

Proceedings of the IADIS International Conference WWW/Internet 2004, 2004

2003

Towards Assuring the Quality Attributes of Web Applications: An Approach for Separating Features.

Mohamed Sharaf Aun, Shoji Yuen, Kiyoshi Agusa

Proceedings of the IADIS International Conference WWW/Internet 2003, 2003

2002

Library evolution for reliable software.

Noritoshi Atsumi, Shoji Yuen, Kiyoshi Agusa, Shinichirou Yamamoto

Proceedings of the International Workshop on Principles of Software Evolution, 2002

2000

Process Languages for Rooted Eager Bisimulation.

Irek Ulidowski, Shoji Yuen

Proceedings of the CONCUR 2000, 2000

1999

Testing Preorders for Probabilistic Processes.

Rance Cleaveland, Zeynep Dayar, Scott A. Smolka, Shoji Yuen

Inf. Comput., 1999

1997

Extending Process Languages with Time.

Irek Ulidowski, Shoji Yuen

Proceedings of the Algebraic Methodology and Software Technology, 1997

1994

Fully Abstract Characterizations of Testing Preorders for Probabilistic Processes.

Shoji Yuen, Rance Cleaveland, Zeynep Dayar, Scott A. Smolka

Proceedings of the CONCUR '94, 1994

1992

A formal description of monitors by CCS.

Shoji Yuen, Toshiki Sakabe, Yasuyoshi Inagaki

Syst. Comput. Jpn., 1992

An Extension of the Testing Method for Processes Passing Infinite Values.

Shoji Yuen, Toshiki Sakabe, Yasuyoshi Inagaki

Proceedings of the NAPAW 92, 1992