Scheduling and communication in MetaH. - Steve Vestal; Pam Binns (RTSS, 1993)

Architecture specifications for complex real-time dependable systems. - Pam Binns; Steve Vestal (ICECCS, 1995)

Domain-Specific Software Architectures for Guidance, Navigation and Control. - Pam Binns; Matt Englehart; Mike Jackson; Steve Vestal (Int. J. Softw. Eng. Knowl. Eng., 1996)

Incremental Rate Monotonic Scheduling for Improved Control System Performance. - Pam Binns (IEEE Real Time Technology and Applications Symposium, 1997)

Formalizing Software Architectures for Embedded Systems. - Pam Binns; Steve Vestal (EMSOFT, 2001)

Real-Time Estimation of Event-Driven Traffic Latency Distributions when Layered on Static Schedules. - Pam Binns (DSN, 2003)

Hierarchical Composition and Abstraction in Architecture Models. - Pam Binns; Steve Vestal (IFIP-WADL, 2004)

Statistical Verification of Two Non-linear Real-time UAV Controllers. - Pam Binns; Michael Elgersma; Subhabrata Ganguli; Vu Ha; Tariq Samad (IEEE Real-Time and Embedded Technology and Applications Symposium, 2004)

High-confidence control: Ensuring reliability in high-performance real-time systems. - Tariq Samad; Darren D. Cofer; Vu Ha; Pam Binns (Int. J. Intell. Syst., 2004)