Steve Vestal

Publication Activity (10 Years)

Years Active: 1990-2015
Publications (10 Years): 0

Top Topics

Main Contribution

Top Venues

Publications

Rob Edman, Hazel Shackleton, John Shackleton, Tyler Smith, Steve Vestal
A Framework for Compositional Timing Analysis of Embedded Computer Systems. HPCC/CSS/ICESS (2015)
Arvind Easwaran, Insup Lee, Oleg Sokolsky, Steve Vestal
A Compositional Scheduling Framework for Digital Avionics Systems. RTCSA (2009)
Sanjoy K. Baruah, Steve Vestal
Schedulability Analysis of Sporadic Tasks with Multiple Criticality Specifications. ECRTS (2008)
Steve Vestal
Preemptive Scheduling of Multi-criticality Systems with Varying Degrees of Execution Time Assurance. RTSS (2007)
Madhukar Anand, Steve Vestal, Samar Dajani-Brown, Insup Lee
Formal Modeling and Analysis of the AFDX Frame Management Design. ISORC (2006)
Steve Vestal
Real-Time Sampled Signal Flows through Asynchronous Distributed Systems. IEEE Real-Time and Embedded Technology and Applications Symposium (2005)
Pam Binns, Steve Vestal
Hierarchical Composition and Abstraction in Architecture Models. IFIP-WADL (2004)
Peter H. Feiler, Bruce A. Lewis, Steve Vestal, Edward Colbert
An Overview of the SAE Architecture Analysis & Design Language (AADL) Standard: A Basis for Model-Based Architecture-Driven Embedded Systems Engineering. IFIP-WADL (2004)
Robert Allen, Steve Vestal, Dennis Cornhill, Bruce A. Lewis
Using an architecture description language for quantitative analysis of real-time systems. Workshop on Software and Performance (2002)
Darren D. Cofer, Eric Engstrom, Robert P. Goldman, David J. Musliner, Steve Vestal
Applications of Model Checking at Honeywell Laboratories. SPIN (2001)
Pam Binns, Steve Vestal
Formalizing Software Architectures for Embedded Systems. EMSOFT (2001)
Steve Vestal
MetaH. ACM SIGSOFT Softw. Eng. Notes 25 (1) (2000)
Steve Vestal
DoME. ACM SIGSOFT Softw. Eng. Notes 25 (1) (2000)
Steve Vestal
Incremental constraint engine. ACM SIGSOFT Softw. Eng. Notes 25 (1) (2000)
Bruce A. Lewis, Edward Colbert, Steve Vestal
Developing Evolvable, Embedded, Time-Critical Systems with MetaH. TOOLS (34) (2000)
Steve Vestal
Formal Verification of the MetaH Executive Using Linear Hybrid Automata. IEEE Real Time Technology and Applications Symposium (2000)
Bruce A. Lewis, Steve Vestal, David J. McConnell
Modern Avionics Requirements for the Distributed Systems Annex. Ada-Europe (1998)
Steve Vestal, Laurent Guerby, Robert Dewar, David J. McConnell, Bruce A. Lewis
Reimplementing a multiprocess distributed paradigm for real-time systems in Ada 95. IRTAW (1997)
Pam Binns, Matt Englehart, Mike Jackson, Steve Vestal
Domain-Specific Software Architectures for Guidance, Navigation and Control. Int. J. Softw. Eng. Knowl. Eng. 6 (2) (1996)
Pam Binns, Steve Vestal
Architecture specifications for complex real-time dependable systems. ICECCS (1995)
Steve Vestal
Mode changes in a real-time architecture description language. CDS (1994)
Steve Vestal
Fixed-Priority Sensitivity Analysis for Linear Compute Time Models. IEEE Trans. Software Eng. 20 (4) (1994)
Steve Vestal, Pam Binns
Scheduling and communication in MetaH. RTSS (1993)
Steve Vestal
Linear benchmarks. IRTAW (1990)
Steve Vestal
On the accuracy of predicting rate monotonic scheduling performance. TRI-Ada (1990)