Thi Thu Ha Doan

According to our database, Thi Thu Ha Doan authored at least 11 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

A Dynamic Logic for Symbolic Execution for the Smart Contract Programming Language Michelson.

Barnabas Arvay, Thi Thu Ha Doan, Peter Thiemann

Proceedings of the 38th European Conference on Object-Oriented Programming, 2024

A Formal Verification Framework for Tezos Smart Contracts Based on Symbolic Execution.

Thi Thu Ha Doan, Peter Thiemann

Proceedings of the Programming Languages and Systems - 22nd Asian Symposium, 2024

2023

Fusion of edge detection and graph neural networks to classifying electrocardiogram signals.

Linh T. Duong, Thi Thu Ha Doan, Cong Q. Chu, Phuong T. Nguyen

Expert Syst. Appl., September, 2023

2022

Specifying and Model Checking Distributed Control Algorithms at Meta-level.

Ha Thi Thu Doan, Kazuhiro Ogata

Comput. J., 2022

2021

Towards Contract Modules for the Tezos Blockchain (Short Paper).

Thi Thu Ha Doan, Peter Thiemann

Proceedings of the 3rd International Workshop on Formal Methods for Blockchains, 2021

A Typed Programmatic Interface to Contracts on the Blockchain.

Thi Thu Ha Doan, Peter Thiemann

Proceedings of the Programming Languages and Systems - 19th Asian Symposium, 2021

2019

A More Faithful Formal Definition of the Desired Property for Distributed Snapshot Algorithms to Model Check the Property.

Ha Thi Thu Doan, Kazuhiro Ogata

Comput. Informatics, 2019

An Environment for Specifying and Model Checking Mobile Ring Robot Algorithms.

Ha Thi Thu Doan, Adrián Riesco, Kazuhiro Ogata

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2019

2017

Model Checking of Robot Gathering.

Ha Thi Thu Doan, François Bonnet, Kazuhiro Ogata

Proceedings of the 21st International Conference on Principles of Distributed Systems, 2017

Specifying a Distributed Snapshot Algorithm as a Meta-Program and Model Checking it at Meta-Level.

Ha Thi Thu Doan, Kazuhiro Ogata, François Bonnet

Proceedings of the 37th IEEE International Conference on Distributed Computing Systems, 2017

2016

Model Checking of a Mobile Robots Perpetual Exploration Algorithm.

Ha Thi Thu Doan, François Bonnet, Kazuhiro Ogata

Proceedings of the Structured Object-Oriented Formal Language and Method, 2016