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

Watanabe Takuo  渡部 卓雄

… Alternative Names

WATANABE Takuo  渡部 卓雄

Less
Researcher Number 20222408
Other IDs
  • ORCIDhttps://orcid.org/0000-0001-7470-3428
External Links
Affiliation (Current) 2025: 東京科学大学, 情報理工学院, 教授
Affiliation (based on the past Project Information) *help 2016 – 2024: 東京工業大学, 情報理工学院, 教授
2012 – 2015: 東京工業大学, 情報理工学(系)研究科, 准教授
2007 – 2010: 東京工業大学, 大学院・情報理工学研究科, 准教授
2004 – 2006: Tokyo Institute of Technology, Graduate School of Information Science and Engineering, Associate Professor, 大学院・情報理工学研究科, 助教授
2002 – 2003: 国立情報学研究所, ソフトウェア研究系, 助教授 … More
2000 – 2001: 東京工業大学, 大学院・情報理工学研究科, 助教授
2000 – 2001: 東京工業大学, 情報理工学研究科, 助教授
1993 – 2000: Department of Information Science, JAIST, Assistant Professor, 情報科学研究科, 助教授
1991: Univ. of Tokyo, Fac. of Sci. JSPS Fellowships, 理学部, 日本学術振興会特別研
1990: 東京工業大学, 理学部, 日本学術振興会特別研 Less
Review Section/Research Field
Principal Investigator
Basic Section 60050:Software-related / Software / Software / 計算機科学 / Science and Engineering
Except Principal Investigator
計算機科学 / Basic Section 60050:Software-related / Informatics / Software / Science and Engineering
Keywords
Principal Investigator
自己反映計算 / 関数リアクティブプログラミング / Java / アクターモデル / 動的適応 / 組込みシステム / 契約による設計 / 実行時検査 / 文脈指向プログラミング / 移動コード … More / メタレベルアーキテクチャ / サイバーフィジカルシステム / プログラミング言語 / 型システム / 分散システム / 形式仕様記述 / aspect orientation / design by contract / アスペクト指向 / dynamic adaptation / mobile code / policy enforcement / 適応可能ソフトウェア / 拡張可能ソフトウェア / セキュリティ / バイトコード変換 / ポリシー強制 / 形式仕様 / 実時間システム / 実行時検証 / 形式手法 / 広域自己反映計算 / 適応的ソフトウェア / リフレクション / 非同期処理 / 対話的処理系 / 非同期実行 / 実時間処理 / プログラミング言語処理系 / 関数プログラミング言語 / state transition description / information flow / covert channel / execution monitoring / model-based development / formal specification / オントロジー / 状態遷移記述 / 情報漏洩 / 隠れチャネル / モデル駆動開発 / cross-cutting concerns / adaptive software / execution-time analysis / self checking code / bytecode transformation / Common-Lisp / プロセス代数 / 自己検査コード / 横断的関心事 / 実行時解析 / 自己検査モード / security / fault-torelant software / metalevel architecture / reflection / non-functional requirements / LEAD++ / モーバイルエージェント / 耐故障ソフトウェア / メタレベル・アーキテクチャ / 反映 / 非機能的要件 / metalevel architecuture / object-oriented language / byte-code modification / software composition / runtime checking / ロード時自己反映 / 安全なソフトウェア / アスペクト / JML / セキュリティポリシー / オブジェクト指向言語 / モジュール結合 / 時相論理 / 並列文脈指向プログラミング / 並行文脈指向プログラミング / モバイルオブジェクト / メタオブジェクト / 総称関数 / モバイルコンピューティング … More
Except Principal Investigator
プログラミング言語 / CafeOBJ / MPI / Rbcl / R2 / R / ABCL / ソフトウェア / 抽象機械 / 書き換えモデル / 並列処理 / 計算モデル / サイバーフィジカルシステム / 組込みシステム / 周期的タスク / 消費電力 / 関数リアクティブプログラミング / resource usage analysis / functional language / type inference / garbage collection / region inference / memory management / quasi-linear types / linear type system / 通信チャネル / 並行言語 / 並列計算機 / 線形型 / 資源使用解析 / 関数型言語 / 型推論 / ガベージコレクション / リージョン推論 / メモリ管理 / 擬似線形型 / 線形型システム / verification / distributed (real-time) systems / specifications / module system / support tool / reliable / components / 振舞仕様 / UML / 代数モデル / 形式仕様言語 / 閲覧システム / 方法論 / 振舞い仕様 / 形式仕様 / オブジェクト指向 / 木アーキテクチャ / 詳細化検証 / 射影型振舞仕様 / ソフトウェア発展 / 代数仕様 / 非機能的性質 / 機能的性質 / 検証 / 分散(実時間)システム / 仕様 / モジュールシステム / 支援ツール / 高信頼 / コンポーネント / massively parallel computers / the (parallel) evaluation strategy / abstract machines / concurrent (parallel) rewriting / 超並列計算機 / (並列)E戦略 / 並行(並列)書換え / pi-cauculus / linear logic / concurrent object-orientation / concurrent computation model / π-calculus / 線形論理 / 並列オブジェクト指向 / 並列計算モデル / inheritance abnormally / discrete event simulation / group wide reflection / reflection / object-oriented concurrent computation / ソウトウェア / 自己反映計算 / オブジェクト指向計算 / 並列計算 / 継承時の異常性 / 離散事象シュミレ-ション / Group Wide Reflection / リフレクション / 並列オブジェクト指向計算 / エージェント記述 / 仕様記述 / プログラム変換 / 健全性 / 構文マクロ / 構文解析器 / ドメイン特化言語 / マクロ展開器 / 言語間プログラム変換 / 構文解析 / 解析構文文法 / 健全マクロ / シミュレーション言語 / ドメイン特化型言語 / Hygienic構文マクロ / マクロシステム / メタプログラミング / プログラミング / インターネット / クラスタ / オーバレイネットワーク / セキュリティ / テスト自動化 / Webアプリケーション / 分散計算 / コンテンツ配信 / オーバーレイネットワーク / ソフトウェアテスト / ソフトウェア検証 / 開発環境 / アスペクト指向 Less
  • Research Projects

    (20 results)
  • Research Products

    (179 results)
  • Co-Researchers

    (23 People)
  •  Development Support of Real-Time CPS using FRP Languages with First-Class TimePrincipal Investigator

    • Principal Investigator
      渡部 卓雄
    • Project Period (FY)
      2024 – 2026
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Review Section
      Basic Section 60050:Software-related
    • Research Institution
      Tokyo Institute of Technology
  •  消費電力をパラメータとする関数リアクティブプログラミングの研究

    • Principal Investigator
      森口 草介
    • Project Period (FY)
      2022 – 2024
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Review Section
      Basic Section 60050:Software-related
    • Research Institution
      Tokyo Institute of Technology
  •  Developmenf Support of Efficient and Reliable CPS with the integration of FRP and the Actor ModelPrincipal Investigator

    • Principal Investigator
      渡部 卓雄
    • Project Period (FY)
      2021 – 2024
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Review Section
      Basic Section 60050:Software-related
    • Research Institution
      Tokyo Institute of Technology
  •  Embedded Systems Development Support with the Integration of the Actor-Model and Functional Reactive ProgrammingPrincipal Investigator

    • Principal Investigator
      Watanabe Takuo
    • Project Period (FY)
      2018 – 2021
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Review Section
      Basic Section 60050:Software-related
    • Research Institution
      Tokyo Institute of Technology
  •  Specification and Runtime Verification Methods for Adaptive Parallel Systems based on Group-Wide ReflectionPrincipal Investigator

    • Principal Investigator
      Watanabe Takuo
    • Project Period (FY)
      2015 – 2017
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Software
    • Research Institution
      Tokyo Institute of Technology
  •  A methodology for programming language design through general hygienic macro expansion

    • Principal Investigator
      Wakita Ken
    • Project Period (FY)
      2014 – 2017
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Software
    • Research Institution
      Tokyo Institute of Technology
  •  Specification Methods for Runtime Verification of Reflective SoftwarePrincipal Investigator

    • Principal Investigator
      WATANABE Takuo
    • Project Period (FY)
      2012 – 2014
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Software
    • Research Institution
      Tokyo Institute of Technology
  •  Highly Scalable Software Security for Information Explosion Environments

    • Principal Investigator
      SHIBAYAMA Etsuya
    • Project Period (FY)
      2006 – 2010
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Review Section
      Science and Engineering
    • Research Institution
      The University of Tokyo
      Tokyo Institute of Technology
  •  Safe Dynamic Composition and Secure Execution of Software Based on Static Analysis and Execution MonitoringPrincipal Investigator

    • Principal Investigator
      WATANABE Takuo
    • Project Period (FY)
      2005 – 2006
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Software
    • Research Institution
      Tokyo Institute of Technology
  •  Research on Declarative Description and Consistency Checking of Policies for Adaptive SoftwarePrincipal Investigator

    • Principal Investigator
      WATANABE Takuo
    • Project Period (FY)
      2003 – 2004
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Software
    • Research Institution
      Tokyo Institute of Technology
      National Institute of Informatics
  •  Secure Construction Methods for Extensible and Adaptable SoftwarePrincipal Investigator

    • Principal Investigator
      WATANABE Takuo
    • Project Period (FY)
      2000 – 2003
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Review Section
      Science and Engineering
    • Research Institution
      National Institute of Informatics
      Tokyo Institute of Technology
  •  A Modular Construction Scheme for Adaptive Mobile Code Systems with Explicit Support of Non-Functional RequirementsPrincipal Investigator

    • Principal Investigator
      WATANABE Takuo
    • Project Period (FY)
      2000 – 2001
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      計算機科学
    • Research Institution
      Tokyo Institute of Technology
      Japan Advanced Institute of Science and Technology
  •  Memory Management Scheme Based on the Quasi-Linear Type System

    • Principal Investigator
      KOBAYASHI Naoki
    • Project Period (FY)
      1999 – 2001
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      計算機科学
    • Research Institution
      Tokyo Institute of Technology
      The University of Tokyo
  •  実行環境に動的に適応するソフトウェアの基本機構とそれに基く言語の研究Principal Investigator

    • Principal Investigator
      渡部 卓雄
    • Project Period (FY)
      1998
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas (A)
    • Research Institution
      Japan Advanced Institute of Science and Technology
  •  Development of Formal Specification Language for Writing Specifications as Components Based on Functions

    • Principal Investigator
      FUTATSUGI Kokichi
    • Project Period (FY)
      1998 – 2001
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      計算機科学
    • Research Institution
      Japan Advanced Institute of Science and Technology
  •  自己反映アーキテクチャによる動的適応とその移動計算機環境への適用Principal Investigator

    • Principal Investigator
      渡部 卓雄
    • Project Period (FY)
      1997
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Research Institution
      Japan Advanced Institute of Science and Technology
  •  A Study on Abstract Machines for Concurrent Rewriting

    • Principal Investigator
      FUTATSUGI Kokichi
    • Project Period (FY)
      1995 – 1997
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      計算機科学
    • Research Institution
      Japan Advanced Institute of Science and Technology
  •  並行書き換えモデルの超並行実行方式の研究

    • Principal Investigator
      FUTATSUGI Kokichi
    • Project Period (FY)
      1994 – 1995
    • Research Category
      Grant-in-Aid for General Scientific Research (B)
    • Research Field
      計算機科学
    • Research Institution
      Japan Advanced Institute of Science and Technology
  •  Logics of parallel object-oriented programming languages

    • Principal Investigator
      YONEZAWA Akinori
    • Project Period (FY)
      1993
    • Research Category
      Grant-in-Aid for Overseas Scientific Survey.
    • Research Institution
      University of Tokyo
  •  Computational Reflection in Object-Oriented Concurrent Computing and its Applications

    • Principal Investigator
      YONEZAWA Akinori
    • Project Period (FY)
      1989 – 1991
    • Research Category
      Grant-in-Aid for General Scientific Research (A)
    • Research Field
      Informatics
    • Research Institution
      The University of Tokyo

All 2024 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 2009 2008 2006 2005 2004 2003 2002 2001 2000 Other

All Journal Article Presentation

  • [Journal Article] 同期的データフロープログラミングにおける逆計算の構成方式2024

    • Author(s)
      白井 瑞貴、森口 草介、渡部 卓雄
    • Journal Title

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

      Volume: -

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22K11967
  • [Journal Article] WSAN向けマクロプログラミング言語の提案2021

    • Author(s)
      後藤司,森口草介,渡部卓雄
    • Journal Title

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

      Volume: 38(2) Pages: 20-26

    • NAID

      130008055715

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18K11236
  • [Journal Article] A Macroprogramming Language for Wireless Sensor-Actor Networks2021

    • Author(s)
      後藤司, 森口草介, 渡部 卓雄
    • Journal Title

      Computer Software

      Volume: 38 Issue: 2 Pages: 2_20-2_26

    • DOI

      10.11309/jssst.38.2_20

    • NAID

      130008055715

    • ISSN
      0289-6540
    • Year and Date
      2021-04-23
    • Language
      Japanese
    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-18K11236
  • [Journal Article] A Functional Reactive Programming Language for Small-Scale Embedded Systems with Recursive Data Types2021

    • Author(s)
      Akihiko Yokoyama, Sosuke Moriguchi, Takuo Watanabe
    • Journal Title

      Journal of Information Processing

      Volume: 29 Issue: 0 Pages: 685-706

    • DOI

      10.2197/ipsjjip.29.685

    • NAID

      130008104521

    • ISSN
      1882-6652
    • Language
      English
    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-18K11236
  • [Journal Article] Functional Reactive EDSL with Asynchronous Execution for Resource-Constrained Embedded Systems2019

    • Author(s)
      Sheng Wang, Takuo Watanabe
    • Journal Title

      Studies in Computational Intelligence

      Volume: 850 Pages: 171-190

    • DOI

      10.1007/978-3-030-26428-4_12

    • ISBN
      9783030264277, 9783030264284
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18K11236
  • [Journal Article] A Multi-Language Implementation Method for Hygienic Macro Definition Mechanisms2018

    • Author(s)
      高桑健太郎, 渡部卓雄
    • Journal Title

      Computer Software

      Volume: 35 Issue: 2 Pages: 2_33-2_39

    • DOI

      10.11309/jssst.35.2_33

    • NAID

      130007410578

    • ISSN
      0289-6540
    • Year and Date
      2018-04-24
    • Language
      Japanese
    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-15K00089, KAKENHI-PROJECT-26330079, KAKENHI-PROJECT-18K11236
  • [Journal Article] アクターモデルに基づく並行文脈指向プログラミング機構の実装と評価2016

    • Author(s)
      竹野創平, 渡部卓雄
    • Journal Title

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

      Volume: 33 Pages: 167-180

    • NAID

      130005124826

    • Peer Reviewed / Acknowledgement Compliant / Open Access
    • Data Source
      KAKENHI-PROJECT-15K00089
  • [Journal Article] アクターモデルに基づく並行文脈指向プログラミング機構の実装と評価2016

    • Author(s)
      竹野創平,渡部卓雄
    • Journal Title

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

      Volume: 33 Pages: 167-180

    • NAID

      130005124826

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-26330079
  • [Journal Article] Emfrp: A Functional Reactive Programming Language for Small-Scale Embedded Systems2016

    • Author(s)
      Kensuke Sawada and Takuo Watanabe
    • Journal Title

      Modularity 2016, Constrained and Reactive Objects Workshop (CROW 2016)

      Volume: 15th Pages: 36-44

    • DOI

      10.1145/2892664.2892670

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-26330079
  • [Journal Article] A Model-Checking Based Approach to Robustness Analysis of Procedures under Human-Made Faults2015

    • Author(s)
      Naoyuki Nagatou and Takuo Watanabe
    • Journal Title

      International Journal of Industrial Engineering: Theory, Applications and Practice

      Volume: 22 Pages: 494-508

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-26330079
  • [Journal Article] Actario: A Framework for Reasoning About Actor Systems2015

    • Author(s)
      Shohei Yasutake and Takuo Watanabe
    • Journal Title

      5th International Workshop on Programming based on Actors, Agents, and Decentralized Control (AGERE!@SPLASH 2015)

      Volume: N/A

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-26330079
  • [Journal Article] Sandal: A Modeling Language Supporting Exhaustive Fault-Injection2015

    • Author(s)
      Masaya Suzuki and Takuo Watanabe
    • Journal Title

      Theory and Practice of Computation

      Volume: 印刷中

    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-24500033
  • [Journal Article] A Model-Checking Based Approach to Robustness Analysis of Procedures under Human-Made Faults2015

    • Author(s)
      Naoyuki Nagatou and Takuo Watanabe
    • Journal Title

      International Journal of Industrial Engineering: Theory, Applications and Practice

      Volume: 22 Pages: 494-508

    • Peer Reviewed / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15K00089
  • [Journal Article] A Reflective Implementation of an Actor-based Concurrent Context-Oriented System2015

    • Author(s)
      Sohei Takeno and Takuo Watanabe
    • Journal Title

      14th Workshop on Adaptive and Reflective Middleware (ARM 2015)

      Volume: 14th Pages: 1-6

    • DOI

      10.1145/2834965.2834972

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-26330079
  • [Journal Article] Design and Implementation of an Advanced Source Code Reading Tool for Framework-based Software2015

    • Author(s)
      Yuu Ohmura and Takuo Watanabe
    • Journal Title

      Workshop on Computation: Theory and Practice (WCTP 2015)

      Volume: N/A Pages: 205-210

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-26330079
  • [Journal Article] A Model-Checking Based Approach to Robustness Analysis of Procedures under Human-Made Faults2014

    • Author(s)
      Naoyuki Nagatou and Takuo Watanabe
    • Journal Title

      Lecture Notes in Business Information Processing,

      Volume: 181 Pages: 117-131

    • DOI

      10.1007/978-3-319-08222-6_9

    • ISBN
      9783319082219, 9783319082226
    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-24500033
  • [Journal Article] A Language Support for Exhaustive Fault-Injection in Message-Passing System Models2014

    • Author(s)
      Masaya Suzuki and Takuo Watanabe
    • Journal Title

      Electronic Proceedings of Theoretical Computer Science

      Volume: 68 Pages: 45-58

    • DOI

      10.4204/eptcs.168.4

    • Peer Reviewed / Acknowledgement Compliant / Open Access
    • Data Source
      KAKENHI-PROJECT-24500033
  • [Journal Article] Compositional Construction of Group-Wide Meta-Level Architectures2014

    • Author(s)
      Takuo Watanabe
    • Journal Title

      Theory and Practice of Computation

      Volume: 1 Pages: 95-107

    • DOI

      10.1142/9789814612883_0007

    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-24500033
  • [Journal Article] Compositional Construction of Group-Wide Meta-Level Architectures2014

    • Author(s)
      Takuo Watanabe
    • Journal Title

      Theory and Practice of Computation (World Scientific)

      Volume: -

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-24500033
  • [Journal Article] Robustness Analysis on Human-made Faults in Procedural Manuals2014

    • Author(s)
      Naoyuki Nagatou and Takuo Watanabe
    • Journal Title

      Theory and Practice of Computation

      Volume: 1 Pages: 79-94

    • DOI

      10.1142/9789814612883_0006

    • NAID

      110009769052

    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-24500033
  • [Journal Article] On Generating Soft Real-Time Programs for Non-Real-Time Environments2013

    • Author(s)
      Ilankaikone Senthooran and Takuo Watanabe
    • Journal Title

      Theory and Practice of Computation (Springer PICT)

      Volume: 7 Pages: 1-12

    • DOI

      10.1007/978-4-431-54436-4_1

    • ISBN
      9784431544357, 9784431544364
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-24500033
  • [Journal Article] A Model-Based Approach to Constructing Safe Soft Real-Time Programs for Non-Real-Time Environments2013

    • Author(s)
      Ilankaikone Senthooran and Takuo Watanabe
    • Journal Title

      Theory and Practice of Computation (Springer PICT)

      Volume: 7

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-24500033
  • [Journal Article] 定理証明支援系Coqへの対話的修正機構の導入2012

    • Author(s)
      森口草介, 渡部卓雄
    • Journal Title

      情報処理学会論文誌 プログラミング(PRO)

      Volume: 5(4) Pages: 27-38

    • NAID

      40019468752

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-24500033
  • [Journal Article] Modifiable Continuation in Object Calculus2012

    • Author(s)
      Emiko Kuma, Shin-ya Nishizaki and Takuo Watanabe
    • Journal Title

      Theory and Practice of Computation (Springer PICT)

      Volume: 5 Pages: 160-173

    • DOI

      10.1007/978-4-431-54106-6_13

    • ISBN
      9784431541059, 9784431541066
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-24500033
  • [Journal Article] Abstraction of Operations of Aspect-Oriented Languages2012

    • Author(s)
      Sosuke Moriguchi and Takuo Watanabe
    • Journal Title

      Theory and Practice of Computation (Springer PICT)

      Volume: 5 Pages: 187-201

    • DOI

      10.1007/978-4-431-54106-6_15

    • NAID

      110007970928

    • ISBN
      9784431541059, 9784431541066
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-24500033
  • [Journal Article] An Aspect-Oriented Approach to Modular Behavioral Specifications2006

    • Author(s)
      Kiyoshi Yamada, Takuo Watanabe
    • Journal Title

      Electronic Notes in Theoretical Computer Science(Elsevier) 163 (1)

      Pages: 45-56

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-17500017
  • [Journal Article] An Aspect-Oriented Approach to Modular Behavioral Specifications2006

    • Author(s)
      Kiyoshi Yamada, Takuo Watanabe
    • Journal Title

      Electronic Notes in Theoretical Computer Science Vol. 163

      Pages: 45-56

    • Peer Reviewed
    • Data Source
      KAKENHI-PLANNED-18049027
  • [Journal Article] Run Tune Detection of Covert Channels2006

    • Author(s)
      Naoyuki Nagatou, Takuo Watanabe
    • Journal Title

      International Symposium on Frontiers in Availability, Reilability and Security (FARES)

      Pages: 577-584

    • Data Source
      KAKENHI-PROJECT-17500017
  • [Journal Article] Moxaによるアスペクト指向的仕様記述 : プロトコルからのモジュラーなDbC記述に向けて2006

    • Author(s)
      橋本康範, 渡部卓雄, 山田聖
    • Journal Title

      情報処理学会研究報告(ソフトウェアエ学研究会) 2006-SE-153

      Pages: 15-22

    • NAID

      110004849406

    • Data Source
      KAKENHI-PROJECT-17500017
  • [Journal Article] An Aspect-Oriented Approach to Modular Behavioral Specifications2006

    • Author(s)
      Kiyoshi Yamada, Takuo Watanabe
    • Journal Title

      Electronic Notes in Theoretical Computer Science 163・1

      Pages: 45-56

    • Data Source
      KAKENHI-PLANNED-18049027
  • [Journal Article] An Aspect-Oriented Approach to Modular Behavioral Specifications2006

    • Author(s)
      Kiyoshi Yamada, Takuo Watanabe
    • Journal Title

      Electronic Notes in Theoretical Computer Science 163・1

      Pages: 45-56

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-17500017
  • [Journal Article] Run Time Detection of Covert Channels2006

    • Author(s)
      Naoyuki Nagatou, Takuo Watanabe
    • Journal Title

      International Symposium on Frontiers in Availability, Reilability and Security (FARES)(IEEE Press)

      Pages: 577-584

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-17500017
  • [Journal Article] Run Time Detection of Covert Channels2006

    • Author(s)
      Naoyuki Nagatou, Takuo Watanabe
    • Journal Title

      International Symposium on Frontiers in Availability, Reliability and Security

      Pages: 577-584

    • Data Source
      KAKENHI-PLANNED-18049027
  • [Journal Article] 不干渉性の強制について2006

    • Author(s)
      永藤直行, 渡部卓雄
    • Journal Title

      情報処理学会研究報告(コンピュータセキュリティ研究会) 2006-CSEC-34

      Pages: 207-214

    • NAID

      10018219881

    • Data Source
      KAKENHI-PROJECT-17500017
  • [Journal Article] Run Time Detection of Covert Channels2006

    • Author(s)
      Naoyuki Nagatou, Takuo Watanabe
    • Journal Title

      IEEE Int1. Symp. on Frontiers of Availability, Reliability and Security (FARES)

      Pages: 577-584

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-17500017
  • [Journal Article] Moxa : An Aspect-Oriented Behavioral In- terface Specification Language2005

    • Author(s)
      Kiyoshi Yamada, Takuo Watanabe
    • Journal Title

      IPSJ Journal (PRO) Vol.46, No.SIG 11 (PRO 26)

      Pages: 27-44

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-17500017
  • [Journal Article] Moxa : An Aspect-Oriented Approach to Modular Behavioral Specifications2005

    • Author(s)
      Kiyoshi Yamada, Takuo Watanabe
    • Journal Title

      AOSD 2005 Workshop on Software-engineering Properties of Languages and Aspect Technologies(SPLAT '05)(http://www.daimi.au.dk/~eernst/splat05/)

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-15500028
  • [Journal Article] Towards Reusable Heterogeneous Data- Centric Disentangled Parts2005

    • Author(s)
      Michael Reinsch, Takuo Watanabe
    • Journal Title

      2nd ECOOP 2005 Workshop on Reflection, AOP and Meta-Data for Software Evolution (RAM-SE '05)

      Pages: 29-38

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-17500017
  • [Journal Article] Execution Monitoring and Information Flow Properties2005

    • Author(s)
      Naoyuki Nagatou, Takuo Watanabe
    • Journal Title

      Workshop on Dependable Software-Tools and Methods (Supplemental Volume of the 2005 International Conference on Dependable Systems and Networks (DSN 2005))(IEEE Press)

      Pages: 221-227

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-17500017
  • [Journal Article] Towards Reusable Heterogeneous Data-Centric Disentangled Parts2005

    • Author(s)
      Michael Reincsh, Takuo Watanabe
    • Journal Title

      ECOOP 2005 Workshop on Reflection, AOP and Meta-Dat a for Software Evolution (RAM-SE'05)

      Pages: 29-38

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-17500017
  • [Journal Article] An Aspect-Oriented Approach to Modular Behavioral Specification of Java Components2005

    • Author(s)
      Kiyoshi Yamada, Takuo Watanabe
    • Journal Title

      IASTED International Conference on Software Engineering(SE 2005)(ACTA Press)

      Pages: 360-365

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-15500028
  • [Journal Article] Execution Monitoring and Information Flow Properties2005

    • Author(s)
      Naoyuki Nagatou, Takuo Watanabe
    • Journal Title

      DSN 2005 Workshop on Dependable Software-Tools and Methods(IEEE Press) (in press)

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-15500028
  • [Journal Article] Moxa : An Aspect-Oriented Behavioral Interface Specification Language2005

    • Author(s)
      Kiyoshi Yamada, Takuo Watanabe
    • Journal Title

      IPSJ Transactions on Programming(in Japanese) Vol.46, No.PRO46(in press)

    • NAID

      110002769807

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-15500028
  • [Journal Article] 契約による設計を支援するアスペクト指向的振舞インターフェース記述言語Moxa2005

    • Author(s)
      山田聖, 渡部卓雄
    • Journal Title

      情報処理学会論文誌(プログラミング) 46・SIG11

      Pages: 27-44

    • NAID

      110002769807

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-17500017
  • [Journal Article] Execution Monitoring and Information Flow Properties2005

    • Author(s)
      Naoyuki Nagatou, Takuo Watanabe
    • Journal Title

      Workshop on Dependable Software : Tools and Methods (Suppl. Vol. IEEE DSN 2005)

      Pages: 221-227

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-17500017
  • [Journal Article] Specifying Context-Aware Runtime Security Policies using an Algebraic Policy Specification Language2004

    • Author(s)
      Takuo Watanabe, Kiyoshi Yamada, Naoyuki Nagatou
    • Journal Title

      IASTED International Conference on Software Engineering(SE 2004)(ACTA Press)

      Pages: 662-667

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-15500028
  • [Journal Article] Specifying Context-Aware Runtime Security Policies using an Algebraic Policy Specification Language2004

    • Author(s)
      Takuo Watanabe
    • Journal Title

      International Conference on Software Engineering

      Pages: 662-667

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-15500028
  • [Journal Article] LampJ : A Library of Adaptable Modular Programming for Java2003

    • Author(s)
      Noriki Amano, Takuo Watanabe
    • Journal Title

      7th IASTED International Conference on Software Engineering and Applications(SEA 2003)(ACTA Press)

      Pages: 465-470

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-15500028
  • [Journal Article] Towards a Specification Scheme for Context-Aware Security Policies for Networked Appliances2003

    • Author(s)
      Takuo Watanabe
    • Journal Title

      Software Technologies for Future Embedded Systems

      Pages: 65-68

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-15500028
  • [Journal Article] Towards a Specification Scheme for Context-Aware Security Policies for Networked Appliances2003

    • Author(s)
      Takuo Watanabe, Kiyoshi Yamada, Naoyuki Nagatou
    • Journal Title

      Software Technologies for Future Embedded Systems(IEEE Press)

      Pages: 65-68

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-15500028
  • [Journal Article] A Software Model for Flexible and Safe Adaptation for Mobile Code Programs2002

    • Author(s)
      Noriki Amano, Takuo Watanabe
    • Journal Title

      International Workshop on Principles of Software Evolution (IWPSE '02)(ACM Press)

      Pages: 57-61

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-12680340
  • [Journal Article] A Software Model for Flexible and Safe Adaptation For Mobile Code Programs2002

    • Author(s)
      Noriki Akio, Takuo Watanabe
    • Journal Title

      International Workshop on Principles of Software Evolution (IWPSE '02)

      Pages: 57-61

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-12680340
  • [Journal Article] A Secure Dynamic Extension Mechanism for Mobile Agents2001

    • Author(s)
      Takuo Watanabe, Noriki Amano
    • Journal Title

      AISB '01 Symposium on Software Mobility and Adaptive Behavior

      Pages: 28-31

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-12680340
  • [Journal Article] Towerds Constructing Component-based Software Systems with Safe Dynamic Adaptability2001

    • Author(s)
      Noriki Amano, Takuo Watanabe
    • Journal Title

      International Workshop on Principles of Software Evolution (IWPSE '01)

      Pages: 178-181

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-12680340
  • [Journal Article] Towards Constructing Component-based Software Systems with Safe Dynamic Adaptability2001

    • Author(s)
      Noriki Amano, Takuo Watanabe
    • Journal Title

      International Workshop on Principles of Software Evolution (IWPSE '01)(ACM Press)

      Pages: 178-181

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-12680340
  • [Journal Article] A Secure Dynamic Extension Mechanism for Mobile Agents2001

    • Author(s)
      Takuo Watanabe, Noriki Amano
    • Journal Title

      AISB '01 Symposium on Software Mobility and Adaptive Behavior, AISB

      Pages: 28-31

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-12680340
  • [Journal Article] Towards Constructing Mobile Code Programs with Safe Dynamic Adaptability2001

    • Author(s)
      Noriki Amano, Takuo Watanabe
    • Journal Title

      AISB '01 Symposium on Software Mobility and Adaptive Behavior, AISB

      Pages: 105-113

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-12680340
  • [Journal Article] Towards Constructing Mobile Code Programs with Safe Dynamic Adaptability2001

    • Author(s)
      Noriki Amano, Takuo Watanabe
    • Journal Title

      AISB '01 Symposium on Software Mobility and Adaptive Behavior

      Pages: 105-113

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-12680340
  • [Journal Article] An Approach for Constructing Component-based Software Systems with Dynamic Adaptability using LEAD++2000

    • Author(s)
      Noriki Amano, Takuo Watanabe
    • Journal Title

      International Symposium on Principles of Software Evolution (ISPSE 2000)

      Pages: 118-127

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-12680340
  • [Journal Article] An Approach for Constructing Component-based Software Systems with Dynamic Adaptability using LEAD++2000

    • Author(s)
      Noriki Amano, Takuo Watanabe
    • Journal Title

      International Symposium on Principles of Software Evolution (ISPSE 2000), (IEEE Computer Society Press)

      Pages: 118-127

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-12680340
  • [Presentation] Switching Mechanism for Update Timing of Time-Varying Values in an FRP Language for Small-Scale Embedded Systems2024

    • Author(s)
      Akihiko Yokoyama, Sosuke Moriguchi, Takuo Watanabe
    • Organizer
      13th International Conference on Software and Computer Applications (ICSCA 2024), ACM, DOI: 10.1145/3651781.3651789 [査読有]
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-21K11822
  • [Presentation] ハードウェアのモード制御を記述可能な小規模組込みシステム向けFRP言語2024

    • Author(s)
      瀧本哲史, 森口草介, 渡部卓雄
    • Organizer
      第26回プログラミングおよびプログラミング言語ワークショップ(PPL 2024)
    • Data Source
      KAKENHI-PROJECT-21K11822
  • [Presentation] Switching Mechanism for Update Timing of Time-Varying Values in an FRP Language for Small-Scale Embedded Systems2024

    • Author(s)
      Akihiko Yokoyama、Sosuke Moriguchi、Takuo Watanabe
    • Organizer
      13th International Conference on Software and Computer Applications
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-22K11967
  • [Presentation] マイコンの省電力コプロセッサを活用できる動的コンパイラの実装に向けて2024

    • Author(s)
      鈴木豪, 渡部卓雄, 森口草介
    • Organizer
      第26回プログラミングおよびプログラミング言語ワークショップ(PPL 2024)
    • Data Source
      KAKENHI-PROJECT-21K11822
  • [Presentation] Periodic and Aperiodic Task Description Mechanisms in an FRP Language for Small-Scale Embedded Systems2023

    • Author(s)
      Sogo Kento、Tsuji Yuta、Moriguchi Sosuke、Watanabe Takuo
    • Organizer
      10th International Workshop on Reactive and Event-based Languages & Systems (REBLS 2023)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-22K11967
  • [Presentation] 小規模組込みシステム向けFRP言語における時変値更新タイミングの切り替え機構2023

    • Author(s)
      横山陽彦, 森口草介, 渡部卓雄
    • Organizer
      情報処理学会第143回プログラミング研究会(SIGPRO143), 2023年3月.
    • Data Source
      KAKENHI-PROJECT-21K11822
  • [Presentation] 組込みシステム向けFRP言語における離散イベント機構の実装とその評価(ポスター)2023

    • Author(s)
      十河健人,森口草介,渡部卓雄
    • Organizer
      第25回プログラミングおよびプログラミング言語ワークショップ(PPL 2023), 2023年3月
    • Data Source
      KAKENHI-PROJECT-21K11822
  • [Presentation] REPLをサポートする小規模組込み機器向けFRP言語処理系の実装と評価(ポスター)2023

    • Author(s)
      鈴木豪,渡部卓雄,森口草介
    • Organizer
      第25回プログラミングおよびプログラミング言語ワークショップ(PPL 2023), 2023年3月
    • Data Source
      KAKENHI-PROJECT-21K11822
  • [Presentation] Developing Distributed Systems with Multiparty Functional Reactive Programming2023

    • Author(s)
      Sosuke Moriguchi, Takuo Watanabe
    • Organizer
      5th World Symposium on Software Engineering (WSSE 2023), pp. 61-66, ACM, DOI: 10.1145/3631991.3632000 [査読有]
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-21K11822
  • [Presentation] Implementation and Evaluation of an Interpreter for Functional Reactive Programming on Small Embedded Devices2023

    • Author(s)
      Go Suzuki, Takuo Watanabe, Sosuke Moriguchi
    • Organizer
      7th International Workshop on Modern Language Runtimes, Ecosystems, and VMs
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-22K11967
  • [Presentation] 小規模組込みシステム向けFRP言語における離散イベント機構の導入とその評価2023

    • Author(s)
      十河健人, 辻裕太, 森口草介, 渡部卓雄
    • Organizer
      情報処理学会第63回組込みシステム研究会(SIGEMB63), 情報処理学会研究報告(IPSJ SIG Technical Reports), Vol. 2023-EMB-63, No. 2
    • Data Source
      KAKENHI-PROJECT-21K11822
  • [Presentation] Responsibilities of Responses in Functional Reactive Programming2023

    • Author(s)
      Sosuke Moriguchi, Takuo Watanabe
    • Organizer
      情報処理学会第142回プログラミング研究会
    • Data Source
      KAKENHI-PROJECT-22K11967
  • [Presentation] Developing Distributed Systems with Multi-Party Functional Reactive Programming2023

    • Author(s)
      Moriguchi Sosuke、Watanabe Takuo
    • Organizer
      5th World Symposium on Software Engineering (WSSE 2023)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-22K11967
  • [Presentation] Responsibilities of Responses in Functional Reactive Programming2023

    • Author(s)
      Sosuke Moriguchi, Takuo Watanabe
    • Organizer
      情報処理学会第142回プログラミング研究会(SIGPRO142), 2023年1月.
    • Data Source
      KAKENHI-PROJECT-21K11822
  • [Presentation] Event by Timing: Periodic and Time-Sequencing Responses2023

    • Author(s)
      Moriguchi Sosuke、Watanabe Takuo
    • Organizer
      12th Workshop on Computation: Theory and Practice
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-22K11967
  • [Presentation] Using Low Power Coprocessors in an FRP Language for Embedded Systems2023

    • Author(s)
      Go Suzuki、Akihiko Yokoyama、Sosuke Moriguchi、Takuo Watanabe
    • Organizer
      Asia Pacific Conference on Robot IoT System Development and Platform (APRIS 2023)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-22K11967
  • [Presentation] 対話的な組込み用FRP言語インタプリタとFRP言語における省電力コプロセッサの活用2023

    • Author(s)
      鈴木豪, 横山陽彦, 森口草介, 渡部卓雄
    • Organizer
      第25回 組込みシステム技術に関するサマーワークショップ(SWEST25)
    • Data Source
      KAKENHI-PROJECT-21K11822
  • [Presentation] 小規模組込みシステム向けFRP言語における時変値更新タイミングの切り替え機構(ポスター)2023

    • Author(s)
      横山陽彦,森口草介,渡部卓雄
    • Organizer
      第25回プログラミングおよびプログラミング言語ワークショップ(PPL 2023), 2023年3月
    • Data Source
      KAKENHI-PROJECT-21K11822
  • [Presentation] 組込みシステム向けFRP言語における状態遷移モデルに基づいた周辺装置の状態制御2023

    • Author(s)
      瀧本哲史, 森口草介, 渡部卓雄
    • Organizer
      日本ソフトウェア科学会第40回大会
    • Data Source
      KAKENHI-PROJECT-21K11822
  • [Presentation] Implementation and Evaluation of an Interpreter for Functional Reactive Programming on Small Embedded Devices2023

    • Author(s)
      Go Suzuki, Takuo Watanabe & Sosuke Moriguchi
    • Organizer
      7th International Workshop on Modern Language Runtimes, Ecosystems, and VMs (MoreVMs 2023), ACM, Mar. 2023. DOI:10.1145/3594671.3594674 [掲載予定・査読あり]
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-21K11822
  • [Presentation] 小規模組込みシステム向けFRP言語における時変値更新タイミングの切り替え機構2023

    • Author(s)
      横山陽彦, 森口草介, 渡部卓雄
    • Organizer
      情報処理学会第143回プログラミング研究会
    • Data Source
      KAKENHI-PROJECT-22K11967
  • [Presentation] Using Low Power Coprocessors in an FRP Language for Embedded Systems2023

    • Author(s)
      Go Suzuki, Akihiko Yokoyama, Sosuke Moriguchi, Takuo Watanabe
    • Organizer
      Asia Pacific Conference on Robot IoT System Development and Platform (APRIS 2023), pp. 1-8, IPSJ [査読有]
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-21K11822
  • [Presentation] 同期的データフロープログラミングにおける逆計算の構成方式2023

    • Author(s)
      白井瑞貴, 森口草介, 渡部卓雄
    • Organizer
      日本ソフトウェア科学会第40回大会
    • Data Source
      KAKENHI-PROJECT-21K11822
  • [Presentation] Event by Timing: Periodic and Time-Sequencing Responses2023

    • Author(s)
      Sosuke Moriguchi, Takuo Watanabe
    • Organizer
      12th Workshop on Computation: Theory and Practice (WCTP 2023), pp. 139-154, Atlantis Press, DOI: 10.2991/978-94-6463-388-7_10 [査読有]
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-21K11822
  • [Presentation] Periodic and Aperiodic Task Description Mechanisms in an FRP Language for Small-Scale Embedded Systems2023

    • Author(s)
      Kento Sogo, Yuta Tsuji, Sosuke Moriguchi, Takuo Watanabe
    • Organizer
      10th ACM SIGPLAN International Workshop on Reactive and Event-based Languages & Systems (REBLS 2023), pp. 43-53, ACM, DOI:10.1145/3623506.3623578 [査読有]
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-21K11822
  • [Presentation] A Complete Glitch-Free Propagation Algorithm for Distributed Functional Reactive Programming2022

    • Author(s)
      Ju Guiyuan, Sosuke Moriguchi, Takuo Watanabe
    • Organizer
      日本ソフトウェア科学会第39回大会, 2022年8月.
    • Data Source
      KAKENHI-PROJECT-21K11822
  • [Presentation] 小規模組込みシステム向けFRP言語における非同期タスク処理機構2022

    • Author(s)
      横山陽彦, 森口草介, 渡部卓雄
    • Organizer
      第24回プログラミングおよびプログラミング言語ワークショップ(PPL 2022) [査読あり]
    • Data Source
      KAKENHI-PROJECT-21K11822
  • [Presentation] A Complete Glitch-Free Propagation Algorithm for Distributed Functional Reactive Programming2022

    • Author(s)
      Ju Guiyuan, Sosuke Moriguchi, Takuo Watanabe
    • Organizer
      日本ソフトウェア科学会第39回大会
    • Data Source
      KAKENHI-PROJECT-22K11967
  • [Presentation] 入出力の動的な切替機構をもつ組込みシステム向けFRP言語の検討2022

    • Author(s)
      瀧本哲史, 森口草介, 渡部卓雄
    • Organizer
      情報処理学会第60回組込みシステム研究会(SIGEMB60), 情報処理学会研究報告(IPSJ SIG Technical Reports), Vol. 2022-EMB-60, No. 1, 2022年7月
    • Data Source
      KAKENHI-PROJECT-21K11822
  • [Presentation] 組込みシステム向け関数リアクティブプログラムに対するテストケース生成手法(ポスター)2022

    • Author(s)
      内野駿亮, 森口草介, 渡部卓雄
    • Organizer
      第24回プログラミングおよびプログラミング言語ワークショップ(PPL 2022)
    • Data Source
      KAKENHI-PROJECT-21K11822
  • [Presentation] Towards Introducing Asynchronous Tasks to an FRP Language for Small-Scale Embedded Systems2022

    • Author(s)
      Akihiko Yokoyama, Sosuke Moriguchi & Takuo Watanabe
    • Organizer
      9th International Workshop on Reactive and Event-based Languages & Systems (REBLS 2022), ACM, pp. 1-12, Dec. 2022. DOI:10.1145/3563837.3568338 [査読あり]
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-21K11822
  • [Presentation] Towards Introducing Asynchronous Tasks to an FRP Language for Small-Scale Embedded Systems2022

    • Author(s)
      Yokoyama Akihiko、Moriguchi Sosuke、Watanabe Takuo
    • Organizer
      9th International Workshop on Reactive and Event-based Languages & Systems
    • Data Source
      KAKENHI-PROJECT-22K11967
  • [Presentation] サイズ情報を伴った再帰データ型を扱う小規模組込みシステム向けFRP言語へのパラメータ多相の導入(ポスター)2022

    • Author(s)
      白井瑞貴, 横山陽彦, 森口草介, 渡部卓雄
    • Organizer
      第24回プログラミングおよびプログラミング言語ワークショップ(PPL 2022)
    • Data Source
      KAKENHI-PROJECT-21K11822
  • [Presentation] 入出力の動的な切替機構をもつ組込みシステム向けFRP言語の検討2022

    • Author(s)
      瀧本哲史, 森口草介, 渡部卓雄
    • Organizer
      情報処理学会第60回組込みシステム研究会
    • Data Source
      KAKENHI-PROJECT-22K11967
  • [Presentation] 小規模組込みシステム向けFRP言語のための再帰データ型2021

    • Author(s)
      横山陽彦, 森口草介, 渡部卓雄
    • Organizer
      情報処理学会第133回プログラミング研究会(SIGPRO133)
    • Data Source
      KAKENHI-PROJECT-18K11236
  • [Presentation] 関数リアクティブプログラミングにおける時変値の初期化手法の提案2021

    • Author(s)
      白鳥佑弥, 森口草介, 渡部卓雄
    • Organizer
      日本ソフトウェア科学会第38回大会
    • Data Source
      KAKENHI-PROJECT-21K11822
  • [Presentation] 組込みシステム向けFRP言語におけるモデル検査を用いた状態依存動作の検証2021

    • Author(s)
      内藤博, 森口草介, 渡部卓雄
    • Organizer
      情報処理学会第57回組込みシステム研究会(SIGEMB57)
    • Data Source
      KAKENHI-PROJECT-21K11822
  • [Presentation] Functional Reactive Programming for Embedded Systems with GPGPUs2021

    • Author(s)
      Yoshitaka Sakurai, Sosuke Moriguchi, Takuo Watanabe
    • Organizer
      10th International Conference on Software and Computer Applications (ICSCA 2021) [査読あり]
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18K11236
  • [Presentation] 小規模組込みシステム向けFRP言語における周期的タスクの記述方式2021

    • Author(s)
      辻裕太, 森口草介, 渡部卓雄
    • Organizer
      日本ソフトウェア科学会第38回大会
    • Data Source
      KAKENHI-PROJECT-21K11822
  • [Presentation] 関数リアクティブプログラミングにおける時変値の初期値の自動決定2021

    • Author(s)
      白鳥佑弥, 森口草介, 渡部卓雄
    • Organizer
      情報処理学会第57回組込みシステム研究会(SIGEMB57)
    • Data Source
      KAKENHI-PROJECT-21K11822
  • [Presentation] 関数リアクティブプログラミング言語のための時間制約付きイベントの記述方式2021

    • Author(s)
      堀紗知子, 森口草介, 渡部卓雄
    • Organizer
      情報処理学会第57回組込みシステム研究会(SIGEMB57)
    • Data Source
      KAKENHI-PROJECT-21K11822
  • [Presentation] 関数リアクティブプログラミング言語による小規模組込みシステムのプログラミング2021

    • Author(s)
      渡部卓雄
    • Organizer
      第23回 組込みシステム技術に関するサマーワークショップ(SWEST23)
    • Data Source
      KAKENHI-PROJECT-21K11822
  • [Presentation] 内部DSLとしての関数リアクティブプログラミング言語の実装手法2020

    • Author(s)
      辻裕太, 森口草介, 渡部卓雄
    • Organizer
      第22回プログラミングおよびプログラミング言語ワークショップ(PPL 2020),
    • Data Source
      KAKENHI-PROJECT-18K11236
  • [Presentation] 出力制約つき関数リアクティブシステムにおける入力センサの静的仕様推定2020

    • Author(s)
      白鳥佑弥, 森口草介, 渡部卓雄
    • Organizer
      第22回プログラミングおよびプログラミング言語ワークショップ(PPL 2020),
    • Data Source
      KAKENHI-PROJECT-18K11236
  • [Presentation] WSAN向けマクロプログラミング言語の提案2020

    • Author(s)
      後藤司, 森口草介, 渡部卓雄
    • Organizer
      第22回プログラミングおよびプログラミング言語ワークショップ(PPL 2020),
    • Data Source
      KAKENHI-PROJECT-18K11236
  • [Presentation] 状態遷移を表現する組込みシステム向けFRP言語の設計2020

    • Author(s)
      松村有倫, 渡部卓雄
    • Organizer
      第22回プログラミングおよびプログラミング言語ワークショップ(PPL 2020),
    • Data Source
      KAKENHI-PROJECT-18K11236
  • [Presentation] 組込みシステム向け関数リアクティブプログラミング言語の内部DSLとしての実装2020

    • Author(s)
      辻裕太, 森口草介, 渡部卓雄
    • Organizer
      情報処理学会第54回組込みシステム研究会(SIGEMB54)
    • Data Source
      KAKENHI-PROJECT-18K11236
  • [Presentation] Bounded-Construction-Types for Functional Reactive Programming2020

    • Author(s)
      Akihiko Yokoyama, Sosuke Moriguchi & Takuo Watanabe
    • Organizer
      Workshop on Computation: Theory and Practice (WCTP 2020) [査読あり]
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18K11236
  • [Presentation] Towards a Functional Reactive Programming Model for Developing WSANs2020

    • Author(s)
      Takuo Watanabe, Kazuhiro Shibanai
    • Organizer
      Asia Pacific Conference on Robot IoT System Development and Platform (APRIS 2020) [査読あり]
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18K11236
  • [Presentation] 小規模組込みシステム向けFRP言語に対する再帰的データ型の導入2020

    • Author(s)
      横山陽彦,森口草介,渡部卓雄
    • Organizer
      第22回プログラミングおよびプログラミング言語ワークショップ(PPL 2020),
    • Data Source
      KAKENHI-PROJECT-18K11236
  • [Presentation] Developing Coordinating Distributed Applications in a Pure FRP Language2020

    • Author(s)
      Takuo Watanabe, Kazuhiro Shibanai
    • Organizer
      Workshop on Computation: Theory and Practice (WCTP 2020) [査読あり]
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18K11236
  • [Presentation] WSAN向けマクロプログラミング言語の提案2020

    • Author(s)
      後藤司, 森口草介, 渡部卓雄
    • Organizer
      日本ソフトウェア科学会第37回大会
    • Data Source
      KAKENHI-PROJECT-18K11236
  • [Presentation] FRPによるGPU上の計算の実現2020

    • Author(s)
      櫻井義孝, 森口草介, 渡部卓雄
    • Organizer
      第22回プログラミングおよびプログラミング言語ワークショップ(PPL 2020),
    • Data Source
      KAKENHI-PROJECT-18K11236
  • [Presentation] 組込みシステム向けFRP言語における動的動作のための抽象化 (ポスター)2019

    • Author(s)
      松村有倫, 渡部卓雄
    • Organizer
      日本ソフトウェア科学会 第21回プログラミングおよびプログラミング言語ワークショップ (PPL 2019)
    • Data Source
      KAKENHI-PROJECT-18K11236
  • [Presentation] 組込みシステム向けFRP言語における動的動作のための抽象化機構2019

    • Author(s)
      松村有倫, 渡部卓雄
    • Organizer
      情報処理学会第51回組込みシステム研究会
    • Data Source
      KAKENHI-PROJECT-18K11236
  • [Presentation] 組込みシステム向けFRP言語に対する第一級関数の導入 (ポスター)2019

    • Author(s)
      横山陽彦, 渡部卓雄
    • Organizer
      日本ソフトウェア科学会 第21回プログラミングおよびプログラミング言語ワークショップ (PPL 2019)
    • Data Source
      KAKENHI-PROJECT-18K11236
  • [Presentation] A Reflective Extension of an FRP Language and its Applications2019

    • Author(s)
      Takuo Watanabe
    • Organizer
      9th Workshop on Computation: Theory and Practice (WCTP 2019) [査読有り]
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18K11236
  • [Presentation] Towards a Statically Scheduled Parallel Execution of an FRP Langauge for Embedded Systems2019

    • Author(s)
      Yoshitaka Sakurai, Takuo Watanabe
    • Organizer
      6th Workshop on Reactive and Event-based Languages & Systems (REBLS 2019) [査読有り]
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18K11236
  • [Presentation] 小規模組込み向けFRP言語のための並列実行モデル2019

    • Author(s)
      櫻井義孝, 渡部卓雄
    • Organizer
      情報処理学会第51回組込みシステム研究会
    • Data Source
      KAKENHI-PROJECT-18K11236
  • [Presentation] 関数リアクティブプログラミング言語によるサイバーフィジカルシステム開発支援にむけて2019

    • Author(s)
      渡部卓雄, 柴内一宏, 櫻井義孝, 松村有倫, 横山陽彦
    • Organizer
      組込みシステムシンポジウム(ESS2019)
    • Data Source
      KAKENHI-PROJECT-18K11236
  • [Presentation] 組込みシステム向けFRP言語の静的スケジューリングを用いた並列化 (ポスター)2019

    • Author(s)
      櫻井義孝, 渡部卓雄
    • Organizer
      日本ソフトウェア科学会 第21回プログラミングおよびプログラミング言語ワークショップ (PPL 2019)
    • Data Source
      KAKENHI-PROJECT-18K11236
  • [Presentation] 小規模組込みシステム向け関数リアクティブプログラミング言語のためのモジュール化機構2019

    • Author(s)
      渡部卓雄, 松村有倫, 横山陽彦
    • Organizer
      組込み技術とネットワークに関するワークショップ (ETNET2019)
    • Data Source
      KAKENHI-PROJECT-18K11236
  • [Presentation] A Simple Context-Oriented Programming Extension to an FRP Language for Small-Scale Embedded Systems2018

    • Author(s)
      Takuo Watanabe
    • Organizer
      10th International Workshop on Context-Oriented Programming (COP 2018), pp. 23-30 [査読有り]
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18K11236
  • [Presentation] アクターモデルと関数リアクティブプログラミングの融合による小規模組込みシステム開発2018

    • Author(s)
      渡部卓雄
    • Organizer
      組込み技術とネットワークに関するワークショップ(ETNET2018) [査読なし]
    • Data Source
      KAKENHI-PROJECT-15K00089
  • [Presentation] アクターモデルと関数リアクティブプログラミングの融合による小規模組込みシステム開発2018

    • Author(s)
      渡部卓雄
    • Organizer
      組込み技術とネットワークに関するワークショップ(ETNET2018)
    • Data Source
      KAKENHI-PROJECT-26330079
  • [Presentation] 小規模組込みシステム向けFRP言語への文脈指向プログラミング機構の導入2018

    • Author(s)
      渡部卓雄
    • Organizer
      情報処理学会 組込みシステムシンポジウム2018 (ESS 2018)
    • Data Source
      KAKENHI-PROJECT-18K11236
  • [Presentation] Distributed Functional Reactive Programming on Actor-Based Runtime2018

    • Author(s)
      Kazuhiro Shibanai, Takuo Watanabe
    • Organizer
      8th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control (AGERE 2018), pp. 13-22 [査読有り]
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18K11236
  • [Presentation] An Actor-Based Runtime Monitoring System for Web and Desktop Applications2017

    • Author(s)
      Paul Lavery, Takuo Watanabe
    • Organizer
      18th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and_Parallel/Distributed Computing (SNPD 2017)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-26330079
  • [Presentation] Reactive Reflection in an FRP Language for Small-Scale Embedded Systems2017

    • Author(s)
      Takuo Watanabe
    • Organizer
      Workshop on Meta-Programming Techniques and Reflection (META 2017) [査読あり]
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15K00089
  • [Presentation] 多言語に対応した衛生的マクロ機構導入方式2017

    • Author(s)
      高桑健太郎,_渡部卓雄
    • Organizer
      日本ソフトウェア科学会第34回大会
    • Data Source
      KAKENHI-PROJECT-26330079
  • [Presentation] Actoverse: A Reversible Debugger for Actors2017

    • Author(s)
      Kazuhiro Shibanai, Takuo Watanabe
    • Organizer
      7th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control (AGERE_2017)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-26330079
  • [Presentation] An Actor-Based Execution Model of an FRP Language for Small-Scale Embedded Systems2017

    • Author(s)
      Takuo Watanabe & Yuji Iwasaki
    • Organizer
      7th Workshop on Computation: Theory and Practice (WCTP 2017) [査読あり]
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15K00089
  • [Presentation] An Actor-Based Execution Model of an FRP Language for Small-Scale Embedded Systems2017

    • Author(s)
      Takuo Watanabe, Yuji Iwasaki
    • Organizer
      7th Workshop on Computation: Theory and Practice (WCTP 2017)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-26330079
  • [Presentation] アクターシステムを対象としたリバースデバッギングのためのフレームワーク2017

    • Author(s)
      柴内一宏, 渡部卓雄
    • Organizer
      日本ソフトウェア科学会第34回大会 [査読なし]
    • Data Source
      KAKENHI-PROJECT-15K00089
  • [Presentation] 多言語に対応した衛生的マクロ機構導入方式2017

    • Author(s)
      高桑健太郎, 渡部卓雄
    • Organizer
      第19回プログラミングおよびプログラミング言語ワークショップ
    • Place of Presentation
      山梨県笛吹市石和温泉
    • Year and Date
      2017-03-08
    • Data Source
      KAKENHI-PROJECT-26330079
  • [Presentation] An Actor-Based Runtime Monitoring System for Web and Desktop Applications2017

    • Author(s)
      Paul Lavery & Takuo Watanabe
    • Organizer
      18th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD 2017) [査読あり]
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15K00089
  • [Presentation] 多言語に対応した衛生的マクロ機構導入方式2017

    • Author(s)
      高桑健太郎,渡部卓雄
    • Organizer
      日本ソフトウェア科学会第19回プログラミングおよびプログラミング言語ワークショップ(PPL 2017)
    • Place of Presentation
      石和温泉華やぎの章慶山 (山梨県笛吹市)
    • Year and Date
      2017-03-08
    • Data Source
      KAKENHI-PROJECT-15K00089
  • [Presentation] アクターシステムを対象としたリバースデバッギングのためのフレームワーク2017

    • Author(s)
      柴内一宏, 渡部卓雄
    • Organizer
      日本ソフトウェア科学会第34回大会
    • Data Source
      KAKENHI-PROJECT-26330079
  • [Presentation] Towards Reflection in an FRP Language for Small-Scale Embedded Systems2017

    • Author(s)
      Takuo Watanabe, Kensuke Sawada
    • Organizer
      2nd Workshop on Live Adaptation of Software SYstems (LASSY 2017)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-26330079
  • [Presentation] Towards Reflection in an FRP Language for Small-Scale Embedded Systems2017

    • Author(s)
      Takuo Watanabe & Kensuke Sawada
    • Organizer
      2nd Workshop on Live Adaptation of Software SYstems (LASSY 2017) [査読あり]
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15K00089
  • [Presentation] 小規模組み込みシステム向けFRP言語のための自己反映機構2017

    • Author(s)
      渡部卓雄
    • Organizer
      情報処理学会第45回組込みシステム研究会(SIGEMB45) [査読なし]
    • Data Source
      KAKENHI-PROJECT-15K00089
  • [Presentation] Actoverse: A Reversible Debugger for Actors2017

    • Author(s)
      Kazuhiro Shibanai & Takuo Watanabe
    • Organizer
      7th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control (AGERE 2017) [査読あり]
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15K00089
  • [Presentation] 小規模組み込みシステム向けFRP言語のための自己反映機構2017

    • Author(s)
      渡部卓雄
    • Organizer
      情報処理学会第45回組込みシステム研究会(SIGEMB45)
    • Data Source
      KAKENHI-PROJECT-26330079
  • [Presentation] 多言語に対応した衛生的マクロ機構導入方式2017

    • Author(s)
      高桑健太郎, 渡部卓雄
    • Organizer
      日本ソフトウェア科学会第34回大会 [査読なし]
    • Data Source
      KAKENHI-PROJECT-15K00089
  • [Presentation] Reactive Reflection in an FRP Language for Small-Scale Embedded Systems2017

    • Author(s)
      Takuo Watanabe
    • Organizer
      Workshop on Meta-Programming Techniques and Reflection (META 2017)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-26330079
  • [Presentation] 時相論理式の反証を用いた制御器のチューニング2016

    • Author(s)
      峰尾太陽, 石井大輔, 渡部卓雄
    • Organizer
      電子情報通信学会 システム数理と応用研究会
    • Place of Presentation
      海峡メッセ下関, 山口県下関市
    • Year and Date
      2016-03-03
    • Data Source
      KAKENHI-PROJECT-15K00089
  • [Presentation] OMetaのための衛生的マクロ定義機構導入方式2016

    • Author(s)
      星野友宏, 高桑健太郎, 渡部卓雄
    • Organizer
      日本ソフトウェア科学会第33回大会
    • Place of Presentation
      東北大学片平キャンパス (宮城県仙台市)
    • Year and Date
      2016-09-06
    • Data Source
      KAKENHI-PROJECT-15K00089
  • [Presentation] OMetaのための衛生的マクロ定義機構導入方式2016

    • Author(s)
      星野友宏, 高桑健太郎, 渡部卓雄
    • Organizer
      日本ソフトウェア科学会第33回大会
    • Place of Presentation
      仙台市東北大学
    • Year and Date
      2016-09-06
    • Data Source
      KAKENHI-PROJECT-26330079
  • [Presentation] Towards an Integration of the Actor Model in an FRP Language for Small-Scale Embedded Systems2016

    • Author(s)
      Takuo Watanabe, Kensuke Sawada
    • Organizer
      6th International Workshop on Programming based on Actors, Agents, and Decentralized Control (AGERE!@SPLASH 2016) [査読有り]
    • Place of Presentation
      Moevenpick Hotel (Amsterdam, Netherlands)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15K00089
  • [Presentation] Emfrp: A Functional Reactive Programming Language for Small-Scale Embedded Systems2016

    • Author(s)
      Kensuke Sawada and Takuo Watanabe
    • Organizer
      Modularity 2016, Constrained and Reactive Objects Workshop (CROW 2016)[査読有]
    • Place of Presentation
      Univ. of Malaga, Malaga, Spain
    • Year and Date
      2016-03-15
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15K00089
  • [Presentation] Code Oriented Diagram Editorを用いた並行バグの可視化2016

    • Author(s)
      大村裕, 荒堀喜貴, 権藤克彦, 渡部卓雄
    • Organizer
      日本ソフトウェア科学会第14回ディペンダブルシステムワークショップ(DSW 2016)
    • Place of Presentation
      花びしホテル (北海道函館市)
    • Year and Date
      2016-12-14
    • Data Source
      KAKENHI-PROJECT-15K00089
  • [Presentation] Towards an Actor-Based Execution Model of an FRP Language for Small-Scale Embedded Systems2016

    • Author(s)
      Takuo Watanabe, Kensuke Sawada
    • Organizer
      情報処理学会第43回組込みシステム研究会(SIGEMB43)
    • Place of Presentation
      九州大学伊都キャンパス (福岡県福岡市)
    • Data Source
      KAKENHI-PROJECT-15K00089
  • [Presentation] CFRP: A Functional Reactive Programming Language for Small-Scale Embedded Systems2016

    • Author(s)
      Kohei Suzuki, Kanato Nagayama, Kensuke Sawada, Takuo Watanabe
    • Organizer
      Workshop on Computation: Theory and Practice (WCTP 2016) [査読有り]
    • Place of Presentation
      University of the Philippines Cebu (Cebu City, Philippines)
    • Year and Date
      2016-09-21
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15K00089
  • [Presentation] 小規模組み込みシステムにおけるFRPの応用に向けて2015

    • Author(s)
      澤田賢祐, 鈴木康平, 渡部卓雄
    • Organizer
      電子情報通信学会ソフトウェアサイエンス研究会(SIGSS)
    • Place of Presentation
      熊本大学黒髪キャンパス, 熊本県熊本市
    • Year and Date
      2015-05-11
    • Data Source
      KAKENHI-PROJECT-15K00089
  • [Presentation] 小規模組み込みシステムにおけるFRPの応用に向けて2015

    • Author(s)
      澤田賢祐, 鈴木康平, 渡部卓雄
    • Organizer
      電子情報通信学会ソフトウェアサイエンス研究会(SIGSS)
    • Place of Presentation
      熊本
    • Year and Date
      2015-05-11
    • Data Source
      KAKENHI-PROJECT-26330079
  • [Presentation] A Reflective Implementation of an Actor-based Concurrent Context-Oriented System2015

    • Author(s)
      Sohei Takeno and Takuo Watanabe
    • Organizer
      14th Workshop on Adaptive and Reflective Middleware (ARM 2015)[査読有]
    • Place of Presentation
      Vancouver Marriott Hotel, Vancouver, BC, Canada
    • Year and Date
      2015-12-08
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15K00089
  • [Presentation] Actario: A Framework for Reasoning About Actor Systems2015

    • Author(s)
      Shohei Yasutake and Takuo Watanabe
    • Organizer
      5th International Workshop on Programming based on Actors, Agents, and Decentralized Control (AGERE!@SPLASH 2015) [査読有]
    • Place of Presentation
      Sheraton Station Square Hotel, Pittsburgh, PA, US
    • Year and Date
      2015-10-26
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15K00089
  • [Presentation] A Reflective Approach to Actor-Based Concurrent Context-Oriented Systems2014

    • Author(s)
      Takuo Watanabe and Souhei Takeno
    • Organizer
      6th International Workshop on Context-Oriented Programming (COP 2014) (査読あり)
    • Place of Presentation
      Uppsala University
    • Year and Date
      2014-07-29
    • Data Source
      KAKENHI-PROJECT-24500033
  • [Presentation] A Model-Checking Based Approach to Robustness Analysis of Procedures under Human-Made Faults2014

    • Author(s)
      Naoyuki Nagatou, Takuo Watanabe
    • Organizer
      2nd Asia Pacific Conference on Business Process Management (APBPM 2014, Springer LNBIP, Vol. 181, pp. 121-135) (査読有)
    • Place of Presentation
      Queensland University of Technology, Brisbane
    • Data Source
      KAKENHI-PROJECT-24500033
  • [Presentation] ヒューマンエラーに対する手順書の耐性検査2013

    • Author(s)
      永藤直行, 渡部卓雄
    • Organizer
      電子情報通信学会知能ソフトウェア工学研究会 (信学技報 Vol. 113, No. 71, pp. 61-66)
    • Place of Presentation
      慶應義塾大学・日吉キャンパス
    • Data Source
      KAKENHI-PROJECT-24500033
  • [Presentation] Towards a Compositional Reflective Architecture for Actor-Based Systems2013

    • Author(s)
      Takuo Watanabe
    • Organizer
      3rd ACM International Workshop on Programming based on Actors, Agents, and Decentralized Control (AGERE!SPLASH 2013, pp. 19-24) (査読有) DOI: /10.1145/2541329.2541341
    • Place of Presentation
      Hyatt Regency, Indianapolis
    • Data Source
      KAKENHI-PROJECT-24500033
  • [Presentation] A Compositional Reflective Architecture for Actor-Based Systems2013

    • Author(s)
      Takuo Watanabe
    • Organizer
      Workshop on Computation: Theory and Practice (WCTP 2013, pp. 1-12) (査読有)
    • Place of Presentation
      University of the Philippines, Diliman
    • Data Source
      KAKENHI-PROJECT-24500033
  • [Presentation] An Interactive Extension Mechanism for Reusing Verified Programs2013

    • Author(s)
      Sosuke Moriguchi and Takuo Watanabe
    • Organizer
      28th ACM Symposium on Applied Computing (査読有)
    • Place of Presentation
      Institute of Engineering of the Polytechnic Institute of Coimbra (Coimbra, Portugal)
    • Data Source
      KAKENHI-PROJECT-24500033
  • [Presentation] 実時間システム向けの文脈指向DSL2013

    • Author(s)
      中村遼太郎, 渡部卓雄
    • Organizer
      情報処理学会ソフトウェア工学研究会
    • Place of Presentation
      化学会館(東京都千代田区)
    • Data Source
      KAKENHI-PROJECT-24500033
  • [Presentation] 検証付きプログラムに対する対話的修正の合成2013

    • Author(s)
      森口草介, 渡部卓雄
    • Organizer
      日本ソフトウェア科学会FOSE2013 (レクチャーノート/ソフトウェア学, Vol. 39, pp. 131-136) (査読有)
    • Place of Presentation
      加賀市山代温泉
    • Data Source
      KAKENHI-PROJECT-24500033
  • [Presentation] 実時間システム向け文脈指向言語ProcneJ2013

    • Author(s)
      安原由貴, 森口草介, 渡部卓雄
    • Organizer
      情報処理学会プログラミング研究会
    • Place of Presentation
      国立情報学研究所(東京都千代田区)
    • Data Source
      KAKENHI-PROJECT-24500033
  • [Presentation] 人為的欠陥の意味と耐性解析2013

    • Author(s)
      永藤直行, 渡部卓雄
    • Organizer
      日本ソフトウェア科学会第30回大会
    • Place of Presentation
      東京大学・本郷キャンパス
    • Data Source
      KAKENHI-PROJECT-24500033
  • [Presentation] ヒューマンエラーに対する手順書の耐性検査2013

    • Author(s)
      永藤直行, 渡部卓雄
    • Organizer
      電子情報通信学会知能ソフトウェア工学研究会
    • Place of Presentation
      慶應義塾大学(神奈川県横浜市)
    • Data Source
      KAKENHI-PROJECT-24500033
  • [Presentation] Robustness Analysis on Human-made Faults in Procedural Manuals2013

    • Author(s)
      Naoyuki Nagatou, Takuo Watanabe
    • Organizer
      Workshop on Computation: Theory and Practice (WCTP 2013, pp. 69-81) (査読有)
    • Place of Presentation
      University of the Philippines, Diliman
    • Data Source
      KAKENHI-PROJECT-24500033
  • [Presentation] A Model-Based Approach to Constructing Safe Soft Real-Time Programs for Non-Real-Time Environments2012

    • Author(s)
      Ilankaikone Senthooran and Takuo Watanabe
    • Organizer
      13th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD 2012) (査読有)
    • Place of Presentation
      キャンパスプラザ京都(京都市)
    • Data Source
      KAKENHI-PROJECT-24500033
  • [Presentation] On Generating Soft Real-Time Programs for Non-Real-Time Environments2012

    • Author(s)
      Ilankaikone Senthooran and Takuo Watanabe
    • Organizer
      Workshop on Computation: Theory and Practice (WCTP 2012) (査読有)
    • Place of Presentation
      De La Salle University (Manila)
    • Data Source
      KAKENHI-PROJECT-24500033
  • [Presentation] 組込みシステムのための文脈指向仕様記述に向けて2012

    • Author(s)
      安原由貴, 森口草介, 渡部卓雄
    • Organizer
      日本ソフトウェア科学会第29回大会
    • Place of Presentation
      法政大学(東京都小金井市)
    • Data Source
      KAKENHI-PROJECT-24500033
  • [Presentation] Objective-Cによる文脈指向プログラミングの実現手法2012

    • Author(s)
      鈴木将哉, 渡部卓雄
    • Organizer
      電子情報通信学会ソフトウェアサイエンス研究会
    • Place of Presentation
      はこだて未来大学(北海道函館市)
    • Data Source
      KAKENHI-PROJECT-24500033
  • [Presentation] Aspect-Oriented Behavioral Interface Specification in Moxa2009

    • Author(s)
      Takuo Watanabe, Kiyoshi Yamada
    • Organizer
      5th Asian Workshop on Aspect-Oriented Software Development
    • Place of Presentation
      Auckland, New Zealand
    • Year and Date
      2009-11-17
    • Data Source
      KAKENHI-PLANNED-18049027
  • [Presentation] An Aspect-Oriented Behavioral Interface Specification Language2008

    • Author(s)
      Takuo Watanabe, et.al.
    • Organizer
      Workshop on Formal Languages and Analysis of Contract-Oriented Software
    • Place of Presentation
      Malta
    • Year and Date
      2008-11-28
    • Data Source
      KAKENHI-PLANNED-18049027
  • [Presentation] Towards Formalizing Operational Aspects of Reflective Computation2008

    • Author(s)
      Takuo Watanabe
    • Organizer
      Asian Workshop on Aspect-Oriented Software Development
    • Place of Presentation
      Beijing, China
    • Year and Date
      2008-12-02
    • Data Source
      KAKENHI-PLANNED-18049027
  • [Presentation] アクターモデルに基づく並行文脈指向プログラミング機構の実装と評価

    • Author(s)
      竹野創平, 渡部卓雄
    • Organizer
      日本ソフトウェア科学会第31回大会
    • Place of Presentation
      名古屋大学・東山キャンパス
    • Year and Date
      2014-09-07 – 2014-09-10
    • Data Source
      KAKENHI-PROJECT-24500033
  • [Presentation] 小規模組み込みシステムにおけるFRPの応用に向けて

    • Author(s)
      澤田賢祐, 鈴木康平, 渡部卓雄
    • Organizer
      電子情報通信学会ソフトウェアサイエンス研究会(SIGSS)
    • Place of Presentation
      熊本大学・黒髪キャンパス
    • Year and Date
      2015-05-11 – 2015-05-12
    • Data Source
      KAKENHI-PROJECT-24500033
  • [Presentation] Aπ計算のCoqによる形式化

    • Author(s)
      安武祥平, 渡部卓雄
    • Organizer
      日本ソフトウェア科学会第31回大会
    • Place of Presentation
      名古屋大学・東山キャンパス
    • Year and Date
      2014-09-07 – 2014-09-10
    • Data Source
      KAKENHI-PROJECT-24500033
  • 1.  AMANO Noriki (30313703)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 10 results
  • 2.  FUTATSUGI Kokichi (50251971)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 3.  森口 草介 (60733409)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 40 results
  • 4.  SHIBAYAMA Etsuya (80162642)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 5.  YONEZAWA Akinori (00133116)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 6.  OGATA Kazuhiro (30272991)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 7.  KOBAYASHI Naoki (00262155)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 8.  SUZUKI Masato (30242572)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 9.  CHIBA Shigeru (80282713)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 10.  KONO Kenji (90301118)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 11.  Wakita Ken (10242265)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 3 results
  • 12.  MATSUOKA Satoshi (20221583)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 13.  TOKORO Mario (10051898)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 14.  IGARASHI Atsushi (40323456)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 15.  TAURA Kenjiro (90282714)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 16.  ISCHISUGI Yuuji (30356464)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 17.  GONDOW Katsuhiko (50262283)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 18.  TANAKA Akira (10357452)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 19.  YAMADA Kiyoshi (80415760)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 7 results
  • 20.  佐々木 晃 (90396870)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 21.  ディアコネスク ラズウ゛ァ (30293393)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 22.  JONES Cliff
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 23.  HONDA Kohei
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results

URL: 

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi