Doğan Ulus
doganulus
Assistant Professor of Computer Science
Languages
Repos
48
Stars
88
Forks
22
Top Language
C++
Loading contributions...
Top Repositories
A header-only C++ library for system-level verification and declarative testing of real-time systems with Python bindings.
A pure Python package to monitor formal specifications over temporal sequences
The original timed regular expression matcher over temporal behaviors
A benchmark generator for Metric Temporal Logic (MTL) monitoring tools
std::chrono inspired physical quantity/unit representation and manipulation library for C++11/14/17
A containerized unison service with systemd
Repositories
48The original timed regular expression matcher over temporal behaviors
A benchmark generator for Metric Temporal Logic (MTL) monitoring tools
A header-only C++ library for system-level verification and declarative testing of real-time systems with Python bindings.
No description provided.
CORE-V Wally is a configurable RISC-V Processor associated with RISC-V System-on-Chip Design textbook. Contains a 5-stage pipeline, support for A, B, C, D, F, M and Q extensions, and optional caches, BP, FPU, VM/MMU, AHB, RAMs, and peripherals.
No description provided.
No description provided.
No description provided.
Test environment for CMPE580 course
A list of free applications, libraries and datasets concerning the development of automated driving functions with focus on ASAM OpenX standards
Development environment and instructions for CMPE344 lab sessions
A generic interface for the environmental perception of automated driving functions in virtual scenarios.
zenoh unifies data in motion, data in-use, data at rest and computations. It carefully blends traditional pub/sub with geo-distributed storages, queries and computations, while retaining a level of time and space efficiency that is well beyond any of the mainstream stacks.
Sail RISC-V model
Sail architecture definition language
Enhanced config file parser, which merges config files placed in several locations into one.
a basic OpenSCENARIO player
My personal website
No description provided.
No description provided.
A pure Python package to monitor formal specifications over temporal sequences
A containerized unison service with systemd
Website
No description provided.
C++ API for zenoh
Repository to store mkdocs based documentation for the Open AD Kit
No description provided.
The Collection specification
No description provided.
std::chrono inspired physical quantity/unit representation and manipulation library for C++11/14/17