Dogan Ulus
YOU?
Author Swipe
View article: Runtime Verification Containers for Publish/Subscribe Networks
Runtime Verification Containers for Publish/Subscribe Networks Open
Publish/subscribe (pub/sub) networks are a cornerstone of modern distributed systems, playing a crucial role in applications like the Internet of Things (IoT) and robotics. While runtime verification techniques seem ideal for ensuring the …
View article: Elements of Timed Pattern Matching
Elements of Timed Pattern Matching Open
The rise of machine learning and cloud technologies has led to a remarkable influx of data within modern cyber-physical systems. However, extracting meaningful information from this data has become a significant challenge due to its volume…
View article: Online Monitoring of Metric Temporal Logic using Sequential Networks
Online Monitoring of Metric Temporal Logic using Sequential Networks Open
Metric Temporal Logic (MTL) is a popular formalism to specify temporal patterns with timing constraints over the behavior of cyber-physical systems with application areas ranging in property-based testing, robotics, optimization, and learn…
View article: Sequential Circuits from Regular Expressions Revisited
Sequential Circuits from Regular Expressions Revisited Open
We revisit the long-neglected problem of sequential circuit constructions from regular expressions. The class of languages that are recognized by sequential circuits is equivalent to the class of regular languages. This fact is shown in [5…
View article: On the Quantitative Semantics of Regular Expressions over Real-Valued Signals
On the Quantitative Semantics of Regular Expressions over Real-Valued Signals Open
International audience