Ha Thi Thu Doan

Publication Activity (10 Years)

Years Active: 2016-2022
Publications (10 Years): 6

Top Topics

Distributed Control

Formal Specification

Deterministic Finite Automaton

Top Venues

Comput. Informatics

Publications

Ha Thi Thu Doan, Kazuhiro Ogata
Specifying and Model Checking Distributed Control Algorithms at Meta-level. Comput. J. 65 (12) (2022)
Ha Thi Thu Doan, Adrián Riesco, Kazuhiro Ogata
An Environment for Specifying and Model Checking Mobile Ring Robot Algorithms. SSS (2019)
Ha Thi Thu Doan, Kazuhiro Ogata
A More Faithful Formal Definition of the Desired Property for Distributed Snapshot Algorithms to Model Check the Property. Comput. Informatics 38 (5) (2019)
Ha Thi Thu Doan, François Bonnet, Kazuhiro Ogata
Model Checking of Robot Gathering. OPODIS (2017)
Ha Thi Thu Doan, Kazuhiro Ogata, François Bonnet
Specifying a Distributed Snapshot Algorithm as a Meta-Program and Model Checking it at Meta-Level. ICDCS (2017)
Ha Thi Thu Doan, François Bonnet, Kazuhiro Ogata
Model Checking of a Mobile Robots Perpetual Exploration Algorithm. SOFL+MSVL (2016)