Software projects
bear  dopcenter
blast  m2t2
caltrop  metropolis
cases  mica
cosi  nephest
dif  smartnets
diva 
 
Special interest groups
apbd  mobies
asves  murieh
asvpapers  mvsis
concurrency  ransom
dopresence  recons
dopsysadmin  robosysadmin
eecsx44  savg
elab  sec
giotto  seminar
hyinfo  video
mescal 
 

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  
apbd Analog Platform Based Design
asves Analysis, Synthesis, Verification of Electronic Systems
asvpapers Papers under development by Alberto Sangiovanni-Vincentelli
concurrency Concurrency Class: EECS 290N
dopresence dopresence
dopsysadmin DOP Center Systems Administration
eecsx44 Fundamental Algorithms for System Modeling, Analysis, and Optimization
elab Embedded Lab
giotto A Methodology for Embedded Control Systems Development
hyinfo Interchange Format for Hybrid Systems
mescal Modern Embedded Systems: Compilers, Architectures, and Languages
mobies Model Based Integration of Embedded Software
murieh Embedded Humans: Provably Correct Decision Making for Networks of Humans and Unmanned Systems
mvsis mvsis
ransom Ransom users group
recons recons
robosysadmin Robotics group system administration
savg System Analysis and Verification Group
sec Software Enabled Control
seminar
video Video capture and collaboration
Administrative groups  
embedded The Embedded Website Workgroup
embeddedadmin Embedded Website Administrators' Workgroup
msgadmin MSG Administration workgroup
webmaster Webmasters
 
Contact 
©2002-2018 U.C. Regents