Publications

Export 11 results:
Filters: Author is Pam Binns  [Clear All Filters]
2007
Joshi A, Vestal S, Binns P.  2007.  Automatic Generation of Static Fault Trees from AADL Models. DNS Workshop on Architecting Dependable Systems.
2004
Binns P, Vestal S.  2004.  Hierarchical Composition and Abstraction in Architecture Models. IFIP Workshop on Architecture Description Languages.
2001
Binns P, Vestal S.  2001.  Formalizing Software Architectures for Embedded Systems. First International Workshop on Embedded Software.
Binns P, Vestal S.  2001.  Formalizing Software Architectures for Embedded Systems. Monterey Workshop 2001.
Vestal S, Binns P, Geib C, Lewis B, Ward J.  2001.  Gauging in MetaH for Dynamic Embedded Systems. Working Conference on Complex and Dynamic Systems Architectures (CDSA).
1996
Binns P, Englehart M, Jackson M, Vestal S.  1996.  Domain-Specific Software Architectures for Guidance, Navigation and Control. International Journal of Software Engineering and Knowledge Engineering.
1995
Binns P, Vestal S.  1995.  Architecture Specifications for Complex Real-Time Dependable Systems. IEEE International Conference on Engineering of Complex Computer Systems.
1993
Binns P, Vestal S.  1993.  Formal Real-Time Architecture Specification and Analysis. RTOSS ’93 Proceedings of the tenth IEEE workshop on Real-time operating systems and software. 9
Vestal S, Binns P.  1993.  Scheduling and Communication in MetaH. Real-Time Systems Symposium. :194-200.
1992
Binns P, Jackson M, Vestal S.  1992.  An Implementation for Hybrid Continuous Variable/Discrete Event Dynamic Systems. Decision and Control, 1992., Proceedings of the 31st IEEE Conference on. 3:2973-2979.
Publications | Adventium Labs

Error

The website encountered an unexpected error. Please try again later.