Ecosyste.ms sponsors
An open API service aggregating public data about GitHub Sponsors.
An open API service aggregating public data about GitHub Sponsors.
Assistant Professor of Computer Science
Funding Links: https://github.com/sponsors/doganulus
Developing runtime verification tools for real-time systems.
A header-only C++ library for system-level verification and declarative testing of real-time systems with Python bindings.
Language: C++ - Stars: 33A benchmark generator for Metric Temporal Logic (MTL) monitoring tools
Language: Shell - Stars: 6A pure Python package to monitor formal specifications over temporal sequences
Language: Python - Stars: 16The original timed regular expression matcher over temporal behaviors
Language: C++ - Stars: 15A header-only C++ library that implements the algebra of timed relations + Python bindings
Language: C++ - Stars: 2