北陸先端科学技術大学院大学 [JAIST] - 研究者総覧
現在ページ トップページ 検索結果研究者紹介>全件表示

発表論文表示
表示方法:
表示順:

 

 

青木 利晃 (アオキ トシアキ) 教授
融合科学系、情報科学系、セキュリティ・ネットワーク領域

63件中1-20件目

  • 1. 車載システム開発における形式手法実践の現状と課題,青木利晃,システム/制御/情報, システム制御情報学会,第62巻,第4号,pp. 134-140,2018
  • 2. 確率統計に基づいた故障木とテストによる機械学習システムの系統的評価手法,青木利晃,川上大介,千田伸男,冨田尭,情報処理学会 ソフトウェア工学研究会 ソフトウェアエンジニアリングシンポジウム,8 pages,2018
  • 3. Qualitative and Quantitative Analysis with Scheduling Policies in Model Checking,Nhat-Hoa Tran, Yuki Chiba and Toshiaki Aoki,The 33rd ACM/SIGAPP Symposium On Applied Computing(SAC), Software Verification and Testing Track, 2018,pp.1873-1880
  • 4. Formalization and Verification of AUTOSAR OS Standard's Memory Protection,Trinh Le Khanh, Yuki Chiba and Toshiaki Aoki,The 12th International Symposium on Theoretical Aspects of Software Engineering, 2018,pp. 68-75
  • 5. 大規模複雑SimulinkモデルのためのMonte-Carlo最適化に基づいたテスト自動生成ツール,冨田尭,石井大輔,村上徹,竹内成樹,青木利晃,情報処理学会 組込みシステム研究会 組込みシステムシンポジウム,8 pages, 2018
  • 6. Template-Based Monte-Carlo Test Generation for Simulink Models,Takashi Tomita, Daisuke Ishii, Toru Murakami, Shigeki Takeuchi and Toshiaki Aoki,Seventh Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy'17), 2017
  • 7. Assembly Program Verification for Multiprocessors with Relaxed Memory Model using SMT Solver,Pattaravut Maleehuan, Yuki Chiba and Toshiaki Aoki,International Symposium on Theoretical Aspects of SoftwareEngineering, (pre-proceedings), 2017,pp.51-58
  • 8. Combined Model Checking and Testing Create Confidence-A Case on Commercial Automotive Operating System,Toshiaki Aoki, Makoto Satoh, Mitsuhiro Tani, Kenro Yatake, Tomoji Kishi,Cyber-Physical System Design from an Architecture Analysis Viewpoint,Chapter 5, Springer, 2017,pp.109-132
  • 9. 複合的因果関係分析手法を用いた遠隔診療の定量的安全性評価,藤田健治,青木利晃,平石邦彦,システム数理と応用研究会,6 pages, 2017
  • 10. Domain-Specific Language Facilitates Scheduling in Model Checking,Nhat-Hoa Tran, Yuki Chiba and Toshiaki Aoki,24th Asia-Pacific Software Engineering Conference(APSEC), 2017,pp.417-426
  • 11. Framework for Modeling and Verifying In-vehicle Networking System in the Presence of CAN and FlexRay,Xiaoyun Guo, Hsin-Hung Lin, Toshiaki Aoki and Yuki Chiba,pp.140-149, 24th Asia-Pacific Software Engineering Conference(APSEC), 2017
  • 12. Verifying OSEK/VDX OS Design using Its Formal Specification,Dieu Huong Vu, Yuki Chiba, Kenro Yatake and Toshiaki Aoki,International Symposium on Theoretical Aspects of Software Engineering, 2016,pp.81-88
  • 13. ISO26262のための安全要求記述言語と追跡可能性検証手法の提案,青木利晃,千葉勇輝,松原正裕,成沢文雄,プログラミングおよびプログラミング言語ワークショップ(PPL), 14 pages, 2016
  • 14. Modeling Safety Requirements of ISO26262 using Goal Trees and Patterns,Toshiaki Aoki, Kriangkrai Traichaiyaporn, Yuki Chiba, Masahiro Matsubara, Masataka Nishi and Fumio Narisawa,International Workshop on Formal Techniques for Safety-Critical Systems, Springer CCIS, 2015,pp.206-221
  • 15. Combined Model Checking and Testing Create Confidence in Correctness of Commercial Automotive Operating System,Toshiaki Aoki, Makoto Satoh, Mitsuhiro Tani, Kenro Yatake, Tomoji Kishi,JAIST Research Report, IS-RR-2016-002, 10 pages, 2016
  • 16. Dissolution of the Gap between Safety Requirements Written in a Natural Language and Formal Notations,Masahiro Matsubara, Fumio Narisawa, Atsuhiro Ohno, Toshiaki Aoki and YukiChiba,Technical Session of SAE 2016 World Congress and Exhibition, SAE Technical Paper 2016-01-0133, 2016
  • 17. Verifying OSEK/VDX OS Design using Its Formal Specification,Dieu Huong Vu, Yuki Chiba, Kenro Yatake and Toshiaki Aoki,International Symposium on Theoretical Aspects of Software Engineering, 2016,pp.81-88
  • 18. Experimental Fault Analysis Process Implemented Using Model Extraction and Model Checking,Hideto Ogawa, Makoto Ichii, Fumihiro Kumeno, Toshiaki Aoki,COMPSAC,pp.95-104
  • 19.  A Framework for Verifying the Conformance of Design to Its Formal Specifications,Dieu-Huong Vu, Yuki Chiba, Kenro Yatake, and Toshiaki Aoki,IEICE Transactions on Information and Systems,Vol.E98-D,No.6,pp.1137-1149,2015/06/01
  • 20. Yes! You Can Use Your Model Checker to Verify OSEK/VDX Applications,Haitao Zhang, Toshiaki Aoki, and Yuki Chiba,In Proceedings of the 8th IEEE International Conference on Software Testing, Verification and Validation (ICST 2015), 10 pages, Graz, Austria, April 13-17, 2015

 1  2  3  4 次へ ≫ ]