Pinned Repositories
AMS-Verify
AMS-Verify is an analog and mixed-signal (AMS) verification framework inspired from unit testing methodology.
awsim-container
container-unison
A containerized unison service with systemd
montre
The original timed regular expression matcher over temporal behaviors
python-monitors
A pure Python package to monitor formal specifications over temporal sequences
reelay
A header-only C++ library for system-level verification and declarative testing of real-time systems with Python bindings.
reelay-codegen
A code generator from high-level formal specifications for monitoring and pattern matching sequential/temporal data.
scalr
std::chrono inspired physical quantity/unit representation and manipulation library for C++11/14/17
timedrel
A header-only C++ library that implements the algebra of timed relations + Python bindings
timescales
A benchmark generator for Metric Temporal Logic (MTL) monitoring tools
doganulus's Repositories
doganulus/reelay
A header-only C++ library for system-level verification and declarative testing of real-time systems with Python bindings.
doganulus/python-monitors
A pure Python package to monitor formal specifications over temporal sequences
doganulus/montre
The original timed regular expression matcher over temporal behaviors
doganulus/reelay-codegen
A code generator from high-level formal specifications for monitoring and pattern matching sequential/temporal data.
doganulus/timescales
A benchmark generator for Metric Temporal Logic (MTL) monitoring tools
doganulus/scalr
std::chrono inspired physical quantity/unit representation and manipulation library for C++11/14/17
doganulus/awsim-container
doganulus/container-unison
A containerized unison service with systemd
doganulus/actions
doganulus/autoware-schema
doganulus/containers
Container images for a variety of tasks
doganulus/autoware-documentation
doganulus/collection-spec
The Collection specification
doganulus/cudd
A mirror of Colorado University Decision Diagram (CUDD) library
doganulus/cudd_with_cmake
doganulus/doganulus
Config files for my GitHub profile.
doganulus/doganulus.github.io
My personal website
doganulus/esmini
a basic OpenSCENARIO player
doganulus/labs344
Development environment and instructions for CMPE344 lab sessions
doganulus/open-ad-kit-docs
Repository to store mkdocs based documentation for the Open AD Kit
doganulus/open-simulation-interface
A generic interface for the environmental perception of automated driving functions in virtual scenarios.
doganulus/provision
doganulus/ridge_map
Ridge plots of ridges
doganulus/ros-examples
doganulus/ros2-humble-tutorial
doganulus/rosware
doganulus/rvbenchmark
doganulus/streamlit-example
Example Streamlit app that you can fork to test out share.streamlit.io
doganulus/test-arm-runner
doganulus/zenoh-cpp
C++ API for zenoh