トップページ  >  教員個別情報  >  発表論文
青木 利晃 (AOKI, Toshiaki)教授
融合科学系, 情報科学系,セキュリティ・ネットワーク領域

発表論文

85件
Reducing false positives of static analysis for SEI CERT C coding standard.
Thu Trang Nguyen,Pattaravut Maleehuan,Toshiaki Aoki,Takashi Tomita,Iori Yamada
Proceedings of the Joint 7th International Workshop on Conducting Empirical Studies in Industry and 6th International Workshop on Software Engineering Research and Industrial Practice, CESSER-IP@ICSE 2019, Montreal, QC, Canada, May 27, 2019, 41-48, 2019
Conformance Testing of Schedulers for DSL-based Model Checking.
Nhat-Hoa Tran,Toshiaki Aoki
Model Checking Software - 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings, 208-225, 2019
Model Checking in the Presence of Schedulers Using a Domain-Specific Language for Scheduling Policies.
Nhat-Hoa Tran,Yuki Chiba,Toshiaki Aoki
IEICE Transactions, 102-D, 7, 1280-1295, 2019
A scalable Monte-Carlo test-case generation tool for large and complex simulink models.
Takashi Tomita,Daisuke Ishii,Toru Murakami,Shigeki Takeuchi,Toshiaki Aoki
Proceedings of the 11th International Workshop on Modelling in Software Engineerings, MiSE@ICSE 2019, Montreal, QC, Canada, May 26-27, 2019, 39-46, 2019
車載システム開発における形式手法実践の現状と課題
青木利晃
システム/制御/情報, 62, 4, 134‐140-140, 2018/04
Formalization and Verification of AUTOSAR OS Standard's Memory Protection.
Khanh Trinh Le,Yuki Chiba,Toshiaki Aoki
2018 International Symposium on Theoretical Aspects of Software Engineering, TASE 2018, Guangzhou, China, August 29-31, 2018, 68-75, 2018
Qualitative and quantitative analysis with scheduling policies in model checking.
Nhat-Hoa Tran,Yuki Chiba,Toshiaki Aoki
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, SAC 2018, Pau, France, April 09-13, 2018, 1873-1880, 2018
Modeling the Required Indoor Temperature Change by Hybrid Automata for Detecting Thermal Problems.
Zhengguo Yang,Toshiaki Aoki,Yasuo Tan
23rd IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2018, Taipei, Taiwan, December 4-7, 2018, 135-144, 2018
Multiple Conformance to Hybrid Automata for Checking Smart House Temperature Change.
Zhengguo Yang,Toshiaki Aoki,Yasuo Tan
22nd IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, DS-RT 2018, Madrid, Spain, October 15-17, 2018, 1-10, 2018
A Verification Framework for Assembly Programs Under Relaxed Memory Model Using SMT Solver.
Pattaravut Maleehuan,Yuki Chiba,Toshiaki Aoki
IEICE Transactions, 101-D, 12, 3038-3058, 2018
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: Communications of NII Shonan Meetings, 109-132, 2017/05/10
Assembly program verification for multiprocessors with relaxed memory model using SMT solver.
Pattaravut Maleehuan,Yuki Chiba,Toshiaki Aoki
11th International Symposium on Theoretical Aspects of Software Engineering, TASE 2017, Sophia Antipolis, France, September 13-15, 2017, 1-8, 2017
Template-Based Monte-Carlo Test Generation for Simulink Models.
Takashi Tomita,Daisuke Ishii,Toru Murakami,Shigeki Takeuchi,Toshiaki Aoki
Cyber Physical Systems. Design, Modeling, and Evaluation - 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers, 63-78, 2017
Domain-Specific Language Facilitates Scheduling in Model Checking.
Nhat-Hoa Tran,Yuki Chiba,Toshiaki Aoki
24th Asia-Pacific Software Engineering Conference, APSEC 2017, Nanjing, China, December 4-8, 2017, 417-426, 2017
A Reusable Framework for Modeling and Verifying In-Vehicle Networking Systems in the Presence of CAN and FlexRay.
Xiaoyun Guo,Hsin-Hung Lin,Toshiaki Aoki,Yuki Chiba
24th Asia-Pacific Software Engineering Conference, APSEC 2017, Nanjing, China, December 4-8, 2017, 140-149, 2017
Verifying OSEK/VDX OS Design Using Its Formal Specification.
Dieu-Huong Vu,Yuki Chiba,Kenro Yatake,Toshiaki Aoki
10th International Symposium on Theoretical Aspects of Software Engineering, TASE 2016, Shanghai, China, July 17-19, 2016, 81-88, 2016
Yes! You Can Use Your Model Checker to Verify OSEK/VDX Applications.
Haitao Zhang,Toshiaki Aoki,Yuki Chiba
8th IEEE International Conference on Software Testing, Verification and Validation, ICST 2015, Graz, Austria, April 13-17, 2015, 1-10, 2015
Modeling Safety Requirements of ISO26262 Using Goal Trees and Patterns.
Toshiaki Aoki,Kriangkrai Traichaiyaporn,Yuki Chiba,Masahiro Matsubara,Masataka Nishi,Fumio Narisawa
Formal Techniques for Safety-Critical Systems - Fourth International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers, 206-221, 2015
Experimental Fault Analysis Process Implemented Using Model Extraction and Model Checking.
Hideto Ogawa,Makoto Ichii,Fumihiro Kumeno,Toshiaki Aoki
39th IEEE Annual Computer Software and Applications Conference, COMPSAC 2015, Taichung, Taiwan, July 1-5, 2015. Volume 2, 95-104, 2015
Verifying OSEK/VDX Applications: A Sequentialization-Based Model Checking Approach.
Haitao Zhang,Toshiaki Aoki,Yuki Chiba
IEICE Transactions, 98-D, 10, 1765-1776, 2015
A Framework for Verifying the Conformance of Design to Its Formal Specifications.
Dieu-Huong Vu,Yuki Chiba,Kenro Yatake,Toshiaki Aoki
IEICE Transactions, 98-D, 6, 1137-1149, 2015
A Spin-Based Approach for Checking OSEK/VDX Applications.
Haitao Zhang,Toshiaki Aoki,Yuki Chiba
Formal Techniques for Safety-Critical Systems - Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers, 239-255, 2014
Checking the Conformance of a Promela Design to its Formal Specification in Event-B.
Dieu-Huong Vu,Yuki Chiba,Kenro Yatake,Toshiaki Aoki
Formal Techniques for Safety-Critical Systems - Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers, 110-126, 2014
Evaluation of Operational Vulnerability in Cloud Service Management Using Model Checking.
Shinji Kikuchi,Toshiaki Aoki
Seventh IEEE International Symposium on Service-Oriented System Engineering, SOSE 2013, San Francisco, CA, USA, March 25-28, 2013, 37-48, 2013
An Approach for Checking OSEK/VDX Applications.
Haitao Zhang,Toshiaki Aoki,Kenro Yatake,Min Zhang,Hsin-Hung Lin
2013 13th International Conference on Quality Software, Najing, China, July 29-30, 2013, 113-116, 2013
Towards Formal Description of Standards for Automotive Operating Systems.
Hirokazu Yatsu,Takahiro Ando,Weiqiang Kong,Kenji Hisazumi,Akira Fukuda,Toshiaki Aoki,Kokichi Futatsugi
Sixth IEEE International Conference on Software Testing, Verification and Validation, ICST 2013 Workshops Proceedings, Luxembourg, Luxembourg, March 18-22, 2013, 13-14, 2013
Refinement Tree and Its Patterns: A Graphical Approach for Event-B Modeling.
Kriangkrai Traichaiyaporn,Toshiaki Aoki
Formal Techniques for Safety-Critical Systems - Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29-30, 2013. Revised Selected Papers, 246-261, 2013
An UPPAAL Framework for Model Checking Automotive Systems with FlexRay Protocol.
Xiaoyun Guo,Hsin-Hung Lin,Kenro Yatake,Toshiaki Aoki
Formal Techniques for Safety-Critical Systems - Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29-30, 2013. Revised Selected Papers, 36-53, 2013
Building a Body of Knowledge on Model Checking for Software Development.
Kenji Taguchi 0001,Hideaki Nishihara,Toshiaki Aoki,Fumihiro Kumeno,Koji Hayamizu,Koichi Shinozaki
37th Annual IEEE Computer Software and Applications Conference, COMPSAC 2013, Kyoto, Japan, July 22-26, 2013, 784-789, 2013
Preserving Correctness of Requirements Evolution through Refinement in Event-B.
Kriangkrai Traichaiyaporn,Toshiaki Aoki
20th Asia-Pacific Software Engineering Conference, APSEC 2013, Ratchathewi, Bangkok, Thailand, December 2-5, 2013 - Volume 1, 315-322, 2013
SMT-Based Bounded Model Checking for OSEK/VDX Applications.
Haitao Zhang,Toshiaki Aoki,Hsin-Hung Lin,Array,Yuki Chiba,Kenro Yatake
20th Asia-Pacific Software Engineering Conference, APSEC 2013, Ratchathewi, Bangkok, Thailand, December 2-5, 2013 - Volume 1, 307-314, 2013
A Practical Study of Debugging Using Model Checking.
Hideto Ogawa,Makoto Ichii,Fumihiko Kumeno,Toshiaki Aoki
20th Asia-Pacific Software Engineering Conference, APSEC 2013, Ratchathewi, Bangkok, Thailand, December 2-5, 2013 - Volume 2, 134-139, 2013
モデル検査とテストによる車載オペレーティングシステムのシームレスな検証
青木 利晃, 佐藤 信, 谷 充弘, 矢竹 健朗
組込みシステムシンポジウム2012論文集, 2012, 178-187, 2012/10/10
UMLに基づくRTOS設計検証のための環境自動生成法
矢竹健朗, 青木利晃
コンピュータソフトウェア, 29, 3, 3.121-3.142 (J-STAGE)-3_142, 2012
Faithfully formalizing OSEK/VDX operating system specification.
Dieu-Huong Vu,Toshiaki Aoki
Symposium on Information and Communication Technology 2012, SoICT '12, Halong City, Quang Ninh , Viet Nam, August 23-24, 2012, 13-20, 2012
A Variability Management Method for Software Configuration Files.
Hiroaki Tanizaki,Toshiaki Aoki,Takuya Katayama
Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), Hotel Sofitel, Redwood City, San Francisco Bay, USA July 1-3, 2012, 672-677, 2012
An Improvement of Minimized Assumption Generation Method for Component-Based Software Verification.
Pham Ngoc Hung,Viet Ha Nguyen,Toshiaki Aoki,Takuya Katayama
2012 IEEE RIVF International Conference on Computing & Communication Technologies, Research, Innovation, and Vision for the Future (RIVF), Ho Chi Minh City, Vietnam, February 27 - March 1, 2012, 1-6, 2012
Model Checking of OSEK/VDX OS Design Model Based on Environment Modeling.
Kenro Yatake,Toshiaki Aoki
Theoretical Aspects of Computing - ICTAC 2012 - 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings, 183-197, 2012
SMT-based enumeration of object graphs from UML class diagrams.
Kenro Yatake,Toshiaki Aoki
ACM SIGSOFT Software Engineering Notes, 37, 4, 1-8, 2012
On Optimization of Minimized Assumption Generation Method for Component-Based Software Verification.
Pham Ngoc Hung,Viet Ha Nguyen,Toshiaki Aoki,Takuya Katayama
IEICE Transactions, 95-A, 9, 1451-1460, 2012
Automated Adaptor Generation for Behavioral Mismatching Services Based on Pushdown Model Checking.
Hsin-Hung Lin,Toshiaki Aoki,Takuya Katayama
IEICE Transactions, 95-D, 7, 1882-1893, 2012
PBL形式による組込みシステム開発演習教育-開発プロセスの発見と品質特性の実現-
鈴木 正人, 矢竹 健朗, 青木 利晃, 落水 浩一郎
組込みシステムシンポジウム2011論文集, 2011, 7-1-7-10, 2011/10/12
Conformance Verification between Web Service Choreography and Implementation Using Learning and Model Checking.
Warawoot Pacharoen,Toshiaki Aoki,Athasit Surarerks,Array
IEEE International Conference on Web Services, ICWS 2011, Washington, DC, USA, July 4-9, 2011, 722-723, 2011
Automated Adaptor Generation for Services Based on Pushdown Model Checking.
Hsin-Hung Lin,Toshiaki Aoki,Takuya Katayama
18th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2011, Las Vegas, NV, USA, 27-29 April, 2011, 130-139, 2011
Conformance Testing for OSEK/VDX Operating System Using Model Checking.
Jiang Chen,Toshiaki Aoki
18th Asia Pacific Software Engineering Conference, APSEC 2011, Ho Chi Minh, Vietnam, December 5-8, 2011, 274-281, 2011
Automatic Generation of Model Checking Scripts Based on Environment Modeling.
Kenro Yatake,Toshiaki Aoki
Model Checking Software - 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings, 58-75, 2010
Modeling of Real-Time System Designs for Parametric Analysis.
Chaiwat Sathawornwichit,Toshiaki Aoki,Takuya Katayama
16th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2010, Macau, SAR, China, 23-25 August 2010, 81-91, 2010
Non-regular Adaptation of Services Using Model Checking.
Hsin-Hung Lin,Toshiaki Aoki,Takuya Katayama
13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2010, Carmona, Sevilla, Spain, 5-6 May 2010, 170-174, 2010
A Minimized Assumption Generation Method for Component-Based Software Verification.
Pham Ngoc Hung,Viet Ha Nguyen,Toshiaki Aoki,Takuya Katayama
IEICE Transactions, 93-D, 8, 2172-2181, 2010
環境モデリングによるモデル検査スクリプトの自動生成
矢竹健朗, 西端浩和, 青木利晃
情報処理学会シンポジウム論文集, 2009, 10, 59-64, 2009/10/14
MCBOK2008:ソフトウェア開発のためのモデル検査知識体系
西原秀明, 青木利晃, 粂野文洋, 篠崎孝一, 田口研治, 早水公二
情報処理学会シンポジウム論文集, 2009, 10, 49-57, 2009/10/14
An effective framework for assume-guarantee verification of evolving component-based software.
Pham Ngoc Hung,Toshiaki Aoki,Takuya Katayama
Proceedings of the joint international and annual ERCIM workshops on Principles of software evolution (IWPSE) and software evolution (Evol) workshops, Amsterdam, Netherlands, August 24-28, 2009, 109-118, 2009
Detecting and Analyzing State Inconsistencies in Multi-task Software.
Toshiaki Aoki,Tadashi Sekiguchi,Masayuki Hirayama,Tomoji Kishi
2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2009, Tokyo, Japan, 17-20 March 2009, 326-330, 2009
A Minimized Assumption Generation Method for Component-Based Software Verification.
Pham Ngoc Hung,Toshiaki Aoki,Takuya Katayama
Theoretical Aspects of Computing - ICTAC 2009, 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings, 277-291, 2009
Model checking education for software engineers in Japan.
Hideaki Nishihara,Koichi Shinozaki,Koji Hayamizu,Toshiaki Aoki,Kenji Taguchi 0001,Fumihiro Kumeno
SIGCSE Bulletin, 41, 2, 45-50, 2009
Evolution of a course on model checking for practical applications.
Yasuyuki Tahara,Array,Kenji Taguchi 0001,Toshiaki Aoki,Shinichi Honiden
SIGCSE Bulletin, 41, 2, 38-44, 2009
Modular Conformance Testing and Assume-Guarantee Verification for Evolving Component-Based Software.
Pham Ngoc Hung,Toshiaki Aoki,Takuya Katayama
IEICE Transactions, 92-A, 11, 2772-2780, 2009
モデル検査によるリアルタイムオペレーティングシステムの設計検証
青木利晃, 山崎真吾
情報処理学会シンポジウム論文集, 2008, 9, 159-166, 2008/10/22
Model Checking Multi-Task Software on Real-Time Operating Systems.
Toshiaki Aoki
11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 5-7 May 2008, Orlando, Florida, USA, 551-555, 2008
マルチタスクソフトウェアにおけるタスク間状態不一致問題の検出と解析
青木利晃, 関口正, 平山雅之, 岸知二
情報処理学会シンポジウム論文集, 2007, 8, 102-110, 2007/10/18
周期イベントに基づいた並行タスクの振る舞いの検証法
青木利晃
情報処理学会シンポジウム論文集, 2007, 3, 7-8, 2007/01/25
SPLC 2007 Dectoral Symposium.
Jaejoon Lee,Isabel John,Toshiaki Aoki,John D. McGregor
Software Product Lines, 11th International Conference, SPLC 2007, Kyoto, Japan, September 10-14, 2007, Proceedings. Second Volume (Workshops), 155-156, 2007
Statechart-based Verification of Object-Oriented Design Models.
Toshiaki Aoki,Takuya Katayama
14th Asia-Pacific Software Engineering Conference (APSEC 2007), 5-7 December 2007, Nagoya, Japan, 278-285, 2007
RTOSに基づいたソフトウェアのためのモデル検査ライブラリ
青木利晃, 片山卓也
情報処理学会シンポジウム論文集, 2005, 12, 56-63, 2005/10/17
ディペンダブルソフトウェア 並行オブジェクトから並行処理列への変換法
岡崎光隆, 青木利晃, 片山卓也
コンピュータソフトウェア, 22, 2, 58-73, 2005/04/26
システム検証の科学技術 コラボレーションに基づくオブジェクト指向モデルの検証
矢竹健朗, 青木利晃, 片山卓也
コンピュータソフトウェア, 22, 1, 58-76, 2005/01/26
コラボレーションに基づくオブジェクト指向モデルの検証
矢竹 健朗, 青木 利晃, 片山 卓也, Kenro Yatake, Toshiaki Aoki, Takuya Katayama, 北陸先端科学技術大学院大学, 北陸先端科学技術大学院大学:さきがけ研究21, 北陸先端科学技術大学院大学, Japan Advanst Institute of Science and Technology, Japan Advanst Institute of Science and Technology:PRESTO21, Japan Advanst Institute of Science and Technology
コンピュータソフトウェア, 22, 1, 58-76, 2005/01/26
Formalization and Analysis of Dataflow in Object-Oriented Design Models.
Toshiaki Aoki,Takuya Katayama
Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2005), 18-20 May 2005, Seattle, WA, USA, 95-105, 2005
Implementing Application-Specific Object-Oriented Theories in HOL.
Kenro Yatake,Toshiaki Aoki,Takuya Katayama
Theoretical Aspects of Computing - ICTAC 2005, Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings, 501-516, 2005
Highly Reliable Embedded Software Development Using Advanced Software Technologies.
Takuya Katayama,Tatsuo Nakajima,Taiichi Yuasa,Tomoji Kishi,Shin Nakajima 0001,Shuichi Oikawa,Masahiro Yasugi,Toshiaki Aoki,Mitsutaka Okazaki,Seiji Umatani
IEICE Transactions, 88-D, 6, 1105-1116, 2005
センサーのモデル化とモデル検査技術の適用について
青木利晃, 岸知二, 片山卓也
情報処理学会シンポジウム論文集, 2004, 10, 118-125, 2004/10/14
オブジェクト指向分析モデルにおけるデータフローの形式化と解析手法
青木利晃, 片山卓也
コンピュータソフトウェア, 21, 4, 235-260, 2004/07
Project Report: High-Reliable Object-Oriented Embedded Software Design.
Tomoji Kishi,Toshiaki Aoki,Shin Nakajima 0001,Natsuko Noda,Takuya Katayama
2nd IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, WSTFEUS 2004, Vienna, Austria, May 11-12, 2004, 144-148, 2004
Collaboration-based verification of Object-Oriented models in HOL.
Kenro Yatake,Toshiaki Aoki,Takuya Katayama
Verification and Validation of Enterprise Information Systems, Proceedings of the 2nd International Workshop on Verification and Validation of Enterprise Information Systems, VVEIS 2004, In conjunction with ICEIS 2004, Porto, Portugal, April 2004, 78-80, 2004
Foundations for Evolutionary Construction of State Transition Models.
Toshiaki Aoki,Takuya Katayama
7th International Workshop on Principles of Software Evolution (IWPSE 2004), 6-7 September 2004, Kyoto, Japan, 143-146, 2004
振舞い近似手法を用いたステートチャートに対する不変性の検証
立石孝彰, 青木利晃, 片山卓也
情報処理学会論文誌, 44, 6, 1448-1460, 2003/06/15
Extracting threads from concurrent objects for the design of embedded systems.
Mitsutaka Okazaki,Toshiaki Aoki,Takuya Katayama
9th Asia-Pacific Software Engineering Conference (APSEC 2002), 4-6 December 2002, Gold Coast, Queensland, Australia, 107-116, 2002
定理証明技術のオブジェクト指向分析への適用
青木利晃, 立石孝彰, 片山卓也
コンピュータソフトウェア, 18, 4, 416-445, 2001/07/16
An Axiomatic Formalization of UML Models.
Toshiaki Aoki,Takaaki Tateishi,Takuya Katayama
Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists, Workshop of the pUML-Group held together with the ≪UML≫2001, October 1st, 2001 in Toronto, Canada, 13-28, 2001
オブジェクト指向組み込みシステム開発のためのSES‐Basedアプローチ
青木利晃, 内藤壮司, 片山卓也
コンピュータソフトウェア, 16, 2, 155-159, 1999/03/15
オブジェクト指向方法論のための形式的モデル
青木利晃
日本ソフトウェア科学会学会誌, コンピュータソフトウェア, 16, 1, 12-32, 1999
Unification and Consistency Verification of Object-Oriented Analysis Models.
Toshiaki Aoki,Takuya Katayama
5th Asia-Pacific Software Engineering Conference (APSEC '98), 2-4 December 1998, Taipei, Taiwan, ROC, 296-303, 1998