SummaryMichael Ocean is an Associate Professor of Computer Science, teaching courses ranging from Intro to Computer Science to Programming for Games, and Mobile Application Development. Professor Ocean received his B.S. in Computer Science from Rutgers College and his Ph.D. from Boston University, where he was also an instructor. Prior to his graduate work, Professor Ocean was a Research Scientist at Telcordia Technologies, where he worked in the areas of multimedia communications, wireless technologies and automated testing. His research work (in the fields of Sensor Networks, Distributed Systems and Software Engineering) has been published in book chapters and conferences.
This is a list of all of the classes that I have taught at Endicott. Classes that I am teaching this semester are shown in bold.
- CSC101 - Introduction to Computers and Information Technology
- CSC160 - Introduction to Programming
- CSC170 - Computer Architecture
- CSC200 - Intro to Web Development and Programming
- CSC255 - Programming for Games and Interactive Technologies
- CSC301 - Systems Analysis and Design
- CSC335 - Mobile Application Programming
- CSC380 - Operating Systems
- CSC390 - Cyber-Threats and Security
- CSC480 - Semester Internship
- CSC489 - Thesis I
- CSC490 - Thesis II
Ph.D. Computer Science, Boston University, (Completed) August 2008.
The Sensor Network Workbench: Towards Functional Specification, Verification and Deployment of Constrained Distributed Systems
B.S. Computer Science, Rutgers College, May 1998.
[DVSN11] Azer Bestavros and Michael Ocean. Virtualization And Programming Support For Video Sensor Networks With Application To Wireless And Physical Security. In B. Bhanu, C. Ravishankar, A. Roy-Chowdhury, D. Terzopoulos, and H. Aghajan, editors, Distributed Video Sensor Networks, chapter 12, pages 179-192. Springer, 2011.
[HRTES07] Azer Bestavros and Michael Ocean. Programming and Virtualization of Distributed Multitasking Sensor Networks. Insup Lee, Joseph Leung, and Sang Son, editors, Handbook of Real-Time and Embedded Systems, chapter 23. CRC Press, 2007.
Refereed Conference Proceedings:
[CRTS09] Azer Bestavros, Assaf Kfoury, Andrei Lapets and Michael Ocean. Safe Compositional Network Sketches: Tool & Use Cases. In Proceedings of the Second Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2009), Washington, D.C., December 2009.
[MOMPES09] Michael Ocean, Assaf Kfoury and Azer Bestavros. A Formal Type-Centric Framework for Verification and Resource Allocation in Pervasive Sense-and-Respond Systems. In Proceedings of the Sixth ICSE Workshop on Model-based Methodologies for Pervasive and Embedded Software (MOMPES 2009), Vancouver, CA, May 2009.
[WISEC08] Michael Ocean and Azer Bestavros. Wireless and Physical Security via Embedded Sensor Networks. Best Paper Award, In Proceedings of the First ACM Conference on Wireless Network Security (WiSec 2008), pages 131-139, Alexandria, VA, April 2008.
[VEE06] Michael Ocean, Azer Bestavros, and Assaf Kfoury. SNBENCH: Programming and Virtualization Framework for Distributed Multitasking Sensor Networks. In Proceedings of the 2nd ACM International Conference on Virtual Execution Environments (VEE 2006), pages 89-99, New York, NY, USA, June 2006.
[BN05] Azer Bestavros, Adam Bradley, Assaf Kfoury, and Michael Ocean. SNBENCH: A Development and Run-Time Platform for Rapid Deployment of Sensor Network Applications. In Proceedings of the IEEE International Workshop on Broadband Advanced Sensor Networks (Basenets 2005), Boston, MA, October 2005.
[IPTEL01] Hyong Sop Shim, Chit Chung, Michael Long, Gardner Patton, and Siddhartha Dalal. An Example of Using Presence and Availability in an Enterprise for Spontaneous, Multiparty, Multimedia Communications. 2nd IP-Telephony Workshop (IPTEL2001), pages. 138-148, April 2001.
Best Paper Award: Michael Ocean and Azer Bestavros.
Wireless and Physical Security via Embedded Sensor Networks
First ACM Conference on Wireless Network Security, 2008.
National Science Foundation Award: Co-authored proposal that builds on my research.
Title: Leveraging Type Systems for High-Assurance Cyber-Physical Systems # 0720604
Program: CISE/CNS Computing Systems Research, 2007.
Michael Long. Methods and Systems for Monitoring Quality Assurance.(Patent #6,754,847; Issued June 22, 2004), Co-Inventors: S.R. Dalal, A. Jain, G. Patton, M. Rathi, J. Appenzeller.
Michael Long. A Method and System for Providing Secure, Instantaneous, Directory Integrated, Multiparty, Communications Services. (Provisional led 2001), Co-Inventors: S.R. Dalal, G. Patton, R. Graveman, C. Chung, G. Di Crescenzo, H. Shim.
Works-in-ProgressACTIVE RESEARCH PROJECTS:
Development, verification and run-time infrastructure for Sensor Networks.
The snBench is a suite of high-level languages and compilers, execution environments, and resource allocation and management components that provide a platform for research on embedded Sensor Networks and distributed Sensory Applications. An expansive view of the snBench can be found in the text [HRTES07] and the code-base is available at: http://csr.bu.edu/snbench