Automatic generation and verification of sufficient correctness properties for synchronous processors. - Filip Van Aelten; Stan Y. Liao; Jonathan Allen; Srinivas Devadas (ICCAD, 1992)

Automatic procedures for the behavioral verification of digital designs. - Filip Van Aelten (1992)

Verification of relations between synchronous machines. - Filip Van Aelten; Jonathan Allen; Srinivas Devadas (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1993)

Event-based verification of synchronous, globally controlled, logic designs against signal flow graphs. - Filip Van Aelten; Jonathan Allen; Srinivas Devadas (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1994)

An adaptive-beam pruning technique for continuous speech recognition. - Hugo Van hamme; Filip Van Aelten (ICSLP, 1996)

A Structured Language Model Based on Context-Sensitive Probabilistic Left-Corner Parsing. - Dong Hoon Van Uytsel; Filip Van Aelten; Dirk Van Compernolle (NAACL, 2001)