doganulus
Assistant Professor of Computer Science
Funding Links: https://github.com/sponsors/doganulus
- Name: Doğan Ulus
- Location: Istanbul, TR
- Company: Boğaziçi University @bouncmpe
- Kind: user
- Followers: 63
- Following: 22
- Total stars: 86
- Repositories count: 39
- Created at: 2022-11-06T03:24:53.638Z
- Updated at: 2025-03-28T05:42:29.233Z
- Last synced at: 2025-03-28T05:42:29.233Z
GitHub Sponsors Profile
Developing runtime verification tools for real-time systems.
- Current Sponsors: 0
- Past Sponsors: 0
- Total Sponsors: 0
- Minimum Sponsorship: $1.00
Featured Works
doganulus/reelay
A header-only C++ library for system-level verification and declarative testing of real-time systems with Python bindings.
Language: C++ - Stars: 34doganulus/timescales
A benchmark generator for Metric Temporal Logic (MTL) monitoring tools
Language: Shell - Stars: 6doganulus/python-monitors
A pure Python package to monitor formal specifications over temporal sequences
Language: Python - Stars: 17doganulus/montre
The original timed regular expression matcher over temporal behaviors
Language: C++ - Stars: 15doganulus/timedrel
A header-only C++ library that implements the algebra of timed relations + Python bindings
Language: C++ - Stars: 2Active Sponsors
sadikkuzu
Past Sponsors
Sponsor Breakdown
- User: 1