Steve Vestal

Galois (United States) — United States

Computer Science · Physical Sciences

19h-index1.8kcitations56works0.02yr avg
OpenAlex↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Real-Time Systems Scheduling(35), Embedded Systems Design Techniques(22), Formal Methods in Verification(18), Advanced Software Engineering Methodologies(12), Petri Nets in System Modeling(11)

Publications56 total

ADEPT 2024 Workshop Summary
ACM SIGAda Ada Letters·2025
Lessons Learned in Inter-Organization Virtual Integration
SAE technical papers on CD-ROM/SAE technical paper series·2018· 1 cited
A Framework for Compositional Timing Analysis of Embedded Computer Systems
2015· 2 cited
Verifying Consistency Between Models
Linköping electronic conference proceedings·2013Open Access
Formal United System Engineering Development (FUSED) Language
2011· 1 cited
A Compositional Scheduling Framework for Digital Avionics Systems
2009· 57 cited
A Compositional Framework for Avionics (ARINC-653) Systems
ScholarlyCommons (University of Pennsylvania)·2009· 12 citedOpen Access
Schedulability Analysis of Sporadic Tasks with Multiple Criticality Specifications
2008· 147 cited
Preemptive Scheduling of Multi-criticality Systems with Varying Degrees of Execution Time Assurance
2007· 520 cited
Automatic Generation of Static Fault Trees from AADL Models
2007· 78 citedOpen Access
The SAE Architecture Analysis & Design Language (AADL) a standard for engineering performance critical systems
2006· 148 cited
The SAE Architecture Analysis & Design Language (AADL) A Standard for Engineering Performance Critical Systems
2006 IEEE Conference on Computer-Aided Control Systems Design·2006· 28 citedOpen Access
Formal Modeling and Analysis of the AFDX Frame Management Design
2006· 21 cited
Formal Modeling and Analysis of AFDX Frame Management Design
ScholarlyCommons (University of Pennsylvania)·2006· 1 citedOpen Access
Hierarchical Composition and Abstraction in Architecture Models
2005· 5 citedOpen Access
An Overview of the SAE Architecture Analysis & Design Language (AADL) Standard: A Basis for Model-Based Architecture-Driven Embedded Systems Engineering
2005· 88 citedOpen Access
An implementation for hybrid continuous variable/discrete event dynamic systems
2005· 5 cited
Real-Time Sampled Signal Flows through Asynchronous Distributed Systems
2005· 8 cited
Real-Time Complex Systems
2004
The SAE Avionics Architecture Description Language (AADL) Standard: A Basis for Model-Based Architecture-Driven Embedded Systems Engineering
2003· 76 cited
page 1 of 3Next →

Frequent Co-authors

Bruce Lewis(9), Pam Binns(8), Peter H. Feiler(5), Insup Lee(4), Mike Jackson(2), Arvind Easwaran(2), Oleg Sokolsky(2), Robert Allen(2), Dennis Cornhill(2), Bruce Lewis(2), Samar Dajani-Brown(2), J.M. Krause(2), John Shackleton(2), Tyler Smith(2), David McConnell(2), Sanjoy Baruah(1), Matt Englehart(1), Ed Colbert(1), Anjali Joshi(1), M. Anand(1)