|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 30 occurrences of 27 keywords
|
|
|
|
|
Results
Found 15 publication records. Showing 15 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Arvind Easwaran, Insup Lee, Oleg Sokolsky, Steve Vestal |
A Compositional Scheduling Framework for Digital Avionics Systems.  |
RTCSA  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sanjoy K. Baruah, Steve Vestal |
Schedulability Analysis of Sporadic Tasks with Multiple Criticality Specifications. |
ECRTS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Vestal |
Preemptive Scheduling of Multi-criticality Systems with Varying Degrees of Execution Time Assurance. |
RTSS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Madhukar Anand, Steve Vestal, Samar Dajani-Brown, Insup Lee |
Formal Modeling and Analysis of the AFDX Frame Management Design. |
ISORC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Vestal |
Real-Time Sampled Signal Flows through Asynchronous Distributed Systems. |
IEEE Real-Time and Embedded Technology and Applications Symposium |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
fault-tolerant, real-time, software architecture, embedded |
| 1 | Pam Binns, Steve Vestal |
Formalizing Software Architectures for Embedded Systems. |
EMSOFT |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Darren D. Cofer, Eric Engstrom, Robert P. Goldman, David J. Musliner, Steve Vestal |
Applications of Model Checking at Honeywell Laboratories. |
SPIN |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruce Lewis, Edward Colbert, Steve Vestal |
Developing Evolvable, Embedded, Time-Critical Systems with MetaH. |
TOOLS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Vestal |
Formal Verification of the MetaH Executive Using Linear Hybrid Automata. (PDF / PS) |
IEEE Real Time Technology and Applications Symposium |
2000 |
DBLP DOI BibTeX RDF |
real-time CASE, verification, software architecture, formal methods, schedulability analysis, hybrid automata |
| 1 | Bruce Lewis, Steve Vestal, David J. McConnell |
Modern Avionics Requirements for the Distributed Systems Annex. |
Ada-Europe |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Pam Binns, Steve Vestal |
Architecture specifications for complex real-time dependable systems. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
complex real-time dependable systems, automated analytic modeling, automated system implementation, real-time systems, formal specification, program verification, specification languages, specification languages, formal models, program correctness, architecture specifications |
| 1 | Steve Vestal |
Fixed-Priority Sensitivity Analysis for Linear Compute Time Models. |
IEEE Trans. Software Eng. |
1994 |
DBLP DOI BibTeX RDF |
fixed-priority sensitivity analysis, linear computation time models, scheduling discipline, hard real-time periodic tasks, task scheduling feasibility, real-time verification, real-time benchmarking, real-time architectures, scheduling, real-time systems, computational complexity, formal verification, software components, real-time scheduling, sensitivity analysis, modules, schedulability analysis, software development process, rate monotonic scheduling, task decomposition, fixed-priority preemptive scheduling, uniprocessor |
| 1 | Steve Vestal |
Mode changes in a real-time architecture description language. |
CDS |
1994 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #15 of 15 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")