Parallel SMT Solving and Concurrent Symbolic Execution. - Emil Rakadjiev; Taku Shimosawa; Hiroshi Mine; Satoshi Oshima (TrustCom/BigDataSE/ISPA (3), 2015)

Real-time optimized HVAC control system on top of an IoT framework. - Rajith Anjali; Soki Sakurai; Hiroshi Mine (FMEC, 2018)