Faculty of Informatics Studies course, Associate Professor

Doctor of Engineering

Development of a Presentation Assistance System for Nervous People, Miyuu Kitamura; Ando Takahiro, 2023, 59-R-S 1, 5

Construction of Development Environment for Mental Model in Agent-Based Unified Simulation Environment, Hikaru Shinagawa; Takahiro Ando, 2023, 58-R-S 1, 6

Development of a Desktop Agent System Using GPT, Shintaro Sakamoto; Takahiro Ando, 2023, 44-R-S 1, 5

Development of a Navigation System Considering Individual Preference for Road Width, Shoya Iwaki; Takahiro Ando, 2023, 7-R-S 1, 6

Development of a Room Redecorating Assistance System Using a Mixed Reality Device, Kouki Matsumoto; Takahiro Ando, 2023, 6-R-S 1, 6

Development of Food Expiration Date Notification System, Yuto Utsuno; Takahiro Ando, 2023, 5-R-S 1, 4

Development of More Realistic Environment toward Traffic Congestion and Checking Effects of Vehicles with ACC for Traffic Congestion, Ryohei Hashimoto; Takahiro Ando, 2022, 40-L 1, 5

Checking Effect of ACC Contributing to Alleviation of Traffic Congestion and Proposal of Yet Another Traffic Flow Model, Yuki Saito; Takahiro Ando, 2022, 39-L 1, 4

Enhanced Traffic Simulator with Distributed System, Yu Ohki; Takahiro Ando, 2022, 16-L 1, 4

Development of Automatic Parameter Solving System Using SMT Solver., Sora Tomita; Takahiro Ando, 2022, 9-L 1, 5

Toward the Application of Uncertainty Handling Methods to the Continuous Software Engineering, Hiromasa Inoki; Kenji Hisazumi; Takahiro Ando; Tsuneo Nakanishi; Akira Fukuda, Nov. 2019, Asia Pacific Conference on Robot IoT System Development and Platform (APRIS 2019), 8, 14, International conference proceedings

An Inter-Organizational Software Architecture for Smart Mobility, Tsuneo Nakanishi; Yutaka Arakawa; Takahiro Ando; Shigemi Ishida; Kenji Hisazumi; Tsunenori Mine; Akira Fukuda, 11 Nov. 2020, ICSIE 2020: Proceedings of the 2020 9th International Conference on Software and Information Engineering (ICSIE), 41, 46, International conference proceedings

MATLAB/SimulinkモデルのFRAMモデルへの変換手法, 掛下 真通; 久住 憲嗣; 道浦 康貴; 酒見 慶太; 松本 充広; 安藤 崇央; 福田 晃, 2020, 2020-SLDM-191, 44, 1, 7, Symposium

IDE操作履歴に基づくキーボードショートカット普及率向上のための提案, 堀 佑貴; 檜枝 琴里; 安藤 崇央; 石田 繁巳; 福田 晃, 2020, 1, 5, Symposium

SMArch: スマートモビリティのためのソフトウェアアーキテクチャ, 中西 恒夫; 荒川 豊; 安藤 崇央; 石田 繁巳; 金子 邦彦; 田頭 茂明; 久住 憲嗣; 峯 恒憲; 福田 晃, 2020, 119, 472, 13, 18, Symposium

Mixed Reality を用いた航空機航跡の視覚化, 後藤 佑実; 古庄 裕貴; 中西 恒夫; 安藤 崇央, 2020, 119, 472, 81, 86, Symposium

Personal Identification Methods Using Footsteps of One Step., Yuki Hori; Takahiro Ando; Akira Fukuda, 2020, The 2nd International Conference on Artificial Intelligence in Information and Communication (ICAIIC 2020), 73, 78, International conference proceedings

一歩分足音を用いた個人識別手法, 堀 佑貴; 安藤 崇央; 福田 晃, 2019, 2019-AVM-107, 10, 1, 6, Symposium

複合現実環境を用いた交通流シミュレーション環境の開発, 永尾 雅俊; 安藤 崇央; 福田 晃, 2019, 2019-EC-54, 5, 1, 6, Symposium

Architecture and Development of Agent-based Unified Simulation Environment for ITS Services, Ryo Fujii; Takahiro Ando; Kenji Hisazumi; Tsunenori Mine; Tsuneo Nakanishi; Akira Fukuda, 2019, Intelligent Transport Systems for Everyone's Mobility, 227, 246, In book

Initial Evaluation of Personal Identification System Using Walking Footstep Sound of One Step, Yuki Hori; Takahiro Ando; Akira Fukuda, 2019, Proceedings of The 2019 International Conference on Software Engineering Research & Practice (SERP2019), 70, 76, International conference proceedings

伊都キャンパスの情報共有・サービス基盤：伊都キャンライフ, 三瀬 司朗; 峯 恒憲; 中村 啓之; 安藤 崇央; 久住 憲嗣; 福田 晃; 中西 恒夫, 2018, 2018-IS-144, 2, 1, 8, Symposium

オープンなスマートモビリティ市場におけるサービスの開発と運用 ～ アーキテクチャ戦略とサービスのサプライチェーンマネジメント ～, 中西 恒夫; 久住 憲嗣; 安藤 崇央; 峯 恒憲; 福田 晃, 2018, 118, 138, 183, 188, Symposium

歩行足音を用いた人手を介さない個人識別システムの初期的検討, 堀 佑貴; 安藤 崇央; 福田 晃, 2018, 2018-EC-50, 17, 1, 6, Symposium

Development of the Agent-based Unified Simulation Environment for ITS Services, Ryo Fujii; Takahiro Ando; Kenji Hisazumi; Tsunenori Mine; Tsuneo Nakanishi; Akira Fukuda, 2018, The 16th ITS Asia Pacific Forum, 191, 204, International conference proceedings

Development of Smart Mobility Application based on Microservice Architecture, Masatoshi Nagao; Takahiro Ando; Kenji Hisazumi; Akira Fukuda, 2018, Proceedings of The 2018 International Conference on Software Engineering Research & Practice (SERP2018), 23, 29, International conference proceedings

Toward Sustainable Smart Mobility Information Infrastructure Platform: Project Overview, Akira Fukuda; Kenji Hisazumi; Tsunenori Mine; Shigemi Ishida; Takahiro Ando; Shota Ishibashi; Shigeaki Tagashira; Kunihiko Kaneko; Yutaka Arakawa; Weiqiang Kong; Guoqiang Li, 2018, NEW TRENDS IN E-SERVICE AND SMART COMPUTING, 742, 35, 46, International conference proceedings

Software Engineering Practices for the Smart Mobility Market, Tsuneo Nakanishi; Kenji Hisazumi; Takahiro Ando; Tsunenori Mine; Akira Fukuda, 2018, 2018 7TH INTERNATIONAL CONGRESS ON ADVANCED APPLIED INFORMATICS (IIAI-AAI 2018), 115, 120, International conference proceedings

ItoCamLife: a platform of sharing and recommending information considering user contexts to facilitate smart mobility, Tsunenori Mine; Shiro Mise; Hiroyuki Nakamura; Takuya Hiraoki; Shiori Koga; Takahiro Ando; Kenji Hisazumi; Tsuneo Nakanishi; Akira Fukuda, 2018, 2018 7TH INTERNATIONAL CONGRESS ON ADVANCED APPLIED INFORMATICS (IIAI-AAI 2018), 109, 114, International conference proceedings

A Process of Uncertainty Handling Method to Smart Mobility Application Development, Hiromasa Inoki; Kenji Hisazumi; Takahiro Ando; Akira Fukuda; Tsuneno Nakanishi, 2018, 2018 7TH INTERNATIONAL CONGRESS ON ADVANCED APPLIED INFORMATICS (IIAI-AAI 2018), 98, 103, International conference proceedings

Overview and Application Examples of Agent-Based Unified Simulation Environment, Takahiro Ando; Ryo Fujii; Kenji Hisazumi; Tsunenori Mine; Tsuneo Nakanishi; Akira Fukuda, 2018, 2018 7TH INTERNATIONAL CONGRESS ON ADVANCED APPLIED INFORMATICS (IIAI-AAI 2018), 92, 97, International conference proceedings

Toward Sustainable Smart Mobility Information Infrastructure Platform - Current Status -, Akira Fukuda; Tsuneo Nakanishi; Kenji Hisazumi; Kunihiko Kaneko; Shigeaki Tagashira; Tsunenori Mine; Yutaka Arakawa; Shigemi Ishida; Takahiro Ando; Shuichi Ashihara; Masakatsu Ura; Yoshimichi Nakamura; Soichiro Nakamura; Weidiang Kong; Guoqiang Li, 2018, 2018 7TH INTERNATIONAL CONGRESS ON ADVANCED APPLIED INFORMATICS (IIAI-AAI 2018), 81, 85, International conference proceedings

Verification Model Translation Method toward Behavior Model for CAST, Takahiro Ando; Bo Wang; Kenji Hisazumi; Weiqiang Kong; Akira Fukuda; Yasutaka Michiura; Keita Sakemi; Michihiro Matsumoto, 2018, 2018 5TH INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND THEIR APPLICATIONS (DSA), 142, 147, International conference proceedings

Garakabu2: an SMT-based bounded model checker for HSTM designs in ZIPC, Weiqiang Kong; Gang Hou; Xiangpei Hu; Takahiro Ando; Kenji Hisazumi; Akira Fukuda, Dec. 2016, JOURNAL OF INFORMATION SECURITY AND APPLICATIONS, 31, 61, 74, Scientific journal

Operation Phase Metrics for Smart Mobility Platform, Kenji Hisazumi; Tsuneo Nakanishi; Shota Ishibashi; Go Hirakawa; Tsunenori Mine; Takahiro Ando; Hiroki Furusho; Akira Fukuda, 2016, 2016 IEEE INTERNATIONAL CONFERENCE ON AGENTS (IEEE ICA 2016), 150, 153, International conference proceedings

ZipPath: A Simple-but-Useful Path Finder for HSTM Designs in ZIPC, Weiqiang Kong; Gang Hou; Xiangpei Hu; Yasuhito Arimoto; Masahiko Watanabe; Takahiro Ando; Kenji Hisazumi; Akira Fukuda, 2016, 2016 IEEE INTERNATIONAL CONFERENCE ON AGENTS (IEEE ICA 2016), 154, 157, International conference proceedings

Facilitating Multicore Bounded Model Checking with Stateless Explicit-State Exploration(aEuro), Weiqiang Kong; Leyuan Liu; Takahiro Ando; Hirokazu Yatsu; Kenji Hisazumi; Akira Fukuda, Nov. 2015, COMPUTER JOURNAL, 58, 11, 2824, 2840, Scientific journal

Support for Security Analysis of Design Models Based on Traceability, Hirokazu Yatsu; Masaru Matsunami; Toshimi Sawada; Go Hirakawa; Atsushi Noba; Naoya Obata; Takahiro Ando; Kenji Hisazumi; Weiqiang Kong; Akira Fukuda, 2015, Proceedings of The 2015 International Conference on Software Engineering Research & Practice (SERP2015), 78, 83

Reference Model of Specifications toward Independent Verification and Validation, Takahiro Ando; Yuya Miyamoto; Hirokazu Yatsu; Kenji Hisazumi; Weiqiang Kong; Akira Fukuda; Yasutaka Michiura; Keita Sakemi; Michihiro Matsumoto, 2015, TENCON 2015 - 2015 IEEE 10 Conference

Garakabu2: an SMT-based Bounded Model Checker for HSTM Designs in ZIPC, Weiqiang Kong; Takahiro Ando; Hirokazu Yatsu; Kenji Hisazumi; Akira Fukuda, 2015, 2015 2ND INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING AND INTERNET OF THINGS (DCIT), 21, 29, International conference proceedings

AN OBJECT-ORIENTED LANGUAGE FOR PARAMETERISED REACTIVE SYSTEM SPECIFICATION BASED ON LINEAR TEMPORAL LOGIC, Kenji Osari; Takuya Murooka; Kiyotaka Hagiwara; Takahiro Ando; Masaya Shimakawa; Sohei Ito; Shigeki Hagihara; Naoki Yonezaki, 2015, Theory and Practice of Computation, 121, 143, International conference proceedings

An Improvement on Acceleration of Distributed SMT Solving, Leyuan Liu; Weiqiang Kong; Takahiro Ando; Hirokazu Yatsu; Akira Fukuda, 2014, Proceedings of The Sixth International Conference on Future Computational Technologies and Application (FUTURE COMPUTING 2014), 69, 75, International conference proceedings

Formal Specification Based Automatic Test Generation for Embedded Network Systems, Eun Hye Choi; Hideaki Nishihara; Takahiro Ando; Nguyen Van Tang; Masahiro Aoki; Keiichi Yoshisaka; Osamu Mizuno; Hitoshi Ohsaki, 2014, JOURNAL OF APPLIED MATHEMATICS, 2014, 909762, 21, Scientific journal

Translation Rules of SysML State Machine Diagrams into CSP# toward Formal Model Checking, Takahiro Ando; Hirokazu Yatsu; Weiqiang Kong; Kenji Hisazumi; Akira Fukuda, 2014, International Journal of Web Information Systems, 10, 2, 151, 169, Scientific journal

A Survey of Acceleration Techniques for SMT-based Bounded Model Checking, Leyuan Liu; Weiqiang Kong; Takahiro Ando; Hirokazu Yatsu; Akira Fukuda, 2013, 2013 INTERNATIONAL CONFERENCE ON COMPUTER SCIENCES AND APPLICATIONS (CSA), 554, 559, International conference proceedings

Towards Formal Description of Standards for Automotive Operating Systems, Hirokazu Yatsu; Takahiro Ando; Weiqiang Kong; Kenji Hisazumi; Akira Fukuda; Toshiaki Aoki; Kokichi Futatsugi, 2013, IEEE SIXTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW 2013), 13, +, International conference proceedings

Formalization and Model Checking of SysML State Machine Diagrams by CSP#, Takahiro Ando; Hirokazu Yatsu; Weiqiang Kong; Kenji Hisazumi; Akira Fukuda, 2013, COMPUTATIONAL SCIENCE AND ITS APPLICATIONS (ICCSA 2013), PT III, 7973, 114, 127, International conference proceedings

Harnessing SMT-Based Bounded Model Checking through Stateless Explicit-State Exploration, Weiqiang Kong; Leyuan Liu; Takahiro Ando; Hirokazu Yatsu; Kenji Hisazumi; Akira Fukuda, 2013, 2013 20TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2013), VOL 1, 355, 362, International conference proceedings

Development of Formal Model Based Test - Toward Automatic Testing Framework for Embedded Systems -, Takahiro Ando; Shinji Kawasaki; Eun-Hye Choi; Hideaki Nishihara; Masahiro Aoki; Keiichi Yoshioka; Keisuke Shimatani; Munekazu Furuichi; Osamu Mizuno, 2011, Proceedings of IEEE 22nd International Symposium on Software Reliability Engineering, Supplemental proceedings, International conference proceedings

Consistency Checking of Behavioural Modeling in UML Statechart Diagrams, Takenobu Aoshima; Takahiro Ando; Naoki Yonezaki, 2002, Proceedings of 12th European Japanese Conference on Information modelling and Knowledge bases, 179, 196, International conference proceedings

An Inter-Organizational Software Architecture for Smart Mobility, Tsuneo Nakanishi; Yutaka Arakawa; Takahiro Ando; Shigemi Ishida; Kenji Hisazumi; Tsunenori Mine; Akira Fukuda, 11 Nov. 2020, ACM International Conference Proceeding Series, 41, 46, International conference proceedings

一歩分足音を用いた個人識別手法, 堀 佑貴;安藤 崇央;福田 晃, Dec. 2019, 43, 42, 43, 48

SAT solverを用いるLTLタブロー構成法とその評価, 安藤, 崇央;萩原, 茂樹;米﨑, 直樹, Feb. 2014, 55, 2, 909, 921

UMLステートチャートの整形性判定とその検証, 安藤 崇央;青島 武伸;米崎 直樹;, Sep. 2002, 19, 1, 5

分散オブジェクト技術を利用した分散タブロー証明器の実装, 安藤 崇央;萩原 茂樹;米崎 直樹, Sep. 2007, 24, 1, 12

分散オブジェクト技術を利用した段階的充足可能性判定器の実装, 安藤 崇央;宮本 佑樹;萩原 茂樹;米崎 直樹, 2008, 25, 1, 14

記述性を重視したリアクティブシステム用仕様記述言語T, 萩原 聖貴;安藤 崇央;島川 昌也;伊藤 宗平;萩原 茂樹;米崎 直樹, Sep. 2009, 26, 213, 228

タブロー証明器の実装におけるSAT solverの利用について, 安藤 崇央;萩原 茂樹;米崎 直樹, Sep. 2009, 26, 175, 187

Implementation of Stepwise Satisfiability Checker for Reactive System Specifications using Distributed Objects Technology, ANDO Takahiro;MIYAMOTO Yuuki;HAGIHARA Shigeki;YONEZAKI Naoki, 2011, Computer Software, 28, 4, 262, 281

Support for Security Analysis of Design Models based on Traceability, 谷津 弘一;松並 勝;澤田 壽實;平川 剛;野田 厚志;小幡 直也;安藤 崇央;久住 憲嗣;孔 維強;福田 晃, Mar. 2015, IPSJ SIG Notes, 2015, 45, 1, 5

リアクティブシステム仕様の検証方法とその実装に関する研究, ANDO., Takahiro, Apr. 2014

Well-formedness Checking on UML Statechart Diagrams, ANDO Takahiro;AOSHIMA Takenobu;YONEZAKI Naoki, 2002, Conference Proceedings of Japan Society for Software Science and Technology, 19, 0, 3A4, 3A4

社会情報基盤システムの信頼性保証支援技術, 谷津, 弘一;安藤, 崇央;久住, 憲;福田, 晃;孔, 維強, Jan. 2015, 2015, 77, 78

SysMLステートマシン図から簡素なSPINモデルへの変換手法, 安藤, 崇央;宮本, 裕也;谷津, 弘一;久住, 憲嗣;福田, 晃;道浦, 康貴;酒見, 慶太;松本, 充広, Mar. 2016, 2016, 1, 233, 234

IoT サービス自由市場でのソフトウェアプロダクトライン, 中西, 恒夫;久住, 憲嗣;安藤, 崇央;福田, 晃, Jan. 2018, 2018, 80, 81

複合現実環境を用いた交通流シミュレーション環境の概要, 永尾, 雅俊;安藤, 崇央;藤井, 遼;久住, 憲嗣;福田, 晃, Feb. 2019, 2019, 1, 221, 222

形式言語CSP#によるSysMLステートマシン図の形式化, 安藤 崇央;谷津 弘一;孔 維強, Sep. 2014, 31, 1, 11

SysMLステートマシン図のシーケンシャルなSPINモデルへの変換手法, 宮本 裕也;安藤 崇央;久住 憲嗣, Jan. 2016, 115, 420, 87, 92

SMArch : スマートモビリティのためのソフトウェアアーキテクチャ, 中西 恒夫;ナカニシ ツネオ;荒川 豊;アラカワ ユタカ;安藤 崇央;アンドウ タカヒロ;石田 繁巳;イシダ シゲミ;金子 邦彦;カネコ クニヒコ;田頭 茂明;タガシラ シゲアキ;久住 憲嗣;ヒサズミ ケンジ;峯 恒憲;ミネ ツネノリ;福田 晃;フクダ アキラ, Mar. 2020, 119, 472, 13, 18

交通流シミュレータを用いたスマートモビリティアプリケーションのシステムテスト環境構築に向けて, 緒方 拓哉; 猪木 宏真; 久住 憲嗣; 安藤 崇央; 福田 晃, 2019, 1-127, 1-128, Summary national conference

複合現実環境を用いた交通流シミュレーション環境の概要, 永尾 雅俊; 安藤 崇央; 藤井 遼; 久住 憲嗣; 福田 晃, 2019, 1-221, 1-222, Summary national conference

Application of Uncertainty Handling Method for Smart Mobility Application Development, Hiromasa Inoki; Kenji Hisazumi; Takahiro Ando; Tsuneo Nakanishi; Akira Fukuda, 2018, The 2nd International Conference on Healthcare SDGs and Social Business, Summary international conference

SENS - Specification Language for Embedded Network Systems - toward Automatic Test Generation (Preliminary Version), Eun-Hye Choi; Takahiro Ando; Hideaki Nishihara; Masahiro Aoki; Keiichi Yoshisaka; Takao Sonoda; Shouichi Hasuike; Osamu Mizuno, 2011, National Institute of Advanced Industrial Science and Technology, 1, 23, Technical report

SMArch : Software Architecture for Smart Mobility, 中西 恒夫; 荒川 豊; 安藤 崇央; 石田 繁巳; 金子 邦彦; 田頭 茂明; 久住 憲嗣; 峯 恒憲; 福田 晃, 10 Mar. 2020, 2020, 1, 13, 18

Toward the Application of Uncertainty Handling Methods to the Continuous Software Engineering, Hiromasa Inoki; Kenji Hisazumi; Takahiro Ando; Tsuneo Nakanishi; Akira Fukuda, 2019, Asia Pacific Conference on Robot IoT System Development and Platform (APRIS 2019), Summary international conference

計算機科学の視点から交通流シミュレーションに求めるもの, 安藤 崇央, 次世代モビリティオープンイノベーション協議会「第19回社会実装連携研究会」, 25 Jan. 2023, 25 Jan. 2023, 25 Jan. 2023

Best Paper, Takahiro Ando; Bo Wang; Kenji Hisazumi; Weiqiang Kong; Akira Fukuda; Yasutaka Michiura; Keita Sakemi; Michihiro Matsumoto, Verification Model Translation Method toward behavior model for CAST, Program Chairs of DSA2018, 22 Sep. 2018, International society, China