- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| c13 |      | Arvind Easwaran, Insup Lee, Oleg Sokolsky, Steve Vestal: A Compositional Scheduling Framework for Digital Avionics Systems. RTCSA 2009: 371-380 |
| 2008 | ||
| c12 | | Sanjoy K. Baruah, Steve Vestal: Schedulability Analysis of Sporadic Tasks with Multiple Criticality Specifications. ECRTS 2008: 147-155 |
| 2007 | ||
| c11 | | Steve Vestal: Preemptive Scheduling of Multi-criticality Systems with Varying Degrees of Execution Time Assurance. RTSS 2007: 239-243 |
| 2006 | ||
| c10 | | Madhukar Anand, Steve Vestal, Samar Dajani-Brown, Insup Lee: Formal Modeling and Analysis of the AFDX Frame Management Design. ISORC 2006: 393-399 |
| 2005 | ||
| c9 | | Steve Vestal: Real-Time Sampled Signal Flows through Asynchronous Distributed Systems. IEEE Real-Time and Embedded Technology and Applications Symposium 2005: 170-179 |
| 2002 | ||
| c8 | | Robert 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 |
| 2001 | ||
| c7 | | Pam Binns, Steve Vestal: Formalizing Software Architectures for Embedded Systems. EMSOFT 2001: 451-468 |
| c6 | | Darren D. Cofer, Eric Engstrom, Robert P. Goldman, David J. Musliner, Steve Vestal: Applications of Model Checking at Honeywell Laboratories. SPIN 2001: 296-303 |
| 2000 | ||
| j5 | | |
| j4 | | Steve Vestal: Incremental constraint engine. ACM SIGSOFT Software Engineering Notes 25(1): 102-103 (2000) |
| j3 | | |
| c5 | | Steve Vestal: Formal Verification of the MetaH Executive Using Linear Hybrid Automata. IEEE Real Time Technology and Applications Symposium 2000: 134-144 |
| c4 | | Bruce Lewis, Edward Colbert, Steve Vestal: Developing Evolvable, Embedded, Time-Critical Systems with MetaH. TOOLS (34) 2000: 447-456 |
| 1998 | ||
| c3 | | Bruce Lewis, Steve Vestal, David J. McConnell: Modern Avionics Requirements for the Distributed Systems Annex. Ada-Europe 1998: 201-212 |
| 1996 | ||
| j2 | | Pam 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) |
| 1995 | ||
| c2 | | Pam Binns, Steve Vestal: Architecture specifications for complex real-time dependable systems. ICECCS 1995: 357- |
| 1994 | ||
| j1 | | Steve Vestal: Fixed-Priority Sensitivity Analysis for Linear Compute Time Models. IEEE Trans. Software Eng. 20(4): 308-317 (1994) |
| c1 | | |
Colors in the list of coauthors
Last update Sat May 25 11:56:43 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page