 | 2004 |
|---|
| 7 |       | 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 |
| 6 | | 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 |
|---|
| 5 | | Pam Binns:
Real-Time Estimation of Event-Driven Traffic Latency Distributions when Layered on Static Schedules.
DSN 2003: 573-582 |
| 2001 |
|---|
| 4 | | Pam Binns,
Steve Vestal:
Formalizing Software Architectures for Embedded Systems.
EMSOFT 2001: 451-468 |
| 1997 |
|---|
| 3 | | Pam Binns:
Incremental Rate Monotonic Scheduling for Improved Control System Performance.
IEEE Real Time Technology and Applications Symposium 1997: 80-90 |
| 1996 |
|---|
| 2 | | Pam Binns,
Matt Englehart,
Mike Jackson,
Steve Vestal:
Domain-Specific Software Architectures for Guidance, Navigation and Control.
International Journal of Software Engineering and Knowledge Engineering 6(2): 201-227 (1996) |
| 1995 |
|---|
| 1 | | Pam Binns,
Steve Vestal:
Architecture specifications for complex real-time dependable systems.
ICECCS 1995: 357- |
