Michael J. Ocean

According to our database, Michael J. Ocean authored at least 5 papers between 2006 and 2010.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2010

Safe compositional network sketches: formal framework.

Azer Bestavros, Assaf J. Kfoury, Andrei Lapets, Michael J. Ocean

Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, 2010

2009

A formal type-centric framework for verification and resource allocation in pervasive Sense-and-Respond systems.

Michael J. Ocean, Assaf J. Kfoury, Azer Bestavros

Proceedings of the ICSE 2009 Workshop on Model-Based Methodologies for Pervasive and Embedded Software, 2009

2008

Wireless and physical security via embedded sensor networks.

Michael J. Ocean, Azer Bestavros

Proceedings of the First ACM Conference on Wireless Network Security, 2008

2007

Programming and Virtualization of Distributed Multitasking Sensor Networks.

Azer Bestavros, Michael J. Ocean

Proceedings of the Handbook of Real-Time and Embedded Systems., 2007

2006

snBench: programming and virtualization framework for distributed multitasking sensor networks.

Michael J. Ocean, Azer Bestavros, Assaf J. Kfoury

Proceedings of the 2nd International Conference on Virtual Execution Environments, 2006