TOP  >  Personal Info.  >  Misc
AOKI, Toshiaki Professor
Transdisciplinary Sciences, Information Science, Next-Generation Digital Infrastructure

Misc

57 items
Attack Tree Analysis for Adversarial Evasion Attacks.
Yuki Yamaguchi, Toshiaki Aoki
CoRR, abs/2312.16957, -, 2023
Model-Checking in the Loop Model-Based Testing for Automotive Operating Systems.
Toshiaki Aoki, Aritoshi Hata, Kazusato Kanamori, Satoshi Tanaka, Yuta Kawamoto, Yasuhiro Tanase, Masumi Imai, Fumiya Shigemitsu, Masaki Gondo, Tomoji Kishi
CoRR, abs/2310.00973, -, 2023
Selected papers from the 14th international symposium on Theoretical Aspects of Software Engineering.
Toshiaki Aoki, Qin Li 0002
Science of Computer Programming, 219, 102821-102821, 2022
Compositional Test Generation of Industrial Synchronous Systems.
Daisuke Ishii, Takashi Tomita, Kenji Onishi, Toshiaki Aoki
CoRR, abs/2112.05411, -, 2021
Approximate Translation from Floating-Point to Real-Interval Arithmetic.
Daisuke Ishii, Takashi Tomita, Toshiaki Aoki
CoRR, abs/2112.02804, -, 2021
Test Case Generation Method for Simulation Verification in Autonomous Driving System Development
鈴木玄貴, 冨田尭, 青木利晃, 河井達治, 川上大介, 千田伸男
情報処理学会研究報告(Web), 2021, SE-207, -, 2021
Anomaly scenario modeling for safety analysis in the automatic docking system to the International Space Station
染谷一徳, 染谷一徳, 和田恵一, 河津要, 青木利晃
情報処理学会全国大会講演論文集, 83rd, 1, -, 2021
自動運転システムにおける画像を対象とした形式仕様記述言語BBSLの提案
田中健人, 青木利晃, 川上大介, 千田伸男, 河井達治, 冨田尭
情報処理学会研究報告(Web), 2020, SE-205, -, 2020
Practical formalization and verification of railway system based on Event-B
太田十字光, 青木利晃
情報処理学会研究報告(Web), 2019, SE-203, -, 2019
区間解析法とモンテカルロ法の連携によるSimulinkテストケースの自動生成
石井 大輔, 野村 亮太, 八田 竜起, 冨田 尭, 青木 利晃
日本ソフトウェア科学会第35回大会, -, 2018
「IoT,AI,ビッグデータと安全工学」形式手法と安全性
青木利晃
安全工学研究発表会講演予稿集, 51st, -, 2018
Quantitative safety assessment of telemedicine using the MCCA
藤田 健治, 青木 利晃, 平石 邦彦
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 117, 301, 89-94, 2017
Simulinkモデルに対するテストスイート自動生成
冨田 尭, 石井 大輔, 青木 利晃
第14回ディペンダブルシステムワークショップ (DSW’16), -, 2016
An implementation of weak fairness conditions in Java PathFinder
太田 十字光, 田辺 良則, 青木 利晃
日本ソフトウェア科学会大会論文集, 33, 461-469, 2016
Thinking about CPS from the view point of Industrialization of Formal Methods
青木 利晃, 片山 卓也
ウィンターワークショップ2015・イン・宜野湾 論文集, 2015, 83-84, 2015
Function Code Extraction from RTL Property for Reuse
TATSUOKA Masato, AOKI Toshiaki, KANEKO Mineo
Technical report of IEICE. VLD, 113, 454, 171-176, 2014
Error Localization Based on the Counterexamples Generated by Model-Checker
陳 適, 青木 利晃
研究報告ソフトウェア工学（SE）, 2012, 6, 1-8, 2012
An Implementation of Configuration Change Support Tool Using Alloy and Application Test
TANIZAKI HIROAKI, AOKI TOSHIAKI, KATAYAMA TAKUYA
研究報告ソフトウェア工学（SE）, 2010, 2, 1-8, 2010
Modeling of Real-Time System Designs for Parametric Analysis
Chaiwat Sathawornwichit, Aoki Toshiaki, Katayama Takuya
Research report, 2010, 1-10, 2010
Automatic Generation of Model Checking Scripts based on Environment Modeling
Yatake Kenro, Nishibata Hirokazu, Aoki Toshiaki
Research report, 2010, [1-8], 2010
Study on Model Checking Design Models and Conformance Testing
AOKI TOSHIAKI, TAM THI MINH NGUYEN
研究報告組込みシステム（EMB）, 2009, 4, 1-8, 2009
Report on Winter Workshop 2008 in Dogo
阿萬裕久, 青木利晃, 沢田篤史, 山本晋一郎, 渥美紀寿, 白銀純子, 浦本直彦, 松塚貴英, 羽生田栄一, 鷲崎弘宜, 野中誠, 吉岡信和, 田原康之
情報処理学会研究報告, 2008, 55(SE-160 EMB-9), 65-72, 2008
A Verification Experiment of Real-Time Operating Systems with Model Checking
青木 利晃
全国大会講演論文集, 70, 317-318, 2008
Report on the 11th International Software Product Line Conference (SPLC2007)
KISHI TOMOJI, NONAKA MAKOTO, AOKI TOSHIAKI, YOSHIMURA KENTAROU, NODA NATSUKO
IPSJ SIG Notes, 2007, 107, 63-68, 2007
A report of “Winter Workshop 2007 in Naha”
松塚貴英, 沢田篤史, 青木利晃, 福安直樹, 妻木俊彦, 中村友昭, 浦本直彦, 羽生田栄一, 鷲崎弘宜
情報処理学会研究報告, 2007, 52(SE-156 EMB-5), 19-25, 2007
Report on Embedded Systems Symposium 2006
沢田篤史, 青木利晃, 冨山宏之, 久保秋真
情報処理学会研究報告, 2007, 52(SE-156 EMB-5), 27-32, 2007
Cutting‐edge of Formal Methods―Activities and Aims of their Strongholds
青木利晃, 荒木啓二郎, 片山卓也, 木下佳樹, 中島震
情報処理学会シンポジウム論文集, 2006, 9, 158-159, 2006
Highly Reliable Embedded Software Development- Cutting Edge and Case Studies - : Foreword
片岡 欣夫, 青木 利晃, 岸 知二
情報処理, 47, 5, 485-487, 2006
Project Report : Highly -Reliable Object- Oriented Embedded Software Design
KISHI TOMOJI, AOKI TOSIHAKI, NAKAJIMA SHIN, NODA NATSUKO, KATAYAMA TAKUYA
IPSJ SIG Notes, 2004, 118, 47-54, 2004
Report on Winter Workshop in Ishigakijima
MATSUSHITA MAKOTO, HIRAYAMA MASAYUKI, AOKI TOSHIAKI, HIROTA TOYOHIKO, HARA HIROTAKA, GONDOW KATSUHIKO, WASHIZAKI HIRONORI, HOSOYA RYUICHI
IPSJ SIG Notes, 2004, 87, 23-29, 2004
Software Engineering for Embedded System :Foreword
HIRAYAMA Masayuki, AOKI Toshiaki
IPSJ Magazine, 45, 7, 675-676, 2004
Applying Formal Methods to Embedded System Developments
青木利晃
情報処理学会シンポジウム論文集, 2003, 13, 126-127, 2003
Foundations for Stepwise Construction of State Transition Models
青木利晃, 片山卓也
情報処理学会研究報告, 2003, 73(SE-143), 21-28, 2003
Behavior Approximation Method for Verifying Invariant on Statecharts
TATEISHI Takaaki, AOKI Toshiaki, KATAYAMA Takuya
Transactions of Information Processing Society of Japan, 44, 6, 1448-1460, 2003
A Report on Winter Workshop in KOBE
中谷多哉子, 松田栄之, 藤井拓, 松下誠, 平山雅之, 青木利晃, 大木幹雄, 佐伯元司, 綿引健二
情報処理学会研究報告, 2003, 60(SE-142), 45-53, 2003
Transforming Concurrent Objects into Concurrent Threads
OKAZAKI MITSUTAKA, AOKI TOSHIAKI, KATAYAMA TAKUYA
IPSJ SIG Notes, 2003, 22, 39-46, 2003
オブジェクト指向分析モデルの検証について
青木利晃, 片山卓也
情報処理学会シンポジウム論文集, 2003, 5, 13-14, 2003
組込みシステム開発におけるOO技術導入の現状 OOを広めるために
林康二, 青木利晃, 佐藤啓太, 杉浦英樹, 川口晃
情報処理学会OOシンポジウム, 2002, 209-210, 2002
Report on APSEC2001
AOKI TOSHIAKI
IPSJ SIG Notes, 138, 67-71, 2002
Constructing an Object‐Oriented Theory in HOL.
矢竹健朗, 青木利晃, 片山卓也
情報処理学会研究報告, 2002, 64(SE-138), 19-26, 2002
Applying Concurrent regular expression to extract threads in embedded system design.
岡崎光隆, 青木利晃, 片山卓也
情報処理学会研究報告, 2002, 64(SE-138), 35-42, 2002
Trend of Embedded Systems.
青木利晃
情報処理学会研究報告, 2002, 35(SE-137), 61-64, 2002
オブジェクト指向組み込みシステム開発における科学的手法の適用
青木利晃, 片山卓也
情報処理学会シンポジウム論文集, 2002, 2, 1-2, 2002
SESアプローチへのスケジューリング理論の導入に関する考察
青木利晃, 片山卓也
情報処理学会シンポジウム論文集, 2001, 2, 9-10, 2001
定理証明技術のオブジェクト指向分析への応用
青木利晃
コンピュータソフトウェア, 18, 4, 18-47, 2001
Finding operation sequences from behavior of concurrent objects.
OKAZAKI Mitsutaka, AOKI Toshiaki, KATAYAMA Takuya
IPSJ SIG Notes, 2000, 104, 65-72, 2000
Finding operation sequences from behavior of concurrent objects.
岡崎光隆, 青木利晃, 片山卓也
電子情報通信学会技術研究報告, 100, 440(KBSE2000 34-42), 65-72, 2000
An Axiomatic System for Verifying Analysis Models.
立石孝彰, 青木利晃, 片山卓也
情報処理学会研究報告, 2000, 46(SE-127), 39-45, 2000
オブジェクト指向設計モデルSES‐Modelに基づいたソフトウェアの構成法
青木利晃, 森本大喜, 片山卓也
情報処理学会シンポジウム論文集, 99, 11, 57-58, 1999
Verification Framework for Object‐Oriented Methodology.
花田真樹, 青木利晃, 片山卓也
情報処理学会研究報告, 99, 28(SE-122), 101-108, 1999
Formalizing Design Method for Embedded Systems.
青木利晃, 内藤壮司, 片山卓也
情報処理学会シンポジウム論文集, 99, 1, 3-4, 1999
Ses‐Based Approach for Object‐Oriented Embedded System Development.
青木利晃, 内藤壮司, 片山卓也
日本ソフトウエア科学会大会論文集, 15th, 289-292, 1998
Verification of Formal Model for Object‐Oriented Mehodology.
石田至, 青木利晃, 片山卓也
情報処理学会研究報告, 98, 20(SE-118), 135-141, 1998
A Method for Constructing Formal Object‐Oriented Analysis Model and Supporting Environment.
青木利晃, 古川順一, 片山卓也
情報処理学会研究報告, 98, 20(SE-118), 143-150, 1998
Unification of Models on Multiple Views in Formal System Analysis.
青木利晃, 片山卓也
情報処理学会シンポジウム論文集, 98, 1, 9-10, 1998
Implementation of an Axiometic System for Verification of Consistency in Object‐Oriented Analysis.
青木利晃, 石田至, 古川順一, 片山卓也
日本ソフトウエア科学会大会論文集, 14th, 465-468, 1997
A Formal Model for Object‐Oriented Methodology.
青木利晃, 片山卓也
オブジェクト指向最前線, 25-32, 1996