|
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 |