北陸先端科学技術大学院大学
情報科学研究科 ソフトウェア科学領域 ソフトウェア形式手法分野
青木研究室ホームページへようこそ!
お知らせ
- 20120522: 5th International workshop UML and Formal Methodsで発表しま
す.内容は,「Kenro Yatake and Toshiaki Aoki: SMT-based Enumeration of
Object Graphs from UML class diagrams 」.詳細は,ここ.
- 20120522: The 24th International Conference on Software Engineering
and Knowledge Engineering(SEKE 2012)で発表します.内容は
「Hiroaki Tanizaki, Toshiaki Aoki and Takuya Katayama:
A Variability Management Method for Software Configuration Files」.
詳細はここ.
- 20120201:
ICFEM(International Conference on Formal Engineering Methods)2012 は
日本(京都)で開催されます.JAISTとAISTが中心となって組織しています.
- 20111222: 1名の学生さんが研究室に配属されました.
- 20111108: The eighteenth Asia-Pacific Software Engineering Conference
(APSEC 2011)で発表します.内容は「Jiang Chen and Toshiaki
Aoki:Conformance Testing for OSEK/VDX Operating System Using Model
Checking」.詳細は ここ .
- 20111012:ET(組込み統合技術展, 2011/11/16-18)に出展します.詳細は
ここ.
- 20111004: 2名の学生さんが研究室に配属されました.天津大学とのデュア
ル学位プログラムの学生さんです.
- 20110629: Warawoot君がICWSのwork-in-progress trackで発表します.内容は
「Warawoot Pacharoen, Toshiaki Aoki, Athasit Surarerks, Pattarasinee
Bhattarakosol: Conformance Verification between Web Service Choreography
and Implementation using Learning and Model Checking」.詳細
は ここ.
- 20110629: 「フォーマルメソッド普及促進セミナー2011 in 札幌」で講演を
します.詳細はここ.
- 20110610: ホームページを新しくしました.多くのコンテンツが工事中です.
Contact: toshiaki

jaist.ac.jp