JOURNAL ARTICLE

Runtime verification of embedded real-time systems

Thomas ReinbacherMatthias FüggerJörg Bräuer

Year: 2013 Journal:   Formal Methods in System Design Vol: 44 (3)Pages: 203-239   Publisher: Springer Science+Business Media
Keywords:
Computer science Runtime verification Embedded system Operating system Real-time computing Programming language Formal verification

Metrics

34
Cited By
1.97
FWCI (Field Weighted Citation Impact)
84
Refs
0.88
Citation Normalized Percentile
Is in top 1%
Is in top 10%

Citation History

Topics

Real-Time Systems Scheduling
Physical Sciences →  Computer Science →  Hardware and Architecture
Embedded Systems Design Techniques
Physical Sciences →  Computer Science →  Hardware and Architecture
Formal Methods in Verification
Physical Sciences →  Computer Science →  Computational Theory and Mathematics
© 2026 ScienceGate Book Chapters — All rights reserved.