Steve Vestal

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

13EESanjoy K. Baruah, Steve Vestal: Schedulability Analysis of Sporadic Tasks with Multiple Criticality Specifications. ECRTS 2008: 147-155
12EESteve Vestal: Preemptive Scheduling of Multi-criticality Systems with Varying Degrees of Execution Time Assurance. RTSS 2007: 239-243
11EEMadhukar Anand, Steve Vestal, Samar Dajani-Brown, Insup Lee: Formal Modeling and Analysis of the AFDX Frame Management Design. ISORC 2006: 393-399
10EESteve Vestal: Real-Time Sampled Signal Flows through Asynchronous Distributed Systems. IEEE Real-Time and Embedded Technology and Applications Symposium 2005: 170-179
9EERobert Allen, Steve Vestal, Dennis Cornhill, Bruce Lewis: Using an architecture description language for quantitative analysis of real-time systems. Workshop on Software and Performance 2002: 203-210
8EEPam Binns, Steve Vestal: Formalizing Software Architectures for Embedded Systems. EMSOFT 2001: 451-468
7EEDarren D. Cofer, Eric Engstrom, Robert P. Goldman, David J. Musliner, Steve Vestal: Applications of Model Checking at Honeywell Laboratories. SPIN 2001: 296-303
6EESteve Vestal: Formal Verification of the MetaH Executive Using Linear Hybrid Automata. IEEE Real Time Technology and Applications Symposium 2000: 134-144
5EEBruce Lewis, Edward Colbert, Steve Vestal: Developing Evolvable, Embedded, Time-Critical Systems with MetaH. TOOLS (34) 2000: 447-456
4EEBruce Lewis, Steve Vestal, David J. McConnell: Modern Avionics Requirements for the Distributed Systems Annex. Ada-Europe 1998: 201-212
3EEPam Binns, Matt Englehart, Mike Jackson, Steve Vestal: Domain-Specific Software Architectures for Guidance, Navigation and Control. International Journal of Software Engineering and Knowledge Engineering 6(2): 201-227 (1996)
2EEPam Binns, Steve Vestal: Architecture specifications for complex real-time dependable systems. ICECCS 1995: 357-
1EESteve Vestal: Fixed-Priority Sensitivity Analysis for Linear Compute Time Models. IEEE Trans. Software Eng. 20(4): 308-317 (1994)

Coauthor Index

1Robert Allen [9]
2Madhukar Anand [11]
3Sanjoy K. Baruah [13]
4Pam Binns [2] [3] [8]
5Darren D. Cofer [7]
6Edward Colbert [5]
7Dennis Cornhill [9]
8Samar Dajani-Brown [11]
9Matt Englehart [3]
10Eric Engstrom [7]
11Robert P. Goldman [7]
12Mike Jackson [3]
13Insup Lee [11]
14Bruce Lewis [4] [5] [9]
15David J. McConnell [4]
16David J. Musliner [7]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)