Doğan Ulus

icon indicating a website link doganulus.github.io icon indicating an email [email protected]

icon company Boğaziçi University @bouncmpe icon location Istanbul, TR icon location Assistant Professor of Computer Science

Results 3 repositories owned by Doğan Ulus

reelay

34
Stars
6
Forks
Watchers

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

verified publisher icon doganulus

python-monitors

17
Stars
5
Forks
Watchers

A pure Python package to monitor formal specifications over temporal sequences

verified publisher icon doganulus

montre

15
Stars
5
Forks
Watchers

The original timed regular expression matcher over temporal behaviors

verified publisher icon doganulus