|
Date
|
Speaker
|
Topic/Abstract
|
Slides
|
|
Feb. 15
|
Shinya Umeno
|
“Event Order Abstraction for Parametric Real-Time
System Verification”; Abstract
|
|
|
Mar. 7
|
Nancy Griffeth and Jiang Wu
|
“VNSim: An ns2-based simulator for virtual infrastructure”;
Abstract
|
|
|
Mar. 14
|
Eunsuk Kang
|
“Formal Modeling and Analysis of a Flash
Filesystem in Alloy”; Abstract
|
ppt
|
|
Apr. 14
4-5:15pm, 32-G575
|
Fabian Kuhn
|
“In-Network Aggregation of Holistic
Functions”; Abstract
Joint meeting with A&C
|
|
|
Apr. 28, 4-5:15pm, 32-D463 (Star)
|
Shlomi Dolev
|
“Reactive k-Secret Sharing, Self-Organization and
Self-Programming”; Abstract
Papers: "Secret
Swarm Unit"
"Empire
of Colonies"
|
ppt1
ppt2
ppt3
|
