Model checking of a mobile robots perpetual exploration algorithm HTT Doan, F Bonnet, K Ogata Structured Object-Oriented Formal Language and Method: 6th International …, 2017 | 28 | 2017 |
Model checking of robot gathering HTT Doan, F Bonnet, K Ogata 21st International Conference on Principles of Distributed Systems (OPODIS 2017), 2018 | 21 | 2018 |
Model checking chandy-lamport distributed snapshot algorithm revisited HTT Doan, W Zhang, M Zhang, K Ogata 2015 2nd International Symposium on Dependable Computing and Internet of …, 2015 | 8 | 2015 |
Specifying a distributed snapshot algorithm as a meta-program and model checking it at meta-level HTT Doan, K Ogata, F Bonnet 2017 IEEE 37th International Conference on Distributed Computing Systems …, 2017 | 7 | 2017 |
An efficient ant colony algorithm for DNA motif finding HX Huan, DTA Tuyet, DTT Ha, NT Hung Knowledge and Systems Engineering: Proceedings of the Sixth International …, 2015 | 7 | 2015 |
A typed programmatic interface to contracts on the blockchain TTH Doan, P Thiemann Asian Symposium on Programming Languages and Systems, 222-240, 2021 | 2 | 2021 |
Towards Contract Modules for the Tezos Blockchain (Short Paper) TTH Doan, P Thiemann 3rd International Workshop on Formal Methods for Blockchains (FMBC 2021), 2021 | 2 | 2021 |
An environment for specifying and model checking mobile ring robot algorithms HTT Doan, A Riesco, K Ogata Stabilization, Safety, and Security of Distributed Systems: 21st …, 2019 | 2 | 2019 |
A more faithful formal definition of the desired property for distributed snapshot algorithms to model check the property HTT Doan, K Ogata Computing and Informatics 38 (5), 1009–1038-1009–1038, 2019 | 1 | 2019 |
Specifying and Model Checking Distributed Control Algorithms at Meta-level HTT Doan, K Ogata The Computer Journal 65 (12), 2998-3019, 2022 | | 2022 |
書換え論理に基づくメタプログラミングを用いた分散システムの形式仕様とモデル検証 HTT Doan | | 2019 |