Export 11 results:
Filters: Author is Pam Binns  [Clear All Filters]
Joshi A, Vestal S, Binns P.  2007.  Automatic Generation of Static Fault Trees from AADL Models. DNS Workshop on Architecting Dependable Systems.
Binns P, Vestal S.  2004.  Hierarchical Composition and Abstraction in Architecture Models. IFIP Workshop on Architecture Description Languages.
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).
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.
Binns P, Vestal S.  1995.  Architecture Specifications for Complex Real-Time Dependable Systems. IEEE International Conference on Engineering of Complex Computer Systems.
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.
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


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