Ivan Ruchkin's repositories
collision_detection_aadl
An AADL model of self-driving car using a collision detection system
libtpclient-py
A library which includes nice features for developing clients in python, includes things like caching support.
tpclient-pywx
The primary client, uses wxPython to look like a native application on Windows, Mac OS X and Linux (Gnome).
active-examples
System and contract examples for the ACTIVE tool.
coco-case-studies
Confidence Composition: Case Studies
ctrl-perc-contracts
A repository for models and source related to controller-perception contracts.
prob-comp-asst
Probabilistic computational assistant.
cpu-measure
Measure cpu consumption
CSrankings
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
osate2-core
Open Source AADL2 Tool Environment
osate2-plugins
Analysis plugins for OSATE2
turtlebot
The turtlebot stack provides all the basic drivers for running and using a TurtleBot.