Publications

Export 45 results:
Filters: Author is Steve Vestal  [Clear All Filters]
2011
Boddy M, Michalowski M, Schwerdfeger A, Shackleton H, Vestal S.  2011.  FUSED: A Tool Integration Framework for Collaborative System Engineering. 2nd Workshop on Analytic Virtual Integration of Cyber-Physical Systems (AVICPS-11). :1-8.
2008
Baruah S, Vestal S.  2008.  Schedulability Analysis of Sporadic Tasks with Multiple Criticality Specifications. Euromicro Conference on Real-Time Systems (ECRTS) 2008.
2006
Anand M, Vestal S, Dajani-Brown S, Lee I.  2006.  Formal Modeling and Analysis of the AFDX Frame Management Design. Proceedings of the Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing.
2005
Vestal S.  2005.  Real-Time Sampled Signal Flows through Asynchronous Distributed Systems. Real Time and Embedded Technology and Applications Symposium, 2005. RTAS 2005. 11th IEEE.
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).
Lewis B, Feiler P, Vestal S, Guettier C.  2001.  Improving Predictability in Real Time Avionics and Space Systems. Data Systems in Aerospace.
1999
Lewis B, Vestal S.  1999.  Grand Challenges for Real-Time Model Based Systems Construction. First International Workshop on Real-Time Mission Critical Systems.
1997
Vestal S.  1997.  An Architectural Approach for Integrating Real-Time Systems. An Architectural Approach for Integrating Real-Time Systems.

Pages