Skip to Content
Report an accessibility problem
Bruce Weide

Bruce Weide

Posters

2012

Pavlic, T. P., S. P. Peddi, P. A. Sivilotti and B. W. Weide. 2012. Getting out of the way — safety verification without compromise. Poster presented at the 2012 IEEE/ACM Third International Conference on Cyber-physical Systems, 17-19 April 2012, Beijing, China. (link )

2011

Ozguner, U., A. Krishnamurthy, F. Ozguner, K. Redmill, P. A. Sivilotti, B. W. Weide and T. P. Pavlic. 2011. CPS: Autonomous driving in urban environments. Poster presented at the 2011 CPS PI Meeting, 1-2 August 2011, National Harbor, MD. (link )

Pavlic, T. P., P. A. Sivilotti, A. D. Weide and B. W. Weide. 2011. Verification of smooth and close collision-free cruise control. Poster presented at the 2011 Symposium on Control and Modeling Cyber-Physical Systems, 20-21 October 2011, Urbana-Champaign, IL. (link )