西瓜视频

Skip to main content
西瓜视频 College
Apply Plan a Visit

Michael Ocean

Michael Ocean
Michael Ocean
Professor, Computer Science
西瓜视频 College School of Science and Technology
Contact
Judge Science Center , 117
mocean@endicott.edu
978-232-2878

Profile

Professor Ocean has been with 西瓜视频 since 2008.  Prior to his graduate work at Boston University, Professor Ocean was a Research Scientist at Telcordia Technologies, working in multimedia communications, wireless technologies and automated testing. He now applies his expertise in the fields of Sensor Networks, Distributed Systems and Software Engineering to his passion for pinball; his name can be found in the credits of quite a few games.
 
 

Education

Boston University
Doctor of Philosophy in Computer Science
August 2008

The Sensor Network Workbench: Towards Functional Specification, Verification and Deployment of Constrained Distributed Systems

Rutgers College
Bachelor of Science in Computer Science
May 1998 

Courses

Introduction to Computer Science
Programming for Games
Computer Architecture
Operating Systems
Visual Programming I and II
Introduction to Sensor Networks
Applied Robotics
Software Engineering
Mobile Application Development

Accomplishments

Awards

  • The Computer Science of Pinball (presentation). Faculty Forum Series, 西瓜视频 College, Beveryly, MA 2019.

    Seminar Presentation.  Texas Pinball Festival 2017, Frisco, TX. 2017.

    Distinguished Panel of Game Builders (panel). Pintastic New England 2016, Sturbridge, MA. 2016.

    Building and Programming Pinball Machines (demos). Pinball Expo (Vendor Hall), Chicago, IL. 2015, 2016.

    Teaching Computer Science with Pinball (keynote). Sigma Xi Honor Society Induction Ceremony, Gordon College, Wenham, MA. 2013.

    Safe Compositional Network Sketches: The Formal Framework. Azer Bestavros, Assaf Kfoury, Andrei Lapets, and Michael Ocean. In Proceedings of HSCC’10: The 13th ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2010 - in conjunction with CPSWEEK), Stockholm, Sweden, April 2010.

    Safe Compositional Network Sketches: Tool & Use Cases. Azer Bestavros, Assaf Kfoury, Andrei Lapets and Michael Ocean. In Proceedings of the Second Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2009 - in conjunction with IEEE RTSS), Washington, D.C., December 2009.

    A Formal Type-Centric Framework for Verification and Resource Allocation in Pervasive Sense-and-Respond Systems. Michael Ocean, Assaf Kfoury, and Azer Bestavros. In Proceedings of the 6th ICSE Workshop on Model-based Methodologies for Pervasive and Embedded Software (MOMPES’09), Vancouver, Canada, May 2009.

    The Sensor Network Workbench: Towards Functional Specification, Verification and Deployment of Constrained Distributed Systems. Michael Ocean.  Technical Report (PhD Thesis) BUCS-TR-2008-020, CS Department, Boston University, September 10, 2008.

    Wireless and Physical Security via Embedded Sensor Networks. Michael Ocean and Azer Bestavros. Best Paper Award, In Proceedings of the First ACM Conference on Wireless Network Security (WiSec 2008), pages 131-139, Alexandria, VA, April 2008.

    SNBENCH: Programming and Virtualization Framework for Distributed Multitasking Sensor Networks. Michael Ocean, Azer Bestavros, and Assaf Kfoury. In Proceedings of the 2nd ACM International Conference on Virtual Execution Environments (VEE 2006), pages 89-99, New York, NY, USA, June 2006.

    SNBENCH: A Development and Run-Time Platform for Rapid Deployment of Sensor Network Applications. Azer Bestavros, Adam Bradley, Assaf Kfoury, and Michael Ocean.In Proceedings of the IEEE International Workshop on Broadband Advanced Sensor Networks (Basenets’05), Boston, MA, Oct 2005.

    An Example of Using Presence and Availability in an Enterprise for Spontaneous, Multiparty, Multimedia Communications. (as Michael Long) Hyong Sop Shim, Chit Chung, Michael Long, Gardner Patton, and Siddhartha Dalal. In Proceedings of the 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.
    Award: $99,999

  • Committees:

    Academic Policy Committee: 2009 - 2010. 

    Diversity Committee: 2008 - 2009.

    Graduate School Curriculum Committee: 2009 - Current. 

    Technology Committee:  2008 - Current, (Chair 2009 - Current)

    Clubs:

    Math and Computer Science Club: Co-Organizer 

  • Patents:

    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.

Publications

  • Book Chapters:

    [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.