Steve Vestal

According to our database, Steve Vestal authored at least 25 papers between 1990 and 2015.

Collaborative distances:

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

2015

A Framework for Compositional Timing Analysis of Embedded Computer Systems.

Rob Edman, Hazel Shackleton, John Shackleton, Tyler Smith, Steve Vestal

Proceedings of the 17th IEEE International Conference on High Performance Computing and Communications, 2015

2009

A Compositional Scheduling Framework for Digital Avionics Systems.

Arvind Easwaran, Insup Lee, Oleg Sokolsky, Steve Vestal

Proceedings of the 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2009

2008

Schedulability Analysis of Sporadic Tasks with Multiple Criticality Specifications.

Sanjoy K. Baruah, Steve Vestal

Proceedings of the 20th Euromicro Conference on Real-Time Systems, 2008

2007

Preemptive Scheduling of Multi-criticality Systems with Varying Degrees of Execution Time Assurance.

Steve Vestal

Proceedings of the 28th IEEE Real-Time Systems Symposium (RTSS 2007), 2007

2006

Formal Modeling and Analysis of the AFDX Frame Management Design.

Madhukar Anand, Steve Vestal, Samar Dajani-Brown, Insup Lee

Proceedings of the Ninth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2006), 2006

2005

Real-Time Sampled Signal Flows through Asynchronous Distributed Systems.

Steve Vestal

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

2004

An Overview of the SAE Architecture Analysis & Design Language (AADL) Standard: A Basis for Model-Based Architecture-Driven Embedded Systems Engineering.

Peter H. Feiler, Bruce A. Lewis, Steve Vestal, Edward Colbert

Proceedings of the Architecture Description Languages, 2004

Hierarchical Composition and Abstraction in Architecture Models.

Pam Binns, Steve Vestal

Proceedings of the Architecture Description Languages, 2004

2002

Using an architecture description language for quantitative analysis of real-time systems.

Robert Allen, Steve Vestal, Dennis Cornhill, Bruce A. Lewis

Proceedings of the Third International Workshop on Software and Performance, 2002

2001

Applications of Model Checking at Honeywell Laboratories.

Darren D. Cofer, Eric Engstrom, Robert P. Goldman, David J. Musliner, Steve Vestal

Proceedings of the Model Checking Software, 2001

Formalizing Software Architectures for Embedded Systems.

Pam Binns, Steve Vestal

Proceedings of the Embedded Software, First International Workshop, 2001

2000

MetaH.

Steve Vestal

ACM SIGSOFT Softw. Eng. Notes, 2000

Incremental constraint engine.

Steve Vestal

ACM SIGSOFT Softw. Eng. Notes, 2000

DoME.

Steve Vestal

ACM SIGSOFT Softw. Eng. Notes, 2000

Developing Evolvable, Embedded, Time-Critical Systems with MetaH.

Bruce A. Lewis, Edward Colbert, Steve Vestal

Proceedings of the TOOLS 2000: 34th International Conference on Technology of Object-Oriented Languages and Systems, 30 July, 2000

Formal Verification of the MetaH Executive Using Linear Hybrid Automata.

Steve Vestal

Proceedings of the Sixth IEEE Real Time Technology and Applications Symposium, RTAS 2000, Washington, DC, USA, May 31, 2000

1998

Modern Avionics Requirements for the Distributed Systems Annex.

Bruce A. Lewis, Steve Vestal, David J. McConnell

Proceedings of the Reliable Software Technologies, 1998

1997

Reimplementing a multiprocess distributed paradigm for real-time systems in Ada 95.

Steve Vestal, Laurent Guerby, Robert Dewar, David J. McConnell, Bruce A. Lewis

Proceedings of the Eighth International Workshop on Real-Time Ada, 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

1994

Fixed-Priority Sensitivity Analysis for Linear Compute Time Models.

Steve Vestal

IEEE Trans. Software Eng., 1994

Mode changes in a real-time architecture description language.

Steve Vestal

Proceedings of the Second International Workshop on Configurable Distributed Systems, 1994

1993

Scheduling and communication in MetaH.

Steve Vestal, Pam Binns

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

1990

On the accuracy of predicting rate monotonic scheduling performance.

Steve Vestal

Proceedings of the conference on TRI-ADA 1990, 1990

Linear benchmarks.

Steve Vestal

Proceedings of the Fourth International Workshop on Real-Time Ada Issues, 1990