北陸先端科学技術大学院大学
情報科学研究科 ソフトウェア科学領域 ソフトウェア形式手法分野
青木研究室ホームページへようこそ！
お知らせ
- 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: ２名の学生さんが研究室に配属されました．天津大学とのデュア ル学位プログラムの学生さんです．
- 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