• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Yuen Shoji  結縁 祥治

ORCIDConnect your ORCID iD *help
… Alternative Names

YUEN Shoji  結縁 祥治

結縁 祥二  ユウエン ショウジ

Less
Researcher Number 70230612
Other IDs
External Links
Affiliation (Current) 2025: 名古屋大学, 情報学研究科, 教授
Affiliation (based on the past Project Information) *help 2017 – 2024: 名古屋大学, 情報学研究科, 教授
2013 – 2016: 名古屋大学, 情報科学研究科, 教授
2007 – 2011: Nagoya University, Graduate School of Information Science, Professor
2006: Nagoya University, Graduate School of Information Science, Associate Professor, 大学院情報科学研究科, 助教授
2003 – 2006: Nagoya University, Graduate School of Information Science, Associate Professor, 大学院・情報科学研究科, 助教授 … More
2004: Nagoya University, Graduate School of Information Science, Associate Professor, 情報科学研究科, 助教授
2002: 名古屋大学, 工学研究科, 助教授
2001: 名古屋大学, 大学院・工学研究科, 助教授
2000: School of Engineering, Nagoya University, Associate Professor, 工学研究科, 助教授
1999: 名大, 助教授
1998: Center for Information Media Studies, Nagoya University, Associate Professor, 情報メディア教育センター, 助教授
1997: 名古屋大学, 大学院・工学研究科, 助手
1997: Dept.of Engineering Nagoya Univ., Assistant Professor, 工学研究科, 助手
1995 – 1996: 名古屋大学, 工学部, 助手
1991 – 1992: Nagoya Univ., Faculty of Eng., Research Associate, 工学部, 助手 Less
Review Section/Research Field
Principal Investigator
Software / 計算機科学 / Basic Section 60050:Software-related / Information science, computer engineering, and related fields / Computer system/Network / Software
Except Principal Investigator
計算機科学 / Basic Section 60050:Software-related / Software / Informatics / Software / 情報システム学(含情報図書館学)
Keywords
Principal Investigator
プログラミング言語 / 並行計算モデル / 通信プロセスモデル / 実時間プログラム / 実時間性 / プロセス代数 / 実時間処理 / CCS / 実時間システム / 並行計算 … More / ハイブリッドシステム / 並行プログラム / 時間オートマトン / 関数型言語 / プログラム検証 / ソフトウエア学 / 到達可能性解析 / 通信プロセス計算 / 形式意味論 / SMTソルバー / Assume-Gurantee / 時間付並行逆計算 / 分割検証 / アクティブ学習アルゴリズム / イベントクロックオートマトン / 拡張有限状態オートマトン / Assume-Gurantee検証 / 頑健性 / アクティブ学習 / 逆計算 / ソフトウェアデバッグ / 計算モデル / 並行プログラミング言語 / 離散時間モデル / デバッグモデル / 因果無矛盾性 / 構造操作意味規則 / バックトラック逆計算 / 逆計算モデル / 逆方向計算 / 逆方向デバッグ技法 / 可逆抽象機械 / 可逆計算実行環境 / 可逆デバッガ / 可逆実行環境 / 可逆計算 / 離散実行 / 到達可能性 / サンプリング意味 / 関数的リアクティブプログラミング / サンプリング意味論 / ハイブリッドオートマトン / 離散時間環境 / 連続時間 / Type systems / Haskell / Programming languages / Internet integration / pi-calculus / Process algebra / Communicating Processes / Web applications / ネットワークプログラミング / WWW / タイムアウト処理 / 代数的意味論 / 通信ブロセスモデル / 型システム / Haskill / インターネット高度化 / π計算 / Webアプリケーション / Structural Operational Semantics / Process Calculi / Real time system / 優先度スケジューリング / 合同性 / 構造的操作意味定義 / 構造的動作意味定義 / Nested Timed Automaton / スーパーバイザ制御 / 実時間性検証 / 分離論理 / コード証明 / ソフトウェア検証 / 関数型プログラム / 実時間性質 / 検証 / 仕様記述 / 時間プッシュダウンオートマトン / クロック凍結 / プッシュダウンシステム / エンドポイント展開 / ネットワーク家電 / エンドポイント射影 / コレオグラフィー記述言語 / 組み込みシステム / GUI応用プログラム / セッション型 / 組込みシステム / コレオグラフィー / 並行プログラミング / プログラム言語 / デバッグ / ソフトウェアエンジニアリング / テスト意味論 / 形式的意味論 / 弱双模倣関係 / 証明系 / 不動点意味論 / Hennessy-Milner論理 / モデル検査 / 抽象モデル / SCCS / 検証技法 / 並行システム … More
Except Principal Investigator
項書換え系 / 形式言語理論 / XML / 検証 / term rewriting system / 並行計算 / プログラミング環境 / プログラム自動合成 / レジスタオートマトン / セキュリティ / モデル検査 / Webアプリケーション / Communicating Processes / 実時間システム / 通信プロセスモデル / rewriting computation / 被覆集合帰納法 / 帰納的定理 / 代数的仕様 / 書換え計算 / プロセス代数 / concurrent computation / CCS / 関数型言語 / 視覚化 / あいまいさ階層 / 対話的学習 / 重み付き計算モデル / プログラム自動生成 / レジスタ計算モデル / プライバシー保護 / 計算論的ゲーム構造 / プログラム合成 / mu-計算 / 重み付き文脈自由文法 / アクティブ学習 / ゲーム構造 / 線形時相論理 / 量的情報流 / ソフトウェア検証 / XPath / 直線的文脈木文法 / 情報保存性 / 有向グラフ / 文脈自由文法 / トップ木 / 木文法 / 圧縮 / 自動解析 / プライバシー / ソフトウェア解析 / 動的情報漏洩量 / プログラムセキュリティ / 計算複雑さ / レジスタ文脈自由文法 / SMTソルバ / マルウェア解析 / 文法圧縮 / 木変換器 / 木オートマトン / Software Engineering / Refactoring / Web Applications / Advanced Internet / データ依存グラフ / 形式仕様 / テスト駆動開発 / 抽象機械 / ソフトウェア工学 / ソフトウェアエ学 / リファクタリング / Web応用システム / インターネット高度化 / Real-time Systems / Embedded Systems / Software Reliability / Code Generation / Reactive System / Timed Automata / π計算 / 実時間振舞いモデル / ミドルウェアデータベース / ミドルウェア / Java / 実時間並行ソフトウェア / ソフトウェアリポジトリ / XMLドキュメント / 組み込みシステム / ソフトウェア信頼性 / コード生成 / リアクティブシステム / 時間オートマトン / program pattern / dependency analysis / specializer / slicer / browser / software recycle / プログラムパターン / 依存解析 / Specializer / Slicer / Browser / ソフトウェアリサイクル / software document / optimize / simulation / realtime system / embedded system / ソフトウェア文書 / 最適化 / シミュレーション / リアルタイムシステム / 組込みシステム / cover set induction / inductive theory / algebraic specification / verification / meta computation / メタ計算 / Debuggin Procedure / Programming Environment / Formal Semantics / Concurrency / メタ計算モデル / 並行システム / ネットワーク / デバッグ / 形式意味論 / 並行プログラミング / algebraic programming / computational model / functional language / programming environment / visual support environment / process algebra / 実時間並行計算 / プログラム変換 / 代数的プログラミング / 計算モデル / 視覚的支援 / 書換え計算モデル / 可視化 / dynamic term rewriting calculas / concurrent process / narrowing / broadcast / Functional computation model / 同期通信 / 論理型計算モデル / 動的項書換 / 並行プロセス / 動的項書換計算 / 並行プセス / ナロ-イング / ブロ-ドキャスト / 関数型計算モデル / コードスニペット / ソフトウェア再利用 / コードマイニング / Web応用プログラム / 通信指向プログラミング / プログラム解析 / コレオグラフィー / Webサービス / ユーザインターフェース / 構造帰納法 / 書換え型計算モデル / メタ等式論理 / メタプログラミング Less
  • Research Projects

    (25 results)
  • Research Products

    (193 results)
  • Co-Researchers

    (22 People)
  •  データハイブリッドなリアクティブプログラムの解析技術と自動合成・説明抽出への応用

    • Principal Investigator
      関 浩之
    • Project Period (FY)
      2022 – 2024
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Review Section
      Basic Section 60050:Software-related
    • Research Institution
      Nagoya University
  •  A design of automaton network with data and time based on a compositional active learningPrincipal Investigator

    • Principal Investigator
      結縁 祥治
    • Project Period (FY)
      2021 – 2025
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Review Section
      Basic Section 60050:Software-related
    • Research Institution
      Nagoya University
  •  Quantitative extension of formal models and its application to software analysis

    • Principal Investigator
      Seki Hiroyuki
    • Project Period (FY)
      2019 – 2022
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Review Section
      Basic Section 60050:Software-related
    • Research Institution
      Nagoya University
  •  A discrete execution model of dense-timed programsPrincipal Investigator

    • Principal Investigator
      YUEN SHOJI
    • Project Period (FY)
      2017 – 2019
    • Research Category
      Grant-in-Aid for Challenging Research (Exploratory)
    • Research Field
      Information science, computer engineering, and related fields
    • Research Institution
      Nagoya University
  •  A reversible debugging model for real-time concurrent programsPrincipal Investigator

    • Principal Investigator
      YUEN SHOJI
    • Project Period (FY)
      2017 – 2020
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Software
    • Research Institution
      Nagoya University
  •  Static Analysis and Dynamic Monitoring Methods for Software Security and Privacy

    • Principal Investigator
      Seki Hiroyuki
    • Project Period (FY)
      2015 – 2018
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Software
    • Research Institution
      Nagoya University
  •  Verification of real-time systems based on proving codesPrincipal Investigator

    • Principal Investigator
      Yuen Shoji
    • Project Period (FY)
      2014 – 2016
    • Research Category
      Grant-in-Aid for Challenging Exploratory Research
    • Research Field
      Software
    • Research Institution
      Nagoya University
  •  Verification of real-time reactive systems in high-level programming languagesPrincipal Investigator

    • Principal Investigator
      Yuen Shoji
    • Project Period (FY)
      2013 – 2016
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Software
    • Research Institution
      Nagoya University
  •  A Development Method for Dependable WebService-ware

    • Principal Investigator
      AGUSA Kiyoshi
    • Project Period (FY)
      2008 – 2011
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Software
    • Research Institution
      Nagoya University
  •  A reliable design method for embedded systems based on choreography descriptionsPrincipal Investigator

    • Principal Investigator
      YUEN Shoji
    • Project Period (FY)
      2007 – 2009
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Software
    • Research Institution
      Nagoya University
  •  Semantic Refacteting Techniqus for Round-trip development of Web applications

    • Principal Investigator
      AGUSA Kiyoshi
    • Project Period (FY)
      2005 – 2007
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Software
    • Research Institution
      Nagoya University
  •  Modeling Techniques aiming at Behavioral Verification for Developing Reliable Web ApplicationsPrincipal Investigator

    • Principal Investigator
      YUEN Syouji
    • Project Period (FY)
      2004 – 2006
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Computer system/Network
    • Research Institution
      Nagoya University
  •  Software Models for Building Reliable Reactive Middle-ware

    • Principal Investigator
      AGUSA Kiyoshi
    • Project Period (FY)
      2002 – 2004
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      計算機科学
    • Research Institution
      Nagoya University
  •  Modeling Techniques for real-time concurrent software based on the Structural Operationl SemanticsPrincipal Investigator

    • Principal Investigator
      YUEN Shoji
    • Project Period (FY)
      2001 – 2003
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      計算機科学
    • Research Institution
      Nagoya University
  •  通信プロセスモデルに基づく発展的プログラミングの研究Principal Investigator

    • Principal Investigator
      結縁 祥治
    • Project Period (FY)
      1998 – 1999
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas (A)
    • Research Institution
      Nagoya University
  •  通信プロセス指向実時間並行プログラミングシステムの構築Principal Investigator

    • Principal Investigator
      結縁 祥治
    • Project Period (FY)
      1998 – 1999
    • Research Category
      Grant-in-Aid for Encouragement of Young Scientists (A)
    • Research Field
      計算機科学
    • Research Institution
      Nagoya University
  •  Research on Software Recycle Environment -Design and Implementation of Browser, Slicer, and Specializer-

    • Principal Investigator
      AGUSA Kiyoshi
    • Project Period (FY)
      1998 – 2000
    • Research Category
      Grant-in-Aid for Scientific Research (A).
    • Research Field
      計算機科学
    • Research Institution
      Nagoya University
  •  通信プロセスモデルにもとづく実時間並行プログラムの検証と実現に関する研究Principal Investigator

    • Principal Investigator
      結縁 祥二
    • Project Period (FY)
      1996
    • Research Category
      Grant-in-Aid for Encouragement of Young Scientists (A)
    • Research Field
      計算機科学
    • Research Institution
      Nagoya University
  •  A Fundamental Research for Formal Models and Verification Techniques of Open Software

    • Principal Investigator
      INAGAKI Yasuyoshi
    • Project Period (FY)
      1996 – 1997
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      計算機科学
    • Research Institution
      Nagoya University
  •  Fundamental research on algebraic meta-programming

    • Principal Investigator
      HAMAGUCHI Takeshi
    • Project Period (FY)
      1996 – 1997
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      計算機科学
    • Research Institution
      Nagoya University
  •  Computer Aided Software Design and Verification for Embedded System

    • Principal Investigator
      AGUSA Kiyoshi
    • Project Period (FY)
      1996 – 1998
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      情報システム学(含情報図書館学)
    • Research Institution
      Nagoya University
  •  関数型言語のユーザインターフェースに関する基礎的研究

    • Principal Investigator
      稲垣 康善
    • Project Period (FY)
      1995
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      計算機科学
    • Research Institution
      Nagoya University
  •  Implementing Visual Programming Environment for Rewriting Computation

    • Principal Investigator
      INAGAKI Yasuyoshi, 坂部 俊樹
    • Project Period (FY)
      1995 – 1997
    • Research Category
      Grant-in-Aid for Scientific Research (A)
    • Research Field
      計算機科学
    • Research Institution
      Nagoya University
  •  メタ等式プログラミングに関する基礎的研究

    • Principal Investigator
      SAKABE Toshiki
    • Project Period (FY)
      1992
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      Informatics
    • Research Institution
      Nagoya University
  •  Foundamental Study on Fundational Model of Concurrent Computation

    • Principal Investigator
      SAKABE Toshiki
    • Project Period (FY)
      1990 – 1991
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      Informatics
    • Research Institution
      Nagoya University

All 2024 2023 2022 2020 2019 2018 2017 2016 2015 2014 2013 2011 2010 2009 2008 2007 2006 2005 2004 Other

All Journal Article Presentation Patent

  • [Journal Article] revTPL: The Reversible Temporal Process Language2024

    • Author(s)
      Bocchi Laura、Lanese Ivan、Mezzina Claudio Antares、Yuen Shoji
    • Journal Title

      Logical Methods in Computer Science

      Volume: Volume 20, Issue 1

    • DOI

      10.46298/lmcs-20(1:11)2024

    • Peer Reviewed / Open Access / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-23K21654
  • [Journal Article] CRIL: A Concurrent Reversible Intermediate Language2023

    • Author(s)
      Oguchi Shunya, Yuen Shoji
    • Journal Title

      Electronic Proceedings in Theoretical Computer Science

      Volume: 387 Pages: 149-167

    • DOI

      10.4204/eptcs.387.11

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-23K21654
  • [Journal Article] The Reversible Temporal Process Language2022

    • Author(s)
      Bocchi Laura、Lanese Ivan、Mezzina Claudio Antares、Yuen Shoji
    • Journal Title

      FORTE 2022, Lecture Notes in Computer Science

      Volume: 13273 Pages: 31-49

    • DOI

      10.1007/978-3-031-08679-3_3

    • ISBN
      9783031086786, 9783031086793
    • Peer Reviewed / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-23K21654
  • [Journal Article] A Reversible Debugger for Imperative Parallel Programs with Contracts2022

    • Author(s)
      Ikeda Takashi、Yuen Shoji
    • Journal Title

      RC2022, Lecture Notes in Computer Science

      Volume: 13354 Pages: 204-212

    • DOI

      10.1007/978-3-031-09005-9_14

    • ISBN
      9783031090042, 9783031090059
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23K21654
  • [Journal Article] Automating Time-series Safety Analysis for Automotive Control Systems Using Weighted Partial Max-SMT2020

    • Author(s)
      Shuichi Sato, Shogo Hattori, Hiroyuki Seki, Yutaka Inamori, Shoji Yuen
    • Journal Title

      Journal of Information Processing

      Volume: 28 Issue: 0 Pages: 124-135

    • DOI

      10.2197/ipsjjip.28.124

    • NAID

      130007798629

    • ISSN
      1882-6652
    • Language
      English
    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-17K19969, KAKENHI-PROJECT-17H01722
  • [Journal Article] A Reversible Runtime Environment for Parallel Programs2020

    • Author(s)
      Ikeda Takashi、Yuen Shoji
    • Journal Title

      Lecture Notes in Computer Science

      Volume: 12227 Pages: 272-279

    • DOI

      10.1007/978-3-030-52482-1_18

    • ISBN
      9783030524814, 9783030524821
    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-17H01722
  • [Journal Article] Multiparty Session Programming With Global Protocol Combinators2020

    • Author(s)
      Keigo Imai, Rumiyana Neykova, Nobuko Yoshida and Shoji Yuen
    • Journal Title

      Leibniz International Proceedings in Informatics

      Volume: 166

    • Peer Reviewed / Open Access / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17H01722
  • [Journal Article] Session-ocaml: A session-based library with polarities and lenses2019

    • Author(s)
      Imai Keigo、Yoshida Nobuko、Yuen Shoji
    • Journal Title

      Science of Computer Programming

      Volume: 172 Pages: 135-159

    • DOI

      10.1016/j.scico.2018.08.005

    • Peer Reviewed / Open Access / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17K12662, KAKENHI-PROJECT-17K19969, KAKENHI-PROJECT-17H01722
  • [Journal Article] Updatable timed automata with one updatable clock2018

    • Author(s)
      Li Guoqiang、Wen Yunqing、Yuen Shoji
    • Journal Title

      Science China Information Sciences

      Volume: 61 Issue: 1 Pages: 1-14

    • DOI

      10.1007/s11432-016-9027-y

    • Peer Reviewed / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17K19969
  • [Journal Article] Reversing Parallel Programs with Blocks and Procedures2018

    • Author(s)
      Hoey James、Ulidowski Irek、Yuen Shoji
    • Journal Title

      Electronic Proceedings in Theoretical Computer Science

      Volume: 276 Pages: 69-86

    • DOI

      10.4204/eptcs.276.7

    • Peer Reviewed / Open Access / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17H01722
  • [Journal Article] Reversing Event Structures2018

    • Author(s)
      Ulidowski Irek、Phillips Iain、Yuen Shoji
    • Journal Title

      New Generation Computing

      Volume: 36 Issue: 3 Pages: 281-306

    • DOI

      10.1007/s00354-018-0040-8

    • Peer Reviewed / Open Access / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17H01722
  • [Journal Article] クロック凍結機構を持つ稠密時間プッシュダウンオートマトンの記号実行2017

    • Author(s)
      平岡 祥、結縁祥治
    • Journal Title

      信学技法SS2016-60

      Volume: 116-512 Pages: 1-6

    • Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-26540026
  • [Journal Article] クロック凍結機構を持つ稠密時間プッシュダウンオートマトンの記号実行2017

    • Author(s)
      平岡祥、結縁祥治
    • Journal Title

      信学技報,SS2016-60

      Volume: 116-512 Pages: 1-6

    • Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-25280023
  • [Journal Article] Nested Timed Automata with Invariants2017

    • Author(s)
      Wang Yuwei、Li Guoqiang、Yuen Shoji
    • Journal Title

      Lecture Notes in Computer Science

      Volume: 10606 Pages: 77-93

    • DOI

      10.1007/978-3-319-69483-2_5

    • ISBN
      9783319694825, 9783319694832
    • Peer Reviewed / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17K19969, KAKENHI-PROJECT-17H01722
  • [Journal Article] Androidアプリケーションの並行実行における予期しない消費電力増加の検出2017

    • Author(s)
      稲垣貴大・結縁祥治
    • Journal Title

      信学技報,SS2016-60

      Volume: 116-512 Pages: 85-90

    • Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-25280023
  • [Journal Article] Reversing Imperative Parallel Programs2017

    • Author(s)
      Hoey James、Ulidowski Irek、Yuen Shoji
    • Journal Title

      Electronic Proceedings in Theoretical Computer Science

      Volume: 255 Pages: 51-66

    • DOI

      10.4204/eptcs.255.4

    • Peer Reviewed / Open Access / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17H01722
  • [Journal Article] Nested Timed Automata with Diagonal Constraints2017

    • Author(s)
      Wang Yuwei、Wen Yunqing、Li Guoqiang、Yuen Shoji
    • Journal Title

      Lecture Notes in Computer Science

      Volume: 10610 Pages: 396-412

    • DOI

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

    • ISBN
      9783319686899, 9783319686905
    • Peer Reviewed / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17K19969, KAKENHI-PROJECT-17H01722
  • [Journal Article] Session-ocaml: A Session-Based Library with Polarities and Lenses2017

    • Author(s)
      Imai Keigo、Yoshida Nobuko、Yuen Shoji
    • Journal Title

      Lecture Notes in Computer Science

      Volume: 10319 Pages: 99-118

    • DOI

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

    • ISBN
      9783319597454, 9783319597461
    • Peer Reviewed / Open Access / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17K19969, KAKENHI-PROJECT-17K12662, KAKENHI-PROJECT-17H01722
  • [Journal Article] ハイブリッドシステムに対するCCSの拡張について2016

    • Author(s)
      川北悠人、結縁祥治
    • Journal Title

      信学技法ソフトウェアサイエンス

      Volume: IEICE-SS2015-67 Pages: 129-134

    • Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-26540026
  • [Journal Article] On Reachability Analysis of Updatable Tiemd Automata with One Updatable Clock2016

    • Author(s)
      Yunqing Wen, Guoqiang Li, Shoji Yuen
    • Journal Title

      Lecture Notes in Computer Science

      Volume: 9559 Pages: 147-161

    • DOI

      10.1007/978-3-319-31220-0_11

    • ISBN
      9783319312194, 9783319312200
    • Peer Reviewed / Acknowledgement Compliant / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-26540026, KAKENHI-PROJECT-25280023
  • [Journal Article] クロック凍結機構を持つ稠密時間プッシュダウンオートマトンのゾーン構成による検証2016

    • Author(s)
      平岡祥、結縁祥治
    • Journal Title

      信学技報,SS2016-25

      Volume: 116-277 Pages: 43-48

    • Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-25280023
  • [Journal Article] クロック凍結機構を持つ稠密時間プッシュダウンオートマトンのゾーン構成による検証2016

    • Author(s)
      平岡 祥、結縁祥治
    • Journal Title

      信学技法SS2016-25

      Volume: 116-277 Pages: 43-48

    • Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-26540026
  • [Journal Article] Yampaプログラム実行のための振舞いモデル2016

    • Author(s)
      市橋友樹、結縁祥治
    • Journal Title

      信学技法SS2016-11

      Volume: 116-127 Pages: 99-104

    • Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-26540026
  • [Journal Article] Toppers/SSPカーネルのタスク制御に対する低レベルコード証明2015

    • Author(s)
      荒川 洸、結縁祥治
    • Journal Title

      電子情報通信学会技報

      Volume: 114-510 Pages: 31-36

    • Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-26540026
  • [Journal Article] An Over-Approximation Forward Analysis for Nested Timed Automata.2015

    • Author(s)
      Yunqing Wen, Guoqiang Li, Shoji Yuen
    • Journal Title

      4th International Workshop on SOFL + MSVL (SOFL+MSVL'14), Lecture Notes in Computer Science

      Volume: 8979 Pages: 62-80

    • DOI

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

    • ISBN
      9783319174037, 9783319174044
    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-25280023, KAKENHI-PROJECT-26540026
  • [Journal Article] 部分観測におけるMaxSATソルバを用いたスーパバイザ合成手法2015

    • Author(s)
      廣田 樹、結縁祥治、東道徹也
    • Journal Title

      電子情報通信学会技報

      Volume: 114-416 Pages: 79-84

    • Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-26540026
  • [Journal Article] Nested Timed Automata with Frozen Clocks2015

    • Author(s)
      Guoqiang Li, Mizuhito Ogawa, Shoji Yuen
    • Journal Title

      Lecture Notes in Computer Science

      Volume: 9268 Pages: 189-205

    • DOI

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

    • ISBN
      9783319229744, 9783319229751
    • Peer Reviewed / Acknowledgement Compliant / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-25280023
  • [Journal Article] ハイブリッドプロセス計算を用いたスーパーバイザ合成について2015

    • Author(s)
      川北悠人、結縁祥治
    • Journal Title

      信学技法ソフトウェアサイエンス

      Volume: IEICE-SS2015-2 Pages: 7-10

    • Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-26540026
  • [Journal Article] HCCSによる再帰的ハイブリッドシステムの記述2015

    • Author(s)
      川北悠人、結縁祥治
    • Journal Title

      信学技法ソフトウェアサイエンス

      Volume: IEICE-SS2015-36 Pages: 7-12

    • Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-26540026
  • [Journal Article] 時間制約によるAlloy記述の拡張2014

    • Author(s)
      黒板亮太, 結縁祥治
    • Journal Title

      信学技法ソフトウェアサイエンス

      Volume: 113-448 Pages: 1-6

    • Data Source
      KAKENHI-PROJECT-25280023
  • [Journal Article] Concurrency and reversibility2014

    • Author(s)
      Irek Ulidowski, Iain Phillips and Shoji Yuen
    • Journal Title

      Reversible Computation 2014, Lecture Notes in Computer Science

      Volume: 8507 Pages: 1-14

    • DOI

      10.1007/978-3-319-08494-7_1

    • ISBN
      9783319084930, 9783319084947
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-25280023
  • [Journal Article] UPPAALを用いたLEGO Mindstorms EV3制御プログラムの合成2014

    • Author(s)
      荒川 洸、結縁祥治
    • Journal Title

      電子情報通信学会技報

      Volume: 114-271 Pages: 41-46

    • Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-26540026
  • [Journal Article] 離散事象システムにおけるMaxSATソルバを用いた最大可制御部分仕様の導出2014

    • Author(s)
      廣田 樹、結縁祥治、東道徹也
    • Journal Title

      電子情報通信学会技報

      Volume: 114-271 Pages: 35-40

    • Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-26540026
  • [Journal Article] 値付きタスクオートマトンに基づくコストを意識した実時間タスクスケジューリング2014

    • Author(s)
      結縁祥治、亀井達郎
    • Journal Title

      電子情報通信学会技報

      Volume: 114-127 Pages: 37-42

    • Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-26540026
  • [Journal Article] Nested Timed Automata2013

    • Author(s)
      Guoqiang Li, Xiaojuan Cai, Mizuhito Ogawa, Shoji Yuen
    • Journal Title

      Lecture Notes in Computer Science

      Volume: 8053 Pages: 168-182

    • DOI

      10.1007/978-3-642-40229-6_12

    • NAID

      110009595806

    • ISBN
      9783642402289, 9783642402296
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-25280023
  • [Journal Article] Modelling of Bonding with Processes and Events2013

    • Author(s)
      Iain Phillips, Irek Ulidwoski, Shoji Yuen
    • Journal Title

      Lecture Notes in Computer Science

      Volume: 7948 Pages: 141-154

    • DOI

      10.1007/978-3-642-38986-3_12

    • ISBN
      9783642389856, 9783642389863
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-25280023
  • [Journal Article] 無限小定数と限量子除去法によるハイブリッドシステムの検証に向けて2013

    • Author(s)
      岩塚卓弥、寺内多智弘、結縁祥治
    • Journal Title

      情報処理学会論文誌(PRO)

      Volume: 6(3) Pages: 20-32

    • NAID

      110009656444

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-25280023
  • [Journal Article] Modelling and analysis of real-time systems with mutex components2011

    • Author(s)
      Guoqiang Li, Xiaojuan Cai, Shoji Yuen
    • Journal Title

      International Journal of Foundation of Computer Science (採録決定)

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20300009
  • [Journal Article] Session Type Inference in Haskell2011

    • Author(s)
      Keigo Imai, Shoji Yuen, and Kiyoshi Agusa
    • Journal Title

      Electronic Proceedings in Theoretical Computer Science

      Volume: Vol.69 Pages: 74-91

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20300009
  • [Journal Article] Session type inference in Haskell2011

    • Author(s)
      Keigo Imai, Shoji Yuen, Kiyoshi Agusa
    • Journal Title

      Post-proceedings of PLACES10, EPTCS 2011 (採録決定)

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20300009
  • [Journal Article] 動的電圧制御システムにおける評価戦略選択に基づく高効率消費エネルギー関数型プログラミ2009

    • Author(s)
      横山哲郎, 今井敬吾, 曾剛, 冨山宏之, 高田広章, 結縁祥治
    • Journal Title

      情報処理学会論文誌 vol. 2, no. 2(PR041)

      Pages: 54-69

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19500026
  • [Journal Article] Generating Priority Rewrite Systems for Osos Process Langauges2009

    • Author(s)
      Irek Ulidowski, Shoji Yuen
    • Journal Title

      Information and Computation vol.207,no.2

      Pages: 120-145

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19500026
  • [Journal Article] 動的電圧制御システムにおける評価戦略選択に基づく高効率消費エネルギー関数型プログラミング2009

    • Author(s)
      横山哲郎, 今井敬吾, 曾剛, 冨山宏之, 高田広章, 結縁祥治
    • Journal Title

      情報処理学会論文誌 vol.2,no.2

      Pages: 54-69

    • NAID

      110007970891

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19500026
  • [Journal Article] 通信プロセス計算とその時間拡張2008

    • Author(s)
      結縁祥治
    • Journal Title

      システム制御情報学会誌 vol.52,no.9

      Pages: 322-327

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19500026
  • [Journal Article] A Deadlock free analysis for AIBO OPEN-R Programs based on Communicating Processes2007

    • Author(s)
      Ryo, Suetsugu, Shoji, Yuen, Kiyoshi, Agusa
    • Journal Title

      IPSJ Journal Vol.48

      Pages: 2915-2924

    • NAID

      110006422972

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-17300006
  • [Journal Article] π計算におけるセッションの構造化2007

    • Author(s)
      今井 敬吾, 結縁 祥治, 阿草 清滋
    • Journal Title

      第9回プログラミングおよびプログラミング言語ワークショップ(PPL2007)

      Pages: 140-154

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-16500027
  • [Journal Article] Structuring Sessions in the pi-calculus2007

    • Author(s)
      Keigo Imai, Shoji Yuen, Kiyoshi Agusa
    • Journal Title

      In Proceedings of the 9^<th> workshop of programming and programming languages (PPL2007)

      Pages: 140-154

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-16500027
  • [Journal Article] 通信プロセスモデルによるAIBO OPEN-Rプログラムのデッドロックフリー解析手法2007

    • Author(s)
      末次亮、結縁祥治、阿草清滋
    • Journal Title

      情報処理学会論文誌 48

      Pages: 2915-2924

    • NAID

      110006422972

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17300006
  • [Journal Article] 通信プロセスモデルによるAIBO OPEN-Rプログラムのデッドロックフリー解析手法2007

    • Author(s)
      末次亮、結縁祥治、阿草清滋
    • Journal Title

      情報処理学会論文誌 48

      Pages: 2915-2924

    • NAID

      110006422972

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19500026
  • [Journal Article] 通信プロセスモデルによるAIBO OPEN-Rプログラムのデッドロックフリー解析手法2007

    • Author(s)
      末次亮, 結縁祥治, 阿草清滋
    • Journal Title

      情報処理学会論文誌 vol.48,no.9

      Pages: 2915-2924

    • NAID

      110006422972

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19500026
  • [Journal Article] π計算におけるセッションの構造化2007

    • Author(s)
      今井 敬吾, 結縁 祥治, 阿草 清滋
    • Journal Title

      第9回プログラミングおよびプログラミング言語ワークショップ (PPL2007)

      Pages: 140-154

    • Data Source
      KAKENHI-PROJECT-16500027
  • [Journal Article] 関心の分離に基づくコンテンツ制御フレームワーク2006

    • Author(s)
      飯田 恵大, 金子 伸幸, 山本 晋一郎, 結縁 祥治, 阿草 清滋
    • Journal Title

      ソフトウェア工学の基礎ワークショップFOSE2006 XIII

      Pages: 119-124

    • Data Source
      KAKENHI-PROJECT-17300006
  • [Journal Article] コレオグラフィ記述言語を用いた家電機器の連携動作の通信指向プログラミング2006

    • Author(s)
      バンダリさくら, 結縁祥治, 阿草清滋
    • Journal Title

      第4回ディペンダブルソフトウェアワークショップDSW 2006-2 論文集

      Pages: 11-20

    • Data Source
      KAKENHI-PROJECT-17300006
  • [Journal Article] A Network Programming Framework in Haskell Based on Asynchronous Localized pi-calculus2006

    • Author(s)
      Keigo Imai, Shoji Yuen, Kiyoshi Agusa
    • Journal Title

      IPSJ transaction : Programming Vol 47

      Pages: 10-28

    • NAID

      110004856995

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-16500027
  • [Journal Article] Congruence Properties for a timed extension of the pi-calculus2006

    • Author(s)
      Hiroaki Kuwabara, Shoji Yuen, Kiyoshi Agusa
    • Journal Title

      Journal of IEICE J89-D4

      Pages: 632-641

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-16500027
  • [Journal Article] コレオグラフィ記述言語を用いた家電機器の連携動作の通信指向プログラミング2006

    • Author(s)
      バンダリ さくら, 結縁 祥治, 阿草清滋
    • Journal Title

      第4回ディぺンダブルソフトウェアワークショップDSW2006-2論文集

      Pages: 11-20

    • Data Source
      KAKENHI-PROJECT-16500027
  • [Journal Article] π計算に対する時間拡張と合同的性質2006

    • Author(s)
      桑原寛明, 結縁祥治, 阿草清滋
    • Journal Title

      電子情報通信学会論文誌 J89-D-4

      Pages: 632-641

    • NAID

      110007380427

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-16500027
  • [Journal Article] 関心の分離に基づくコンテンツ制御フレームワーク2006

    • Author(s)
      飯田 恵大, 金子 伸幸, 山本 晋一郎, 結縁 祥治, 阿草 清滋
    • Journal Title

      ソフトウェア工学の基礎ワークショップFOSE2006 XIII

      Pages: 119-124

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-16500027
  • [Journal Article] Haskellのための非同期局所化π計算に基づくネットワークプログラミングフレームワーク2006

    • Author(s)
      今井敬吾, 結縁祥治, 阿草清滋
    • Journal Title

      情報処理学会論文誌(トランザクション)プログラミング 47

      Pages: 10-28

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-16500027
  • [Journal Article] コレオグラフィ記述言語を用いた家電機器の連携動作の通信指向プログラミング2006

    • Author(s)
      バンダリ さくら, 結縁 祥治, 阿草 清滋
    • Journal Title

      第4回ディペンダブルソフトウェアワークショップDSW 2006-2 論文集

      Pages: 11-20

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-16500027
  • [Journal Article] Communication Centered Concurrent Programming for Integrated Operation of Networked Home Appliances by the Choreography Description Language2006

    • Author(s)
      Sakura Bhandari, Shoji Yuen, Kiyoshi Agusa
    • Journal Title

      In Proceedings of the 4^<th> workshop of dependable software(DSW2006-2)

      Pages: 11-20

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-16500027
  • [Journal Article] A Content Control Framework based on Separation of Concern2006

    • Author(s)
      Yoshihiro Iida, Nobuyuki Kaneko, Shinichiro Yamamoto, Shoji Yuen, Kiyoshi Agusa
    • Journal Title

      In Proceedings of the thirteenth Workshop for the Foundation Of Software Engineering(FOSE2006)

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-16500027
  • [Journal Article] Supporting Quality Assurance of Client Web Applications: Identifying and Addressing the Challenges2005

    • Author(s)
      Md. Sharaf Aun, Shoji Yuen, Kiyoshi Agusa
    • Journal Title

      Journal of Web Engineering 4

      Pages: 144-164

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17300006
  • [Journal Article] Web Automata : A Behavioral Model of Web Applications based on the MVC model2005

    • Author(s)
      Shoji Yuen, Keishi Kato, Daiju Kato, Kiyoshi Agusa
    • Journal Title

      Computer Software Vol 22

      Pages: 44-57

    • NAID

      130000058393

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-16500027
  • [Journal Article] "Congruences for a Timed Extension of the pi calculus" Atsushi Mizuno, Ken Mano, Yoshiyuki Kawabe, Hiroaki2005

    • Author(s)
      Hiroaki Kuwabara, Shoji Yuen, Kiyoshi Agusa
    • Journal Title

      In Proceedings of the workshop of Dependable Software Tools and Methods, DSN2005, Supplemental Volume

      Pages: 207-214

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-16500027
  • [Journal Article] Supporting Quality Assurance of Client Web Applications : Identifying and Addressing the Challenges2005

    • Author(s)
      Md. Sharaf, Aun, Shoji, Yuen, Kiyoshi, Agusa
    • Journal Title

      Journal of Web Engineering Vol.4

      Pages: 144-164

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-17300006
  • [Journal Article] 通信プロセスモデルと形式意味論に基づくソフトウェアのモデル化2005

    • Author(s)
      結縁祥治
    • Journal Title

      コンピュータソフトウェア (採録決定・印刷中)

    • NAID

      110008016647

    • Data Source
      KAKENHI-PROJECT-16500027
  • [Journal Article] Web Automata : A Behavioral Model of Web Applications based on the MVC2005

    • Author(s)
      S.Yuen, K.Kato, D.Kato, K.Agusa
    • Journal Title

      コンピュータソフトウェア 22巻

      Pages: 44-57

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-16500027
  • [Journal Article] Congruence Properties for a Timed Extension of the π-Calculus2005

    • Author(s)
      Hiroaki Kuwabara, Shoji Yuen, Kiyoshi Agusa
    • Journal Title

      Supplemental Volume of the 2005 International Conference on Dependable Systems & Networks DSN2005

      Pages: 207-214

    • NAID

      110007380427

    • Data Source
      KAKENHI-PROJECT-17300006
  • [Journal Article] Name-passing style GUI programming in the pi-calculus based language Nepi2005

    • Author(s)
      Kuwabara, Kiyoshi Agusa, Shoji Yuen
    • Journal Title

      Electric Notes in Theoretical Computer Science Vol. 139

      Pages: 145-168

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-16500027
  • [Journal Article] 通信プロセスモデルと形式意味論に基づくソフトウェアのモデル化2005

    • Author(s)
      結縁祥治
    • Journal Title

      コンピュータソフトウェア 22巻

      Pages: 22-43

    • NAID

      110008016647

    • Data Source
      KAKENHI-PROJECT-16500027
  • [Journal Article] Name-passing style GUI programming in the π-calculus-based language Nepi2005

    • Author(s)
      A.Mizuno, K.Mano, Y.Kawabe, H.Kuwabara, K.Agusa, S.Yuen
    • Journal Title

      Electric Notes in Theoretical Computer Science 139

      Pages: 145-168

    • Data Source
      KAKENHI-PROJECT-16500027
  • [Journal Article] Congruences for a Timed Extension of the pi Calculus2005

    • Author(s)
      H.Kuwabara, S.Yuen, K.Agusa
    • Journal Title

      Proceedings of the workshop of Dependable Software - Tools and Methods, DSN2005 Suppliemtal Volume

      Pages: 207-214

    • Data Source
      KAKENHI-PROJECT-16500027
  • [Journal Article] 通信プロセスモデルと形式意味論に基づくソフトウェアのモデル化2005

    • Author(s)
      結縁祥治
    • Journal Title

      コンピューターソフトウェア (採録決定、印刷中)

    • NAID

      110008016647

    • Data Source
      KAKENHI-PROJECT-14380141
  • [Journal Article] Name-passing style GUI programming in the п-calculus-based language Nepi2005

    • Author(s)
      A.Mizuno, K.Mano, Y.Kawabe, H.Kuwabara, K.Agusa, S.Yuen
    • Journal Title

      Electric Notes in Theoretical Computer Science 139

      Pages: 145-168

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-16500027
  • [Journal Article] Web Automata : A behavioral model of Web applications based on the MVC model2005

    • Author(s)
      Shoji Yuen, Keishi Kato, Daiju Kato, Kiyoshi Agusa
    • Journal Title

      コンピュータソフトウェア (採録決定・印刷中)

    • NAID

      130000058393

    • Data Source
      KAKENHI-PROJECT-16500027
  • [Journal Article] Congruences for a Timed Extension of the pi Calculus2005

    • Author(s)
      H.Kuwabara, S.Yuen, K.Agusa
    • Journal Title

      Proceedings of the workshop of Dependable Software -Tools and Methods, DSN2005 Suppliemta 1 Volume

      Pages: 207-214

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-16500027
  • [Journal Article] Name-passing Style GUI programming in the π-calculus-based language2004

    • Author(s)
      A.Mizuno, K.Mano, Y.Kawabe, H.Kuwabara, S.Yuen, K.Agusa
    • Journal Title

      Proceedings of 6^<th> AMAST Workshop on Real-Time Systems, Technical Report University of Leicester 2004/28

      Pages: 49-66

    • Data Source
      KAKENHI-PROJECT-16500027
  • [Journal Article] Name-passing style GUI Programming in a π calculus based language Nepi2004

    • Author(s)
      A.Mizuno, K.Mano, Y.Kawabe, H.Kuwabara, K.Agusa, S.Yuen
    • Journal Title

      In Proceedings of ARTS2004, Technical Reprot No.2004/28,University of Leicester 2004/28(ENTCS採録決定、印刷中)

      Pages: 49-66

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-14380141
  • [Journal Article] FCDGに基づいたコーディングパターン2004

    • Author(s)
      渥美紀寿, 山本晋一郎, 結縁祥治, 阿草清滋
    • Journal Title

      コンピューターソフトウェア Vol.21, No.4

      Pages: 27-36

    • NAID

      130004549019

    • Data Source
      KAKENHI-PROJECT-14380141
  • [Journal Article] 時間オートマンの遷移制約記述に基づくAIBOプログラムスケルトンコードの生成手法2004

    • Author(s)
      末次亮, 結縁祥治, 阿草清滋
    • Journal Title

      組込みソフトウェアシンポジウム

      Pages: 126-133

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-14380141
  • [Journal Article] Process Languages with discrete relative time based on the Ordered SOS format and rooted eager bisimulation2004

    • Author(s)
      Irek Ulidowski, Shoji Yuen
    • Journal Title

      Journal of Logic and Algebraic Programming Vol 60-61

      Pages: 401-460

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-16500027
  • [Journal Article] Coding Patterns based on Function Call Dependency Graphs2004

    • Author(s)
      N.Atsumi, S.Yamamoto, S.Yuen, K.Agusa
    • Journal Title

      Computer Software Vol.21 No.4

      Pages: 27-36

    • NAID

      110003743171

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-14380141
  • [Journal Article] Process Languages with discrete relative time based on the Ordered SOS format and rooted eager bisimulation2004

    • Author(s)
      Irek Ulidowski, Shoji Yuen
    • Journal Title

      Journal of Logic and Algebraic Programming 60-61

      Pages: 401-460

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-16500027
  • [Journal Article] 時間付きπ計算によるリアルタイムオブジェクト指向言語の形式的記述2004

    • Author(s)
      桑原寛明, 結縁祥治, 阿草清滋
    • Journal Title

      情報処理学会論文誌 45巻4号

      Pages: 1498-1507

    • NAID

      110002712200

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-16500027
  • [Journal Article] 時間付きπ計算によるリアルタイムオブジェクト指向言語の形式的記述2004

    • Author(s)
      桑原寛明, 結縁祥治, 阿草清滋
    • Journal Title

      情報処理学会論文誌 Vol.45, No.6

      Pages: 1498-1507

    • NAID

      110002712200

    • Data Source
      KAKENHI-PROJECT-14380141
  • [Journal Article] An Algebraic Theory for a Timed Extension of the pi-calculus2004

    • Author(s)
      Hiroaki Kuwabara, Shoji Yuen, Kiyoshi Agusa
    • Journal Title

      In Proceedings of the eleventh Workshop for the Foundation Of Software Engineering(FOSE2004)

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-16500027
  • [Journal Article] π計算に対する時間拡張と代数的意味論2004

    • Author(s)
      桑原寛明, 結縁祥治, 阿草清滋
    • Journal Title

      ソフトウェア工学の基礎ワークショップFOSE2004 XII

      Pages: 97-108

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-16500027
  • [Journal Article] A Formal Description of a Real-time Object-oriented Language by the pi-calculus with Time2004

    • Author(s)
      Hiroaki Kuwabara, Shoji Yuen, Kiyoshi Agusa
    • Journal Title

      Journal of the Information Processing Society of Japan Vol 45 Issue 4

      Pages: 1498-1507

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-16500027
  • [Journal Article] An Approach for Debugging Client Dynamic Web Applications2004

    • Author(s)
      Mohamed Sharaf Aun, Shoji Yuen, Kiyoshi Agusa
    • Journal Title

      情報処理学会論文誌 45巻10号

      Pages: 2373-2383

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-16500027
  • [Journal Article] FCDGに基づいたコーディングパターン2004

    • Author(s)
      渥美紀寿, 山本晋一郎, 結縁祥治, 阿草清滋
    • Journal Title

      コンピューターソフトウェア Vol.21,No.4

      Pages: 27-36

    • NAID

      130004549019

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-14380141
  • [Journal Article] An AIBO Program Skeleton Code Generation Based on Transition Constraint Description of Timed Automata2004

    • Author(s)
      R.Suetsugu, S.Yuen, K-Agusa
    • Journal Title

      Proceedings of Embedded System Symposium 2004(ESS2004)

      Pages: 126-133

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-14380141
  • [Journal Article] A Formal Description of a Real-time Object-Oriented Language by the π calculus with Time2004

    • Author(s)
      H.Kuwabara, S.Yuen, K.Agusa
    • Journal Title

      Journal of IPSJ Vol.45, No.6

      Pages: 1497-1507

    • NAID

      110002712200

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-14380141
  • [Journal Article] Name-passing style GUI Programming in a π calculus based language Nepi2004

    • Author(s)
      A.Mizuno, K.Mano, Y.Kawabe, H.Kuwabara, K.Agusa, S.Yuen
    • Journal Title

      Proceedings of ARTS2004, Technical Reprot No.2004/28(University of Leicester)(Further revised version will apper in ENTCS)

      Pages: 49-66

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-14380141
  • [Journal Article] 時間付きπ計算によるリアルタイムオブジェクト指向言語の形式的記述2004

    • Author(s)
      桑原寛明, 結縁祥治, 阿草清滋
    • Journal Title

      情報処理学会論文誌 Vol.45,No.6

      Pages: 1498-1507

    • NAID

      110002712200

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-14380141
  • [Journal Article] An Approach for Debugging Client Dynamic Web Applications2004

    • Author(s)
      Mohamed Sharaf Aun, Shoji Yuen, Kiyoshi Agusa
    • Journal Title

      Journal of the Information Processing Society of Japan Vol.45Vol.45, Issue 10

      Pages: 2373-2383

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-16500027
  • [Journal Article] A session type system with subject reduction

    • Author(s)
      Keigo Imai, Syoji Yuen, Kiyoshi. Agusa
    • Journal Title

      IEICE Transaction

    • NAID

      10031126714

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20300009
  • [Patent] ウィジェット操作方法、装置、プログラムおよびこのプログラムを記録した記録媒体2004

    • Inventor(s)
      真野健, 河辺義信, 水野敦, 桑原寛明, 結縁祥治, 阿草清滋
    • Industrial Property Number
      2004-165578
    • Filing Date
      2004-06-03
    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-16500027
  • [Patent] ウィジェット操作方法、装置、プログラムおよびこのプログラムを記録した記録媒体2004

    • Inventor(s)
      真野 健, 河辺 義信, 水野 敦, 桑原 寛明, 結縁 祥治, 阿草 清滋
    • Industrial Property Rights Holder
      真野 健, 河辺 義信, 水野 敦, 桑原 寛明, 結縁 祥, 阿草 清滋
    • Industrial Property Number
      2004-165578
    • Filing Date
      2004-06-03
    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-14380141
  • [Presentation] Constant Propagation in CRIL by Bidirectional Data Flow Analysis2024

    • Author(s)
      Shunya Oguchi, Shoji Yuen
    • Organizer
      情報処理学会第147回プログラミング研究発表会
    • Data Source
      KAKENHI-PROJECT-23K21654
  • [Presentation] 可逆並行オブジェクト指向プログラミング言語:CROOPLPP2023

    • Author(s)
      赤池佑介,結縁祥治
    • Organizer
      電子情報通信学会ソフトウェアサイエンス研究会
    • Data Source
      KAKENHI-PROJECT-23K21654
  • [Presentation] Nested Timed Automataに対するZoneに基づく到達可能性解析2023

    • Author(s)
      城 聖一郎,小川瑞史,結縁祥治
    • Organizer
      電子情報通信学会ソフトウェアサイエンス研究会
    • Data Source
      KAKENHI-PROJECT-23K21654
  • [Presentation] CRIL: A Concurrent Reversible Intermediate Language2023

    • Author(s)
      Shunya Oguchi, Shoji Yuen
    • Organizer
      30th EXPRESS/20th SOS combined workshop
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-23K21654
  • [Presentation] A Reversible Debugger for Imperative Parallel Programs with Contracts2022

    • Author(s)
      Ikeda Takashi、Yuen Shoji
    • Organizer
      Reversibile Computation 2022
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-23K21654
  • [Presentation] 充足可能性判定を利用した実現可能な時間オートマトンの検証2022

    • Author(s)
      城 聖一郎・結縁祥治
    • Organizer
      電子情報通信学会ソフトウェアサイエンス研究会
    • Data Source
      KAKENHI-PROJECT-23K21654
  • [Presentation] ツリークエリを用いた時間システムの分割検証のための仮説学習2022

    • Author(s)
      新美航太郎・結縁祥治
    • Organizer
      電子情報通信学会ソフトウェアサイエンス研究会
    • Data Source
      KAKENHI-PROJECT-23K21654
  • [Presentation] The Reversible Temporal Process Language2022

    • Author(s)
      Bocchi Laura、Lanese Ivan、Mezzina Claudio Antares、Yuen Shoji
    • Organizer
      FORTE 2022
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-23K21654
  • [Presentation] サンプリング時間実行におけるUppaalを用いたYampaプログラムの振舞い検証2020

    • Author(s)
      中根里空,結縁祥治
    • Organizer
      日本ソフトウェア科学会第22回プログラミングおよびプログラミング言語ワークショップ PPL 2020
    • Data Source
      KAKENHI-PROJECT-17K19969
  • [Presentation] Simulinkモデルに対するChainerRLを用いたハイブリッド頑健性に基づく時相理論仕様の不具合導出2020

    • Author(s)
      大脇亮太,結縁祥治
    • Organizer
      電子情報通信システム数理と応用研究会
    • Data Source
      KAKENHI-PROJECT-17K19969
  • [Presentation] 離散時間実行環境におけるYampaプログラムに対するUppaalを用いた振舞い検証2019

    • Author(s)
      中根里空,結縁祥治
    • Organizer
      電子情報通信学会ソフトウェアサイエンス研究会
    • Data Source
      KAKENHI-PROJECT-17K19969
  • [Presentation] 離散時間実行環境におけるYampaプログラムに対するUppaalを用いた振舞い検証2019

    • Author(s)
      中根里空、結縁祥治
    • Organizer
      電子情報通信学会ソフトウェアサイエンス研究会SS2018-52
    • Data Source
      KAKENHI-PROJECT-17K19969
  • [Presentation] 時間付き可逆プロセス計算の合同性について2018

    • Author(s)
      山本曉、結縁祥治
    • Organizer
      電子情報通信学会ソフトウェアサイエンス研究会SS2018-5
    • Data Source
      KAKENHI-PROJECT-17H01722
  • [Presentation] 時間付き可逆プロセス計算2018

    • Author(s)
      山本曉、結縁祥治
    • Organizer
      電子情報通信学会ソフトウェアサイエンス研究会SS2018-5
    • Data Source
      KAKENHI-PROJECT-17H01722
  • [Presentation] 凍結クロックを持つ稠密時間プッシュダウンオートマトンの到達可能性のための記号ゾーン解析手法について2018

    • Author(s)
      結縁祥治、平岡祥
    • Organizer
      電子情報通信学会ソフトウェアサイエンス研究会 SS2018-65 pp.7-12
    • Data Source
      KAKENHI-PROJECT-17K19969
  • [Presentation] Towards Reachability Analysis of Dense Timed Pushdown Automata with Frozen Clocks2017

    • Author(s)
      Shoji Yuen
    • Organizer
      46th TRS Meeting
    • Place of Presentation
      篠島、愛知県
    • Year and Date
      2017-02-27
    • Data Source
      KAKENHI-PROJECT-25280023
  • [Presentation] Towards the zone-based reachability analysis of dense timed pushdown automata with frozen clocks2017

    • Author(s)
      Shoji Yuen
    • Organizer
      46th TRS meeting
    • Place of Presentation
      篠島、愛知県、日本
    • Year and Date
      2017-02-27
    • Data Source
      KAKENHI-PROJECT-26540026
  • [Presentation] Session Typed Programming with Poles and Lenses2017

    • Author(s)
      Keigo Imai, Shoji Yuen, Nobuko Yoshida
    • Organizer
      Dagstuhl Seminar 17501
    • Place of Presentation
      Dagstuhl, ドイツ
    • Year and Date
      2017-01-31
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-26540026
  • [Presentation] Session Typed Programming with Poles and Lenses2017

    • Author(s)
      Keigo Imai, Shoji Yuen, Nobuko Yoshida
    • Organizer
      Dagstuhl Seminar 17501
    • Place of Presentation
      Dagstuhl, ドイツ
    • Year and Date
      2017-01-31
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-25280023
  • [Presentation] 離散時間実行環境におけるYampaプログラムの振舞いモデル2017

    • Author(s)
      市橋友樹、結縁祥治
    • Organizer
      電子情報通信学会ソフトウェアサイエンス研究会 SS2017-24 pp.19-24
    • Data Source
      KAKENHI-PROJECT-17K19969
  • [Presentation] ②Automating Time Series Safety Analysis for Automotive Control Systems in STPA using Weighted Partial Max-SMT2016

    • Author(s)
      S. Sato, S. Hattori, H. Seki, Y. Inamori and S. Yuen
    • Organizer
      5th International Workshop on Formal Techniques for Safety-Critical Systems
    • Place of Presentation
      Tokyo, Japan
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15H02684
  • [Presentation] Automated Hazard Analysis with pMAX-SMT for Automobile Syst2015

    • Author(s)
      Shogo Hattori, Shoji Yuen, Hiroyuki Seki and Shuichi Sato
    • Organizer
      15th International Workshop on Automated Verification of Critical Systems
    • Place of Presentation
      Edinburgh, U.K.
    • Year and Date
      2015-09-02
    • Data Source
      KAKENHI-PROJECT-15H02684
  • [Presentation] Nested Timed Automata2014

    • Author(s)
      Guoqiang Li, Xiaojuan Cai, Mizuhito Ogawa, Shoji Yuen
    • Organizer
      第16回プログラミングおよびプログラミング言語ワークショップ
    • Place of Presentation
      熊本県阿蘇
    • Data Source
      KAKENHI-PROJECT-25280023
  • [Presentation] 時間制約によるAlloy記述の拡張2014

    • Author(s)
      黒板亮太, 結縁祥治
    • Organizer
      電子情報通信学会ソフトウェアサイエンス研究会
    • Place of Presentation
      沖縄県那覇市
    • Data Source
      KAKENHI-PROJECT-25280023
  • [Presentation] Modelling of Bonding with Processes and Events2013

    • Author(s)
      Iain Phillips, Irek Ulidwoski, Shoji Yuen
    • Organizer
      Reversible Computing 2013
    • Place of Presentation
      Victoria, Canada
    • Data Source
      KAKENHI-PROJECT-25280023
  • [Presentation] Nested Timed Automata2013

    • Author(s)
      Guoqiang Li, Xiaojuan Cai, Mizuhito Ogawa, Shoji Yuen
    • Organizer
      FORMATS 2013
    • Place of Presentation
      Buenos Aires, Argentina
    • Data Source
      KAKENHI-PROJECT-25280023
  • [Presentation] 否定前件を含む構造操作意味定義に対するプロセス計算コンパイラ2011

    • Author(s)
      伴潤、結縁祥治
    • Organizer
      電子情報通信学会、ソフトウェアサイエンス研究会
    • Year and Date
      2011-03-07
    • Data Source
      KAKENHI-PROJECT-20300009
  • [Presentation] 否定前件を含む構造操作意味定義に対するプロセス計算コンパイラ2011

    • Author(s)
      伴潤, 結縁祥治
    • Organizer
      電子情報通信学会ソフトウェアサイエンス研究会
    • Place of Presentation
      沖縄
    • Year and Date
      2011-03-07
    • Data Source
      KAKENHI-PROJECT-20300009
  • [Presentation] An Extension of DynAlloy with Concurrency2011

    • Author(s)
      Takuya Iwatsuka, Shoji Yuen
    • Organizer
      IEICE SIGSS(Joint Workshop on Software Science and Engineering)(IEICE Technical Report No.IEICE-SS2011-1)
    • Place of Presentation
      Seoul, Korea
    • Data Source
      KAKENHI-PROJECT-20300009
  • [Presentation] 名前渡しプロセス計算における優先度ガード2011

    • Author(s)
      結縁祥治、太田正悟
    • Organizer
      第13回プログラミングおよびプログラミング言語ワークショップ PPL2011, 246-257
    • Year and Date
      2011-03-11
    • Data Source
      KAKENHI-PROJECT-20300009
  • [Presentation] 並行処理記述のためのDynAlloyの拡張2011

    • Author(s)
      岩塚卓弥,結縁祥治
    • Organizer
      第13回プログラミングおよびプログラミング言語ワークショップ
    • Place of Presentation
      北海道
    • Year and Date
      2011-03-10
    • Data Source
      KAKENHI-PROJECT-20300009
  • [Presentation] Alloyによるタスクスケジューリング解析2011

    • Author(s)
      中堂園貴幸,結縁祥治
    • Organizer
      組込みシステムシンポジウム2011
    • Place of Presentation
      東京
    • Data Source
      KAKENHI-PROJECT-20300009
  • [Presentation] 名前渡しプロセス計算における優先度ガード2011

    • Author(s)
      結縁祥治,太田正悟
    • Organizer
      第13回プログラミングおよびプログラミング言語ワークショップ
    • Place of Presentation
      北海道
    • Year and Date
      2011-03-10
    • Data Source
      KAKENHI-PROJECT-20300009
  • [Presentation] 計算資源へのアクセス能力に基づく競合検査とデッドロック検査のための型解析2010

    • Author(s)
      坂野吉隆, 結縁祥治
    • Organizer
      電子情報通信学会ソフトウェアサイエンス研究会
    • Place of Presentation
      鹿児島大学(鹿児島県)
    • Year and Date
      2010-03-08
    • Data Source
      KAKENHI-PROJECT-20300009
  • [Presentation] Session Type Inference in Haskell2010

    • Author(s)
      今井敬吾, 結縁祥治, 阿草清滋
    • Organizer
      PLACES '10 : Programming Language Approaches to Concurrency and Communication-cEntric Software
    • Place of Presentation
      Coral Beach Hotel(Paphos, Cyprus)
    • Year and Date
      2010-03-21
    • Data Source
      KAKENHI-PROJECT-20300009
  • [Presentation] 極性をもたないセッション型システム2010

    • Author(s)
      今井敬吾, 結縁祥治, 阿草清滋
    • Organizer
      第12回プログラミングおよびプログラミング言語ワークショップPPL2010
    • Place of Presentation
      琴参閣(香川県)
    • Year and Date
      2010-03-03
    • Data Source
      KAKENHI-PROJECT-20300009
  • [Presentation] Session Type Inference in Haskell2010

    • Author(s)
      Keigo Imai, Shoji Yuen, Kiyoshi Agusa
    • Organizer
      In PLACES '10: Programming Language Approaches to Concurrency and Communication-cEntric Software
    • Place of Presentation
      Paphos(キプロス)
    • Data Source
      KAKENHI-PROJECT-19500026
  • [Presentation] 計算資源へのアクセス能力に基づく競合検査とデッドロック検査のための型解析2010

    • Author(s)
      坂野吉隆, 結縁祥治
    • Organizer
      電子情報通信学会技術研究報告
    • Place of Presentation
      鹿児島大学(鹿児島)
    • Data Source
      KAKENHI-PROJECT-19500026
  • [Presentation] 計算資源へのアクセス能力に基づく競合検査とデッドロック検査のための型解析2010

    • Author(s)
      坂野吉隆, 結縁祥治
    • Organizer
      電子情報通信学会ソフトウェアサイエンス研究会
    • Place of Presentation
      鹿児島
    • Year and Date
      2010-03-08
    • Data Source
      KAKENHI-PROJECT-19500026
  • [Presentation] Session Type Inference in Haskell2010

    • Author(s)
      Keigo Imai, Shoji Yuen, Kiyoshi Agusa
    • Organizer
      PLACES'10 : Programming Language Approaches to Concurrency and Communication-cEntric Software
    • Place of Presentation
      Paphos, Cyprus
    • Year and Date
      2010-03-21
    • Data Source
      KAKENHI-PROJECT-19500026
  • [Presentation] コレオグラフィに基づく高信頼通信指向GUIプログラミング2010

    • Author(s)
      下村翔, 結縁祥治
    • Organizer
      電子情報通信学会技術研究報告
    • Place of Presentation
      鹿児島大学(鹿児島)
    • Data Source
      KAKENHI-PROJECT-19500026
  • [Presentation] Modeling and Analysis of Real -Time Systems with Mutex Components2010

    • Author(s)
      Guoqiang Li, Xiaojuan Cai, Shoji Yuen
    • Organizer
      12th Advances in Parallel and Distributed Computing Models
    • Place of Presentation
      Atlanta, USA
    • Year and Date
      2010-04-19
    • Data Source
      KAKENHI-PROJECT-20300009
  • [Presentation] コレオグラフィに基づく高信頼通信指向GUIプログラミング2010

    • Author(s)
      下村翔, 結縁祥治
    • Organizer
      電子情報通信学会ソフトウェアサイエンス研究会
    • Place of Presentation
      鹿児島
    • Year and Date
      2010-03-08
    • Data Source
      KAKENHI-PROJECT-19500026
  • [Presentation] 極性をもたないセッション型システム2010

    • Author(s)
      今井敬吾,結縁祥治,阿草清滋
    • Organizer
      第12回プログラミングおよびプログラミング言語ワークショップPPL2010
    • Place of Presentation
      香川
    • Year and Date
      2010-03-03
    • Data Source
      KAKENHI-PROJECT-20300009
  • [Presentation] コレオグラフィに基づく高信頼通信指向GUIプログラミング2010

    • Author(s)
      下村翔, 結縁祥治
    • Organizer
      電子情報通信学会ソフトウェアサイエンス研究会
    • Place of Presentation
      鹿児島大学(鹿児島県)
    • Year and Date
      2010-03-08
    • Data Source
      KAKENHI-PROJECT-20300009
  • [Presentation] 極性を持たないセッション型システム2010

    • Author(s)
      今井敬吾、結縁祥治、阿草清滋
    • Organizer
      第12回プログラミングおよびプログラミング言語ワークショップ
    • Place of Presentation
      高松(香川)
    • Data Source
      KAKENHI-PROJECT-19500026
  • [Presentation] 極性をもたないセッション型システム2010

    • Author(s)
      今井敬吾, 結縁祥治, 阿草清滋
    • Organizer
      第12回プログラミングおよびプログラミング言語ワークショップPPL2010
    • Place of Presentation
      香川
    • Year and Date
      2010-03-03
    • Data Source
      KAKENHI-PROJECT-19500026
  • [Presentation] Modeling and Analysis of Real-Time Systems with Mutex Components2010

    • Author(s)
      Guoqiang Li, Xiaojuan Cai, Shoji Yuen
    • Organizer
      12th Advances in Parallel and Distributed Computing Models
    • Place of Presentation
      Atlanta, USA
    • Year and Date
      2010-04-19
    • Data Source
      KAKENHI-PROJECT-20300009
  • [Presentation] Session Type Inference in Haskell2010

    • Author(s)
      Keigo Imai, Shoji Yuen, Kiyoshi Agusa
    • Organizer
      PLACES' 10 : Programming Language Approaches to Concurrency and Communication-cEntric Software
    • Place of Presentation
      Paphos, Cyprus
    • Year and Date
      2010-03-21
    • Data Source
      KAKENHI-PROJECT-20300009
  • [Presentation] Apache Cocoon Flowscriptのモデル検査によるWeb応用プログラムの動作検証2009

    • Author(s)
      馬場敬, 結縁祥治, 阿草清滋
    • Organizer
      ソフトウェアサイエンス研究会
    • Place of Presentation
      佐賀大学
    • Year and Date
      2009-03-02
    • Data Source
      KAKENHI-PROJECT-19500026
  • [Presentation] A Full Implementation of Session Types2009

    • Author(s)
      今井敬吾, 結縁祥治, 阿草清滋
    • Organizer
      第11回プログラミングおよびプログラミング言語ワークショップPPL2009
    • Place of Presentation
      岐阜高山グリーンホテル
    • Year and Date
      2009-03-10
    • Data Source
      KAKENHI-PROJECT-20300009
  • [Presentation] 実行履歴にもとづくマルチコア実時間応用プログラムのデバッグモデル2009

    • Author(s)
      水野洋樹, 結縁祥治
    • Organizer
      電子情報通信学会ソフトウェアサイエンス研究会
    • Place of Presentation
      香川大学(香川県)
    • Year and Date
      2009-12-17
    • Data Source
      KAKENHI-PROJECT-20300009
  • [Presentation] Apache Cocoon Flowscriptのモデル検査によるWeb応用プログラムの動作検証2009

    • Author(s)
      馬場敬, 結縁祥治, 阿草清滋
    • Organizer
      電子情報通信学会技術研究報告
    • Place of Presentation
      電子情報通信学会ソフトウェアサイエンス研究会, 佐賀大学
    • Data Source
      KAKENHI-PROJECT-19500026
  • [Presentation] Apache Cocoon Flowscriptのモデル検査によるWeb応用プログラムの動作検証2009

    • Author(s)
      馬場敬, 結縁祥治, 阿草清滋
    • Organizer
      ソフトウェアサイエンス研究会
    • Place of Presentation
      佐賀大学
    • Year and Date
      2009-03-02
    • Data Source
      KAKENHI-PROJECT-20300009
  • [Presentation] A Full Implementation of Session Types2009

    • Author(s)
      今井敬吾, 結縁祥治, 阿草清滋
    • Organizer
      第11回プログラミングおよびプログラミング言語ワークショップPPL2009
    • Place of Presentation
      岐阜高山グリーンホテル
    • Year and Date
      2009-03-10
    • Data Source
      KAKENHI-PROJECT-19500026
  • [Presentation] Maudeによる否定を含んだ構造操作意味定義インタプリタと等価性検証器の構築2009

    • Author(s)
      伴潤, 今井敬吾, 結縁祥治
    • Organizer
      電子情報通信学会技術研究報告
    • Place of Presentation
      秋田大学
    • Data Source
      KAKENHI-PROJECT-19500026
  • [Presentation] A Full Implementation of Session Types2009

    • Author(s)
      Keigo Imai, Shoji Yuen, Kiyoshi Agusa
    • Organizer
      In第11回プログラミングおよびプログラミング言語ワークショップ(PPL2009)
    • Place of Presentation
      高山(岐阜)
    • Data Source
      KAKENHI-PROJECT-19500026
  • [Presentation] Environmental Simulation of Real-Time Systems with Nested Interrupts2009

    • Author(s)
      Guoqiang Li, Shoji Yuen, Masakazu Adachi
    • Organizer
      In Theoretical Aspects of Software Engineering (TASE2009)
    • Place of Presentation
      天津(中国)
    • Data Source
      KAKENHI-PROJECT-19500026
  • [Presentation] 実行履歴にもとづくマルチコア実時間応用プログラムのデバッグモデル2009

    • Author(s)
      水野洋樹, 結縁祥治
    • Organizer
      電子情報通信学会技術研究報告
    • Place of Presentation
      香川大学(高松)
    • Data Source
      KAKENHI-PROJECT-19500026
  • [Presentation] A Full Implementation of Session Types2009

    • Author(s)
      今井敬吾,結縁祥治,阿草清滋
    • Organizer
      第11回プログラミングおよびプログラミング言語ワークショップPPL2009
    • Place of Presentation
      岐阜
    • Year and Date
      2009-03-10
    • Data Source
      KAKENHI-PROJECT-20300009
  • [Presentation] Environmental Simulation of Real-Time Systems with Nested Interrupts by Maude2009

    • Author(s)
      Li Guoqiang, 結縁祥治, 足立正和
    • Organizer
      第11回プログラミングおよびプログラミング言語ワークショップ(PPL2009)
    • Place of Presentation
      高山(岐阜)
    • Data Source
      KAKENHI-PROJECT-19500026
  • [Presentation] Environmental Simulation of Real-Time Systems with Nested Interrupts by Maude2009

    • Author(s)
      Li Guoqiang, 結縁祥治, 足立正和
    • Organizer
      第11回プログラミングおよびプログラミング言語ワークショップPPL2009
    • Place of Presentation
      岐阜高山グリーンホテル
    • Year and Date
      2009-03-10
    • Data Source
      KAKENHI-PROJECT-19500026
  • [Presentation] 実行履歴にもとづくマルチコア実時間応用プログラムのデバッグモデル2009

    • Author(s)
      水野洋樹, 結縁祥治
    • Organizer
      電子情報通信学会ソフトウェアサイエンス研究会
    • Place of Presentation
      香川
    • Year and Date
      2009-12-17
    • Data Source
      KAKENHI-PROJECT-19500026
  • [Presentation] Environmental Simulation of Real-Time Systemswith Nested Interrupts2009

    • Author(s)
      Guoqiang Li, Shoji Yuen, Masakazu Adachi
    • Organizer
      3rd IEEE International Symposium on Theoretical Aspects of Software Engineering(TASE2009)
    • Place of Presentation
      Tianjin, China
    • Year and Date
      2009-07-29
    • Data Source
      KAKENHI-PROJECT-20300009
  • [Presentation] Environmental Simulation of Real-Time Systems with Nested Interrupts2009

    • Author(s)
      Guoqiang Li, ShojiYuen, Masakazu Adachi,
    • Organizer
      3rd IEEE International Symposium on Theoretical Aspects of Software Engineering(TASE2009)
    • Place of Presentation
      Tianjin, China
    • Year and Date
      2009-07-29
    • Data Source
      KAKENHI-PROJECT-19500026
  • [Presentation] Environmental Simulation of Real-Time Systems with Nested Interrupts2009

    • Author(s)
      Guoqiang Li, Shoji Yuen, Masakazu Adachi
    • Organizer
      3rd IEEE International Symposium on Theoretical Aspects of Software Engineering(TASE2009)
    • Place of Presentation
      Tianjin Normal University(Tianjin, China)
    • Year and Date
      2009-07-29
    • Data Source
      KAKENHI-PROJECT-20300009
  • [Presentation] 動的電圧制御システムにおけるエネルギー効率的なプログラムの導出2008

    • Author(s)
      横山哲郎, 今井敬吾, 曾剛, 冨山宏之, 高田広章, 結縁祥治
    • Organizer
      第71回プログラミング研究発表会
    • Place of Presentation
      島根松江テルサ
    • Year and Date
      2008-10-28
    • Data Source
      KAKENHI-PROJECT-19500026
  • [Presentation] 充足可能性判定に基づくリアルタイムシステムのスケジューリング解析2008

    • Author(s)
      足立正和, 末次亮, 結縁祥治, 手嶋茂晴, 佐野範佳
    • Organizer
      組込みシステムシンポジウム2008
    • Place of Presentation
      東京国立オリンピック記念青少年総合センター
    • Year and Date
      2008-10-30
    • Data Source
      KAKENHI-PROJECT-19500026
  • [Presentation] π計算に基づくGUIプログラムの構築および検証2008

    • Author(s)
      下村翔, 今井敬吾, 結縁祥治, 小笠原啓
    • Organizer
      第10回プログラミング及びプログラミング言語ワークショップPPL2008
    • Place of Presentation
      仙台市太白区秋保
    • Year and Date
      2008-03-05
    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-17300006
  • [Presentation] Development and verification of GUI programs based on the pi-calculus2008

    • Author(s)
      Sho, Shimomura, Keigo, Imai, Shoji, Yuen, Hiroshi, Ogasawara
    • Organizer
      10th workshop on programming and programming language(PPL2008)
    • Place of Presentation
      Akiu-onsen(Sendai)
    • Year and Date
      2008-03-05
    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-17300006
  • [Presentation] 充足可能性判定に基づくリアルタイムシステムのスケジューリング解析2008

    • Author(s)
      足立正和, 末次亮, 結縁祥治, 手嶋茂晴, 佐野範佳
    • Organizer
      組込みシステムシンポジウム2008
    • Place of Presentation
      東京
    • Data Source
      KAKENHI-PROJECT-19500026
  • [Presentation] Communication Centered Programming of Integrated Services with Priority in Home Appliance Network2007

    • Author(s)
      Sakura Bhandari, Shoji Yuen, Kiyoshi Agusa
    • Organizer
      Workshop on Service Oriented Architecture, APSEC2007, pages 8-15(査読有)
    • Place of Presentation
      名古屋ミッドランドホール
    • Year and Date
      2007-12-04
    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-17300006
  • [Presentation] A description for integrated operation of network appliance in Distributed control environment2007

    • Author(s)
      Sakura, Bhandari, Shoji, Yuen, Kiyoshi, Agusa
    • Organizer
      5th Dependable System Workshop(DSW07 pp. 35-44)
    • Place of Presentation
      Hakodate
    • Year and Date
      2007-07-04
    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-17300006
  • [Presentation] セッション型に基づく高信頼性ネットワークプログラムのHaskell言語による実装2007

    • Author(s)
      今井敬吾、結縁祥治、阿草清滋
    • Organizer
      第5回ディペンダブルシステムワークショップDSW2007
    • Place of Presentation
      函館
    • Data Source
      KAKENHI-PROJECT-19500026
  • [Presentation] Communication Centered Programming of Integrated Services with Priority in Home Appliance Networ2007

    • Author(s)
      バンダリさくら, 結縁祥治, 阿草清滋
    • Organizer
      Apsec 2007, Workshop on Service Oriented Architectur
    • Place of Presentation
      名古屋
    • Data Source
      KAKENHI-PROJECT-19500026
  • [Presentation] A Synchronization Flow Analysis of Concurrent Objects in AIBO OPEN-R Programs based on Communicating Processes2007

    • Author(s)
      Ryo Suetsugu, Shoji Yuen, Kiyoshi Agusa
    • Organizer
      Apsec 2007 (14th Asian Pacific Software Engineering Conference)
    • Place of Presentation
      ミッドランドホール、名古屋
    • Year and Date
      2007-12-06
    • Data Source
      KAKENHI-PROJECT-19500026
  • [Presentation] セッション型に基づく高信頼ネットワークプログラムの関数型言語による実装手法2007

    • Author(s)
      今井 敬吾, 結縁 祥治, 阿草 清滋
    • Organizer
      情報処理学会プログラミング研究会
    • Place of Presentation
      名古屋大学
    • Year and Date
      2007-10-12
    • Data Source
      KAKENHI-PROJECT-17300006
  • [Presentation] 分散環境における家電機器の連携動作の記述手法2007

    • Author(s)
      バンダリさくら, 結縁祥治, 阿草清滋
    • Organizer
      第5回ディペンダブルシステムワークショップDSW200
    • Place of Presentation
      函館
    • Data Source
      KAKENHI-PROJECT-19500026
  • [Presentation] A synchronization flow analysis of concurrent objects in AIBO OPEN-11 programs based on communicating processes2007

    • Author(s)
      Ryo, Suetsugu, Shoji, Yuen, Kiyoshi, Agusa
    • Organizer
      14th Asia Pacific Sofeware Engineering(APSEC2007, pp.366-373)
    • Place of Presentation
      Midland Hall
    • Year and Date
      2007-12-06
    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-17300006
  • [Presentation] Communication Centered Programming of Integrated Services with Priority in Home Appliance Network2007

    • Author(s)
      Sakura, Bhandari, Shoji, Yuen, Kiyoshi, Agusa
    • Organizer
      Workshop on Service Oriented Architecture collocated at APSEC2007(pp.8-15)
    • Place of Presentation
      Midland-hall(Nagoya)
    • Year and Date
      2007-12-04
    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-17300006
  • [Presentation] 分散環境における家電機器の連携動作の記述手法2007

    • Author(s)
      バンダリさくら、結縁祥治、阿草清滋
    • Organizer
      日本ソフトウェア科学会第5回ディペンダブルソフトウェアワークショプ, pages35-44(査読無)
    • Place of Presentation
      函館大沼公園
    • Year and Date
      2007-07-04
    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-17300006
  • [Presentation] π計算におけるセッションの構造化2007

    • Author(s)
      今井敬吾、結縁祥治、阿草清滋
    • Organizer
      日本ソフトウェア科学会第9回プログラミングおよびプログラミング言語ワークショップ, pages140-154(査読有)
    • Place of Presentation
      山代温泉(福井県)
    • Year and Date
      2007-03-09
    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-17300006
  • [Presentation] A Synchronization Flow Analysis of Concurrent Objects in Aibo Open-R Programs Based on Communicating Processes2007

    • Author(s)
      Ryo Suetsugu, Shoji Yuen, Kiyoshi Agusa
    • Organizer
      In 14th Asia-Pacific Software Engineering Conference
    • Place of Presentation
      名古屋
    • Data Source
      KAKENHI-PROJECT-19500026
  • [Presentation] A synchronization flow analysis of concurrent objects in AIBO OPEN-Rprograms based on communicating processes2007

    • Author(s)
      Ryo Suetsugu, Shoji Yuen, Kiyoshi Agusa
    • Organizer
      14th Asia-Pacific software engineering conference APSEC2007, pages 366-373(査読有)
    • Place of Presentation
      名古屋ミッドランドホール
    • Year and Date
      2007-12-06
    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-17300006
  • [Presentation] Structured sessions in the pi-calculus2007

    • Author(s)
      Keigo, Imai, Shoji, Yuen, Kiyoshi, Agusa
    • Organizer
      9th Workshop on Programming and Programing Languages(PPL2007 pp.140-154)
    • Place of Presentation
      Yamashiro-onsen(Fukui)
    • Year and Date
      2007-03-09
    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-17300006
  • [Presentation] セッション型に基づく高信頼ネットワークプログラムのHaskell言語による実装2007

    • Author(s)
      今井 敬吾, 結縁 祥治, 阿草 清滋
    • Organizer
      第5回ディペンダブルシステムワークショップDSW2007
    • Place of Presentation
      函館大沼公園
    • Year and Date
      2007-07-03
    • Data Source
      KAKENHI-PROJECT-19500026
  • [Presentation] Communication Centered Programming of Integrated Services with Priority in Home Appliance Network2007

    • Author(s)
      バンダリさくら, 結縁 祥治, 阿草 清滋
    • Organizer
      Apsec 2007, Workshop on Service Oriented Architecture
    • Place of Presentation
      ミッドランドホール、名古屋
    • Year and Date
      2007-12-04
    • Data Source
      KAKENHI-PROJECT-19500026
  • [Presentation] 分散環境における家電機器の連携動作の記述手法2007

    • Author(s)
      バンダリさくら, 結縁 祥治, 阿草 清滋
    • Organizer
      第5回ディペンダブルシステムワークショップDSW 2007
    • Place of Presentation
      函館大沼公園
    • Year and Date
      2007-07-04
    • Data Source
      KAKENHI-PROJECT-19500026
  • [Presentation] Dependable network programming with Haskell based on session types2007

    • Author(s)
      Keigo, Imai, Shoji, Yuen, Kiyoshi, Agusa
    • Organizer
      5th Dependable System' Workshop(DSW07 pp.95-105)
    • Place of Presentation
      Hakodate
    • Year and Date
      2007-07-03
    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-17300006
  • [Presentation] セッション型に基づく高信頼ネットワークプログラムのHaskell言語による実装2007

    • Author(s)
      今井敬吾、結縁祥治、阿草清滋
    • Organizer
      日本ソフトウェア科学会第5回ディペンダブルソフトウェアワークショプ, pages95-105(査読無)
    • Place of Presentation
      函館大沼公園
    • Year and Date
      2007-07-03
    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-17300006
  • [Presentation] コレオグラフィー記述言語を用いた家電機器の連携動作の通信指向プログラミング2006

    • Author(s)
      バンダリさくら、結縁祥治、阿草清滋
    • Organizer
      日本ソフトウェア科学会第4回ディペンダブルソフトウェアワークショプ, pages11-20(査読無)
    • Place of Presentation
      東京大学
    • Year and Date
      2006-12-20
    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-17300006
  • [Presentation] A Content Control Framework based on Separation of Concern2006

    • Author(s)
      Shigehiro, Iida, Nobuyuki, Kaneko, Shinichiro, Yamamoto, Shoji, Yuen, Kiyoshi, Agusa
    • Organizer
      Foundation of Software Engineering 2006
    • Place of Presentation
      Welsampia-Tateyama
    • Year and Date
      2006-11-10
    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-17300006
  • [Presentation] Communication Centered Programming for Integrated Services of Home Appliances using Choreography Description Language2006

    • Author(s)
      Sakura, Bhandari, Shoij, Yuen, Kiyoshi, Agusa
    • Organizer
      4th Dependable Software Workshop(DSW06-2)
    • Place of Presentation
      University of Tokyo
    • Year and Date
      2006-12-20
    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-17300006
  • [Presentation] 関心の分離に基づくコンテンツ制御フレームワーク2006

    • Author(s)
      飯田恵大、金子伸幸、山本晋一郎、結縁祥治、阿草清滋
    • Organizer
      ソフトウェア工学の基礎ワークショップFOSE2006, pages147-156(査読有)
    • Place of Presentation
      ウエルサンピア立山
    • Year and Date
      2006-11-10
    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-17300006
  • 1.  SAKABE Toshiki (60111829)
    # of Collaborated Projects: 7 results
    # of Collaborated Products: 0 results
  • 2.  INAGAKI Yasuyoshi (10023079)
    # of Collaborated Projects: 7 results
    # of Collaborated Products: 0 results
  • 3.  YAMAMOTO Shinichirou (40240098)
    # of Collaborated Projects: 6 results
    # of Collaborated Products: 6 results
  • 4.  HAMAGUCHI Takeshi (90273284)
    # of Collaborated Projects: 6 results
    # of Collaborated Products: 0 results
  • 5.  AGUSA Kiyoshi (90026360)
    # of Collaborated Projects: 6 results
    # of Collaborated Products: 42 results
  • 6.  Seki Hiroyuki (80196948)
    # of Collaborated Projects: 5 results
    # of Collaborated Products: 2 results
  • 7.  SAKAI Masahiko (50215597)
    # of Collaborated Projects: 4 results
    # of Collaborated Products: 0 results
  • 8.  KAWAGUCHI Nobuo (10273286)
    # of Collaborated Projects: 4 results
    # of Collaborated Products: 0 results
  • 9.  小川 瑞史 (40362024)
    # of Collaborated Projects: 4 results
    # of Collaborated Products: 1 results
  • 10.  橋本 健二 (90548447)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 11.  今井 敬吾 (70456630)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 14 results
  • 12.  LI Guoqiang
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 14 results
  • 13.  HIRATA Tomio (10144205)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 14.  馮 速 (90262881)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 15.  中澤 巧爾 (80362581)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 16.  KOBAYASHI Takashi (50345386)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 17.  NAOI Tohru (10207699)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 18.  寺内 多智弘 (70447150)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 1 results
  • 19.  西田 直樹 (00397449)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 20.  Ulidowski Irek
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 1 results
  • 21.  TESHIMA Shigeharu
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 22.  手嶋 重晴
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results

URL: 

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi