Pam Binns

Publication Activity (10 Years)

Years Active: 1993-2004
Publications (10 Years): 0

Publications

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)
Pam Binns, Steve Vestal
Hierarchical Composition and Abstraction in Architecture Models. IFIP-WADL (2004)
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) (2004)
Pam Binns
Real-Time Estimation of Event-Driven Traffic Latency Distributions when Layered on Static Schedules. DSN (2003)
Pam Binns, Steve Vestal
Formalizing Software Architectures for Embedded Systems. EMSOFT (2001)
Pam Binns
Incremental Rate Monotonic Scheduling for Improved Control System Performance. IEEE Real Time Technology and Applications Symposium (1997)
Pam Binns, Matt Englehart, Mike Jackson, Steve Vestal
Domain-Specific Software Architectures for Guidance, Navigation and Control. Int. J. Softw. Eng. Knowl. Eng. 6 (2) (1996)
Pam Binns, Steve Vestal
Architecture specifications for complex real-time dependable systems. ICECCS (1995)
Steve Vestal, Pam Binns
Scheduling and communication in MetaH. RTSS (1993)