| |
| 2004 | ||
|---|---|---|
| 6 | EE | Pam Binns, Michael Elgersma, Subhabrata Ganguli, Vu Ha, Tariq Samad: Statistical Verification of Two Non-linear Real-time UAV Controllers. IEEE Real-Time and Embedded Technology and Applications Symposium 2004: 341-351 |
| 5 | EE | Tariq Samad, Darren D. Cofer, Vu Ha, Pam Binns: High-confidence control: Ensuring reliability in high-performance real-time systems. Int. J. Intell. Syst. 19(4): 315-326 (2004) |
| 2003 | ||
| 4 | EE | Pam Binns: Real-Time Estimation of Event-Driven Traffic Latency Distributions when Layered on Static Schedules. DSN 2003: 573-582 |
| 2001 | ||
| 3 | EE | Pam Binns, Steve Vestal: Formalizing Software Architectures for Embedded Systems. EMSOFT 2001: 451-468 |
| 1997 | ||
| 2 | EE | Pam Binns: Incremental Rate Monotonic Scheduling for Improved Control System Performance. IEEE Real Time Technology and Applications Symposium 1997: 80-90 |
| 1995 | ||
| 1 | EE | Pam Binns, Steve Vestal: Architecture specifications for complex real-time dependable systems. ICECCS 1995: 357- |
| 1 | Darren D. Cofer | [5] |
| 2 | Michael Elgersma | [6] |
| 3 | Subhabrata Ganguli | [6] |
| 4 | Vu Ha | [5] [6] |
| 5 | Tariq Samad | [5] [6] |
| 6 | Steve Vestal | [1] [3] |