Aiguo Xie

Bounding average time separations of events in stochastic timed Petri nets with choice

Aiguo Xie, SangYun Kim, Peter A. Beerel · 2003 · 50 citations

Engineering, Computer Engineering, Computer Science +14

Symbolic techniques for performance analysis of timed systems based on average time separation of events

Aiguo Xie, Peter A. Beerel · 2002 · 47 citations

Engineering, Computer Engineering, Computer Science +17

Implicit enumeration of strongly connected components and an application to formal verification

Aiguo Xie, Peter A. Beerel · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2000 · 37 citations

Computing, Computer Science, Algorithms +13

Efficient state classification of finite-state Markov chains

Aiguo Xie, Peter A. Beerel · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1998 · 36 citations

Computing, Computer Engineering, Computer Science +17

Implicit enumeration of strongly connected components

Aiguo Xie, Peter A. Beerel · 1999 · 29 citations

Computing, Computer Science, Algorithms +9