Skip to content
cs-conference-ranking.org

Steve Vestal

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

10

Venues

8

Active years

1993–2015

Best venue rank

A

Where they publish

Papers

10 indexed papers, newest first.

YearVenueTitleAuthors
2015HPCCA Framework for Compositional Timing Analysis of Embedded Computer Systems.Rob Edman, Hazel Shackleton, John Shackleton, Tyler Smith, Steve Vestal
2009RTCSAA Compositional Scheduling Framework for Digital Avionics Systems.Arvind Easwaran, Insup Lee, Oleg Sokolsky, Steve Vestal
2008ECRTSSchedulability Analysis of Sporadic Tasks with Multiple Criticality Specifications.Sanjoy K. Baruah, Steve Vestal
2007RTSSPreemptive Scheduling of Multi-criticality Systems with Varying Degrees of Execution Time Assurance.Steve Vestal
2006ISORCFormal Modeling and Analysis of the AFDX Frame Management Design.Madhukar Anand, Steve Vestal, Samar Dajani-Brown, Insup Lee
2005RTASReal-Time Sampled Signal Flows through Asynchronous Distributed Systems.Steve Vestal
2001EMSOFTFormalizing Software Architectures for Embedded Systems.Pam Binns, Steve Vestal
2000RTASFormal Verification of the MetaH Executive Using Linear Hybrid Automata.Steve Vestal
1995ICECCSArchitecture specifications for complex real-time dependable systems.Pam Binns, Steve Vestal
1993RTSSScheduling and communication in MetaH.Steve Vestal, Pam Binns