Runtime verification of IoT systems using Complex Event Processing

Koray İnçki; İsmail Arı; Hasan Sözer

doi:10.1109/icnsc.2017.8000163

ScienceGate Book Chapters

JOURNAL ARTICLE

Runtime verification of IoT systems using Complex Event Processing

Koray İnçki İsmail Arı Hasan Sözer

Year: 2017 Pages: 625-630

DOI: 10.1109/icnsc.2017.8000163

Get Full-Text PDF Get Analytical Report

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

Cited By

2.12

FWCI (Field Weighted Citation Impact)

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

Runtime verification of IoT systems using Complex Event Processing

Abstract

Metrics

Citation History

Topics

Related Documents

Quality-Aware Runtime Adaptation in Complex Event Processing

Event patterns for distributed runtime verification

Towards Runtime Verification via Event Stream Processing in Cloud\n Computing Infrastructures

Seamless formal verification of complex event processing applications

Event-based runtime verification of java programs