Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Conducting verification in event processing applications using formal methods

Conducting verification in event processing applications using formal methods

US Patent 9043746 · Granted May 26, 2015

Estimated economic value: $2,909,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Reliable and interpretable drift detection in streams of short texts2025
Adjusting chat bot design based on matched escalation logs2025
Message mapping and combination for intent classification2024
Automatic measurement of semantic similarity of conversations2023
Generic term weighting based on query performance prediction2021
Classification engine for learning properties of words and multi-word expression2021
Query performance prediction2019
Stability score based re-ranking of search results2018
Dynamic data masking of post-output database data2018
Directing verification towards bug-prone portions2016
Generating complex event processing rules2015
Dominant-state-based coverage metric2014