✦ LIBER ✦

Runtime verification and monitoring of embedded systems

✍ Scribed by Watterson, C.; Heffernan, D.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Combining Monitors for Runtime System Ve

✍ Joshua Levy; Hassen Saïdi; Tomás E. Uribe 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 849 KB

Runtime Verification of Timed LTL using

✍ Kåre Jelling Kristoffersen; Christian Pedersen; Henrik Reif Andersen 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 805 KB

Semantics and verification of monitors a

✍ Stein Gjessing 📂 Article 📅 1988 🏛 Springer-Verlag 🌐 English ⚖ 1019 KB

Performance monitoring and evaluation of

✍ Halsall, F.; Hui, S.C. 📂 Article 📅 1987 🏛 The Institution of Electrical Engineers 🌐 English ⚖ 941 KB

Embedded Systems Design and Verification

✍ Kazmierkowski, M.P. 📂 Article 📅 2009 🏛 IEEE 🌐 English ⚖ 480 KB

UML interaction model-driven runtime ver

✍ Li, X.; Qiu, X.; Wang, L.; Chen, X.; Zhou, Z.; Yu, L.; Zhao, J. 📂 Article 📅 2011 🏛 The Institution of Engineering and Technology 🌐 English ⚖ 400 KB