Aoki Toshiaki 青木利晃

… Alternative Names

AOKI Toshiaki 青木利晃

青木利晁アオキトシアキ

青木利晃アオキトシアキ

Less

Researcher Number	20313702
Other IDs
External Links
Affiliation (Current)	2025: 北陸先端科学技術大学院大学, 先端科学技術研究科, 教授
Affiliation (based on the past Project Information) *help	2016 – 2022: 北陸先端科学技術大学院大学, 先端科学技術研究科, 教授 2008 – 2015: Japan Advanced Institute of Science and Technology, 情報科学研究科, 准教授 2011: 北陸先端科学技術大学院大学, 情報科学研究科研究科, 准教授 2005 – 2006: 北陸先端科学技術大学院大学, 安心電子社会研究センター, 特任助教授 2004: 北陸先端科学技術大学院大学, 情報科学研究科, 助手 2000 – 2002: 北陸先端科学技術大学院大学, 情報科学研究科, 助手
Review Section/Research Field	Principal Investigator Software / Science and Engineering / Basic Section 60050:Software-related / Software / 計算機科学 Except Principal Investigator Software / 計算機科学
Keywords	Principal Investigator 形式手法 / モデル検査 / 検証 / 形式的手法 / 形式検証 / 定理証明 / オブジェクト指向分析 / 車載システム / 形式仕様 / テスト … More / 形式仕様記述 / 計算機支援環境 / 不確定性 / 充足可能性判定 / ハイブリッドシステム / 車載ソフトウェア / ディペンダブル・コンピューティング / ソフトウェア開発効率化・安定化 / ソフトウェア工学 / オブジェクト指向 / 組込みソフトウェア / OCL / UML / 公理系 / 定理証明技術 … More Except Principal Investigator 定理証明 / CafeOBJ / 証明スコア / ソフトウェア工学 / 形式手法 / 仕様記述・仕様検証 / concurrent object / thread / concurrent regular expression / theorem proving system / formal method / analysis model / embedded system / object-oriented method / 実時間OS / オブジェクト / 形式的オブジェクト指向方法論 / 組み込みシステム / 並行オブジェクト / スレッド / 並行正規表現 / 定理証明システム / 形式的方法論 / 分析モデル / 組込みシステム / オブジェクト指向方法論 / 観測遷移システム / 問題仕様 / 形式仕様 / 代数仕様 Less

Study on formal methods for next-generation automotive systemsPrincipal Investigator
- Principal Investigator
  
  Aoki Toshiaki
- Project Period (FY)
  2018 – 2022
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Japan Advanced Institute of Science and Technology
Formal verification of advanced functionalities in next-generation automotive operating systemsPrincipal Investigator
- Principal Investigator
  
  Toshiaki Aoki
- Project Period (FY)
  2015 – 2017
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  Japan Advanced Institute of Science and Technology
Integration of Formal Methods for Seamless Software DevelopmentsPrincipal Investigator
- Principal Investigator
  
  AOKI Toshiaki
- Project Period (FY)
  2012 – 2014
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  Japan Advanced Institute of Science and Technology
Development of the Innovative Specification Verification System based on Proof Scores
- Principal Investigator
  
  FUTATSUGI Kokichi
- Project Period (FY)
  2011 – 2015
- Research Category
  
  Grant-in-Aid for Scientific Research (S)
- Research Field
  
  Software
- Research Institution
  Japan Advanced Institute of Science and Technology
証明スコア法に基づく革新的仕様検証技術の研究
- Principal Investigator
  
  二木厚吉
- Project Period (FY)
  2011
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Research Field
  
  Software
- Research Institution
  Japan Advanced Institute of Science and Technology
Research on the verification of highly parallel and concurrent embedded softwarePrincipal Investigator
- Principal Investigator
  
  AOKI Toshiaki
- Project Period (FY)
  2008 – 2011
- Research Category
  
  Grant-in-Aid for Young Scientists (A)
- Research Field
  
  Software
- Research Institution
  Japan Advanced Institute of Science and Technology
産業応用を目指したオブジェクト指向モデルの検証手法の提案Principal Investigator
- Principal Investigator
  
  青木利晃
- Project Period (FY)
  2004 – 2006
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Software
- Research Institution
  Japan Advanced Institute of Science and Technology
現実的な形式的オブジェクト指向分析と計算機支援環境Principal Investigator
- Principal Investigator
  
  青木利晃
- Project Period (FY)
  2002
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Review Section
  
  Science and Engineering
- Research Institution
  Japan Advanced Institute of Science and Technology
現実的な形式的オブジェクト指向分析と計算機支援環境Principal Investigator
- Principal Investigator
  
  青木利晃
- Project Period (FY)
  2001
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas (C)
- Review Section
  
  Science and Engineering
- Research Institution
  Japan Advanced Institute of Science and Technology
オブジェクト指向分析モデルの定理証明系を用いた検証支援に関する研究Principal Investigator
- Principal Investigator
  
  青木利晃
- Project Period (FY)
  2000 – 2001
- Research Category
  
  Grant-in-Aid for Encouragement of Young Scientists (A)
- Research Field
  
  計算機科学
- Research Institution
  Japan Advanced Institute of Science and Technology
Research on construction of embedded software using formal object-oriented methods
- Principal Investigator
  
  KATAYAMA Takuya
- Project Period (FY)
  2000 – 2002
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  計算機科学
- Research Institution
  JAPAN ADVANCED INSTITUTE OF SCIENCE AND TECHNOLOGY

[Book] Cyber-Physical System Design from an Architecture Analysis Viewpoint2017
- Author(s)
  Toshiaki Aoki, Makoto Satoh, Mitsuhiro Tani, Kenro Yatake, Tomoji Kishi
- Total Pages
  159
- Publisher
  Springer
- ISBN
  9789811044366
- Data Source
  KAKENHI-PROJECT-15K00094
[Book] Formal Methods and Software Engineering - 14th International Conference on Formal Engineering Methods2012
- Author(s)
  Toshiaki Aoki, Kenji Taguchi
- Total Pages
  528
- Publisher
  Springer
- Data Source
  KAKENHI-PROJECT-24500035
[Book] 組込みソフトウェア開発技術、9章組込みソフトウェアの静的検証技術(pp.271-307)2011
- Author(s)
  青木利晃
- Publisher
  CQ出版
- Data Source
  KAKENHI-PROJECT-23220002
[Book] 組込みソフトウェア開発技術,9章組込みソフトウェアの静的検証技術2011
- Author(s)
  青木利晃
- Total Pages
  36
- Publisher
  CQ出版
- Data Source
  KAKENHI-PROJECT-20680001
[Book] 組込みソフトウェア開発技術(9章組込みソフトウェアの静的検証技術)ISBN978-4-7898-4548-92011
- Author(s)
  青木利晃
- Publisher
  CQ出版
- Data Source
  KAKENHI-PROJECT-20680001
[Book] 組込みソフトウェア開発技術,9章組込みソフトウェアの静的検証技術2011
- Author(s)
  青木利晃
- Total Pages
  351
- Publisher
  CO出版
- Data Source
  KAKENHI-PROJECT-20680001
[Book] 組込みソフトウェア開発技術, 9章組込みソフトウェアの静的検証技術2011
- Author(s)
  青木利晃
- Total Pages
  351
- Publisher
  CQ出版
- Data Source
  KAKENHI-PROJECT-20680001
[Book] 知識ベース, UML/ステートチャート, 7群1編2章5節2009
- Author(s)
  青木利晃
- Publisher
  電子情報通信学会
- Data Source
  KAKENHI-PROJECT-20680001
[Book] SPINによる設計モデル検証2008
- Author(s)
  吉岡信和,青木利晃,田原康之
- Total Pages
  226
- Publisher
  近代科学社
- Data Source
  KAKENHI-PROJECT-20680001
[Book] SPINによる設計モデル検証2008
- Author(s)
  吉岡信和, 青木利晃, 田原康之
- Total Pages
  226
- Publisher
  近代科学社
- Data Source
  KAKENHI-PROJECT-20680001
[Book] 近代科学社2008
- Author(s)
  吉岡信和, 青木利晃, 田原康之
- Total Pages
  226
- Publisher
  SPINによる設計モデル検証
- Data Source
  KAKENHI-PROJECT-20680001
[Journal Article] Comprehensive evaluation of file systems robustness with SPIN model checking2022
- Author(s)
  Yuan Jingcheng、Aoki Toshiaki、Guo Xiaoyun
- Journal Title
  
  Software Testing, Verification and Reliability
  
  Volume: 32 Issue: 6
- DOI
  10.1002/stvr.1828
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-18H03220
[Journal Article] Compliance SSI System Property Set to Laws, Regulations, and Technical Standards2022
- Author(s)
  Pattiyanon Charnon、Aoki Toshiaki
- Journal Title
  
  IEEE Access
  
  Volume: 10 Pages: 99370-99393
- DOI
  10.1109/access.2022.3204112
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-18H03220
[Journal Article] Integrating Pattern Matching and Abstract Interpretation for Verifying Cautions Microcontrollers2021
- Author(s)
  Thuy Nguyen, Takashi Tomita, Junpei Endo, Toshiaki Aoki
- Journal Title
  
  Journal of Software: Testing, Verification and Reliability
  
  Volume: 31(8) Issue: 8
- DOI
  10.1002/stvr.1788
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-18H03220
[Journal Article] Template-Based Monte-Carlo Test-Suite Generation for Large and Complex Simulink Models2020
- Author(s)
  Takashi Tomita, Daisuke Ishii, Toru Murakami, Shigeki Takeuchi, Toshiaki Aoki
- Journal Title
  
  IEICE Trans. Fundamentals
  
  Volume: E103.A Issue: 2 Pages: 451-461
- DOI
  10.1587/transfun.2019MAP0010
- NAID
  130007793381
- ISSN
  0916-8508, 1745-1337
- Year and Date
  2020-02-01
- Language
  English
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-18K11240, KAKENHI-PROJECT-18H03220
[Journal Article] Multiple conformance to hybrid-automata-modelled requirements for detecting indoor temperature anomalies2020
- Author(s)
  Zhengguo Yang, Toshiaki Aoki, Yasuo Tan
- Journal Title
  
  Indoor and Built Environment
  
  Volume: - Issue: 9 Pages: 1441-1465
- DOI
  10.1177/1420326x20941576
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18H03220
[Journal Article] Model checking of in-vehicle networking systems with CAN and FlexRay2020
- Author(s)
  Guo Xiaoyun、Aoki Toshiaki、Lin Hsin-Hung
- Journal Title
  
  Journal of Systems and Software
  
  Volume: 161 Pages: 110461-110461
- DOI
  10.1016/j.jss.2019.110461
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03220
[Journal Article] A framework for assume-guarantee regression verification of evolving software2020
- Author(s)
  Hoang Viet Tran, Pham Ngoc Hung, Viet Ha Nguyen, Toshiaki Aoki
- Journal Title
  
  Science of Computer Programming
  
  Volume: 193
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03220
[Journal Article] Model Checking in the Presence of Schedulers Using a Domain-Specific Language for Scheduling Policies2019
- Author(s)
  TRAN Nhat-Hoa、CHIBA Yuki、AOKI Toshiaki
- Journal Title
  
  IEICE Trans. Inf. & Syst.
  
  Volume: E102.D Issue: 7 Pages: 1280-1295
- DOI
  10.1587/transinf.2017EDP7391
- NAID
  130007671332
- ISSN
  0916-8532, 1745-1361
- Year and Date
  2019-07-01
- Language
  English
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-18H03220
[Journal Article] A Verification Framework for Assembly Programs Under Relaxed Memory Model Using SMT Solver2018
- Author(s)
  MALEEHUAN Pattaravut、CHIBA Yuki、AOKI Toshiaki
- Journal Title
  
  IEICE Trans. Inf. & Syst.
  
  Volume: E101.D Issue: 12 Pages: 3038-3058
- DOI
  10.1587/transinf.2018EDP7099
- NAID
  130007539295
- ISSN
  0916-8532, 1745-1361
- Year and Date
  2018-12-01
- Language
  English
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-18H03220
[Journal Article] Practical Applications of Formal Methods to Automotive Systems-Current and Future Directions2018
- Author(s)
  青木利晃
- Journal Title
  
  SYSTEMS, CONTROL AND INFORMATION
  
  Volume: 62 Issue: 4 Pages: 134-140
- DOI
  10.11509/isciesci.62.4_134
- NAID
  130007498124
- ISSN
  0916-1600, 2424-1806
- Year and Date
  2018-04-15
- Language
  Japanese
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-18H03220
[Journal Article] A spiral process of formalization and verification: A case study on verification of the scheduling mechanism of OSEK/VDX2016
- Author(s)
  Min Zhang, Toshiaki Aoki, Yueying He
- Journal Title
  
  Journal of Information Security and Applications
  
  Volume: 31 Pages: 41-53
- DOI
  10.1016/j.jisa.2016.05.002
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K00094
[Journal Article] A Framework for Verifying the Conformance of Design to Its Formal Specifications2015
- Author(s)
  Dieu-Huong Vu, Yuki Chiba, Kenro Yatake, Toshiaki Aoki
- Journal Title
  
  IEICE Trans. Inf. & Syst.
  
  Volume: E98.D Issue: 6 Pages: 1137-1149
- DOI
  10.1587/transinf.2014FOP0004
- NAID
  130005072395
- ISSN
  0916-8532, 1745-1361
- Language
  English
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15K00094, KAKENHI-PROJECT-23220002
[Journal Article] A Framework for Verifying the Conformance of Design to Its Formal Specifications2015
- Author(s)
  Dieu-Huong Vu, Yuki Chiba, Kenro Yatake, Toshiaki Aoki
- Journal Title
  
  IEICE Transactions
  
  Volume: Vo.E-98-D, No.6
- NAID
  130005072395
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-24500035
[Journal Article] Verifying OSEK/VDX Applications: A Sequentialization-Based Model Checking Approach2015
- Author(s)
  Haitao Zhang, Toshiaki Aoki, Yuki Chiba
- Journal Title
  
  IEICE Trans. Inf. & Syst.
  
  Volume: E98.D Issue: 10 Pages: 1765-1776
- DOI
  10.1587/transinf.2015EDP7043
- NAID
  130005101306
- ISSN
  0916-8532, 1745-1361
- Language
  English
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15K00094, KAKENHI-PROJECT-23220002
[Journal Article] Checking the Conformance of a Promela Design to Its Formal Specification in Event-B2014
- Author(s)
  Dieu-Huong Vu, Yuki Chiba, Kenro Yatake, Toshiaki Aoki
- Journal Title
  
  Proc. of 3rd Intl. Workshop on Formal Techniques for Safety-Critical Systems (FTSCS)
  
  Volume: - Pages: 203-218
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-23220002
[Journal Article] A Spin-based Approach for Checking OSEK/VDX Applications2014
- Author(s)
  Haitao Zhang, Toshiaki Aoki, and Yuki Chiba
- Journal Title
  
  Proc. of 3rd Intl. Workshop on Formal Techniques for Safety-Critical Systems (FTSCS)
  
  Volume: - Pages: 187-202
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-23220002
[Journal Article] An UPPAAL Framework for Model Checking Automotive Systems with FlexRay Protocol2013
- Author(s)
  Xiaoyun Guo, Hsin-Hung Lin, Kenro Yatake, Toshiaki Aoki
- Journal Title
  
  Proc. of Second International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS)
  
  Volume: - Pages: 36-53
- DOI
  10.1007/978-3-319-05416-2_4
- ISBN
  9783319054155, 9783319054162
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23220002
[Journal Article] Refinement Tree and Its Patterns: a Graphical Approach for Event-B Modeling2013
- Author(s)
  Kriangkrai Traichaiyaporn, Toshiaki Aoki
- Journal Title
  
  Proc. of Second International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS)
  
  Volume: - Pages: 246-261
- DOI
  10.1007/978-3-319-05416-2_16
- ISBN
  9783319054155, 9783319054162
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23220002
[Journal Article] Preserving correctness of requirements evolution through refinement in Event-B2013
- Author(s)
  Kriangkrai Traichaiyaporn, Toshiaki Aoki
- Journal Title
  
  Proc. of 20th Asia-Pacific Software Engineering Conference (APSEC)
  
  Volume: - Pages: 315-322
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23220002
[Journal Article] Active Learning of Nondeterministic Finite State Machines2013
- Author(s)
  Warawoot Pacharoen, Toshiaki Aoki, Pattarasinee Bhattarakosol, Athasit Surarerks
- Journal Title
  
  Mathematical Problems in Engineering 2013
  
  Volume: Article ID 373265 Pages: 1-11
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23220002
[Journal Article] Towards Formal Description of Standards for Automotive Operating Systems2013
- Author(s)
  Hirokazu Yatsu, Takahiro Ando, Weiqiang Kong, Kenji Hisazumi, Akira Fukuda, Toshiaki Aoki, Kokichi Futatsugi
- Journal Title
  
  ICST Workshops
  
  Volume: - Pages: 13-14
- DOI
  10.1109/icstw.2013.8
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23220002
[Journal Article] SMT-based Bounded Model Checking for OSEK/VDX Applications2013
- Author(s)
  Haitao Zhang, Toshiaki Aoki, Hsin-Hung Lin, Min Zhang, Yuki Chiba, Kenro Yatake
- Journal Title
  
  Proc. of 20th Asia-Pacific Software Engineering Conference(APSEC)
  
  Volume: - Pages: 307-314
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23220002
[Journal Article] An approach for checking OSEK/VDX applications2013
- Author(s)
  Haitao Zhang, Toshiaki Aoki, Kenro Yatake, Min Zhang and Hsin-Hung Lin
- Journal Title
  
  Proc. of the 13th International Conference on Quality Software (QSIC)
  
  Volume: - Pages: 113-116
- DOI
  10.1109/qsic.2013.62
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23220002
[Journal Article] Active Learning of Nondeterministic Finite State Machines2013
- Author(s)
  Warawoot Pacharoen, Toshiaki Aoki, Pattarasinee Bhattarakosol, and Athasit Surarerks
- Journal Title
  
  Mathematical Problems in Engineering
  
  Volume: vol. 2013 Pages: 1-11
- DOI
  10.1155/2013/373265
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24500035
[Journal Article] A Practical Study of Debugging using Model Checking2013
- Author(s)
  Hideto Ogawa, Makoto Ichii, Fumihiko Kumeno and Toshiaki Aoki
- Journal Title
  
  Proc. of 20th Asia-Pacific Software Engineering Conference (APSEC)
  
  Volume: - Pages: 134-139
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23220002
[Journal Article] Evaluation of Operational Vulnerability in Cloud Service Management using Model Checking2013
- Author(s)
  Shinji Kikuchi, Toshiaki Aoki
- Journal Title
  
  Proc. of IEEE Seventh International Symposium on Service-Oriented System Engineering (SOSE)
  
  Volume: - Pages: 37-48
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23220002
[Journal Article] Building A Body of Knowledge on Model Checking for Software Development2013
- Author(s)
  Kenji Taguchi, Hideaki Nishihara, Toshiaki Aoki, Fumihiro Kumeno, Koji Hayamizu, Koichi Sinozaki
- Journal Title
  
  Proc. of the 37th Annual International Computer Software & Applications Conference (37th COMPSAC), IEEE Computer Society Press
  
  Volume: - Pages: 784-789
- DOI
  10.1109/compsac.2013.129
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23220002
[Journal Article] UMLに基づくRTOS設計検証のための環境自動生成法2012
- Author(s)
  矢竹健朗, 青木利晃
- Journal Title
  
  日本ソフトウェア科学会学会誌コンピュータソフトウェア
  
  Volume: Vo.29, No.3, Pages: 121-142
- NAID
  130004549272
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24500035
[Journal Article] On Optimization of Minimized Assumption Generation Method for Component-Based Software Verification2012
- Author(s)
  Pham Ngoc Hung, Viet Ha Nguyen, Toshiaki Aoki, Takuya Katayama
- Journal Title
  
  IEICE Trans. Fundamentals
  
  Volume: E95.A Issue: 9 Pages: 1451-1460
- DOI
  10.1587/transfun.E95.A.1451
- NAID
  10031142529
- ISSN
  0916-8508, 1745-1337
- Language
  English
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23220002, KAKENHI-PROJECT-24500035
[Journal Article] UMLに基づくRTOS設計検証のための環境自動生成法2012
- Author(s)
  矢竹健朗, 青木利晃
- Journal Title
  
  日本ソフトウェア科学会学会誌コンピュータソフトウェア
  
  Volume: 29-3 Pages: 121-142
- NAID
  130004549272
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23220002
[Journal Article] Faithfully Formalizing OSEK/VDX Operating　System Specification2012
- Author(s)
  Dieu-Huong Vu, Toshiaki Aoki
- Journal Title
  
  Proc. of third International Symposium on Information and Communication Technology (SoICT 2012)
  
  Volume: - Pages: 13-20
- DOI
  10.1145/2350716.2350721
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23220002
[Journal Article] Model Checking of OSEK/VDX OS Design Model Based on Environment Modeling2012
- Author(s)
  Kenro Yatake, Toshiaki Aoki
- Journal Title
  
  Proc. of International Colloquium on Theoretical Aspect of Computing (ICTAC)
  
  Volume: - Pages: 183-197
- DOI
  10.1007/978-3-642-32943-2_15
- ISBN
  9783642329425, 9783642329432
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23220002
[Journal Article] An Improvement of Minimized Assumption Generation Method for Component-Based Software Verification2012
- Author(s)
  Pham Ngoc Hung, Viet Ha Nguyen, Toshiaki Aoki, Takuya Katayama
- Journal Title
  
  Proc.of 9th IEEE-RIVF International Conference on Computing and Communication Technologies (RIVF 2012)
  
  Pages: 1-6
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23220002
[Journal Article] モデル検査ツールにより出力された反例に基づく誤り特定手法2012
- Author(s)
  陳適, 青木利晃
- Journal Title
  
  日本ソフトウェア科学会ソフトウェア工学の基礎ワークショップ論文集
  
  Volume: - Pages: 27-32
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23220002
[Journal Article] モデル検査とテストによる車載オペレーティングシステムのシームレスな検証2012
- Author(s)
  青木利晃, 佐藤信, 谷充弘, 矢竹健朗
- Journal Title
  
  組込みシステムシンポジウム論文集
  
  Volume: -
- NAID
  170000072430
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23220002
[Journal Article] Automated Adaptor Generation for Behavioral Mismatching Services Based on Pushdown Model Checking2012
- Author(s)
  Hsin-Hung Lin, Toshiaki Aoki, Takuya Katayama
- Journal Title
  
  IEICE Trans. Inf. & Syst.
  
  Volume: E95.D Issue: 7 Pages: 1882-1893
- DOI
  10.1587/transinf.E95.D.1882
- NAID
  10031024282
- ISSN
  0916-8532, 1745-1361
- Language
  English
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23220002, KAKENHI-PROJECT-24500035
[Journal Article] A Variability Management Method for Software Configuration Files2012
- Author(s)
  Hiroaki Tanizaki, Toshiaki Aoki, Takuya Katayama
- Journal Title
  
  Proc. of 24th International Conference on Software Engineering and Knowledge Engineering (SEKE 2012)
  
  Volume: - Pages: 672-677
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23220002
[Journal Article] Conformance Testing for OSEK/VDX Operating System Using Model Checking2011
- Author(s)
  Jiang Chen, Toshiaki Aoki
- Journal Title
  
  Proc.of 18^<th> Asia-Pacific Software Engineering Conference (APSEC 2011)
  
  Pages: 274-281
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23240004
[Journal Article] Conformance Verification between Web Service Choreography and Implementation Using Learning and Model Checking2011
- Author(s)
  Warawoot Pacharoen, Toshiaki Aoki, Athasit Surarerks, Pattarasinee Bhattarakosol
- Journal Title
  
  IEEE International Conference on Web Services (ICWS 2011)
  
  Pages: 722-723
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23240004
[Journal Article] Conformance Verification between Web Service Choreography and Implementation Using Learning and Model Checking2011
- Author(s)
  Warawoot Pacharoen, Toshiaki Aoki, Athasit Surarerks, Pattarasinee Bhattarakosol
- Journal Title
  
  Proc.of IEEE International Conference on Web Services (ICWS 2011)
  
  Pages: 722-723
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23220002
[Journal Article] Automated Adaptor Generation for Services Based on Pushdown Model Checking2011
- Author(s)
  Hsin-Hung Lin, Toshiaki Aoki, Takuya Katayama
- Journal Title
  
  Proc.of 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems (ECBS 2011)
  
  Pages: 130-139
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23220002
[Journal Article] Conformance Testing for OSEK/VDX Operating System Using Model Checking2011
- Author(s)
  Jiang Chen, Toshiaki Aoki
- Journal Title
  
  Proc.of 18th Asia-Pacific Software Engineering Conference (APSEC 2011)
  
  Pages: 274-281
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23220002
[Journal Article] Automated Adaptor Generation for Services Based on Pushdown Model Checking2011
- Author(s)
  Hsin-Hung Lin, Toshiaki Aoki, Takuya Katayama
- Journal Title
  
  18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems (ECBS 2011)
  
  Pages: 130-139
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23240004
[Journal Article] A Minimized Assumption Generation Method for Component-Based Software Verification2010
- Author(s)
  Pham Ngoc Hung, Viet Ha Nguyen, Toshiaki Aoki, Takuya Katayama
- Journal Title
  
  IEICE Transactions
  
  Volume: E93-D, No.8 Pages: 2172-2181
- NAID
  10027364698
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20680001
[Journal Article] A Minimized Assumption Generation Method for Component-Based Software Verification2010
- Author(s)
  Pham Ngoc Hung, Viet Ha Nguyen, Toshiaki Aoki, Takuya Katayama
- Journal Title
  
  IEICE Transactions Vol.E93-D, No.8
  
  Pages: 2172-2181
- NAID
  10027364698
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20680001
[Journal Article] Modular Conformance Testing and Assume-Guarantee Verification for Evolving Component-Based Software2009
- Author(s)
  Pham Ngoc Hung, Toshiaki Aoki, Takuya Katayama
- Journal Title
  
  IEICE Transactions Vol.E92-A, No.11
  
  Pages: 2772-2780
- NAID
  10026860803
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20680001
[Journal Article] Model checking education for software engineers in Japan2009
- Author(s)
  Hideaki Nishihara, Koichi Shinozaki, Koji Hayamizu, Toshiaki Aoki, Kenji Taguchi, Fumihiro Kumeno
- Journal Title
  
  ACM SIGCSE Bulletin 41
  
  Pages: 45-50
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20680001
[Journal Article] Evolution of a course on model checking for practical applications2009
- Author(s)
  Yasuyuki Tahara, Nobukazu Yoshioka, Kenji Taguchi, Toshiaki Aoki, Shinichi Honiden
- Journal Title
  
  ACM SIGCSE Bulletin
  
  Volume: Volume 41, Issue 2(June2009) Pages: 38-44
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20680001
[Journal Article] Modular Conformance Testing and Assume-Guarantee Verification for Evolving Component-Based Software2009
- Author(s)
  Pham Ngoc Hung, Toshiaki Aoki, Takuya Katayama
- Journal Title
  
  IEICE Transactions
  
  Volume: Vol.E92-A, No.11 Pages: 2772-2780
- NAID
  10026860803
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20680001
[Journal Article] Evolution of a course on model checking for practical applications2009
- Author(s)
  Yasuyuki Tahara, Nobukazu Yoshioka, Kenji Taguchi, Toshiaki Aoki, Shinichi Honiden
- Journal Title
  
  ACM SIGCSE Bulletin 41
  
  Pages: 38-44
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20680001
[Journal Article] Model checking education for software engineers in Japan2009
- Author(s)
  Hideaki Nishihara, Koichi Shinozaki, Koji Hayamizu, Toshiaki Aoki, Kenji Taguchi, Fumihiro Kumeno
- Journal Title
  
  ACM SIGCSE Bulletin
  
  Volume: Volume 41, Issue 2(June2009) Pages: 45-50
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20680001
[Journal Article] Testing and Assume-Guarantee Verification for Evolving Component-Based Software2009
- Author(s)
  Pham Ngoc Hung, Toshiaki Aoki, Takuya Katayama
- Journal Title
  
  IEICE Transactions EA92-A
  
  Pages: 2772-2780
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20680001
[Journal Article] Model checking education for software engineers in Japan2009
- Author(s)
  Hideaki Nishihara, Koichi Shinozaki, Koji Hayamizu, Toshiaki Aoki, Kenji Taguchi, Fumihiro Kumeno
- Journal Title
  
  ACM SIGCSE Bulletin Volume 41 , Issue 2
  
  Pages: 45-50
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20680001
[Journal Article] 周期イベントに基づいた並行タスクの振る舞いの検証法2007
- Author(s)
  青木利晃
- Journal Title
  
  情報処理学会ソフトウェア工学研究会ウィンターワークシヨップ2007
  
  Pages: 7-8
- Data Source
  KAKENHI-PROJECT-16700028
[Journal Article] 形式的手法による高信頼性組み込みソフトウェア開発2006
- Author(s)
  青木利晃
- Journal Title
  
  情報処理学会学会誌情報処理 47・5
  
  Pages: 491-497
- Data Source
  KAKENHI-PROJECT-16700028
[Journal Article] コラボレーションに基づくオブジェクト指向モデルの検証2005
- Author(s)
  矢竹健朗, 青木利晃, 片山卓也
- Journal Title
  
  日本ソフトウェア科学会コンピュータソフトウェア 22・1
  
  Pages: 58-76
- NAID
  110003744165
- Data Source
  KAKENHI-PROJECT-16700028
[Journal Article] Formalization and Analysis of Dataflow in Object-Oriented Design Models2005
- Author(s)
  Toshiaki Aoki, Takuya Katayama
- Journal Title
  
  Proceedings of International Symposium on Object-Oriented Real-Time Distributed Computing
  
  Pages: 95-105
- Data Source
  KAKENHI-PROJECT-16700028
[Journal Article] ステートチャートに基づいたオブジェクト指向設計モデルの検証2005
- Author(s)
  青木利晃, 片山卓也
- Journal Title
  
  ソフトウェア工学の基礎ワークショップ2005
  
  Pages: 55-64
- Data Source
  KAKENHI-PROJECT-16700028
[Journal Article] コラボレーションに基づくオブジェクト指向モデルの検証2005
- Author(s)
  矢竹健朗, 青木利晃, 片山卓也
- Journal Title
  
  日本ソフトウェア科学会学会誌コンピュータソフトウェア 22・1
  
  Pages: 58-76
- NAID
  110003744165
- Data Source
  KAKENHI-PROJECT-16700028
[Journal Article] アクション言語と制約言語を用いて記述されたオブジェクト指向設計モデルの検証法2005
- Author(s)
  青木利晃, 片山卓也
- Journal Title
  
  第2回ディペンダブルソフトウェア研究会
  
  Pages: 61-71
- Data Source
  KAKENHI-PROJECT-16700028
[Journal Article] Implementing application-specific Object-Oriented theories in HOL2005
- Author(s)
  Kenro Yatake, Toshiaki Aoki, Takuya Katayama
- Journal Title
  
  International Colloquium on Theoretical Aspects of Computing
  
  Pages: 501-516
- Data Source
  KAKENHI-PROJECT-16700028
[Journal Article] RTOSに基づいたソフトウェアのためのモデル検査ライブラリ2005
- Author(s)
  青木利晃, 片山卓也
- Journal Title
  
  組込みソフトウェアシンポジウム2005論文集
  
  Pages: 56-63
- Data Source
  KAKENHI-PROJECT-16700028
[Journal Article] 並行オブジェクトから並行処理列への変換法2005
- Author(s)
  岡崎光隆, 青木利晃, 片山卓也
- Journal Title
  
  日本ソフトウェア科学会学会誌コンピュータソフトウェア
- NAID
  110008016649
- Data Source
  KAKENHI-PROJECT-16700028
[Journal Article] 並行オブジェクトから並行処理列への変換法2005
- Author(s)
  岡崎光隆, 青木利晃, 片山卓也
- Journal Title
  
  日本ソフトウェア科学会コンピュータソフトウェア 22・2
  
  Pages: 58-73
- NAID
  110008016649
- Data Source
  KAKENHI-PROJECT-16700028
[Journal Article] センサーのモデル化とモデル検査技術の適用について2004
- Author(s)
  青木利晃, 岸知二, 片山卓也
- Journal Title
  
  組込みソフトウェアシンポジウム2004
  
  Pages: 118-125
- Data Source
  KAKENHI-PROJECT-16700028
[Journal Article] オブジェクト指向分析モデルにおけるデータフローの形式化と解析手法2004
- Author(s)
  青木利晃, 片山卓也
- Journal Title
  
  日本ソフトウェア科学会学会誌コンピュータソフトウェア 21・4
  
  Pages: 1-26
- NAID
  130004549018
- Data Source
  KAKENHI-PROJECT-16700028
[Presentation] Coverage Testing of Industrial Simulink Models Using Monte-Carlo and SMT-Based Methods2022
- Author(s)
  Daisuke Ishii, Takashi Tomita, Toshiaki Aoki, The Quyen Ngo, Thi Bich Ngoc Do and Hideaki Takai
- Organizer
  International Conference on Software Quality, Reliability, and Security
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03220
[Presentation] Approximate Translation from Floating-Point to Real-Interval Arithmetic2022
- Author(s)
  Daisuke Ishii, Takashi Tomita, Toshiaki Aoki
- Organizer
  NASA Formal Methods
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03220
[Presentation] SMT-Based Model Checking of Industrial Simulink Models2022
- Author(s)
  Daisuke Ishii, Takashi Tomita, Toshiaki Aoki, The Quyen Ngo, Thi Bich Ngoc Do, Hideaki Takai
- Organizer
  International Conference on Formal Engineering Method
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03220
[Presentation] Leveraging hardware-dependent knowledge extraction with multiple program analysis techniques2022
- Author(s)
  Thuy Nguyen, Takashi Tomita, Junpei Endo, Geon-ung Kang, Toshiaki Aoki
- Organizer
  Symposium On Applied Computing
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03220
[Presentation] Analysis and Enhancement of Self-sovereign Identity System Properties Compiling Standards and Regulations2022
- Author(s)
  Charnon Pattiyanon, Toshiaki Aoki
- Organizer
  8th International Conference on Information Systems Security and Privacy (ICISSP)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03220
[Presentation] A Formal Specification Language Based on Positional Relationship Between Objects in Automated Driving Systems2022
- Author(s)
  Kento Tanaka, Toshiaki Aoki, Tatsuji Kawai, Takashi Tomita, Daisuke Kawakami, Nobuo Chida
- Organizer
  COMPSAC
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03220
[Presentation] 自動運転システムを対象としたシナリオ開発のためのモデリング言語2022
- Author(s)
  青木利晃，冨田尭，河井達治，川上大介，千田伸男
- Organizer
  ソフトウェアエンジニアリングシンポジウム
- Data Source
  KAKENHI-PROJECT-18H03220
[Presentation] Analysis and Enhancement of Self-sovereign Identity System Properties Compiling Standards and Regulations2022
- Author(s)
  Charnon Pattiyanon, Toshiaki Aoki, Daisuke Ishii
- Organizer
  8th International Conference on Information Systems Security and Privacy (ICISSP)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03220
[Presentation] 自動運転システム開発におけるシミュレーション検証のためのテストケース作成手法の提案2021
- Author(s)
  鈴木玄貴，冨田尭，青木利晃，河井達治，川上大介，千田伸男
- Organizer
  情報処理学会第207回ソフトウェア工学研究発表会
- Data Source
  KAKENHI-PROJECT-18H03220
[Presentation] SSpinJa: Facilitating Schedulers in Model Checking2021
- Author(s)
  Nhat-Hoa Tran, Toshiaki Aoki
- Organizer
  21th IEEE International Conference on Software Quality, Reliability, and Security(QRS)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03220
[Presentation] Fault Tree Analysis for Systematic Evaluation of Machine Learning Systems2020
- Author(s)
  Toshiaki Aoki, Daisuke Kawakami, Nobuo Chida, Takashi Tomita
- Organizer
  IEEE Pacific Rim International Symposium on Dependable Computing
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03220
[Presentation] Risk Assessment Using Coloured Petri Nets for Telemedicine2020
- Author(s)
  Kenji Fujita, Kunihiko Hiraishi, Toshiaki Aoki
- Organizer
  International Conference on Industrial Engineering and Engineering Management
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03220
[Presentation] Comprehensive Robustness Evaluation of File Systems with Model Checking2020
- Author(s)
  Jingcheng Yuan, Toshiaki Aoki, Xiaoyun Guo
- Organizer
  International Conference on Software Quality, Reliability, and Security
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03220
[Presentation] 自動運転システムにおける画像を対象とした形式仕様記述言語BBSLの提案2020
- Author(s)
  田中健人，青木利晃，川上大介，千田伸男，河井達治，冨田尭
- Organizer
  情報処理学会第205回ソフトウェア工学研究発表会
- Data Source
  KAKENHI-PROJECT-18H03220
[Presentation] A Scalable Monte-Carlo Test-Case Generation Tool for Large and Complex Simulink Models2019
- Author(s)
  Takashi Tomita, Daisuke Ishii, Toru Murakami, Shigeki Takeuchi, Toshiaki Aoki
- Organizer
  11th Workshop on Modelling in Software Engineering
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03220
[Presentation] Multiple Program Analysis Techniques Enable Precise Check for SEI CERT C Coding Standard2019
- Author(s)
  Thu-Trang Nguyen, Toshiaki Aoki, Takashi Tomita and Iori Yamada
- Organizer
  Asia-Pacific Software Engineering Conference
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03220
[Presentation] Conformance Testing of Schedulers for DSL-based Model Checking2019
- Author(s)
  Nhat-Hoa Tran and Toshiaki Aoki
- Organizer
  26th International SPIN Symposium on Model Checking of Software
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03220
[Presentation] Model Checking Automotive Systems2019
- Author(s)
  Toshiaki Aoki
- Organizer
  Workshop on Testing, Analysis, and Verification of Cyber-Physical Systems and Internet of Things
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03220
[Presentation] Event-Bに基づいた鉄道システムの実践的な形式化と検証2019
- Author(s)
  太田十字光, 青木利晃
- Organizer
  情報処理学会第203回ソフトウェア工学研究会
- Data Source
  KAKENHI-PROJECT-18H03220
[Presentation] Integrating Static Program Analysis Tools for Verifying Cautions of Microcontroller2019
- Author(s)
  Thuy Nguyen, Toshiaki Aoki, Takashi Tomita and Junpei Endo
- Organizer
  Asia-Pacific Software Engineering Conference
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03220
[Presentation] Compaction of Spacecraft Operation Model using Domain Knowledge based Stereotype2019
- Author(s)
  Kazunori Someya, Naoki Ishihama, Keiichi Wada, Toshiaki Aoki
- Organizer
  International Symposium on Space Technology and Science
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03220
[Presentation] Reducing False Positives of Static Analysis for SEI CERT C Coding Standard2019
- Author(s)
  Thu Trang Nguyen, Pattaravut Maleehuan, Toshiaki Aoki, Takashi Tomita, Iori Yamada
- Organizer
  Joint International Workshop on Conducting Empirical Studies in Industry and 6th International Workshop on Software Engineering Research and Industrial Practice
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03220
[Presentation] Multiple Conformance to Hybrid Automata for Checking Smart House Temperature Change2018
- Author(s)
  Zhengguo Yang, Toshiaki Aoki, Yasuo Tan
- Organizer
  IEEE/ACM the 22nd International Symposium on Distributed Simulation and Real Time Applications
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03220
[Presentation] Modeling the Required Indoor Temperature Change by Hybrid Automata for Detecting Thermal Problems2018
- Author(s)
  Zhengguo Yang, Toshiaki Aoki, Yasuo Tan
- Organizer
  The 23rd IEEE Pacific Rim International Symposium on Dependable Computing
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03220
[Presentation] Qualitative and Quantitative Analysis with Scheduling Policies in Model Checking2018
- Author(s)
  Nhat-Hoa Tran, Yuki Chiba and Toshiaki Aoki
- Organizer
  The 33rd ACM/SIGAPP Symposium On Applied Computing
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03220
[Presentation] 確率統計に基づいた故障木とテストによる機械学習システムの系統的評価手法2018
- Author(s)
  青木利晃，川上大介，千田伸男，冨田尭
- Organizer
  ソフトウェアエンジニアリングシンポジウム
- Data Source
  KAKENHI-PROJECT-18H03220
[Presentation] 形式手法と安全性2018
- Author(s)
  青木利晃
- Organizer
  安全工学会安全工学研究発表会
- Invited
- Data Source
  KAKENHI-PROJECT-18H03220
[Presentation] Formalization and Verification of AUTOSAR OS Standard's Memory Protection2018
- Author(s)
  Trinh Le Khanh, Yuki Chiba and Toshiaki Aoki
- Organizer
  The 12th International Symposium on Theoretical Aspects of Software Engineering
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03220
[Presentation] 車載システム開発における形式手法実践の現状と課題2018
- Author(s)
  青木利晃
- Organizer
  日本ソフトウェア科学会第16回ディペンダブルシステムワークショップ
- Invited
- Data Source
  KAKENHI-PROJECT-18H03220
[Presentation] Template-Based Monte-Carlo Test Generation for Simulink Models, Seventh Workshop on Design, Modeling and Evaluation of Cyber Physical Systems2017
- Author(s)
  Takashi Tomita, Daisuke Ishii, Toru Murakami, Shigeki Takeuchi, Toshiaki Aoki
- Organizer
  Workshop on Design, Modeling and Evaluation of Cyber Physical Systems
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K00094
[Presentation] Domain-Specific Language Facilitates Scheduling in Model Checking2017
- Author(s)
  Nhat-Hoa Tran, Yuki Chiba, Toshiaki Aoki
- Organizer
  Asia-Pacific Software Engineering Conference
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K00094
[Presentation] A Reusable Framework for Modeling and Verifying In-vehicle Networking System in the Presence of CAN and FlexRay2017
- Author(s)
  Xiaoyun Guo, Hsin-Hung Lin, Toshiaki Aoki, Yuki Chiba
- Organizer
  Asia-Pacific Software Engineering Conference
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K00094
[Presentation] Assembly Program Verification for Multiprocessors with Relaxed Memory Model using SMT Solver2017
- Author(s)
  Pattaravut Maleehuan, Yuki Chiba, Toshiaki Aoki
- Organizer
  International Symposium on Theoretical Aspects of Software Engineering
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K00094
[Presentation] Verifying OSEK/VDX OS Design using Its Formal Specification2016
- Author(s)
  Dieu Huong Vu, Yuki Chiba, Kenro Yatake, Toshiaki Aoki
- Organizer
  International Symposium on Theoretical Aspects of Software Engineering
- Place of Presentation
  Shanghai, China
- Year and Date
  2016-07-17
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K00094
[Presentation] ISO26262のための安全要求記述言語と追跡可能性検証手法の提案2016
- Author(s)
  青木利晃，千葉勇輝，松原正裕，成沢文雄
- Organizer
  プログラミングおよびプログラミング言語ワークショップ
- Place of Presentation
  ダイヤモンド瀬戸内マリンホテル(岡山県たまの市)
- Year and Date
  2016-03-07
- Data Source
  KAKENHI-PROJECT-15K00094
[Presentation] Dissolution of the Gap between Safety Requirements Written in a Natural Language and Formal Notations2016
- Author(s)
  Masahiro Matsubara, Fumio Narisawa, Atsuhiro Ohno, Toshiaki Aoki, Yuki Chiba
- Organizer
  SAE 2016 World Congress and Exhibition
- Place of Presentation
  Detroit, USA
- Year and Date
  2016-04-12
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K00094
[Presentation] Java Pathfinder における弱公平性条件の実装2016
- Author(s)
  太田十字光, 田辺良則, 青木利晃
- Organizer
  日本ソフトウェア科学会第33回全国大会
- Place of Presentation
  東北大学片平キャンパス(宮城県仙台市)
- Year and Date
  2016-09-06
- Data Source
  KAKENHI-PROJECT-15K00094
[Presentation] Simulinkモデルに対するテストスイート自動生成2016
- Author(s)
  冨田尭, 石井大輔，青木利晃
- Organizer
  第14回ディペンダブルシステムワークショップ
- Place of Presentation
  花びしホテル(北海道函館市)
- Year and Date
  2016-12-14
- Data Source
  KAKENHI-PROJECT-15K00094
[Presentation] Yes! You Can Use Your Model Checker to Verify OSEK/VDX Applications2015
- Author(s)
  Haitao Zhang, Toshiaki Aoki, Yuki Chiba
- Organizer
  IEEE International Conference on Software Testing, Verification and Validation
- Place of Presentation
  Graz, Austria
- Year and Date
  2015-04-13
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K00094
[Presentation] ゴール木とパターンを用いたISO26262における安全要求のモデル化2015
- Author(s)
  青木利晃，トライチャイヤポーンクリアンクライ，千葉勇輝，松原正裕，西昌能，成沢文雄
- Organizer
  組込みシステムシンポジウム
- Place of Presentation
  早稲田大学グリーン・コンピューティング・システム研究開発センター(東京都新宿区)
- Year and Date
  2015-10-21
- Data Source
  KAKENHI-PROJECT-15K00094
[Presentation] Yes! You Can Use Your Model Checker to Verify OSEK/VDX Applications2015
- Author(s)
  Haitao Zhang, Toshiaki Aoki, Yuki Chiba
- Organizer
  IEEE International Conference on Software Testing, Verification and Validation
- Place of Presentation
  Graz, Austria
- Year and Date
  2015-04-13
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23220002
[Presentation] Experimental Fault Analysis Process Implemented Using Model Extraction and Model Checking2015
- Author(s)
  Hideto Ogawa, Makoto Ichii, Fumihiro Kumeno, Toshiaki Aoki
- Organizer
  COMPSAC2015
- Place of Presentation
  Taichung, Taiwan
- Year and Date
  2015-07-01
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K00094
[Presentation] Modeling Safety Requirements of ISO26262 using Goal Trees and Patterns2015
- Author(s)
  Toshiaki Aoki, Kriangkrai Traichaiyaporn, Yuki Chiba, Masahiro Matsubara, Masataka Nishi, Fumio Narisawa
- Organizer
  International Workshop on Formal Techniques for Safety-Critical Systems
- Place of Presentation
  Paris, France
- Year and Date
  2015-11-06
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K00094
[Presentation] A Spin-based Approach for Checking OSEK/VDX Applications2014
- Author(s)
  Haitao Zhang, Toshiaki Aoki, Yuki Chiba
- Organizer
  Third International Workshop on Formal Techniques for Safety-Critical Systems(FTSCS)
- Place of Presentation
  Luxembourg
- Year and Date
  2014-11-06
- Data Source
  KAKENHI-PROJECT-24500035
[Presentation] A Practical Study of Debugging using Model Checking2013
- Author(s)
  Hideto Ogawa, Makoto Ichii, Fumihiko Kumeno and Toshiaki Aoki
- Organizer
  20th Asia-Pacific Software Engineering Conference(APSEC)
- Place of Presentation
  バンコク，タイ
- Data Source
  KAKENHI-PROJECT-24500035
[Presentation] POM/MCを用いた仮説ベースモデル検査デバッグ手法2013
- Author(s)
  小川秀人, 市井誠, 粂野文洋, 青木利晃
- Organizer
  ソフトウェア工学の基礎ワークショップ
- Place of Presentation
  石川
- Data Source
  KAKENHI-PROJECT-24500035
[Presentation] Building A Body of Knowledge on Model Checking for Software Development2013
- Author(s)
  Kenji Taguchi, Hideaki Nishihara, Toshiaki Aoki, Fumihiro Kumeno, Koji Hayamizu, and Koichi Sinozaki
- Organizer
  Annual International Computers, Software & Applications Conference (COMPSAC)
- Place of Presentation
  京都
- Data Source
  KAKENHI-PROJECT-24500035
[Presentation] Preserving correctness of requirements evolution through refinement in Event-B2013
- Author(s)
  Kriangkrai Traichaiyaporn and Toshiaki Aoki
- Organizer
  20th Asia-Pacific Software Engineering Conference(APSEC)
- Place of Presentation
  バンコク，タイ
- Data Source
  KAKENHI-PROJECT-24500035
[Presentation] Refinement Tree and Its Patterns: a Graphical Approach for Event-B2013
- Author(s)
  Kriangkrai Traichaiyaporn and Toshiaki Aoki
- Organizer
  Second International Workshop on Formal Techniques for Safety-Critical Systems(FTSCS)
- Place of Presentation
  クイーンズタウン，ニュージーランド
- Data Source
  KAKENHI-PROJECT-24500035
[Presentation] SMT-based Bounded Model Checking for OSEK/VDX Applications2013
- Author(s)
  Haitao Zhang, Toshiaki Aoki, Hsin-Hung Lin, Min Zhang, Yuki Chiba and Kenro Yatake
- Organizer
  20th Asia-Pacific Software Engineering Conference(APSEC)
- Place of Presentation
  バンコク，タイ
- Data Source
  KAKENHI-PROJECT-24500035
[Presentation] An UPPAAL Framework for Model Checking Automotive Systems with FlexRay Protocol2013
- Author(s)
  Xiaoyun Guo, Hsin-Hung Lin, Kenro Yatake and Toshiaki Aoki
- Organizer
  Second International Workshop on Formal Techniques for Safety-Critical Systems(FTSCS)
- Place of Presentation
  クイーンズタウン，ニュージーランド
- Data Source
  KAKENHI-PROJECT-24500035
[Presentation] Evaluation of Operational Vulnerability in Cloud Service Management using Model Checking2013
- Author(s)
  Shinji Kikuchi, Toshiaki Aoki
- Organizer
  IEEE Seventh International Symposium on Service-Oriented System Engineering(SOSE)
- Place of Presentation
  Redwood City, USA
- Data Source
  KAKENHI-PROJECT-24500035
[Presentation] An approach for checking OSEK/VDX applications2013
- Author(s)
  Haitao Zhang, Toshiaki Aoki, Kenro Yatake, Min Zhang and Hsin-Hung Lin
- Organizer
  The 13th International Conference on Quality Software(QSIC)
- Place of Presentation
  南京，中国
- Data Source
  KAKENHI-PROJECT-24500035
[Presentation] モデル検査器により出力された反例に基づく誤り特定に関する研究2012
- Author(s)
  陳適, 青木利晃
- Organizer
  情報処理学会第177回ソフトウェア工学研究会
- Place of Presentation
  大阪
- Data Source
  KAKENHI-PROJECT-23220002
[Presentation] モデル検査ツールにより出力された反例に基づく誤り特定手法2012
- Author(s)
  陳適, 青木利晃
- Organizer
  ソフトウェア工学の基礎ワークショップ
- Place of Presentation
  大分
- Data Source
  KAKENHI-PROJECT-24500035
[Presentation] モデル検査器により出力された反例に基づく誤り特定に関する研究2012
- Author(s)
  陳適, 青木利晃
- Organizer
  情報処理学会第177回ソフトウェア工学研究会
- Place of Presentation
  大阪
- Data Source
  KAKENHI-PROJECT-24500035
[Presentation] SMT-based Enumeration of Object Graphs from UML class diagrams2012
- Author(s)
  Kenro Yatake, Toshiaki Aoki
- Organizer
  5th International workshop UML and Formal Methods
- Place of Presentation
  Paris, France
- Data Source
  KAKENHI-PROJECT-24500035
[Presentation] Faithfully Formalizing OSEK/VDX Operating System Specification2012
- Author(s)
  Dieu-Huong Vu, Toshiaki Aoki
- Organizer
  third International Symposium on Information and Communication Technology(SoICT)
- Place of Presentation
  Ha Long Bay, Vietnam
- Data Source
  KAKENHI-PROJECT-24500035
[Presentation] A Variability Management Method for Software Configuration Files2012
- Author(s)
  Hiroaki Tanizaki, Toshiaki Aoki, Takuya Katayama
- Organizer
  The 24th International Conference on Software Engineering and Knowledge Engineering(SEKE)
- Place of Presentation
  Redwood City, USA
- Data Source
  KAKENHI-PROJECT-24500035
[Presentation] An Improvement of Minimized Assumption Generation Method for Component-Based Software Verification2012
- Author(s)
  Pham Ngoc Hung, Viet Ha Nguyen, Toshiaki Aoki, Takuya Katayama
- Organizer
  IEEE-RIVF International Conference on Computing and Communication Technologies
- Place of Presentation
  ホーチミンシティ,ベトナム
- Year and Date
  2012-02-28
- Data Source
  KAKENHI-PROJECT-20680001
[Presentation] An Improvement of Minimized Assumption Generation Method for Com ponent-Based Software Verification2012
- Author(s)
  Pham Ngoc Hung, Viet Ha Nguyen, Toshiaki Aoki, Takuya Katayama
- Organizer
  IEEE-RIVF International Conference on Computing and Communication Technologies
- Place of Presentation
  ホーチミンシティ,ベトナム
- Year and Date
  2012-02-28
- Data Source
  KAKENHI-PROJECT-20680001
[Presentation] モデル検査とテストによる車載オペレーティングシステムのシームレスな検証2012
- Author(s)
  青木利晃, 佐藤信, 谷充弘, 矢竹健朗
- Organizer
  組込みシステムシンポジウム
- Place of Presentation
  東京
- Data Source
  KAKENHI-PROJECT-24500035
[Presentation] 形式手法の研究と実践からざっくばらんに～産業界での可能性や今後の展望～2011
- Author(s)
  青木利晃
- Organizer
  フォーマルメソッド普及促進セミナー2011 in札幌
- Place of Presentation
  札幌(招待講演)
- Year and Date
  2011-07-22
- Data Source
  KAKENHI-PROJECT-23220002
[Presentation] Automated Adaptor Generation for Services Based on Pushdown Model Checking2011
- Author(s)
  Hsin-Hung Lin, Toshiaki Aoki, Takuya Katayama
- Organizer
  IEEE International Conference and Workshops on Engineering of Computer-Based Systems
- Place of Presentation
  ラスベガス,アメリカ
- Year and Date
  2011-04-18
- Data Source
  KAKENHI-PROJECT-20680001
[Presentation] Conformance Testing for OSEK/VDX Operating System Using Model Checking2011
- Author(s)
  Jiang Chen, Toshiaki Aoki
- Organizer
  Asia-Pacific Software Engineering Conference
- Place of Presentation
  ホーチミンシティ,ベトナム
- Year and Date
  2011-11-07
- Data Source
  KAKENHI-PROJECT-20680001
[Presentation] Conformance Verification between Web Service Choreography and Imple mentation Using Learning and Model Checking2011
- Author(s)
  Warawoot Pacharoen, Toshiaki Aoki, Athasit Surarerks, Pattarasinee Bhattarakosol
- Organizer
  IEEE International Conference on Web Services
- Place of Presentation
  ワシントンDC,アメリカ
- Year and Date
  2011-07-04
- Data Source
  KAKENHI-PROJECT-20680001
[Presentation] Pattarasinee Bhattarakosol, Conformance Verification between Web Service Choreography and Implementation Using Learning and Model Checking2011
- Author(s)
  Warawoot Pacharoen, Toshiaki Aoki, Athasit Surarerks
- Organizer
  IEEE International Conference on Web Services
- Place of Presentation
  ワシントンDC,アメリカ
- Year and Date
  2011-07-04
- Data Source
  KAKENHI-PROJECT-20680001
[Presentation] Automatic Generation of Model Checking Scripts based on Environment Modeling2010
- Author(s)
  Kenro Yatake, Toshiaki Aoki
- Organizer
  The 17th International SPIN Workshop on Model Checking of Software(SPIN 2010), pp.58-75
- Place of Presentation
  オランダ
- Year and Date
  2010-09-27
- Data Source
  KAKENHI-PROJECT-20680001
[Presentation] Modeling of Real-Time System Designs for Parametric Analysis2010
- Author(s)
  Chaiwat Sathawornwichit, Toshiaki Aoki, Takuya Katayama
- Organizer
  IEEE International Conference on Embedded and Real-Time Computing Systems and Applications
- Place of Presentation
  タイパ,マカオ
- Year and Date
  2010-08-23
- Data Source
  KAKENHI-PROJECT-20680001
[Presentation] Alloyを用いた構成変更支援ツールと適用実験2010
- Author(s)
  谷崎裕明,青木利晃,片山卓也
- Organizer
  情報処理学会第169回ソフトウェア工学研究会
- Place of Presentation
  北九州
- Year and Date
  2010-07-22
- Data Source
  KAKENHI-PROJECT-20680001
[Presentation] Non-Regular Adaptation of Services Using Model Checking2010
- Author(s)
  Hsin-Hung Lin, Toshiaki Aoki, Takuya Katayama
- Organizer
  IEEE International Symposium on Object-Oriented/Component/Service-oriented Real-Time Distributed Computing
- Place of Presentation
  カルモナ,スペイン
- Year and Date
  2010-05-06
- Data Source
  KAKENHI-PROJECT-20680001
[Presentation] 形式手法教育の取り組みについて2010
- Author(s)
  青木利晃
- Organizer
  先端ソフトウェア工学に関するGrace国際シンポジウム形式手法の産業応用ワークショップ2010
- Place of Presentation
  東京
- Year and Date
  2010-03-15
- Data Source
  KAKENHI-PROJECT-20680001
[Presentation] Alloyを用いた構成変更支援ツールと適用実験2010
- Author(s)
  谷崎裕明, 青木利晃, 片山卓也
- Organizer
  情報処理学会第169回ソクトウェア工学研究会
- Place of Presentation
  北九州テレワークセンター(福岡)
- Year and Date
  2010-07-22
- Data Source
  KAKENHI-PROJECT-20680001
[Presentation] Assume-Guarantee Tools for Component-Based Software Verification2010
- Author(s)
  Pham Ngoc Hung, Nguyen Viet Ha, Toshiaki Aoki, Takuya Katayama
- Organizer
  International Conference on Knowledge and Systems Engineering
- Place of Presentation
  ハノイ,ベトナム
- Year and Date
  2010-10-08
- Data Source
  KAKENHI-PROJECT-20680001
[Presentation] 形式手法教育の取り組みについて2010
- Author(s)
  青木利晃
- Organizer
  先端ソフトウェア工学に関するGrace国際シンポジウム形式手法の産業応用ワークショップ
- Place of Presentation
  東京
- Year and Date
  2010-03-15
- Data Source
  KAKENHI-PROJECT-20680001
[Presentation] RTOS設計検証の経験から2010
- Author(s)
  青木利晃
- Organizer
  ソフトウェアシンポジウム
- Place of Presentation
  横浜市開港記念会館(神奈川)
- Year and Date
  2010-06-10
- Data Source
  KAKENHI-PROJECT-20680001
[Presentation] Chaiwat Sathawornwichit Modeling of Real-Time System Designs for Parametric Analysis2010
- Author(s)
  Toshiaki Aoki, Takuya Katayama
- Organizer
  the 16th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2010), pp.81-91
- Place of Presentation
  マカオ
- Year and Date
  2010-08-23
- Data Source
  KAKENHI-PROJECT-20680001
[Presentation] Verification of Real-Time Operating System with Model Checking2010
- Author(s)
  Toshiaki Aoki
- Organizer
  57th IFIP WG 10.4 Meeting
- Place of Presentation
  沖縄
- Year and Date
  2010-01-23
- Data Source
  KAKENHI-PROJECT-20680001
[Presentation] Automatic Generation of Model Checking Scripts based on Environment Modeling2010
- Author(s)
  Kenro Yatake, Toshiaki Aoki
- Organizer
  International SPIN Workshop on Model Checking of Software
- Place of Presentation
  エンスヘーデ,オランダ
- Year and Date
  2010-09-27
- Data Source
  KAKENHI-PROJECT-20680001
[Presentation] RTOS設計検証の経験から2010
- Author(s)
  青木利晃
- Organizer
  ソフトウェアシンポジウム
- Place of Presentation
  横浜
- Year and Date
  2010-06-10
- Data Source
  KAKENHI-PROJECT-20680001
[Presentation] 環墳モデリングによるモデル検査スクリプトの自動生成2009
- Author(s)
  矢竹健朗, 西端浩和, 青木利晃
- Organizer
  組込みシステムシンポジウム
- Place of Presentation
  東京
- Year and Date
  2009-10-21
- Data Source
  KAKENHI-PROJECT-20680001
[Presentation] A Minimized Assumption Generation Method for Component-Based Software Verification2009
- Author(s)
  Pham Ngoc Hung, Toshiaki Aoki, Takuya Katayama
- Organizer
  In the 6th International Colloquium on Theoretical Aspect of Computing
- Place of Presentation
  マレーシアワアラルンプール
- Year and Date
  2009-08-16
- Data Source
  KAKENHI-PROJECT-20680001
[Presentation] MCBOK2008 :ソフトウェア開発のためのモデル検査知識体系2009
- Author(s)
  西原秀明,青木利晃,粂野文洋,篠崎孝一,田口研治,早水公二
- Organizer
  組込みシステムシンポジウム
- Place of Presentation
  東京
- Year and Date
  2009-10-21
- Data Source
  KAKENHI-PROJECT-20680001
[Presentation] NGUYEN Tam Thi Minh,モデル検査による設計検証と整合テスト2009
- Author(s)
  青木利晃
- Organizer
  情報処理学会第14回組込みシステム研究会
- Place of Presentation
  愛知
- Year and Date
  2009-07-24
- Data Source
  KAKENHI-PROJECT-20680001
[Presentation] A Minimized Assumption Generation Method for Component-Based Software Verification2009
- Author(s)
  Pham Ngoc Hung, Toshiaki Aoki, Takuya Katayama
- Organizer
  In the 6th International Colloquium on Theoretical Aspect of Computing, LNCS 5684, pp.277-291
- Place of Presentation
  マレーシア
- Year and Date
  2009-08-18
- Data Source
  KAKENHI-PROJECT-20680001
[Presentation] MCBOK2008:ソフトウェア開発のためのモデル検査知識体系2009
- Author(s)
  西原秀明, 青木利晃, 粂野文洋, 篠崎孝一, 田口研治, 早水公二
- Organizer
  組込みシメテムシンポジウム
- Place of Presentation
  東京
- Year and Date
  2009-10-21
- Data Source
  KAKENHI-PROJECT-20680001
[Presentation] 環境モデリングによるモデル検査スクリプトの自動生成2009
- Author(s)
  矢竹健朗,西端浩和,青木利晃
- Organizer
  組込みシステムシンポジウム
- Place of Presentation
  東京
- Year and Date
  2009-10-21
- Data Source
  KAKENHI-PROJECT-20680001
[Presentation] An effective framework for assume-guarantee verification of evolving component-based software2009
- Author(s)
  Pham Ngoc Hung, Toshiaki Aoki, Takuva Katavama
- Organizer
  the joint international and annual ERCIM works hops on Principles of software evolution (IWPSE) and software evolution (Evol) workshops
- Place of Presentation
  オランダアムステルダム
- Year and Date
  2009-09-20
- Data Source
  KAKENHI-PROJECT-20680001
[Presentation] 実用的な形式手法-モデル検査手法とその応用2009
- Author(s)
  青木利晃
- Organizer
  東芝ソフトウェアフォーラム2009/第九回東芝SEPGカンファレンス
- Place of Presentation
  神奈川
- Year and Date
  2009-07-10
- Data Source
  KAKENHI-PROJECT-20680001
[Presentation] Detecting and Analyzing State Inconsistencies in Multi-task Software2009
- Author(s)
  Toshiaki Aoki, Tadashi Sekiguchi, Masayuki Hirayania, and Tomoji Kishi
- Organizer
  IEEE International Symposium on International Symposium on Object-Oriented/Component/Service-oriented Real-Time Distributed Computing
- Place of Presentation
  東京
- Year and Date
  2009-03-20
- Data Source
  KAKENHI-PROJECT-20680001
[Presentation] モデル検査による設計検証と整合テスト2009
- Author(s)
  青木利晃, NGUYEN Tam Thi Minh
- Organizer
  情報処理学会第14回組込みシステム研究会
- Place of Presentation
  名古屋
- Year and Date
  2009-07-24
- Data Source
  KAKENHI-PROJECT-20680001
[Presentation] モデル検査手法の普及活動とその応用2009
- Author(s)
  青木利晃
- Organizer
  SPI Japan
- Place of Presentation
  新潟
- Year and Date
  2009-10-06
- Data Source
  KAKENHI-PROJECT-20680001
[Presentation] 実用的な形式手法・モデル検査手法とその応用2009
- Author(s)
  青木利晃
- Organizer
  東芝ソフトウェアフォーラム2009/第九回東芝SEPGカンファレンス
- Place of Presentation
  神奈川
- Year and Date
  2009-07-10
- Data Source
  KAKENHI-PROJECT-20680001
[Presentation] モデル検査手法の普及活動とその応用2009
- Author(s)
  青木利晃
- Organizer
  SPI Japan 2009
- Place of Presentation
  新潟
- Year and Date
  2009-10-06
- Data Source
  KAKENHI-PROJECT-20680001
[Presentation] Detecting and Analyzing State Inconsistencies in Multi-task Software2009
- Author(s)
  Toshiaki Aoki, Tadashi Sekiguchi, Masayuki Hirayama, and Tomoji Kishi
- Organizer
  12^<th> IEEE International Symposium on Object-Oriented/Component/Service-oriented Real-Time Distributed Computing
- Place of Presentation
  東京
- Year and Date
  2009-03-20
- Data Source
  KAKENHI-PROJECT-20680001
[Presentation] An effective framework for assume-guarantee verification of evolving component-based software2009
- Author(s)
  Pham Ngoc Hung, Toshiaki Aoki and Takuya Katayama
- Organizer
  Proceedings of the joint international and annual ERCIM workshops on Principles of software evolution(IWPSE) and software evolution(Evol) workshops
- Place of Presentation
  アムステルダム,オランダ
- Year and Date
  2009-09-20
- Data Source
  KAKENHI-PROJECT-20680001
[Presentation] A Minimized Assumption Generation Method for Component-Based Software Verification2009
- Author(s)
  Pham Ngoc Hung, Toshiaki Aoki and Takuya Katayama
- Organizer
  In the 6th International Colloquium on Theoretical Aspect of Computing
- Place of Presentation
  クアランプール,マレーシア
- Year and Date
  2009-08-16
- Data Source
  KAKENHI-PROJECT-20680001
[Presentation] モデル検査によるリアルタイムオペレーティングシステムの設計検証2008
- Author(s)
  青木利晃,山崎真吾
- Organizer
  組込みシステムシンポジウム
- Place of Presentation
  東京
- Year and Date
  2008-10-31
- Data Source
  KAKENHI-PROJECT-20680001
[Presentation] Model Checking Multi-task Software on Real-time Operating Systems2008
- Author(s)
  Toshiaki Aoki
- Organizer
  International Symposium on Object-Oriented Real-Time Distributed Computing 2008
- Place of Presentation
  フロリダ,アメリカ
- Year and Date
  2008-05-07
- Data Source
  KAKENHI-PROJECT-20680001
[Presentation] Model Checking Multi-task Software on Real-time Operating Systems2008
- Author(s)
  Toshiaki Aoki
- Organizer
  IEEE International Symposium on International Symposium on Object-Oriented/Component/Service-oriented Real-Time Distributed Computing
- Place of Presentation
  フロリダ, アメリカ
- Year and Date
  2008-05-07
- Data Source
  KAKENHI-PROJECT-20680001
[Presentation] Cプログラムの実行に基づいたモデル検査実験2008
- Author(s)
  土肥雅俊, 青木利晃
- Organizer
  レフトウエア工学の基礎ワークショップ
- Place of Presentation
  兵庫
- Year and Date
  2008-11-14
- Data Source
  KAKENHI-PROJECT-20680001
[Presentation] Cプログラムの実行に基づいたモデル検査実験2008
- Author(s)
  土肥雅俊,青木利晃
- Organizer
  ソフトウェア工学の基礎ワークショップ
- Place of Presentation
  兵庫
- Year and Date
  2008-11-14
- Data Source
  KAKENHI-PROJECT-20680001
[Presentation] 車載オペレーティングシステムを対象としたモデル検査とテストによる正しさの確信手法
- Author(s)
  青木利晃, 佐藤信, 谷充弘 , 矢竹健朗, 岸知二
- Organizer
  第21回ソフトウェア工学の基礎ワークショップ
- Place of Presentation
  霧島国際ホテル、鹿児島県霧島市
- Year and Date
  2014-12-11 – 2014-12-13
- Data Source
  KAKENHI-PROJECT-23220002
[Presentation] Practical Application of Formal Methods to Automotive Systems
- Author(s)
  Toshiaki Aoki
- Organizer
  Science and Practice of Engineering Trustworthy Cyber-Physical Systems, Shonan Meeting
- Place of Presentation
  Shonan Villlage Center, Hayama, Kanagawa
- Year and Date
  2014-10-26 – 2014-10-30
- Invited
- Data Source
  KAKENHI-PROJECT-23220002
[Presentation] ISO26262における安全仕様のゴール木を用いた浅い形式化
- Author(s)
  青木利晃，千葉勇輝，松原正裕，西昌能，成沢文雄
- Organizer
  第21回ソフトウェア工学の基礎ワークショップ
- Place of Presentation
  霧島国際ホテル、鹿児島県霧島市
- Year and Date
  2014-12-11 – 2014-12-13
- Data Source
  KAKENHI-PROJECT-23220002
[Presentation] 車載オペレーティングシステムを対象としたモデル検査とテストによる正しさの確信手法
- Author(s)
  青木利晃, 佐藤信, 谷充弘 , 矢竹健朗, 岸知二
- Organizer
  第21回ソフトウェア工学の基礎ワークショップ(ポスター発表)
- Place of Presentation
  霧島国際ホテル(鹿児島県・霧島市)
- Year and Date
  2014-12-11 – 2014-12-13
- Data Source
  KAKENHI-PROJECT-24500035
[Presentation] Large scale testing using computer clusters
- Author(s)
  Toshiaki Aoki
- Organizer
  Static Analysis meets Runtime Verification, Shonan Meeting
- Place of Presentation
  Shonan Villlage Center, Hayama, Kanagawa
- Year and Date
  2015-03-16 – 2015-03-19
- Invited
- Data Source
  KAKENHI-PROJECT-23220002
[Presentation] Practical Application of Formal Methods to Automotive Systems
- Author(s)
  Toshiaki Aoki
- Organizer
  Science and Practice of Engineering Trustworthy Cyber-Physical Systems, Shonan Meeting
- Place of Presentation
  湘南国際村センター(神奈川県・葉山町)
- Year and Date
  2014-10-26 – 2014-10-30
- Invited
- Data Source
  KAKENHI-PROJECT-24500035
[Presentation] Creating Confidence in the Correctness with formal methods and testing
- Author(s)
  Toshiaki Aoki
- Organizer
  Integration of Formal Method and Testing for Model-Based Systems Engineering, Shonan Meeting
- Place of Presentation
  Shonan Villlage Center, Hayama, Kanagawa
- Year and Date
  2014-12-01 – 2014-12-03
- Invited
- Data Source
  KAKENHI-PROJECT-23220002
[Presentation] Checking the Conformance of a Promela Design to Its Formal Specification in Event-B
- Author(s)
  Dieu-Huong Vu, Yuki Chiba, Kenro Yatake, Toshiaki Aoki
- Organizer
  Third International Workshop on Formal Techniques for Safety-Critical Systems(FTSCS)
- Place of Presentation
  Luxembourg
- Year and Date
  2014-11-06 – 2014-11-07
- Data Source
  KAKENHI-PROJECT-24500035
[Presentation] Large scale testing using computer clusters
- Author(s)
  Toshiaki Aoki
- Organizer
  Static Analysis meets Runtime Verification, Shonan Meeting
- Place of Presentation
  湘南国際村センター(神奈川県・葉山町)
- Year and Date
  2015-03-16 – 2015-03-19
- Invited
- Data Source
  KAKENHI-PROJECT-24500035
[Presentation] Creating Confidence in the Correctness with formal methods and testing
- Author(s)
  Toshiaki Aoki
- Organizer
  Integration of Formal Method and Testing for Model-Based Systems Engineering, Shonan Meeting
- Place of Presentation
  湘南国際村センター(神奈川県・葉山町)
- Year and Date
  2014-12-01 – 2014-12-03
- Invited
- Data Source
  KAKENHI-PROJECT-24500035
[Presentation] ISO26262における安全仕様のゴール木を用いた浅い形式化
- Author(s)
  青木利晃，千葉勇輝，松原正裕，西昌能，成沢文雄
- Organizer
  第21回ソフトウェア工学の基礎ワークショップ(ポスター発表)
- Place of Presentation
  鹿児島県霧島国際ホテル(鹿児島県・霧島市)
- Year and Date
  2014-12-11 – 2014-12-13
- Data Source
  KAKENHI-PROJECT-24500035

1. KATAYAMA Takuya (70016468)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
2. FUTATSUGI Kokichi (50251971)

# of Collaborated Projects: 2 results

# of Collaborated Products: 1 results
3. OGATA KAZUHIRO (30272991)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
4. NAKAMURA MASAKI (40345658)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
5. CHIBA YUKI (10509756)

# of Collaborated Projects: 1 results

# of Collaborated Products: 5 results
6. SEINO TAKAHIRO (10397226)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
7. CHERIF Adel (10303322)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
8. PREINING Norbert (60571247)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
9. GAINA Daniel (80595778)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
10. 伊藤恵 (30303324)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
11. 石井大輔 (00454025)

# of Collaborated Projects: 1 results

# of Collaborated Products: 5 results

Aoki Toshiaki 青木 利晃

AOKI Toshiaki 青木 利晃

青木 利晁 アオキ トシアキ

青木 利晃 アオキ トシアキ

Research Projects

Research Products

Co-Researchers

Study on formal methods for next-generation automotive systemsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Formal verification of advanced functionalities in next-generation automotive operating systemsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Integration of Formal Methods for Seamless Software DevelopmentsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Development of the Innovative Specification Verification System based on Proof Scores

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

証明スコア法に基づく革新的仕様検証技術の研究

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Research on the verification of highly parallel and concurrent embedded softwarePrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

産業応用を目指したオブジェクト指向モデルの検証手法の提案Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

現実的な形式的オブジェクト指向分析と計算機支援環境Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

現実的な形式的オブジェクト指向分析と計算機支援環境Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

オブジェクト指向分析モデルの定理証明系を用いた検証支援に関する研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Research on construction of embedded software using formal object-oriented methods

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Book] Cyber-Physical System Design from an Architecture Analysis Viewpoint2017

Author(s)

Total Pages

Publisher

ISBN

Data Source

[Book] Formal Methods and Software Engineering - 14th International Conference on Formal Engineering Methods2012

Aoki Toshiaki 青木利晃

AOKI Toshiaki 青木利晃

青木利晁アオキトシアキ

青木利晃アオキトシアキ

[Book] 組込みソフトウェア開発技術,9章組込みソフトウェアの静的検証技術2011