Trung-Tien Phan-Quang

Learn More
This paper presents a methodology to perform passive testing of behavioural conformance for the web services based on the security rule. The proposed methodology can be used either to check a trace (offline checking) or to runtime verification (online checking) with timing constraints, including future and past time. In order to perform this: firstly, we(More)
We present our visualization systems and findings for the Badge and Network Traffic as well as the Social Network and Geospa-tial challenges of the 2009 VAST contest. The summary starts by presenting an overview of our time series encoding of badge information and network traffic. Our findings suggest that employee 30 may be of interest. In the second part(More)
  • 1