Pam Binns

According to our database, Pam Binns authored at least 9 papers between 1993 and 2004.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

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

Statistical Verification of Two Non-linear Real-time UAV Controllers.

Pam Binns, Michael Elgersma, Subhabrata Ganguli, Vu Ha, Tariq Samad

Proceedings of the 10th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2004), 2004

Hierarchical Composition and Abstraction in Architecture Models.

Pam Binns, Steve Vestal

Proceedings of the Architecture Description Languages, 2004

2003

Real-Time Estimation of Event-Driven Traffic Latency Distributions when Layered on Static Schedules.

Pam Binns

Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003), 2003

2001

Formalizing Software Architectures for Embedded Systems.

Pam Binns, Steve Vestal

Proceedings of the Embedded Software, First International Workshop, 2001

1997

Incremental Rate Monotonic Scheduling for Improved Control System Performance.

Pam Binns

Proceedings of the 3rd IEEE Real-Time Technology and Applications Symposium, 1997

1996

Domain-Specific Software Architectures for Guidance, Navigation and Control.

Pam Binns, Matt Englehart, Mike Jackson, Steve Vestal

Int. J. Softw. Eng. Knowl. Eng., 1996

1995

Architecture specifications for complex real-time dependable systems.

Pam Binns, Steve Vestal

Proceedings of the 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), 1995

1993

Scheduling and communication in MetaH.

Steve Vestal, Pam Binns

Proceedings of the Real-Time Systems Symposium. Raleigh-Durham, NC, USA, December 1993, 1993