The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Steve Vestal: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. Pam Binns, Steve Vestal
    Formalizing Software Architectures for Embedded Systems. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2001, pp:451-468 [Conf]
  3. Pam Binns, Steve Vestal
    Architecture specifications for complex real-time dependable systems. [Citation Graph (0, 0)][DBLP]
    ICECCS, 1995, pp:357-0 [Conf]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]

  11. Schedulability Analysis of Sporadic Tasks with Multiple Criticality Specifications. [Citation Graph (, )][DBLP]


  12. A Compositional Scheduling Framework for Digital Avionics Systems. [Citation Graph (, )][DBLP]


  13. Preemptive Scheduling of Multi-criticality Systems with Varying Degrees of Execution Time Assurance. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002