sigbed.seas.upenn.edu
Welcome to ACM SIGBED Review
http://sigbed.seas.upenn.edu/vol9_num1.html
Special Interest Group on Embedded Systems. SIGBED Review, Volume 9, Number 1, March 2012. The 32nd Conference on Computer Communications. Orlando, FL, USA. March 25 - 30, 2012. Beijing, China, April 16-19, 2012. International Conference on Hybrid Systems ( HSCC 2012. ACM/IEEE Second International Conference on Cyber-Physical Systems ( ICCPS 2012. International Conference on Information Processing in Sensor Networks ( IPSN 2012. The 6th ACM/IEEE International Symposium on Networks-on-Chip. May 10-12, 2012.
sigbed.seas.upenn.edu
Welcome to ACM SIGBED Review
http://sigbed.seas.upenn.edu/vol8_num4.html
Special Interest Group on Embedded Systems. SIGBED Review, Volume 8, Number 4, December 2011. Special Issue on the 10th International Workshop on Real-time Networks (RTN 2011). Introduction to the Special Issue. Special Issue on the 10th International Workshop on Real-time Networks (RTN 2011). 7th International Conference on High-Performance and Embedded Architectures and Compilers. January 23-25, 2012. 2nd ACM International Health Informatics Symposium. Miami, FL, USA. January 28-30, 2012. Paper submiss...
sarahmloos.wordpress.com
Presentations | Sarah M. Loos
https://sarahmloos.wordpress.com/about
Sarah M. Loos. 8220;Formal Verification of Distributed Aircraft Controllers”. PRECISE Seminar, University of Pennsylvania, Philadelphia, USA. 8220;Verifying Hybrid Systems with Automated Theorem Provers”. ITrust Seminar, Singapore University of Technology and Design (SUTD), Singapore. 8220;Verifying Hybrid Systems with Automated Theorem Provers”. PL Wonks Seminar, Indiana University – Bloomington, USA. 8220;Logical Analysis of Distributed Hybrid Systems”. Grace Hopper Celebration 2011, Portland, USA.