Logics and Languages for Reliability and Security 2010
: 2-Valued and 3-Valued Abstraction-Refinement in Model Checking.
: Effective Analysis of Infinite State Stochastic Processes Games.
: Mechanized semantics - with applications to program proof and compiler verification.
C.-H. Luke Ong
: Models of Higher-Order Computation: Recursion Schemes and Collapsible Pushdown Automata.