19-day longest streak
Doğan Ulus I am an assistant professor of Computer Science at the Department of Computer Engineering at Boğaziçi University. The primary focus of my research is to develop testing, verification,…
Doğan Ulus
I am an assistant professor of Computer Science at the Department of Computer Engineering at Boğaziçi University. The primary focus of my research is to develop testing, verification, and validation tools and techniques that support the development of complex cyber-physical systems including highly automated driving systems and autonomous robots.
All based on formal methods and good software development practices...
Short Bio
Dogan Ulus obtained his BSc and MSc in Electrical Engineering from the Boğaziçi University, Istanbul, Turkey in 2011 and in 2013, respectively. He completed his Ph.D. thesis, Pattern Matching with Time: Theory and Applications at the Verimag laboratory, Grenoble, France, in 2018 under the liberal supervision of Dr. Oded Maler. After a post-doc at the Boston University Robotics Lab, he switched to the industry as a senior verification engineer at Samsung Semiconductor, Inc. in San Jose, CA, USA to work on testing automated driver assistance systems at Smart Machines group. He joined the Department of Computer Engineering at Boğaziçi University, Istanbul, Turkey as an assistant professor in 2021. His research interests include runtime verification, safety validation of highly automated driving systems, and automata theory.
-
reelay ★ PINNED
A header-only C++ library for system-level verification and declarative testing of real-time systems with Python bindings.
C++ ★ 44 5mo agoExplain → -
timescales ★ PINNED
A benchmark generator for Metric Temporal Logic (MTL) monitoring tools
Shell ★ 9 6mo agoExplain → -
montre ★ PINNED
The original timed regular expression matcher over temporal behaviors
C++ ★ 16 3y agoExplain → -
cudd ★ PINNED ⑂
A mirror of Colorado University Decision Diagram (CUDD) library
C ★ 0 6y agoExplain → -
python-monitors
A pure Python package to monitor formal specifications over temporal sequences
Python ★ 17 6y agoExplain → -
reelay-codegen
A code generator from high-level formal specifications for monitoring and pattern matching sequential/temporal data.
Python ★ 6 6y agoExplain → -
scalr
std::chrono inspired physical quantity/unit representation and manipulation library for C++11/14/17
C++ ★ 2 2y agoExplain → -
AMS-Verify ▣
AMS-Verify is an analog and mixed-signal (AMS) verification framework inspired from unit testing methodology.
Python ★ 2 12y agoExplain → -
timedrel
A header-only C++ library that implements the algebra of timed relations + Python bindings
C++ ★ 2 6y agoExplain → -
container-unison
A containerized unison service with systemd
Dockerfile ★ 1 1y agoExplain → -
awsim-container
No description.
★ 1 2y agoExplain → -
esmini-containers
No description.
★ 0 1mo agoExplain → -
fomtl-benchmark
No description.
★ 0 5mo agoExplain → -
cvw ⑂
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.
SystemVerilog ★ 0 5mo agoExplain → -
rybinx
No description.
★ 0 6mo agoExplain → -
autoware-documentation ⑂
No description.
Python ★ 0 6mo agoExplain → -
interval_set
No description.
★ 0 8mo agoExplain → -
cmpe580
Test environment for CMPE580 course
★ 0 8mo agoExplain → -
awesome-openx ⑂
A list of free applications, libraries and datasets concerning the development of automated driving functions with focus on ASAM OpenX standards
★ 0 8mo agoExplain → -
labs344 ⑂
Development environment and instructions for CMPE344 lab sessions
Makefile ★ 0 10mo agoExplain → -
open-simulation-interface ⑂
A generic interface for the environmental perception of automated driving functions in virtual scenarios.
Python ★ 0 10mo agoExplain → -
zenoh ⑂
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.
Rust ★ 0 10mo agoExplain → -
sail-riscv ⑂
Sail RISC-V model
Sail ★ 0 11mo agoExplain → -
sail ⑂
Sail architecture definition language
Sail ★ 0 11mo agoExplain → -
libeconf ⑂
Enhanced config file parser, which merges config files placed in several locations into one.
C ★ 0 1y agoExplain → -
esmini ⑂
a basic OpenSCENARIO player
C++ ★ 0 1y agoExplain → -
doganulus.github.io
My personal website
HTML ★ 0 1y agoExplain → -
rust-examples
No description.
★ 0 1y agoExplain → -
test-arm-runner
No description.
Dockerfile ★ 0 1y agoExplain → -
old.doganulus.github.io
Website
HTML ★ 0 8y agoExplain → -
rvbenchmark
No description.
★ 0 1y agoExplain → -
zenoh-cpp ⑂
C++ API for zenoh
★ 0 2y agoExplain → -
open-ad-kit-docs ⑂
Repository to store mkdocs based documentation for the Open AD Kit
Dockerfile ★ 0 2y agoExplain → -
collection-spec
The Collection specification
Makefile ★ 0 2y agoExplain → -
ros-examples
No description.
★ 0 2y agoExplain → -
actions
No description.
★ 0 2y agoExplain → -
autoware-schema
No description.
★ 0 3y agoExplain → -
provision
No description.
Dockerfile ★ 0 3y agoExplain → -
rosware
No description.
★ 0 3y agoExplain → -
ros2-humble-tutorial
No description.
★ 0 3y agoExplain → -
doganulus
Config files for my GitHub profile.
★ 0 4y agoExplain → -
containers
Container images for a variety of tasks
Dockerfile ★ 0 4y agoExplain → -
ridge_map ⑂
Ridge plots of ridges
★ 0 4y agoExplain → -
streamlit-example ⑂
Example Streamlit app that you can fork to test out share.streamlit.io
★ 0 5y agoExplain → -
cudd_with_cmake
No description.
C ★ 0 6y agoExplain → -
benchmark-challenge-2018 ⑂
Collection of submissions for the 2018 Runtime Verification Benchmark Challenge
C++ ★ 0 7y agoExplain → -
pyjavu
A Python implementation of the monitoring tool DejaVu
Python ★ 0 8y agoExplain → -
formats-website
http://www.formats-conference.org/
JavaScript ★ 0 9y agoExplain → -
tool_lists ⑂
Links to tools by subject
★ 0 10y agoExplain →
No repos match these filters.