Filip Van Aelten

Publication Activity (10 Years)

Years Active: 1991-2001
Publications (10 Years): 0

Massachusetts Institute of Technology, Cambridge, MA, USA (PHD)

Education History

Massachusetts Institute of Technology, Cambridge, MA, USA

PHD

Publications

Dong Hoon Van Uytsel, Filip Van Aelten, Dirk Van Compernolle
A Structured Language Model Based on Context-Sensitive Probabilistic Left-Corner Parsing. NAACL (2001)
Hugo Van hamme, Filip Van Aelten
An adaptive-beam pruning technique for continuous speech recognition. ICSLP (1996)
Filip Van Aelten, Jonathan Allen, Srinivas Devadas
Event-based verification of synchronous, globally controlled, logic designs against signal flow graphs. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 13 (1) (1994)
Filip Van Aelten, Jonathan Allen, Srinivas Devadas
Verification of relations between synchronous machines. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 12 (12) (1993)
Filip Van Aelten, Stan Y. Liao, Jonathan Allen, Srinivas Devadas
Automatic generation and verification of sufficient correctness properties for synchronous processors. ICCAD (1992)
Filip Van Aelten, Jonathan Allen, Srinivas Devadas
Verification of Relations Between Synchronous Machines. ICCAD (1991)