Updated on 2024/09/17
Doctor of Engineering （ 1997.2 Nagoya University ）
Master of Engineering （ 1987.3 Kyoto University ）
Others / Others / Computer Science
Formal Semantics for Concurrent Programs
Nagoya University Graduate school of Informatics Professor
2007.4
Country：Japan
Nagoya University Graduate School of Information Science Associate professor
2003.4 - 2007.3
Country：Japan
Nagoya University Graduate School of Engineering Associate Professor
2000.8 - 2003.3
Country：Japan
Nagoya University Center for Information Media Studies Associate Professor
1998.4 - 2000.7
Country：Japan
Nagoya University School of Engineering Assistant
1990.4 - 1998.3
Country：Japan
Nagoya University Graduate School of Engineering Department of Information Engineering
1987.4 - 1990.3
Country： Japan
Kyoto University Graduate School, Division of Engineering Information Science
1985.4 - 1987.3
Country： Japan
Kyoto University Faculty of Engineering Department of Information Science
- 1985
Country： Japan
電子情報通信学会 研究専門委員会委員長(ソフトウェアサイエンス)
2014.5 - 2016.4
情報処理学会 東海支部評議員
2009.5 - 2011.4
Japanese Society of Software Science and Technology Journal Editor
2004.4 - 2017.3
Information Processing Society of Japan Organizer, Tokai-Branch
2002.4 - 2004.3
Association for Computer Machinary
16th International Conference on Reversible Computation (RC) Program Committee member
2023.11 - 2024.7
Committee type：Academic society
20th International Conference on Formal Aspects of Component Software Program Committee member
2024.3 - 2024.11
Committee type：Academic society
PLACES 2024: 15th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software Program Committee member
2023.11 - 2024.3
Committee type：Academic society
19th International Conference on Formal Aspects of Component Software Program Committee member
2023.4 - 2023.11
Committee type：Academic society
Program Committee member
2022.9 - 2023.3
Committee type：Academic society
18th international conference on Formal Aspects of Component Software Program Committee member
2022.3 - 2022.11
Committee type：Other
15th International Conference, Reversible Comoputation Program Committee member
2022.11 - 2023.7
17th International Conference on Formal Aspects of Component Software PCmember
2021.10
Committee type：Academic society
13th International Conference, Reversible Computing General Chair
2020.8 - 2021.7
Committee type：Academic society
16th International Conference on Formal Aspects of Component Software PCmember
2019.10
Committee type：Academic society
13th International Colloquium on Theoretical Aspects of Computing PCmember
2016.11
2014年日本ソフトウェア科学会大会 2014大会実行委員長
2014.1 - 2014.9
Committee type：Academic society
11th International Symposium on Automated Technology for Verification and Analysis PCmember
2013.10
23rd International Conference on Concurrency Theory PCmember
2011.9 - 2012.9
Structural Operational Semantics 2008 PCmember
2008.9
6th International Symposium on Automated Technology for Verification and Analysis PCmember
2008.9
8th International Symposium on Functional and Logic Programming General Chair
2008.5
Structural Operational Semantics 2007 PCmember
2007.9
Committee type：Academic society
5th International Symposium on Automated Technology for Verification and Analysis PCmember
2007.9
Constant Propagation in CRIL by Bidirectional Data Flow Analysis Reviewed
Snunya Oguchi, Shoji Yuen
Journal of Information Processing Vol. 32 page： 552 - 564 2024.7
Concurrent RSSA for CRIL: Flow Analysis for a Concurrent Reversible Programming Language Reviewed
Shunya Oguchi, Shoji Yuen
Lecture Notes in Computer Science Vol. 14680 page： 181 - 200 2024.5
revTPL: The Reversible Temporal Process Language Reviewed International coauthorship
Laura Bocchi ; Ivan Lanese ; Claudio Antares Mezzina ; Shoji Yuen.
Logical Method in Computer Science Vol. 20 ( 1 ) page： 11:1 - 11:35 2024.1
CRIL: A Concurrent Reversible Intermediate Language Reviewed
Shunya Oguchi, Shoji Yuen
Electronic Proceedings in Theoretical Computer Science Vol. 387 page： 149 - 167 2023.9
CROOPLPP : A Reversible Concurrent Object-oriented Programming Language
Yusuke Akaike, Shoji Yuen
Vol. 123 page： 13 - 18 2023.7
CRSSA: 並行可逆言語に対する静的単一代入 Reviewed
小口隼也, 結縁祥治
第25回プログラミングおよびプログラミング言語ワークショップ PPL 2023 page： 1 - 20 2023.3
A reversible debugger for imparative parallel programs with contracts Reviewed
Takashi Ikeda, Shoji Yuen
Reversible Computation 2022, Lecture Notes in Computer Science Vol. 13354 page： 204 - 212 2022.7
The reversible temporal process language Reviewed International coauthorship
Laura Bocchi, Ivan Lanese, Claudio Antrares Mezzina, Shoji Yuen
Proceedings of FORTE 2022, Lecture Notes in Computer Science Vol. 13273 page： 31 - 49 2022.6
A reversible runtime for parallel programs with recursive blocks Reviewed
2021.11
Multiparty Session Programming with Global Protocol Combinators(Artifact) Invited Reviewed International coauthorship
Keigo Imai, Rumiyana Neykova, Nobuko Yoshida, Shoji Yuen
Dagstuhl Artifacts Series Vol. 6 ( 2 ) page： 1 - 2 2020.11
Multiparty Session Programming with Global Combinators Invited Reviewed International coauthorship
Keigo Imai, Rumiyana Neykova, Nobuko Yoshida, Shoji Yuen
LIPlcs Vol. 166 page： 9:1 - 9:30 2020.11
A Reversible Runtime Environment for Parallel Programs Reviewed
Takashi Ikeda, Shoji Yuen
Reversible Computation 2020, Lecture Notes in Computer Science Vol. 12247 page： 272-279 2020.7
Fault Diagnosis for Distributed Cooperative System Using Inducting Logic Programming Invited Reviewed
Shuichi Sato, Yosuke Watanabe, Hiroyuki Seki, Yoshinao Ishii, Shoji Yuen
IEEE International Conference on Prognostics and Health Management, ICPHM 2020 page： 1 - 8 2020.6
Automating Time-series Safety Analysis for Automotive Control Systems Using Weighted Partial Max-SMT Reviewed
Shuichi Sato, Shogo Hattori, Hiroyuki Seki, Yutaka Inamori, Shoji Yuen
Journal of Information Processing Vol. 28 page： 124-135 2020.1
Session-ocaml: A session-based library with polarities and lenses Reviewed
Keigo Imai, Nobuko Yoshida, Shoji Yuen
Science of Computer Program Vol. 172 page： 135-159 2019.3
Reversing Event Structure Reviewed
Irek Ulidowski, Iain Phillips, Shoji Yuen
New Generation Computing Vol. 36 page： 281-306 2018.9
Reversing Parallel Programs with Blocks and Procedures Reviewed
James Hoey, Irek Ulidowski, Shoji Yuen
EPTCS (EXPRESS/SOS 2018) Vol. 276 page： 69-86 2018.9
Nested Timed Automata with Invariants Reviewed
Yuwei Wang, Guoqiang Li, Shoji Yuen
Lecture Notes in Computer Science Vol. 10606 page： 77-93 2017.10
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
Reversing Imperative Parallel Programs. Reviewed
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
Session-ocaml: A Session-Based Library with Polarities and Lenses Reviewed
Keigo Imai, Nobuko Yoshida, Shoji Yuen
Lecture Notes in Computer Science Vol. 10319 page： 99-118 2017.6
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
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
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
Concurrency and reversibility Invited Reviewed
Irek Ulidowski, Iain Phillips and Shoji Yuen
Reversible Computation 2014, LNCS 8507 ( 8507 ) page： 1-14 2014.7
値付きタスクオートマトンに基づくコストを意識した実時間タスクスケジューリング
結縁祥冶、亀井達朗
信学技報 Vol. 114 ( 127 ) page： 37-42 2014.7
離散事象システムにおけるMaxSATソルバを用いた最大可制御部分仕様の導出
廣田樹、結縁祥冶、東道徹也
信学技報 Vol. 114 ( 271 ) page： 35-40 2014.10
部分観測におけるMaxSATソルバを用いたスーパバイザ合成手法
廣田樹、結縁祥冶、東道徹也
信学技報 Vol. 114 ( 416 ) page： 79-84 2015.1
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
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
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
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
タスクマイグレーション機能を持つマルチコアスケジューリング解析
中堂園貴幸,結縁祥治
信学技法 Vol. 112 ( 458 ) page： 103-108 2013.3
名前渡しプロセス計算における優先度ガード Reviewed
結縁祥治, 太田正悟
プログラミングおよびプログラミング言語ワークショップ page： 246-257 2011.3
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
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
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
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
Environmental Simulation of Real -Time Systems with Nested Interrupts Reviewed
Guoqiang Li, Shoji Yuen, Masakazu Adachi
Theoretical Aspect of Software Engineering, TASE2009 page： 21-28 2009.7
An SOS interpreter with negative premises andan equivalence checker by Maude
Jun BAN, Keigo IMAI, Shoji YUEN
Vol. 109 ( 40 ) page： 49-54 2009.5
Apache Cocoon Flowscriptのモデル検査によるWeb応用プログラムの動作検証
馬場 敬・結縁祥治・阿草清滋
信学技報SS-0903 page： 19-24 2009.3
Energy Efficient Functional Programing on DVS Systemsby Varying Evaluation Strategies Reviewed
Tetsuo Yokoyama, Keigo Imai,y1 Gang Zeng,y1Hiroyuki Tomiyama,y1 Hiroaki Takaday1and Shoji Yueny1
Vol. PRO41 ( 2 ) page： 54-69 2009.3
Environmental simulation of real-time systems with nested interrupts in Maude Reviewed
Li Guoqiang, Shoji Yuen, and Masakazu Adachi
page： 133-147 2009.3
A full implementation of session types in Haskell Reviewed
Keigo Imai, Shoji Yuen, and Kiyoshi Agusa
page： 44-56 2009.3
*Generating priority rewrite systems for OSOS process languages Reviewed
Irek Ulidowski and Shoji Yuen
Information and Computation Vol. 207 ( 2 ) page： 120-145 2009.2
Schedulability analysis of real-time systems using propositional satisfiablity Reviewed
Masakazu Adachi, Ryo Suetsugu, Shoji Yuen, Shigeharu Teshima, Noriyoshi Sano
Embedded Systems Symposium 2008 page： 41-49 2008.10
Dependable software design based on communication centered programming
Shoji Yuen
DSW2008 page： 135 2008.7
Communicating Processes with Timed Behavioral Extension Invited Reviewed
Shoji Yuen
Systems, Control and Information Vol. 52 ( 9 ) page： 322-327 2008.9
Communication centered programming of integrated services with priority in home appliance network Reviewed
Sakura Bhandari, Shoji Yuen, Kiyoshi Agusa
In Proceedings of APSEC2007 Workshop on Service Oriented Architecture page： 8-15 2007.12
A synchronization flow analysis of concurrent objects in AIBO OPEN-R programs based on communicating processes Reviewed
Ryo Suetsugu, Shoji Yuen, Kiyoshi Agusa
In Proceedings of 14th Asia-pacific software engineering conference APSEC2007, IEEE computer society page： 366-373 2007.12
A Deadlock free analysis for AIBO OPEN-R programs based on communicating processes Reviewed
Ryo Suetsugu, Shoji Yuen, Kiyoshi Agusa
IPSJ Journal Vol. 48 ( 9 ) page： 2915-2924 2007.9
分散環境における家電機器の連携動作の記述手法
バンダリさくら、結縁祥治、阿草清滋
第５回ディペンダブルシステムワークショップ論文集 page： 35-44 2007.7
セッション型に基づく高信頼性ネットワークプログラムのHaskell言語による実装
今井敬吾、結縁祥治、阿草清滋
第５回ディペンダブルシステムワークショップ論文集 page： 95-106 2007.7
π計算におけるセッションの構造化
今井敬吾、結縁祥治、阿草清滋
第９回プログラミングおよびプログラミング言語ワークショップ論文集 page： 140-154 2007.3
A Network Programming Framework in Haskell Based on Asynchronous Localized pi-calculus Reviewed
Keigo Imai, Shoji Yuen, Kiyoshi Agusa
IPSJ Transaction:Programming ( 47 ) page： 10,18 2006.10
π計算に対する時間拡張と合同的性質 Reviewed
桑原 寛明, 結縁 祥治, 阿草 清滋
電子情報通信学会論文誌 Vol. J89-D ( 4 ) page： 632,641 2006.4
通信プロセスモデルと形式意味論に基づくソフトウェアのモデル化 Reviewed
コンピュータソフトウェア Vol. 22 page： 22-43 2005
*Web Automata: A Behavioral Model of Web Applications based on the MVC Reviewed
Shoji Yuen, Keishi Kato, Daiju Kato, Kiyoshi Agusa
Computer Software Vol. 22 page： 44-57 2005
Name-passing style GUI Programming in a pi-calculus-based language Nepi Reviewed
Atsushi Mizuno, Ken Mano, Yoshinobu Kawabe, Hiroaki Kuwabara, Shoji Yuen, Kiyoshi Agusa
Electric Notes of Theoretical Computer Science Vol. 139 page： 145-168 2005
Towards Assurign Quality Attributes of Client Dynamic Web Applications: Identifying and Addressing the Challenges Reviewed
Mohammed Sharaf Aun, Shoji Yuen, Kiyoshi Agusa
Journal of Web Engineering Vol. 4 page： 144-164 2005
通信プロセスモデルに基づく並行オブジェクト指向言語によるAIBOプログラムの動作記述 Reviewed
末次亮、結縁祥治、阿草清滋
ソフトウェア工学の基礎ワークショップFOSE2005 page： 267-276 2005.11
*Process languages with discrete relative time based on the Ordered SOS format and rooted eager bisimulation Reviewed
Irek Ulidowski, Shoji Yuen
The Journal of Logic and Algebraic Programming Vol. 60-61 page： 401-460 2004.12
Name-passing style GUI programming in the π-calculus-based language Nepi Reviewed
ARTS2004(6th AMAST Workshop on Real-Time Systems)Technical Report University of Leicester ( 2004/28 ) page： 49-66 2004
An Approach for Debugging Client Dynamic Web Applications Reviewed
Mohammed Sharaf Aun, Shoji Yuen, Kiyoshi Agusa
Vol. 45 page： 2373-2383 2004
FCDG に基づいたコーディングパターン Reviewed
コンピュータソフトウェア Vol. 21 ( 4 ) page： 27-36 2004
時間付きπ計算によるリアルタイムオブジェクト指向言語の形式的記述 Reviewed
桑原寛明、結縁祥治、阿草清滋
情報処理学会論文誌 Vol. 45 ( 6 ) page： 1498-1507 2004
π計算に対する時間拡張と代数的意味論 Reviewed
桑原寛明、結縁祥治、阿草清滋
ソフトウェア工学の基礎ワークショップFOSE2004 page： 97-108 2004.11
時間オートマトンの遷移制約記述に基づくAIBOプログラムスケルトンコードの生成手法 Reviewed
末次亮、結縁祥治、阿草清滋
組込みソフトウェアシンポジウム2004 page： 126-133 2004.10
Testing Framework for Web Applications based on the MVC model with Behavioral Description Reviewed
Shoji Yuen, Keishi Kato, Daiju Kato, Shinichiro Yamamoto, Kiyoshi Agusa
Proceedings of ICITA page： 11-4:1-6 2004.1
実行可能なメモリモデルに基づくJava並行プログラムのモデル検査 Reviewed
深谷直彦、結縁祥治、阿草清滋
ソフトウェア工学の基礎ワークショップFOSE2003 page： 227-238 2003.11
時間つきπ計算によるリアルタイムオブジェクト指向言語の形式的記述 Reviewed
桑原寛明、結縁祥治、阿草清滋
オブジェクト指向最前線 page： 69-76 2003.8
Process Languages for Rooted Weak Preorders
Irek Ulidowski, Shoji Yuen
Technical Report , University of Leicester Vol. 2002 ( 11 ) 2002
A Semi-Multihoming Technique Using Network Address Translator Reviewed
Shoji Kajita, Shoji Yuen
Journal of Information Processing Society of Japan Vol. 42 ( 12 ) 2001
Timed Properties for Process Languages with Time Reviewed
Irek Ulidowski and Shoji Yuen
In Proceedings of SCI2001, Volume XIV page： 344-349 2001
General Process Languages with Time
Irek Ulidowski, Shoji Yuen
Technical Report, University of Leicester Vol. 2000 ( 41 ) 2000
Process Languages for Rooted Eager Bisimulation Reviewed
Lecture Notes in Computer Science Vol. 1877 page： 275,289 2000.8
*Testing Theory for Probabilistic Processes Reviewed
Rance Cleaveland, Zeynep Dayar, Scott Smolka, Shoji Yuen
Information and Computation Vol. 154 page： 93-148 1999
Symbolic Alternative Characterizations of Testing Preorders for Rugular Real-time Communicating Processes
Vol. J80-D-1 ( 6 ) page： 474-485 1997
Extending Process Language with Time Reviewed
Lecture Notes In Computer Science Vol. 1349 1997
Fully Abstract Characterizations of Testing Preorders for Probabilistic Processes Reviewed
Lecture Notes in Computer Science Vol. 836 page： 497-512 1994
An extension of the testing method for processes passing infinite values Reviewed
Shoji Yuen, Toshiki Sakabe, Yasuyoshi Inagaki
Workshop in Computing page： 155-173 1993
An Extension of the Testing Method for Processes Passing Infinite Values Reviewed
The John Hopkins University page： 10:1-20 1992.8
CCSによるモニタ記述の形式的記述 Reviewed
結縁祥治、坂部俊樹、稲垣康義
電子情報通信学会論文誌 Vol. J73-D-1 page： 683-692 1990
理論計算機科学事典 Reviewed
結縁祥治（ Role： Contributor , 6.4 並行計算）
朝倉書店 2022.1
並行プロセスの操作的および代数的意味論
稲垣康義、結縁祥治（ Role： Joint author）
丸善 1993
Nested Timed Automataに対するZoneに基づく到達可能性解析
城聖一郎,小川瑞史,結縁祥治
電子情報通信学会ソフトウェアサイエンス研究会 2024.3.7 電子情報通信学会
Bidirectional Flow analysis for a concurrent reversible programming language
Shoji Yuen
2024.2.28
Constant Propagation in CRIL by Bidirectional Data Flow Analysis
Shunya Oguchi and Shoji Yuen
2024.1.11
城 聖一郎,結縁祥治
電子情報通信学会ソフトウェアサイエンス研究会 2022.7.29 電子情報通信学会
通信プロセスに対する文脈変換手法を用いたモデル検査
木川泰夫、結縁祥治、坂部俊樹
電子情報通信学会コンピュテーション研究会
時間オートマトンによる振舞いモデルに基づく高信頼Real-time Javaコード生成手法
井上公博、結縁祥治、阿草清滋
電子情報通信学会ソフトウェアサイエンス研究会
Communication Centered Programming of Integrated Services with Priority in Home Appliance Network International conference
BASICS 2009 International Workshop on Computation and Interaction, Shianghai Jiao Tong University
Session types in OCaml International conference
Keigo Imai, Nobuko Yoshida, Shoji Yuen
Theory and Applications of Behavioural Types (Dagstuhl Seminar 17051)
タスクマイグレーション機能を持つマルチコアスケジューリング解析
中堂園貴幸, 結縁祥治
電子情報通信学会ソフトウェアサイエンス研究会
Mathematical structures for software verification based on practical efficient behavior
2015.3 - 2017.12
Grant type：Competitive
高信頼車載システムの検証手法の研究
2007.4 - 2009.3
国内共同研究
車載ソフトウェアの不具合を開発段階で発見することをねらいとして，形式手法を取り入れた設計方法論と検証手法を開発する。具体的には，組込みソフトウェアにおける外部からの割込みの影響を含めて，タスクスケジューラビリティを解析する手法を開発する．
Webアプリケーション指向ソフトウェアモデリング
2002.11 - 2006.3
科学技術振興機構 さきがけ研究
Grant type：Competitive
Webアプリケーションの意味論の基礎を成す形式体系、さらに、これらに基づいて提案されている言語、形式モデルとは独立に提案されている言語などを検討し、新たな計算モデルの形式化を行う。
A Behavioral Analysis of Real-time Concurrent Software based on Sturactural Operational Semantics
2001 - 2002
Grant type：Competitive
コレオグラフィ記述に基づく組込みシステムの高信頼性設計技法
2007
科学研究費補助金 基盤研究（Ｃ）（一般），課題番号：19500026
結縁 祥治
Authorship：Principal investigator
データと時間を扱うオートマトンネットワークの合成的アクティブ学習に基づく設計手法
Grant number：21H03415 2021.4 - 2026.3
日本学術振興会 基盤研究(B)
Authorship：Principal investigator Grant type：Competitive
Grant amount：\17030000 （ Direct Cost: \13100000 、 Indirect Cost：\3930000 ）
ウィジェット操作方法、装置、プログラムおよびこのプログラムを記録した記録媒体
真野健、河辺義信、水野敦、桑原寛明、結縁祥治、阿草清滋
First Year Seminar A
2011
知的インタフェース学特論
2001
計算機リテラシおよびプログラミング
2001
計算機基礎数理
2000
情報工学概論
2006.4 - 2007.3 （名城大学）
