| 2001 |
|---|
| 5 | EE | Dong Hoon Van Uytsel,
Filip Van Aelten,
Dirk Van Compernolle:
A Structured Language Model Based on Context-Sensitive Probabilistic Left-Corner Parsing.
NAACL 2001 |
| 1994 |
|---|
| 4 | EE | Filip Van Aelten,
Jonathan Allen,
Srinivas Devadas:
Event-based verification of synchronous, globally controlled, logic designs against signal flow graphs.
IEEE Trans. on CAD of Integrated Circuits and Systems 13(1): 122-134 (1994) |
| 1993 |
|---|
| 3 | EE | Filip Van Aelten,
Jonathan Allen,
Srinivas Devadas:
Verification of relations between synchronous machines.
IEEE Trans. on CAD of Integrated Circuits and Systems 12(12): 1947-1959 (1993) |
| 1992 |
|---|
| 2 | EE | Filip Van Aelten,
Stan Y. Liao,
Jonathan Allen,
Srinivas Devadas:
Automatic generation and verification of sufficient correctness properties for synchronous processors.
ICCAD 1992: 183-187 |
| 1991 |
|---|
| 1 | | Filip Van Aelten,
Jonathan Allen,
Srinivas Devadas:
Verification of Relations Between Synchronous Machines.
ICCAD 1991: 380-383 |
