Toshiaki Aoki

J-GLOBAL         Last updated: Oct 9, 2019 at 20:03
 
Avatar
Name
Toshiaki Aoki
Affiliation
Japan Advanced Institute of Science and Technology
Degree
B.S. from Science University of Tokyo(1994), M.S. and Ph.D. from Japan Advanced Institute of Science and Technology(1996, 1999)

Academic & Professional Experience

 
Oct 2016
 - 
Today
Professor, Graduate School of Advanced Science and Technology, Japan Advanced Institute of Science and Technology
 
Mar 2009
 - 
Sep 2016
Associate Professor, School of Information Science, Japan Advanced Institute of Science and Technology
 
Mar 2006
 - 
Feb 2009
Research Associate Professor, Research Center on Trustworthy e-Society, Japan Advanced Institute of Science and Technology
 
Apr 1999
 - 
Feb 2006
Associate, School of Information Science, Japan Advanced Institute of Science and Technology
 

Awards & Honors

 
Dec 2017
Domain-Specific Language Facilitates Scheduling in Model Checking, Best Paper Award, 24th Asia-Pacific Software Engineering Conference
Winner: Nhat-Hoa Tran, Yuki Chiba and Toshiaki Aoki
 

Published Papers

 
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   [Refereed]
Nhat-Hoa Tran,Toshiaki Aoki
Model Checking Software - 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings   208-225   2019   [Refereed]
Nhat-Hoa Tran,Yuki Chiba,Toshiaki Aoki
IEICE Transactions   102-D(7) 1280-1295   2019   [Refereed]
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   [Refereed]
青木利晃
システム/制御/情報   62(4) 134‐140-140   Apr 2018   [Invited]

Misc

 
阿萬裕久, 青木利晃, 沢田篤史, 山本晋一郎, 渥美紀寿, 白銀純子, 浦本直彦, 松塚貴英, 羽生田栄一, 鷲崎弘宜, 野中誠, 吉岡信和, 田原康之
情報処理学会研究報告   2008(55(SE-160 EMB-9)) 65-72   Jun 2008
沢田篤史, 青木利晃, 冨山宏之, 久保秋真
情報処理学会研究報告   2007(52(SE-156 EMB-5)) 27-32   May 2007
松塚貴英, 沢田篤史, 青木利晃, 福安直樹, 妻木俊彦, 中村友昭, 浦本直彦, 羽生田栄一, 鷲崎弘宜
情報処理学会研究報告   2007(52(SE-156 EMB-5)) 19-25   May 2007
青木利晃, 荒木啓二郎, 片山卓也, 木下佳樹, 中島震
情報処理学会シンポジウム論文集   2006(9) 158-159   Oct 2006
青木利晃
情報処理学会シンポジウム論文集   2003(13) 126-127   Oct 2003

Conference Activities & Talks

 
青木利晃
安全工学研究発表会講演予稿集   27 Nov 2018   
藤田健治, 青木利晃, 平石邦彦
電子情報通信学会技術研究報告   9 Nov 2017   
太田十字光, 田辺良則, 田辺良則, 青木利晃
日本ソフトウェア科学会大会講演論文集(CD-ROM)   2016   
藤田健治, 青木利晃
情報処理学会研究報告(Web)   21 Aug 2015   
立岡真人, 青木利晃, 金子峰雄
電子情報通信学会技術研究報告   24 Feb 2014   

Social Contribution

 
14th International Conference on Formal Engineering Methods
[]  Program Co-Chair  (Kyote, JAPAN)  12 Nov 2012 - 16 Nov 2012
SPLC 2007 Doctoral Symposium
[]  Symposium co-chair  10 Sep 2007
International Workshop on Software Technologies for Future Dependable Distributed Systems
[]  Workshop Co-Chair  (Waseda University)  17 Mar 2009
The Seventh IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
[]  Program Co-Chair  (Vienna, Austria)  12 May 2004 - 14 May 2004