Skip to content
You must be logged in to sponsor doganulus

Become a sponsor to Doğan Ulus

Developing runtime verification tools for real-time systems.

1 sponsor has funded doganulus’s work.

@sadikkuzu

Featured work

  1. doganulus/reelay

    A header-only C++ library for system-level verification and declarative testing of real-time systems with Python bindings.

    C++ 33
  2. doganulus/timescales

    A benchmark generator for Metric Temporal Logic (MTL) monitoring tools

    Shell 6
  3. doganulus/python-monitors

    A pure Python package to monitor formal specifications over temporal sequences

    Python 16
  4. doganulus/montre

    The original timed regular expression matcher over temporal behaviors

    C++ 15
  5. doganulus/timedrel

    A header-only C++ library that implements the algebra of timed relations + Python bindings

    C++ 2

Select a tier

$ a month

Choose a custom amount.

$1 a month

Select

Level: Coffee Machine

$2 a month

Select

Level: Finite Automaton

$5 a month

Select

Level: Transformation Semigroup

$10 a month

Select

Level: C++