@article{CTT100890823,
  author = {権藤 克彦 and 新山 祐介 and 荒堀 喜貴},
  title = {UCDetector:ユーザ空間で実装した Swift 言語用の 循環参照検知器},
  journal = {コンピュータソフトウェア},
  year = 2022,
}

@article{CTT100890822,
  author = {S. Hoshino and Y. Arahori and K. Gondow},
  title = {Postmortem accurate IR-level state recovery for deployed concurrent programs},
  journal = {ACM SIGAPP Applied Computing Review},
  year = 2021,
}

@inproceedings{CTT100849392,
  author = {S. Hoshino and Y. Arahori and K. Gondow},
  title = {STRAB: state recovery using reverse execution at IR level for concurrent programs},
  booktitle = {},
  year = 2021,
}

@inproceedings{CTT100849391,
  author = {E. Tominaga and Y. Arahori and K. Gondow.},
  title = {DiverJS: Path Exploration Heuristic for Difference Analysis of Event-Driven Code},
  booktitle = {},
  year = 2021,
}

@inproceedings{CTT100849390,
  author = {M. Kim and K. Lee and K. Gondow},
  title = {Implementation of Image SuperDistribution System},
  booktitle = {},
  year = 2019,
}

@inproceedings{CTT100849389,
  author = {E. Tominaga and Y. Arahori and K. Gondow},
  title = {AwaitViz: a Visualizer of JavaScript's Async/Await Execution Order},
  booktitle = {},
  year = 2019,
}

@inproceedings{CTT100849388,
  author = {Y. Jitsunari and Y. Arahori and K. Gondow},
  title = {Quantifying the Limitations of Learning-Assisted Grammar-Based Fuzzing},
  booktitle = {},
  year = 2019,
}

@inproceedings{CTT100849387,
  author = {Y. Shinyama and Y. Arahori and K. Gondow},
  title = {Analyzing Code Comments to Boost Program Comprehension},
  booktitle = {},
  year = 2018,
}

@article{CTT100849382,
  author = {M. Kim and K. Lee and K. Gondow and J. Imura},
  title = {Robust Index Code to distribute digital images and digital contents together},
  journal = {IEICE Transactions on Information and Systems},
  year = 2018,
}

@inproceedings{CTT100849386,
  author = {Y. Sakurai and Y. Arahori and K. Gondow},
  title = {POI: Skew-Aware Parallel Race Detection},
  booktitle = {},
  year = 2018,
}

@inproceedings{CTT100849385,
  author = {K. Gondow and Y. Arahori},
  title = {Why Do We Need the C language in Programming Courses?},
  booktitle = {},
  year = 2018,
}

@inproceedings{CTT100849384,
  author = {K. Gondow and Y. Arahori and K. Yamamoto and M. Fukuyori and R. Umekawa},
  title = {TCC (Tracer-Carrying Code): A Hash-based Pinpointable Traceability Tool using Copy&Paste},
  booktitle = {},
  year = 2018,
}

@inproceedings{CTT100849383,
  author = {T. Ogitani and Y. Arahori and Y. Shinyama and K. Gondow},
  title = {Space Saving Text Input Method for Head Mounted Display with Virtual 12-key Keyboard},
  booktitle = {},
  year = 2018,
}

@inproceedings{CTT100782922,
  author = {Y. Shinyama and Y. Arahori and K. Gondow:},
  title = {CodeCAM: capturing programmer's reaction during coding session},
  booktitle = {},
  year = 2018,
}

@inproceedings{CTT100776172,
  author = {小林隆志 and 権藤克彦 and 佐伯元司 and 首藤一幸 and 西崎真也 and 森本千佳子 and 脇田建 and 渡部卓雄 (50音順)},
  title = {東京工業大学における実践的 IT 人材育成の試み - IT システムの価値探索とチームビルディング},
  booktitle = {第 4 回実践的 IT 教育シンポジウム (rePiT2018) 予稿集},
  year = 2018,
}

@inproceedings{CTT100782923,
  author = {M. Kim and K. Lee and K. Gondow},
  title = {Distribute digital contents within digital images on the mobile},
  booktitle = {},
  year = 2018,
}

@misc{CTT100782924,
  author = {権藤克彦 and 内田公太 and 小島吉貴 and 荒堀喜貴},
  title = {初心者にやさしいコンパイラ警告メッセージを目指して},
  year = 2017,
}

@inproceedings{CTT100754548,
  author = {小林隆志 and 権藤克彦 and 佐伯元司 and 首藤一幸 and 西崎真也 and 森本千佳子 and 脇田建 and 渡部卓雄},
  title = {東京工業大学における IT システムの価値探索を狙いとした実践的 IT 人材育成の試み - Problem BasedLearning と Project Based Learning},
  booktitle = {日本ソフトウェア科学会 第34回大会 論文集},
  year = 2017,
}

@inproceedings{CTT100734931,
  author = {佐々木俊亮 and 荒堀喜貴 and 権藤克彦},
  title = {静的コード解析に基づくプルリクエスト品質即時計測},
  booktitle = {},
  year = 2016,
}

@inproceedings{CTT100736924,
  author = {大村裕 and 荒堀喜貴 and 権藤克彦 and 渡部卓雄},
  title = {Code Oriented Diagram Editorを用いた並行バグの可視化},
  booktitle = {},
  year = 2016,
}

@inproceedings{CTT100734930,
  author = {長田晃太朗 and 荒堀喜貴 and 権藤克彦},
  title = {動的バイナリ計装に基づく正確なヒープ検査},
  booktitle = {},
  year = 2016,
}

@inproceedings{CTT100723677,
  author = {M. Kim and Kunwoo Lee and K. Gondow and Jun-ichi Imura},
  title = {Robust Index Code with Digital Images on the Internet},
  booktitle = {},
  year = 2016,
}

@inproceedings{CTT100723666,
  author = {K. Uchida and K. Gondow:},
  title = {C-Helper: C Latent-error Static/Heuristic Checker for Novice Programmers},
  booktitle = {},
  year = 2016,
}

@inproceedings{CTT100723694,
  author = {Y. Kojima and Y. Arahori and K. Gondow},
  title = {Investigating the Difficulty of Commercial-level Compiler Warning Messages for Novice Programmers},
  booktitle = {},
  year = 2015,
}

@article{CTT100665757,
  author = {森川知哉 and 荒堀喜貴 and 権藤克彦},
  title = {整数オーバーフローの未定義動作検出に対する整数境界値の定量的評価},
  journal = {コンピュータソフトウェア（レター論文）},
  year = 2014,
}

@inproceedings{CTT100682091,
  author = {小林隆志 and 権藤克彦 and 佐伯元司 and 首藤一幸 and 田中康 and 西崎真也 and 森本千佳子 and 米崎直樹 and 渡部卓雄},
  title = {Cloudbauhaus: 東京工業大学における実践的IT人材育成の試み},
  booktitle = {},
  year = 2013,
}

@article{CTT100645587,
  author = {深谷敏邦 and 権藤克彦},
  title = {GPUを利用したポインタ解析の実装と評価},
  journal = {コンピュータソフトウェア（レター論文）},
  year = 2012,
}

@article{CTT100644693,
  author = {権藤克彦 and 福安 直樹 and 荒堀喜貴},
  title = {ネイティブアセンブリコードを出力する教育用コンパイラ（XCC）と，水平スライスが可能な可視化ツール（MieruCompiler）},
  journal = {電子情報通信学会論文誌},
  year = 2012,
}

@article{CTT100634450,
  author = {荒堀喜貴 and 権藤克彦 and 前島英雄},
  title = {競合回避機構を備えた高互換かつ高精度な境界検査手法},
  journal = {情報処理学会論文誌},
  year = 2012,
}

@article{CTT100632040,
  author = {鮎川力也 and 権藤克彦 and 荒堀 喜貴},
  title = {誤解放を防ぐための新しい型修飾子 strict_lifetime},
  journal = {電子情報通信学会論文誌},
  year = 2012,
}

@article{CTT100632039,
  author = {鷲崎弘宜 and 坂本一憲 and 大杉直樹 and 権藤克彦 and 服部哲 and 久保淳人 and 小林隆志 and 大月美佳 and 丸山勝久 and 榊原彰},
  title = {デザインパターンへの工学的取り組み},
  journal = {コンピュータソフトウェア},
  year = 2012,
}

@article{CTT100607725,
  author = {荒堀喜貴 and 権藤克彦 and 前島英雄},
  title = {広範な実用Ｃプログラムに適用可能かつ高精度な動的境界検査ツール},
  journal = {電子情報通信学会論文誌},
  year = 2010,
}

@article{CTT100607727,
  author = {荒堀喜貴 and 権藤克彦 and 前島英雄},
  title = {Cプログラムの割り込み競合の動的検出法},
  journal = {情報処理学会論文誌},
  year = 2010,
}

@article{CTT100615920,
  author = {権藤克彦 and 冨永和人},
  title = {事例研究：ツール「簡単#include検査君」とその経験},
  journal = {コンピュータソフトウェア},
  year = 2010,
}

@inproceedings{CTT100592277,
  author = {Katsuhiko Gondow and Naoki Fukuyasu and Yoshitaka Arahori},
  title = {MieruCompiler: Integrated Visualization Tool with "Horizontal Slicing" for Educational Compilers},
  booktitle = {41st ACM Technical Sympo. on Computer Science Education (SIGCSE 2010)},
  year = 2010,
}

@inproceedings{CTT100592276,
  author = {Yoshitaka Arahori and Katsuhiko Gondow and Hideo Maejima},
  title = {TCBC: Trap Caching Bounds Checking for C},
  booktitle = {8th IEEE Int. Conf. on Dependable, Autonomic and Secure Computing (DASC-09)},
  year = 2009,
}

@inproceedings{CTT100592275,
  author = {Yoshitaka Arahori and Katsuhiko Gondow and Hideo Maejima},
  title = {Cache-based Bounds Checking for Multi-threaded C Programs},
  booktitle = {21st IASTED Int. Conf. Parallel and Distributed Computing Systems (PDCS 2009)},
  year = 2009,
}

@inproceedings{CTT100566349,
  author = {T. Tahara and K. Gondow and S. Ohsuga},
  title = {DRACULA: Detector of Data Races in Signals Handlers},
  booktitle = {15th Asia-Pacific Software Engineering Conference (APSEC2008)},
  year = 2008,
}

@inproceedings{CTT100657051,
  author = {吉瀬謙二 and 佐藤真平 and 森谷章 and 藤枝直輝 and 若杉祐太 and 渡邉伸平 and 植原昂 and 森洋介 and 高前田伸也 and 高橋朝英 and 棟岡朋也 and 山田裕介 and 権藤克彦 and 小林良太郎 and 三好健文 and 中條拓伯},
  title = {MieruPCプロジェクト：中身が見える計算機システムを構築する研究・教育プロジェクト},
  booktitle = {},
  year = 2008,
}

@inproceedings{CTT100566347,
  author = {K. Gondow and H. Kawashima and T. Imaizumi},
  title = {TBCppA: a Tracer Approach for Automatic Accurate Analysis of C Preprocessor's Behaviors},
  booktitle = {8th IEEE Int. Working Conf. on Source Code Analysis and Manipulation (SCAM2008)},
  year = 2008,
}

@article{CTT100566354,
  author = {田原貴光 and 権藤克彦},
  title = {DRACULA：シグナルによるデータ競合の検出ツール},
  journal = {電子情報通信学会論文誌},
  year = 2008,
}

@article{CTT100566351,
  author = {権藤克彦 and 川島勇人 and 今泉貴史},
  title = {TBCppA: 追跡子を用いたC前処理系解析器},
  journal = {コンピュータソフトウェア},
  year = 2008,
}

@inproceedings{CTT100547077,
  author = {Yui Terashima and Katsuhiko Gondow},
  title = {Static Call Graph Generator for C++ using Debugging Information},
  booktitle = {14th Asia-Pacific Software Engineering Conference (APSEC)},
  year = 2007,
}

@book{CTT100592278,
  author = {冨永和人 and 権藤克彦},
  title = {例解UNIXプログラミング教室},
  publisher = {ピアソンエデュケーション},
  year = 2007,
}

@article{CTT100544550,
  author = {大場勝 and 権藤克彦:},
  title = {プログラム理解を支援するコンセプトキーワードの自動抽出法ckTF/IDF法の提案},
  journal = {情報処理学会論文誌},
  year = 2007,
}

@article{CTT100544549,
  author = {大場勝 and 権藤克彦},
  title = {プログラム理解のための実装レベル制約とソースコード間の追跡性の整理保存法},
  journal = {電子情報通信学会論文誌},
  year = 2007,
}

@article{CTT100544548,
  author = {権藤克彦 and 大場勝},
  title = {中レベル抽象・薄い中間層・追跡性の実践によるコンパクトな教育用オペレーティングシステムudosの設計と実装},
  journal = {電子情報通信学会論文誌},
  year = 2007,
}

@inproceedings{CTT100544556,
  author = {Masaru Ohba and Katsuhiko Gondow},
  title = {Maintaining Traceability Links between Implementation-level Restrictions and Source Code for Program Understanding},
  booktitle = {10th IASTED Int. Conf. Software Engineering and Applications (SEA 2006)},
  year = 2006,
}

@article{CTT100411587,
  author = {権藤克彦 and 鈴木朝也 and 川島勇人},
  title = {C言語用CASEツールへのDWARF2デバッグ情報の応用},
  journal = {コンピュータソフトウェア},
  year = 2006,
}

@book{CTT100391906,
  author = {権藤克彦 and 小林隆志},
  title = {ソフトウェア工学の基礎 XII},
  publisher = {近代科学社},
  year = 2005,
}

@inproceedings{CTT100723722,
  author = {Masaru Ohba and Katsuhiko Gondow:},
  title = {Toward Mining "Concept Keywords" from Identifiers in Large Software Projects},
  booktitle = {Int. Workshop on Mining Software Repositories (MSR2005)},
  year = 2005,
}

@inproceedings{CTT100391893,
  author = {鷲崎弘宜 and 大杉直樹 and 権藤克彦 and 服部哲 and 久保淳人 and 下滝亜里 and 小林隆志 and 藤枝和宏 and 大月美佳 and 丸山勝久 and 榊原彰},
  title = {ソフトウェアパターン研究の発展経緯と最近の動向},
  booktitle = {情報処理学会 情処研報(ソフトウェア工学)},
  year = 2005,
}

@inproceedings{CTT100723726,
  author = {Katsuhiko Gondow and Tomoya Suzuki and Hayato Kawashima:},
  title = {Binary-Level Lightweight Data Integration to Develop Program Understanding Tools for Embedded Software in C},
  booktitle = {11th Asia-Pacific Software Engineering Conference (APSEC)},
  year = 2004,
}

@article{CTT100723944,
  author = {Yasser Kotb and Katsuhiko Gondow and Takuya Katayama},
  title = {Optimizing the Execution Time for Checking the Consistency of XML Documents},
  journal = {Journal of Intelligent Information System (JIIS)},
  year = 2004,
}

@article{CTT100500555,
  author = {川島勇人 and 権藤克彦},
  title = {ACMLに基づくプログラム情報抽出システムの設計},
  journal = {コンピュータソフトウェア},
  year = 2004,
}

@inproceedings{CTT100485073,
  author = {Hiroyuki Ozaki and Shingo Ban and Katsuhiko Gondow and Takuya Katayama},
  title = {An Environment for Evolutionary Prototyping Java Programs      based on Abstract Interpretation},
  booktitle = {10th Asia-Pacific Software Engineering Conference (APSEC), IEEE Computer Society Press},
  year = 2003,
}

@inproceedings{CTT100544553,
  author = {Yasser Kotb and Katsuhiko Gondow and Takuya Katayama:},
  title = {A case study for XML semantics Checker Model},
  booktitle = {IEEE Int. Conf. On Systems, Man and  Cybernetics (SMC 03)},
  year = 2003,
}

@inproceedings{CTT100485072,
  author = {Hiroyuki Ozaki and Katsuhiko Gondow and Takuya Katayama},
  title = {Class Refinement for Software Evolution},
  booktitle = {6th Int. Workshop on Principles of Software Evolution (IWPSE6), IEEE Computer Society Press},
  year = 2003,
}

@inproceedings{CTT100544552,
  author = {Yasser Kotb and Katsuhiko Gondow and Takuya Katayama:},
  title = {A Practical Example of XML Semantics},
  booktitle = {Int. Conf. on Parallel and Distributed Computing Applications and Technologies (PDCAT'03)},
  year = 2003,
}

@article{CTT100482185,
  author = {Shin Natori and Katsuhiko Gondow and Takashi Imaizumi and Takeshi Hagiwara and Takuya Katayama},
  title = {OAG*: Improved Ordered Attribute Grammars for Less Type 3 Circularities},
  journal = {IEICE Transactions on Information and Systems},
  year = 2003,
}

@article{CTT100482184,
  author = {権藤克彦 and 川島勇人},
  title = {コンパクトなANSI CインタプリタXCIの設計と実装},
  journal = {電子情報通信学会論文誌},
  year = 2003,
}

@inproceedings{CTT100482205,
  author = {Hayato Kawashima and Katsuhiko Gondow},
  title = {Experience with ANSI C Markup Language for a Cross-Referencer},
  booktitle = {Proc. Domain-Specific Language Minitrack, 36th Hawaii Int. Conf. on System Sciences (HICSS-36)},
  year = 2003,
}

@article{CTT100482183,
  author = {川島勇人 and 権藤克彦},
  title = {XMLを用いたANSI CのためのCASEツールプラットフォーム},
  journal = {コンピュータソフトウェア},
  year = 2002,
}

@inproceedings{CTT100482199,
  author = {Hiroyuki Ozaki and Katsuhiko Gondow and Takuya Katayama},
  title = {Evolutionary Prototyping Technique Using Abstract Interpretation in Java},
  booktitle = {Proc. Int. Sympo. on Future Software Technology (ISFST2002)},
  year = 2002,
}

@inproceedings{CTT100482200,
  author = {Mitsunori Fujita and Kazuhiro Fujieda and Katsuhiko Gondow and Koichiro Ochimizu},
  title = {Support for Joining in Open Source Software Development Projects Using Public Data},
  booktitle = {Proc. Int. Sympo. on Future Software Technology (ISFST2002)},
  year = 2002,
}

@inproceedings{CTT100544551,
  author = {Yasser Kotb and Katsuhiko Gondow and Takuya Katayama:},
  title = {An Incremental Evaluation Approach to Check the Consistency of XML Documents},
  booktitle = {IEEE Int. Conf. on Systems, Man and Cybernetics},
  year = 2002,
}

@inproceedings{CTT100482206,
  author = {Yasser Kotb and Katsuhiko Gondow and Takuya Katayama},
  title = {Deriving Knowledge Base Assertions from XML Documents},
  booktitle = {Proc. Int. Sympo. on Knowledge Creation in Economics, Environmental     and Societal Systems},
  year = 2002,
}

@inproceedings{CTT100482198,
  author = {Yasser Kotb and Katsuhiko Gondow and Takuya Katayama},
  title = {The XML Semantics Checker Model},
  booktitle = {3rd Int. Conf. on Parallel and Distributed Computing, Applications and Technologies (PDCAT'02)},
  year = 2002,
}

@inproceedings{CTT100482197,
  author = {Yasser Kotb and Katsuhiko Gondow and Takuya Katayama},
  title = {Using Bypassing Copy Rules Technique to XML Consistency Semantics Checker},
  booktitle = {3rd Int. Conf. on Internet Computing 2002 (IC'2002)},
  year = 2002,
}

@inproceedings{CTT100482196,
  author = {Katsuhiko Gondow and Hayato Kawashima},
  title = {Towards ANSI C Program Slicing using XML},
  booktitle = {2nd Int. Workshop on Language Descriptions, Tools and Applications (LDTA02), Electronic Notes in Theoretical Computer Science (ENTCS)},
  year = 2002,
}

@inproceedings{CTT100482195,
  author = {Yasser Kotb and Katsuhiko Gondow and Takuya Katayama},
  title = {The SLXS Specification Language for Describing Consistency of XML Documents},
  booktitle = {4th Int. Workshop on Information Computer Science (WICS2002),     IEEE Computer Society},
  year = 2002,
}

@inproceedings{CTT100482194,
  author = {Yasser Kotb and Katsuhiko Gondow and Takuya Katayama},
  title = {Checking Consistency of XML Semantics Using Attribute Grammars},
  booktitle = {Int. Conf. on East-Asian Language Processing and Internet Information Technology (EALPIIT2002)},
  year = 2002,
}

@article{CTT100482179,
  author = {Katsuhiko Gondow and Takuya Katayama},
  title = {Attribute Grammars as Record Calculus - A Structure-Oriented Denotational Semantics of Attribute Grammars by Using Cardelli's Record Calculus -},
  journal = {Informatica: An International Journal of Computing and Informatics},
  year = 2000,
}

@book{CTT100592279,
  author = {権藤克彦},
  title = {Javaによるプログラミング入門},
  publisher = {サイエンス社},
  year = 2000,
}

@inproceedings{CTT100482193,
  author = {Takeshi Hagiwara and Katsuhiko Gondow and Takashi Imaizumi and Takuya Katayama},
  title = {Using Object-Oriented Attribute Grammars as ODB System Generator},
  booktitle = {3rd Int. Workshop on Attribute Grammars and their Applications (WAGA'00)},
  year = 2000,
}

@inproceedings{CTT100482192,
  author = {Shin Natori and Katsuhiko Gondow and Takashi Imaizumi and Takeshi Hagiwara and Takuya Katayama},
  title = {On Eliminating Type 3 Circularities of Ordered Attribute Grammars},
  booktitle = {2nd Int. Workshop on Attribute Grammars and their Applications (WAGA'99)},
  year = 1999,
}

@inproceedings{CTT100723774,
  author = {Takuro Kitayama and Tatsuo Nakajima and Ichiro Satoh and Hideyuki Tokuda and Takuo Watanabe and Katsuhiko Gondow},
  title = {SMAF: A Framework for Future Embedded Systems},
  booktitle = {IEEE International Workshop on Networked Appliances},
  year = 1998,
}

@inproceedings{CTT100482189,
  author = {Katsuhiko Gondow and Takuya Katayam},
  title = {A Formal Semantics of Object Oriented Attribute Grammars},
  booktitle = {Int. Sympo. on Biologically Inspired Computation (IMSA'97)},
  year = 1998,
}

@inproceedings{CTT100465981,
  author = {小林隆志 and 権藤克彦},
  title = {構文木に基づく細粒度ソフトウェアコンフィグレーションマネージメントでの影響解析},
  booktitle = {レクチャーノート/ソフトウェア工学19  ソフトウェア工学の基礎IV, 日本ソフトウェア科学会},
  year = 1997,
}

@inproceedings{CTT100482188,
  author = {Takeshi Hagiwara and Katsuhiko Gondow and Takashi Imaizumi and Takuya Katayama},
  title = {A Tool for Constructing Software Objectbases from Language Structures},
  booktitle = {Int. Conf. Information Systems and Technologies for Network Society},
  year = 1997,
}

@article{CTT100482181,
  author = {権藤克彦 and 片山卓也},
  title = {オブジェクト指向属性文法OOAGと高階属性文法のレコード計算による形式化},
  journal = {コンピュータソフトウェア},
  year = 1995,
}

@article{CTT100482182,
  author = {権藤克彦 and 今泉貴史 and 萩原威志 and 片山卓也},
  title = {オブジェクト指向属性文法OOAGのソフトウェア開発環境への応用},
  journal = {電子情報通信学会論文誌},
  year = 1995,
}

@inproceedings{CTT100482187,
  author = {Katsuhiko Gondow and Takashi Imaizumi and Yoichi Shinoda and Takuya Katayama},
  title = {Change Management and Consistency Maintenance in Software Development Environments Using Object-Oriented Attribute Grammars},
  booktitle = {1st JSSST Int. Sympo., Object Technologies for Advanced Software, Lecture Notes in Computer Science, No.742},
  year = 1993,
}