JOURNAL ARTICLE

Runtime verification of IoT systems using Complex Event Processing

Abstract

Due to copyright restrictions, the access to the full text of this article is only available via subscription.

Keywords:
Computer science Complex event processing Event (particle physics) Distributed computing Protocol (science) MQTT Runtime verification Security token Internet of Things Simple (philosophy) Exploit Formal verification Embedded system Theoretical computer science Computer network Programming language Computer security

Metrics

16
Cited By
2.12
FWCI (Field Weighted Citation Impact)
28
Refs
0.88
Citation Normalized Percentile
Is in top 1%
Is in top 10%

Citation History

Topics

Distributed systems and fault tolerance
Physical Sciences →  Computer Science →  Computer Networks and Communications
Software System Performance and Reliability
Physical Sciences →  Computer Science →  Computer Networks and Communications
Service-Oriented Architecture and Web Services
Physical Sciences →  Computer Science →  Information Systems
© 2026 ScienceGate Book Chapters — All rights reserved.