Fernando Dias Pauer

Title: Fernando Dias Pauer and IoT Event Detector Verification.

Introduction

Fernando Dias Pauer is an inventor based in Lynnwood, Washington. His patent work addresses the reliability of Internet of Things (IoT) event detector models before they are deployed at scale.

Latest Patents

Pauer is associated with 1 patent: “System and Methods for IoT Event Detector Correctness Verification.” The invention describes a correctness checker that analyzes a representation of an event detector model’s definition. These models can use variables, states, transitions, and actions to interpret IoT device data and detect events that trigger actions.

The checker evaluates whether the model complies with specified correctness properties and generates a report describing the results. One example is reachability: whether particular states or actions can be reached according to the model’s definition. The analysis can be accessed through an interface and may identify where a model definition fails to comply.

Career Highlights

Pauer is associated with Amazon Technologies, Inc. His patent reflects work on verifying event-detection logic, helping identify potential model issues before deployment.

Collaborations

Andrew Jude Gacek is identified as Pauer’s coworker. The available information does not specify their roles or describe a particular joint project.

Conclusion

Fernando Dias Pauer’s patent focuses on checking IoT event detector models for correctness and reporting potential issues before those models are deployed at scale.