http://mlab.seas.upenn.edu Real-Time & Embedded Systems Laboratory - University of Pennsylvania Sun, 08 Jan 2017 18:05:58 +0000 en-US hourly 1 https://wordpress.org/?v=4.6.9 http://mlab.seas.upenn.edu/heart-on-a-chip-won-1st-prize-award-of-excellence-of-high-tech-medical-service-in-the-world-embedded-software-contestwesc/ Fri, 07 Dec 2012 20:37:09 +0000 http://mlab.seas.upenn.edu/?p=2962 http://mlab.seas.upenn.edu/mlab-wins-the-1st-prize-in-the-seas-senior-design-competition-congrats-to-the-pvs-team/ Tue, 21 Aug 2012 02:59:02 +0000 http://mlab.seas.upenn.edu/?p=1839 http://mlab.seas.upenn.edu/tacas-paper-nominated-for-best-paper-award/ Fri, 11 May 2012 00:08:10 +0000 http://alliance.seas.upenn.edu/~mlabweb/dynamic/?p=996 http://mlab.seas.upenn.edu/rtas-model-translation-paper-won-ieee-best-student-paper-award/ Tue, 24 Apr 2012 20:40:16 +0000 http://alliance.seas.upenn.edu/~mlabweb/dynamic/?p=987 http://mlab.seas.upenn.edu/vhm-in-distinguished-lecture-series-uiuc-march-2011/ Mon, 13 Feb 2012 17:54:14 +0000 http://alliance.seas.upenn.edu/~mlabweb/dynamic/?p=805