Follow
T. T. Ha Doan
T. T. Ha Doan
Verified email at informatik.uni-freiburg.de
Title
Cited by
Cited by
Year
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
272017
Model checking of robot gathering
HTT Doan, F Bonnet, K Ogata
21st International Conference on Principles of Distributed Systems (OPODIS 2017), 2018
212018
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
82017
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
82015
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
72015
A typed programmatic interface to contracts on the blockchain
TTH Doan, P Thiemann
Asian Symposium on Programming Languages and Systems, 222-240, 2021
22021
Towards Contract Modules for the Tezos Blockchain (Short Paper)
TTH Doan, P Thiemann
3rd International Workshop on Formal Methods for Blockchains (FMBC 2021), 2021
22021
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
22019
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
12019
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
The system can't perform the operation now. Try again later.
Articles 1–11