17 citations · 41 across the 9 of their papers we have counts for
4 papers · 1 filter
Combining Partial Order Alignment and Progressive Near-Optimal Alignment
Dai Tri Man Le
In this paper, I proposed to utilize partial-order alignment technique as a heuristic method to cope with the state-space explosion problem in progressive near-optimal alignment. T…
Statechart Verification with iState
Dai Tri Man Le
This paper is the longer version of the extended abstract with the same name published in FM 06. We describe in detail the algorithm to generate verification conditions from statec…
Modelling Concurrent Behaviors in the Process Specification Language
Dai Tri Man Le
In this paper, we propose a first-order ontology for generalized stratified order structure. We then classify the models of the theory using model-theoretic techniques. An ontology…
Modelling Concurrency with Comtraces and Generalized Comtraces
Ryszard Janicki, Dai Tri Man Le
Comtraces (combined traces) are extensions of Mazurkiewicz traces that can model the "not later than" relationship. In this paper, we first introduce the novel notion of generalize…