| 2007 |
|---|
| 12 | EE | Steve Vestal:
Preemptive Scheduling of Multi-criticality Systems with Varying Degrees of Execution Time Assurance.
RTSS 2007: 239-243 |
| 2006 |
|---|
| 11 | EE | Madhukar Anand,
Steve Vestal,
Samar Dajani-Brown,
Insup Lee:
Formal Modeling and Analysis of the AFDX Frame Management Design.
ISORC 2006: 393-399 |
| 2005 |
|---|
| 10 | EE | Steve Vestal:
Real-Time Sampled Signal Flows through Asynchronous Distributed Systems.
IEEE Real-Time and Embedded Technology and Applications Symposium 2005: 170-179 |
| 2002 |
|---|
| 9 | EE | 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 |
|---|
| 8 | EE | Pam Binns,
Steve Vestal:
Formalizing Software Architectures for Embedded Systems.
EMSOFT 2001: 451-468 |
| 7 | EE | 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 |
|---|
| 6 | EE | Steve Vestal:
Formal Verification of the MetaH Executive Using Linear Hybrid Automata.
IEEE Real Time Technology and Applications Symposium 2000: 134-144 |
| 5 | EE | Bruce Lewis,
Edward Colbert,
Steve Vestal:
Developing Evolvable, Embedded, Time-Critical Systems with MetaH.
TOOLS (34) 2000: 447-456 |
| 1998 |
|---|
| 4 | EE | Bruce Lewis,
Steve Vestal,
David J. McConnell:
Modern Avionics Requirements for the Distributed Systems Annex.
Ada-Europe 1998: 201-212 |
| 1996 |
|---|
| 3 | EE | 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 |
|---|
| 2 | EE | Pam Binns,
Steve Vestal:
Architecture specifications for complex real-time dependable systems.
ICECCS 1995: 357- |
| 1994 |
|---|
| 1 | EE | Steve Vestal:
Fixed-Priority Sensitivity Analysis for Linear Compute Time Models.
IEEE Trans. Software Eng. 20(4): 308-317 (1994) |
