Michael OceanMichael Ocean, Assistant Professor
School of Arts & Sciences

Email: mocean@endicott.edu
Phone: 978-232-2878
Office Location: Judge Science Center
Office Number: 117


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. 



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.


Book Chapters:

[DVSN11] Azer Bestavros and Michael OceanVirtualization 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.
Award: $99,999


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.

Campus Involvement


  • Academic Policy Committee: 2009 - 2010. 
  • Diversity Committee: 2008 - 2009.
  • Graduate School Curriculum Committee: 2009 - Current. 
  • Technology Committee:  2008 - Current, (Chair 2009 - Current).


  • Math and Computer Science Club: Co-Organizer
  • Works-in-Progress


    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