Shoji Yuen

52 papers A 1B 2C 11Misc 2Journal 18Unranked 18
YearRankTypeTitle / Venue / Authors
2025 C conf
RevMiGo: Reversible Channel-Based Communication in Go Language.
RC
Shunya Oguchi, Shoji Yuen, Nobuko Yoshida
2024 C conf
Concurrent RSSA for CRIL: Flow Analysis for a Concurrent Reversible Programming Language.
RC
Shunya Oguchi, Shoji Yuen
2024 J jnl
Constant Propagation in CRIL by Bidirectional Data Flow Analysis.
J. Inf. Process.
Shunya Oguchi, Shoji Yuen
2024 J jnl
revTPL: The Reversible Temporal Process Language.
Log. Methods Comput. Sci.
Laura Bocchi, Ivan Lanese, Claudio Antares Mezzina, Shoji Yuen
2023 — conf
CRIL: A Concurrent Reversible Intermediate Language.
EXPRESS/SOS
Shunya Oguchi, Shoji Yuen
2022 C conf
A Reversible Debugger for Imperative Parallel Programs with Contracts.
RC
Takashi Ikeda, Shoji Yuen
2022 C conf
The Reversible Temporal Process Language.
FORTE
Laura Bocchi, Ivan Lanese, Claudio Antares Mezzina, Shoji Yuen
2022 J jnl
revTPL: The Reversible Temporal Process Language.
CoRR
Laura Bocchi, Ivan Lanese, Claudio Antares Mezzina, Shoji Yuen
2020 C conf
A Reversible Runtime Environment for Parallel Programs.
RC
Takashi Ikeda, Shoji Yuen
2020 J jnl
Automating Time-series Safety Analysis for Automotive Control Systems Using Weighted Partial Max-SMT.
J. Inf. Process.
Shuichi Sato, Shogo Hattori, Hiroyuki Seki, Yutaka Inamori, Shoji Yuen
2020 — conf
Fault Diagnosis for Distributed Cooperative System Using Inductive Logic Programming.
ICPHM
Shuichi Sato, Yosuke Watanabe, Hiroyuki Seki, Yoshinao Ishii, Shoji Yuen
2020 A conf
Multiparty Session Programming With Global Protocol Combinators.
ECOOP
Keigo Imai, Rumyana Neykova, Nobuko Yoshida, Shoji Yuen
2020 J jnl
Multiparty Session Programming with Global Protocol Combinators (Artifact).
Dagstuhl Artifacts Ser.
Keigo Imai, Rumyana Neykova, Nobuko Yoshida, Shoji Yuen
2020 J jnl
Multiparty Session Programming with Global Protocol Combinators.
CoRR
Keigo Imai, Rumyana Neykova, Nobuko Yoshida, Shoji Yuen
2019 J jnl
Session-ocaml: A session-based library with polarities and lenses.
Sci. Comput. Program.
Keigo Imai, Nobuko Yoshida, Shoji Yuen
2018 J jnl
Reversing Event Structures.
New Gener. Comput.
Irek Ulidowski, Iain Phillips, Shoji Yuen
2018 — conf
Reversing Parallel Programs with Blocks and Procedures.
EXPRESS/SOS
James Hoey, Irek Ulidowski, Shoji Yuen
2018 J jnl
Updatable timed automata with one updatable clock.
Sci. China Inf. Sci.
Guoqiang Li, Yunqing Wen, Shoji Yuen
2017 — conf
Availability checking of dynamic spatial information for automobiles.
ICSRS
Shuichi Sato, Yosuke Watanabe, Hiroyuki Seki, Shoji Yuen
2017 C conf
Nested Timed Automata with Diagonal Constraints.
ICFEM
Yuwei Wang, Yunqing Wen, Guoqiang Li, Shoji Yuen
2017 Misc conf
Nested Timed Automata with Invariants.
SETTA
Yuwei Wang, Guoqiang Li, Shoji Yuen
2017 — conf
Reversing Imperative Parallel Programs.
EXPRESS/SOS
James Hoey, Irek Ulidowski, Shoji Yuen
2017 C conf
Session-ocaml: A Session-Based Library with Polarities and Lenses.
COORDINATION
Keigo Imai, Nobuko Yoshida, Shoji Yuen
2016 — conf
Automating Time Series Safety Analysis for Automotive Control Systems in STPA Using Weighted Partial Max-SMT.
FTSCS
Shuichi Sato, Shogo Hattori, Hiroyuki Seki, Yutaka Inamori, Shoji Yuen
2015 — conf
Nested Timed Automata with Frozen Clocks.
FORMATS
Guoqiang Li, Mizuhito Ogawa, Shoji Yuen
2015 — conf
On Reachability Analysis of Updatable Timed Automata with One Updatable Clock.
SOFL+MSVL
Yunqing Wen, Guoqiang Li, Shoji Yuen
2014 — conf
An Over-Approximation Forward Analysis for Nested Timed Automata.
SOFL+MSVL
Yunqing Wen, Guoqiang Li, Shoji Yuen
2014 C conf
Concurrency and Reversibility.
RC
Irek Ulidowski, Iain Phillips, Shoji Yuen
2013 C conf
Modelling of Bonding with Processes and Events.
RC
Iain Phillips, Irek Ulidowski, Shoji Yuen
2013 — conf
Nested Timed Automata.
FORMATS
Guoqiang Li, Xiaojuan Cai, Mizuhito Ogawa, Shoji Yuen
2012 C conf
A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway.
RC
Iain Phillips, Irek Ulidowski, Shoji Yuen
2012 J jnl
A Session Type System with Subject Reduction.
IEICE Trans. Inf. Syst.
Keigo Imai, Shoji Yuen, Kiyoshi Agusa
2012 J jnl
Foreword.
IEICE Trans. Inf. Syst.
Shoji Yuen
2012 J jnl
Modeling and Analysis of Real-Time Systems with Mutex Components.
Int. J. Found. Comput. Sci.
Guoqiang Li, Xiaojuan Cai, Shoji Yuen
2010 — conf
Modeling and analysis of real -time systems with mutex components.
IPDPS Workshops
Guoqiang Li, Xiaojuan Cai, Shoji Yuen
2010 — conf
Session Type Inference in Haskell
PLACES
Keigo Imai, Shoji Yuen, Kiyoshi Agusa
2009 Misc conf
Environmental Simulation of Real-Time Systems with Nested Interrupts.
TASE
Guoqiang Li, Shoji Yuen, Masakazu Adachi
2009 J jnl
Generating priority rewrite systems for OSOS process languages.
Inf. Comput.
Irek Ulidowski, Shoji Yuen
2007 C conf
A Synchronization Flow Analysis of Concurrent Objects in AIBO OPEN-R Programs Based on Communicating Processes.
APSEC
Ryo Suetsugu, Shoji Yuen, Kiyoshi Agusa
2006 J jnl
Web Automata: A Behavioral Model of Web applications based on the MVC model.
Inf. Media Technol.
Shoji Yuen, Keishi Kato, Daiju Kato, Kiyoshi Agusa
2005 J jnl
Towards assuring quality attributes of client dynamic Web applications: Identifying and addressing the challenges.
J. Web Eng.
Mohamed Sharaf Aun, Shoji Yuen, Kiyoshi Agusa
2004 — conf
Name-passing style GUI programming in the
ARTS
Atsushi Mizuno, Ken Mano, Yoshinobu Kawabe, Hiroaki Kuwabara, Kiyoshi Agusa, Shoji Yuen
2004 J jnl
Process languages with discrete relative time based on the Ordered SOS format and rooted eager bisimulation.
J. Log. Algebraic Methods Program.
Irek Ulidowski, Shoji Yuen
2004 — conf
Separating Features for Assuring Quality Attributes of Client Web Applications.
ICWI
Mohamed Sharaf Aun, I. M. Atiqul, Shoji Yuen, Kiyoshi Agusa
2003 — conf
Towards Assuring the Quality Attributes of Web Applications: An Approach for Separating Features.
ICWI
Mohamed Sharaf Aun, Shoji Yuen, Kiyoshi Agusa
2002 — conf
Library evolution for reliable software.
IWPSE
Noritoshi Atsumi, Shoji Yuen, Kiyoshi Agusa, Shinichirou Yamamoto
2000 B conf
Process Languages for Rooted Eager Bisimulation.
CONCUR
Irek Ulidowski, Shoji Yuen
1999 J jnl
Testing Preorders for Probabilistic Processes.
Inf. Comput.
Rance Cleaveland, Zeynep Dayar, Scott A. Smolka, Shoji Yuen
1997 — conf
Extending Process Languages with Time.
AMAST
Irek Ulidowski, Shoji Yuen
1994 B conf
Fully Abstract Characterizations of Testing Preorders for Probabilistic Processes.
CONCUR
Shoji Yuen, Rance Cleaveland, Zeynep Dayar, Scott A. Smolka
1992 J jnl
A formal description of monitors by CCS.
Syst. Comput. Jpn.
Shoji Yuen, Toshiki Sakabe, Yasuyoshi Inagaki
1992 — conf
An Extension of the Testing Method for Processes Passing Infinite Values.
NAPAW
Shoji Yuen, Toshiki Sakabe, Yasuyoshi Inagaki