Publications and a short bio Research: My current research focus Acumen, a language for modeling, simulation, and verification of cyber-physical systems. Conference, Workshops, Summer Schools: Cyber Physical Systems Modeling: CyPhy'11 (Deadline 2010/12/15). More information about older events can be found here.