Kairong Qian

Paper:

ABSTRACTION-GUIDED MODEL CHECKING USING SYMBOLIC IDA* AND HEURISTIC SYNTHESIS.

Cesar Sanchez

Papers:

THREAD ALLOCATION PROTOCOLS FOR DISTRIBUTED REAL-TIME AND EMBEDDED SYSTEMS.
EXPRESSIVE COMPLETENESS OF AN EVENT-PATTERN REACTIVE PROGRAMMING LANGUAGE.

Min Zhou

Paper:

COMBONING STATIC ANALYSIS AND MODEL CHECKING FOR SYSTMES EMPLOYING COMMUTATIVE FUNCTIONS.