3. ATVA 2005:
: Ranking Abstraction as a Companion to Predicate Abstraction, .
Timed, Embedded, and Hybrid Systems (I)
, X. Wu
, H. Su
, T. J. Koo
: Computation Platform for Automatic Analysis of Embedded Software Systems Using Model Based Approach.
: Quantitative and Qualitative Analysis of Temporal Aspects of Complex Activities.
, Farn Wang
: Automatic Test Case Generation with Region-Related Coverage Annotations for Real-Time Systems.
Abstraction and Reduction Techniques
Decidability and Complexity
Established Formalisms and Standards
Compositional Verification and Games
Timed, Embedded, and Hybrid Systems (II)
Protocols Analysis, Case Studies, and Tools
Infinite-State and Parameterized Systems