Skip to content
You must be logged in to sponsor doganulus

Become a sponsor to Doğan Ulus

@doganulus

Doğan Ulus

doganulus
Istanbul, TR

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++ 30
  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 15
  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

Learn more about sponsoring developers and organizations.

Report abuse

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++