| 2000 |
|---|
| 10 | EE | Henrik Hulgaard,
Tod Amon:
Symbolic timing analysis of asynchronous systems.
IEEE Trans. on CAD of Integrated Circuits and Systems 19(10): 1093-1104 (2000) |
| 1999 |
|---|
| 9 | EE | Tod Amon,
Henrik Hulgaard:
Symbolic Time Separation of Events.
ASYNC 1999: 83-93 |
| 1998 |
|---|
| 8 | EE | Tod Amon,
Gaetano Borriello,
Jiwen Liu:
Making Complex Timing Relationships Readable: Presburger Formula Simplicication Using Don't Cares.
DAC 1998: 586-590 |
| 1997 |
|---|
| 7 | EE | Tod Amon,
Gaetano Borriello,
Taokuan Hu,
Jiwen Liu:
Symbolic Timing Verification of Timing Diagrams using Presburger Formulas.
DAC 1997: 226-231 |
| 1995 |
|---|
| 6 | EE | Henrik Hulgaard,
Steven M. Burns,
Tod Amon,
Gaetano Borriello:
An Algorithm for Exact Bounds on the Time Separation of Events in Concurrent Systems.
IEEE Trans. Computers 44(11): 1306-1317 (1995) |
| 1993 |
|---|
| 5 | EE | Henrik Hulgaard,
Steven M. Burns,
Tod Amon,
Gaetano Borriello:
Practical applications of an efficient time separation of events algorithm.
ICCAD 1993: 146-151 |
| 4 | | Tod Amon,
Henrik Hulgaard,
Steven M. Burns,
Gaetano Borriello:
An Algorithm for Exact Bounds on the Time Separation of Events in Concurrent Systems.
ICCD 1993: 166-173 |
| 1992 |
|---|
| 3 | EE | Tod Amon,
Gaetano Borriello:
An Approach to Symbolic Timing Verification.
DAC 1992: 410-413 |
| 1991 |
|---|
| 2 | EE | Tod Amon,
Gaetano Borriello:
OEsim: A Simulator for Timing Behavior.
DAC 1991: 656-661 |
| 1 | EE | Tod Amon,
Gaetano Borriello:
Sizing Synchronization Queues: A Case Study in Higher Level Synthesis.
DAC 1991: 690-693 |
