Pinned Repositories
active
ACTIVE - a tool for integrating analysis contracts.
active-examples
System and contract examples for the ACTIVE tool.
coco-case-studies
Confidence Composition: Case Studies
collision_detection_aadl
An AADL model of self-driving car using a collision detection system
ctrl-perc-contracts
A repository for models and source related to controller-perception contracts.
IPL
Integration Property Language
IPLProjects
libtpclient-py
A library which includes nice features for developing clients in python, includes things like caching support.
prospect
Time series data generation from probabilistic and independence specifications
tpclient-pywx
The primary client, uses wxPython to look like a native application on Windows, Mac OS X and Linux (Gnome).
bisc's Repositories
bisc/collision_detection_aadl
An AADL model of self-driving car using a collision detection system
bisc/prospect
Time series data generation from probabilistic and independence specifications
bisc/libtpclient-py
A library which includes nice features for developing clients in python, includes things like caching support.
bisc/tpclient-pywx
The primary client, uses wxPython to look like a native application on Windows, Mac OS X and Linux (Gnome).
bisc/active
ACTIVE - a tool for integrating analysis contracts.
bisc/active-examples
System and contract examples for the ACTIVE tool.
bisc/coco-case-studies
Confidence Composition: Case Studies
bisc/ctrl-perc-contracts
A repository for models and source related to controller-perception contracts.
bisc/IPL
Integration Property Language
bisc/IPLProjects
bisc/prob-comp-asst
Probabilistic computational assistant.
bisc/cpu-measure
Measure cpu consumption
bisc/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.
bisc/osate2-core
Open Source AADL2 Tool Environment
bisc/osate2-plugins
Analysis plugins for OSATE2
bisc/rainbow
Rainbow self-adaptive framework
bisc/turtlebot
The turtlebot stack provides all the basic drivers for running and using a TurtleBot.