Software projects
bear	dopcenter
blast	m2t2
caltrop	metropolis
cases	mica
cosi	nephest
dif	smartnets
diva

Special interest groups
asves	mocpaper
asvpapers	mvsis
compaan	platform
concurrency	ransom
dopsysadmin	robosysadmin
elab	savg
giotto	sec
healtheu	sensorprivacy
hyinfo	systems
mescal	video
mobies	wow

The D.O.P. Center Collaborative Workspaces

Welcome to the D.O.P. Center collaborative research pages. These pages reflect current research activities within the D.O.P. Center, and provide a forum for all researchers associated with the D.O.P. Center to communicate and collaborate with one another.

Below is the listing of the collaborative workgroups on this site. At the left are short-cut links for the same.


Software projects
bear	Berkeley Aerobot
blast	Berkeley Lazy Abstraction Software Verification Tool
caltrop	Caltrop
cases	Compiler and Architecture Support for Embedded Systems
cosi	COmmunication Synthesis Infrastructure
dif	The Dataflow Interchange Format
diva	Dynamic Interactive Visualization
dopcenter	Donald O. Pederson Center Workgroup
m2t2	Research on multiple moving objects tracking in complex dynamic environment using multiple sensors mounted on unmanned autonomous vehicles
metropolis	Design Environment for Heterogeneous Systems
mica	Mixed Initiative Control for Automa-teams
nephest	Nephest
smartnets	Smart Networks Group

Special interest groups
asves	Analysis, Synthesis, Verification of Electronic Systems
asvpapers	Papers under development by Alberto Sangiovanni-Vincentelli
compaan	Compaan, compilation from Matlab to Process Networks
concurrency	Concurrency Class: EECS 290N
dopsysadmin	DOP Center Systems Administration
elab	Embedded Lab
giotto	A Methodology for Embedded Control Systems Development
healtheu	Health EU workgroup
hyinfo	Interchange Format for Hybrid Systems
mescal	Modern Embedded Systems: Compilers, Architectures, and Languages
mobies	Model Based Integration of Embedded Software
mocpaper	Model of Computation Paper sGroup
mvsis	mvsis
platform	Platform Repository
ransom	Ransom users group
robosysadmin	Robotics group system administration
savg	System Analysis and Verification Group
sec	Software Enabled Control
sensorprivacy	Privacy in Sensor Data
systems	System Level Design
video	Video capture and collaboration
wow	Berkeley Web over Wireless Group

Administrative groups
buildmaster	Build Master
embedded	The Embedded Website Workgroup
embeddedadmin	Embedded Website Administrators' Workgroup
msgadmin	MSG Administration workgroup
webmaster	Webmasters

You are not logged in