Thi Thanh Huyen Phan

Publication Activity (10 Years)

Years Active: 2007-2014
Publications (10 Years): 0

Top Topics

Formal Verification

Temporal Properties

Software Development Processes

Development Processes

Top Venues

IEICE Trans. Inf. Syst.

Publications

Thi Thanh Huyen Phan, Koichiro Ochimizu
An Inconsistency Management Support System for Collaborative Software Development. IEICE Trans. Inf. Syst. (1) (2014)
Thi Thanh Huyen Phan, Kunihiko Hiraishi, Koichiro Ochimizu
Modeling and Verification of Change Processes in Collaborative Software Engineering. ICCSA (3) (2013)
Thi Thanh Huyen Phan, Koichiro Ochimizu
A Change Support Model for Distributed Collaborative Work CoRR (2012)
Kazuhiro Ogata, Thi Thanh Huyen Phan
Specification and Model Checking of the Chandy and Lamport Distributed Snapshot Algorithm in Rewriting Logic. ICFEM (2012)
Thi Thanh Huyen Phan, Koichiro Ochimizu
Toward Inconsistency Awareness in Collaborative Software Development. APSEC (2011)
Thi Thanh Huyen Phan, Koichiro Ochimizu
Detection of Unintentional Change in In-use Data for Concurrent Workflows. Software Engineering Research and Practice (2010)
Thi Thanh Huyen Phan, Koichiro Ochimizu
Detecting and Repairing Unintentional Change on In-use Data in Concurrent Workflow Management System. ACSD/Petri Nets Workshops (2010)
Tran Khanh Dang, Thi Thanh Huyen Phan
An Extended Payment Model for M-Commerce with Fair Non-Repudiation Protocols. Polibits 40 (2009)
Thi Thanh Huyen Phan, Tran Khanh Dang
An Extended Payment Model with Fair Non-Repudiation Protocols for M-Commerce. MoMM (2007)