English
日本大学 
工学部 
情報工学科 

更新日:2018/01/09 
准教授 
関澤 俊弦 
セキザワ トシフサ 
SEKIZAWA Toshifusa 

経歴 (公開件数:10件)
日本ユニシス株式会社  1998/04-2003/05 
産業技術総合研究所 情報処理研究部門  テクニカルスタッフ  2003/06-2004/03 
科学技術振興機構 CREST  JST技術員  2004/04-2005/08 
産業技術総合研究所 システム検証研究センター  テクニカルスタッフ  2005/09-2009/03 
大阪学院大学 情報学部 情報学科  非常勤講師  2008/04-2009/03 
大阪学院大学 情報学部 情報学科  講師  2009/04/01-2013/03/31 
産業技術総合研究所 システム検証研究センター  外来研究員  2009/04-2010/03 
産業技術総合研究所 組込みシステム技術連携研究体  外来研究員  2010/04-2012/03 
大阪学院大学 情報学部 情報学科  准教授  2013/04/01-2014/03/31 
日本大学 工学部 情報工学科  准教授  2014/04/01-現在 

学歴 (公開件数:3件)
学習院大学  理学部  物理学科  1996/03/31  卒業  国内 
学習院大学  大学院自然科学研究科  物理学専攻  博士前期  1998/03/31  修了  国内 
大阪大学  大学院情報科学研究科  情報システム工学専攻  博士後期  2009/03/31  修了  国内 

学位 (公開件数:1件)
博士(情報科学)  大阪大学 

共同・受託研究実績 (公開件数:1件)
形式手法の適用によるソフトウェアの信頼性向上に関する研究  2014-2017 
詳細表示...

著書 (公開件数:4件)
"モデル検査によるシステム検証"  日科技連出版社  2014/07/16 
ソフトウェア工学の基礎XX FOSE2013 (レクチャーノート ソフトウェア学)  近代科学社  2013/12/02 
"抽象化"  電子情報通信学会  2010 
"モデル検査(総論)"  電子情報通信学会  2010 
詳細表示...

論文 (公開件数:25件)
"Towards Verification of Robot Design for Self-localization"  13th International Haifa Verification Conference (HVC 2017), Lecture Notes in Computer Science  2017/11/14  10.1007/978-3-319-70389-3 
"Equivalence Checking of Java Methods: Toward Ensuring IoT Dependability"  26th International Conference on Computer Communication and Networks, ICCCN 2017,  2017/09/21  10.1109/ICCCN.2017.8038505 
"二次元系における自己位置推定の振舞い検証に向けて"  JSSST FOSE2016 ソフトウェア工学の基礎 XXIII  2016/12 
"Parallel Multiple Counter-Examples Guided Abstraction Loop - Applying to Timed Automaton -"  International Journal of Informatics Society  2016/09 
"A Case Study: Verification of an Embedded System using Abstraction Refinement with Requirements,"  Proceedings of COMPSAC 2016: The 2nd IEEE International Workshop on Dependable Software and Applications (DSA 2016)  2016/06  10.1109/COMPSAC.2016.24 
詳細表示...

研究発表 (公開件数:40件)
口頭発表(一般)  "USDMを用いた要求仕様の品質向上に向けて"  第60回日本大学工学部学術研究報告会  2017/12/09 
口頭発表(一般)  "自己位置推定ロボットの確率的振舞いの協調解析に向けて"  第60回日本大学工学部学術研究報告会  2017/12/09 
口頭発表(一般)  "自己位置推定を用いた自律移動ロボットにおける振舞い検証に向けて"  第60回日本大学工学部学術研究報告会  2017/12/09 
口頭発表(一般)  "動作の実行順序を考慮に入れたロボットの確率的な振舞いのモデル化"  第60回日本大学工学部学術研究報告会  2017/12/09 
ポスター発表  "モデル検査を用いたロボット設計の検証"  JSSST 第24回 ソフトウェア工学の基礎ワークショップ (FOSE2017)  2017/11/24 
詳細表示...

研究費 (公開件数:5件)
文部科学省科学研究費  組み合わせテストを応用した組込みシステムの検証項目生成の研究  2017/04/01-現在 
共同研究  組込み制御システムの制御理論と制御システム開発に おける不確定性に関する研究  2017/04/01-現在 
文部科学省科学研究費  モデルと制約に基づくソフトウェア開発に関する研究  2016-現在 
文部科学省科学研究費  動的システムに対する組込み制御プログラムの信頼性検証に関する研究  2014/04/01-2017/03/31 
研究寄付金  海外渡航費用  2013/09-2013/09 
詳細表示...

担当授業科目 (公開件数:8件)
ソフトウェア設計法及び演習 
ソフトウェア工学概論 
ソフトウェア工学及び演習 
オートマトンと言語及び演習 
コンパイラ及び演習 
詳細表示...

所属学協会 (公開件数:4件)
電子情報通信学会 
IEEE, IEEE Computer Society 
日本ソフトウェア科学会 
情報処理学会 
詳細表示...

委員歴 (公開件数:17件)
COMPSAC 2018 SETA  Program Committee  2018-現在 
The 8th International Workshop on Internet on Things: Privacy, Security and Trust (IoTPST 2018)  Technical Program Committee  2018-現在 
IPSJ/SIGSE  ウィンターワークショップ2019 実行委員長  2017-現在 
日本ソフトウェア科学会 ソフトウェア工学の基礎研究会  第24回 ソフトウェア工学の基礎ワークショップ (FOSE2017) プログラム委員  2017-現在 
The 7th International Workshop on Internet on Things: Privacy, Security and Trust (IoTPST 2017)  Technical Program Committee  2017-2017 
詳細表示...