A SURVEY OF DATAMINING METHODS FOR SENSOR NETWORK BUG DIAGNOSIS - Managing and Mining Sensor Data - page 446

tems of black boxes. In Proceedings of the nineteenth ACM sym-
posium on Operating systems principles (SOSP'03) , pages 74-89,
2003. Bolton Landing, NY, USA.
[4] A. Al-Nayeem, L. Sha, D. Cofer, and S. Miller. Pattern-based
composition and analysis of virtually synchronized real-time dis-
tributed systems. In International Conference on Cyber-physical
Systems , April 2012.
[5] C. Baier and J.-P. Katoen. Principles of Model Checking (Repre-
sentation and Mind Series) . The MIT Press, 2008.
[6] S. Bak, D. K. Chivukula, O. Adekunle, M. Sun, M. Caccamo, and
L. Sha. The system-level simplex architecture for improved real-
time embedded system safety. In Proceedings of the 2009 15th
IEEE Symposium on Real-Time and Embedded Technology and
Applications , RTAS '09, pages 99-107, Washington, DC, USA,
2009. IEEE Computer Society.
[7] S. Bak, A. Greer, and S. Mitra. Hybrid cyberphysical system ver-
ification with simplex using discrete abstractions. In IEEE Tech-
nology and Applications Symposium , April 1996.
[8] S. Bak, K. Manamcheri, S. Mitra, and M. Caccamo. Sandboxing
controllers for cyber-physical systems. In International Conference
on Cyber-physical Systems , April 2011.
[9] S. Bhatti, J. Carlson, H. Dai, J. Deng, J. Rose, A. Sheth,
B. Shucker, C. Gruenwald, A. Torgerson, and R. Han. Mantis os:
An embedded multithreaded operating system for wireless micro
sensor platforms. ACM/Kluwer Mobile Networks and Applications
(MONET) , 10(4):563-579, August 2005.
[10] P. Bodik, G. Friedman, L. Biewald, H. Levine, G. Candea, K. Pa-
tel, G. Tolle, J. Hui, A. Fox, M. I. Jordan, and D. Patterson.
Combining visualization and statistical analysis to improve opera-
tor confidence and e ciency for failure detection and localization.
In Proceedings of the 2nd International Conference on Autonomic
Computing(ICAC'05) , 2005.
[11] D. Bucur and M. Z. Kwiatkowska. Software verification for tinyos.
In Proceedings of the 9th ACM/IEEE International Conference on
Information Processing in Sensor Networks , IPSN '10, pages 400-
401, New York, NY, USA, 2010. ACM.
[12] Q. Cao, T. Abdelzaher, J. Stankovic, and T. He. The liteos op-
erating system: Towards unix-like abstractions for wireless sensor
networks. In Proceedings of the Seventh International Conference
on Information Processing in Sensor Networks (IPSN'08) ,April
2008.