Design of an Embedded System: Bedside Patient Monitor Ertan Ozturk1, Ozan Emre Yapıcı2, Mehmet Unal2 and Osman Çakıcı2, 1University of North Dakota, USA, 2ERETNA Medical LLC, Turkey
Pip-MPU: Formal Verification of an MPU-Based Separationkernel for Constrained Devices Nicolas Dejon1,2, Chrystel Gaber1 and Gilles Grimaud2, 1Orange Labs, France, 2Univ. Lille, France
Tion Sport: A Mobile Application Designed to Improve a School’s Sport Event Scheduling System Junhong Duan1, Yujia Zhang2, 1USA, 2California State Polytechnic University, USA
