Search the dblp DataBase
Steve Vestal :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Bruce Lewis , Steve Vestal , David J. McConnell Modern Avionics Requirements for the Distributed Systems Annex. [Citation Graph (0, 0)][DBLP ] Ada-Europe, 1998, pp:201-212 [Conf ] Pam Binns , Steve Vestal Formalizing Software Architectures for Embedded Systems. [Citation Graph (0, 0)][DBLP ] EMSOFT, 2001, pp:451-468 [Conf ] Pam Binns , Steve Vestal Architecture specifications for complex real-time dependable systems. [Citation Graph (0, 0)][DBLP ] ICECCS, 1995, pp:357-0 [Conf ] Madhukar Anand , Steve Vestal , Samar Dajani-Brown , Insup Lee Formal Modeling and Analysis of the AFDX Frame Management Design. [Citation Graph (0, 0)][DBLP ] ISORC, 2006, pp:393-399 [Conf ] Steve Vestal Formal Verification of the MetaH Executive Using Linear Hybrid Automata. [Citation Graph (0, 0)][DBLP ] IEEE Real Time Technology and Applications Symposium, 2000, pp:134-144 [Conf ] Steve Vestal Real-Time Sampled Signal Flows through Asynchronous Distributed Systems. [Citation Graph (0, 0)][DBLP ] IEEE Real-Time and Embedded Technology and Applications Symposium, 2005, pp:170-179 [Conf ] Darren D. Cofer , Eric Engstrom , Robert P. Goldman , David J. Musliner , Steve Vestal Applications of Model Checking at Honeywell Laboratories. [Citation Graph (0, 0)][DBLP ] SPIN, 2001, pp:296-303 [Conf ] Robert Allen , Steve Vestal , Dennis Cornhill , Bruce Lewis Using an architecture description language for quantitative analysis of real-time systems. [Citation Graph (0, 0)][DBLP ] Workshop on Software and Performance, 2002, pp:203-210 [Conf ] Bruce Lewis , Edward Colbert , Steve Vestal Developing Evolvable, Embedded, Time-Critical Systems with MetaH. [Citation Graph (0, 0)][DBLP ] TOOLS (34), 2000, pp:447-456 [Conf ] Steve Vestal Fixed-Priority Sensitivity Analysis for Linear Compute Time Models. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1994, v:20, n:4, pp:308-317 [Journal ] Schedulability Analysis of Sporadic Tasks with Multiple Criticality Specifications. [Citation Graph (, )][DBLP ] A Compositional Scheduling Framework for Digital Avionics Systems. [Citation Graph (, )][DBLP ] Preemptive Scheduling of Multi-criticality Systems with Varying Degrees of Execution Time Assurance. [Citation Graph (, )][DBLP ] Search in 0.001secs, Finished in 0.002secs