| Verifying scenarios of proximity-based federation among smart objects through model checking R Minoda, Y Tanaka, S Minato Proc. Tenth Intl. Conf. on Mobile Ubiquitous Computing, Systems, Services …, 2016 | 5 | 2016 |
| Efficient Scenario Verification of Proximity-based Federations among Smart Objects through Symbolic Model Checking R Minoda, S Minato Proceedings of the 7th International Joint Conference on Pervasive and …, 2017 | 2 | 2017 |
| Scenario Verification for Proximity-Based Federation of Smart Objects Using Model Checking 蓑田玲緒奈 | | 2018 |
| 記号モデル検査によるスマートオブジェクトの近接連携シナリオの効率的な検証 蓑田玲緒奈， 湊真一 電子情報通信学会論文誌 D 101 (3), 470-480, 2018 | | 2018 |
| Probabilistic CCRN: Reliability Analysis of Ubiquitous Computing Scenarios Using Probabilistic Model Checking R Minoda, M Ishihata, S Minato Proceedings of the Eleventh International Conference on Mobile Ubiquitous …, 2017 | | 2017 |
| Verifying Scenarios of Proximity-Based Federations among Smart Objects through Model Checking and Its Advantages R MINODA, S MINATO IEICE TRANSACTIONS on Information and Systems 100 (6), 1172-1181, 2017 | | 2017 |
| スマートオブジェクトの近接連携シナリオへの記号モデル検査の応用 蓑田玲緒奈， 湊真一 人工知能学会全国大会論文集 2017 年度人工知能学会全国大会 (第 31 回) 論文集 …, 2017 | | 2017 |
| モデル検査による Smart Object の近傍近接連携モデルの検証 蓑田玲緒奈， 湊真一 SIG-FPAI 5 (01), 7-14, 2016 | | 2016 |
Shin-ichi MinatoKyoto UniversityVerified email at i.kyoto-u.ac.jp
