TY - CHAP AU - Azimi, S. R. AU - Bhatia, G. AU - Rajkumar, R. PY - 2011 DA - 2011// TI - Vehicular networks for collision avoidance at intersections BT - SAE 2011 world congress and exhibition ID - Azimi2011 ER - TY - CHAP AU - Ananthanarayanan, G. AU - Stoica, I. PY - 2009 DA - 2009// TI - Blue-Fi: enhancing Wi-Fi performance using bluetooth signals BT - Proceeding of MobiSys ID - Ananthanarayanan2009 ER - TY - CHAP AU - Bak, S. AU - Manamcheri, K. AU - Mitra, S. AU - Caccamo, M. PY - 2011 DA - 2011// TI - Sandboxing controllers for cyber-physical systems BT - 2nd ACM/IEEE ICCPS ID - Bak2011 ER - TY - STD TI - Bailey MD (2006) A scalable hybrid network monitoring architecture for measuring, characterizing, and tracking Internet threat dynamics. PhD thesis, University of Michigan ID - ref4 ER - TY - JOUR AU - Bellavista, P. AU - Corradi, A. AU - Giannelli, C. PY - 2011 DA - 2011// TI - A unifying perspective on context-aware evaluation and management of heterogeneous wireless connectivity JO - IEEE Commun Surv Tutor VL - 13 UR - https://doi.org/10.1109/SURV.2011.060710.00060 DO - 10.1109/SURV.2011.060710.00060 ID - Bellavista2011 ER - TY - STD TI - Bonnin JM, Lassoued I, Hamouda ZB (2009) Automatic multi-interface management through profile handling. Mob Netw Appl 14 ID - ref6 ER - TY - STD TI - Camp T, Boleng J, Davies V (2002) A survey of mobility models for ad hoc network research. Wirel Commun Mob Comput 2(5) ID - ref7 ER - TY - CHAP AU - Chandra, R. AU - Bahl, P. PY - 2004 DA - 2004// TI - MultiNet: connecting to multiple IEEE 802.11 networks using a single wireless card BT - Proceeding of INFOCOM ID - Chandra2004 ER - TY - STD TI - Chebrolu K, Rao R (2006) Bandwidth aggregation for real-time applications in heterogeneous wireless networks. IEEE Trans Mob Comput 5(4) ID - ref9 ER - TY - JOUR AU - Chen, B. AU - Tong, L. AU - Varshney, P. PY - 2006 DA - 2006// TI - Channel aware distributed detection in wireless sensor networks JO - IEEE Signal Process Mag VL - 23 UR - https://doi.org/10.1109/MSP.2006.1657814 DO - 10.1109/MSP.2006.1657814 ID - Chen2006 ER - TY - BOOK AU - Clavel, M. AU - Duran, F. AU - Eker, S. AU - Lincoln, P. AU - Oliet, N. M. AU - Meseguer, J. AU - Talcott, C. PY - 2007 DA - 2007// TI - All about Maude: a high-performance logical framework ID - Clavel2007 ER - TY - CHAP AU - Cook, D. J. AU - Das, S. K. PY - 2007 DA - 2007// TI - How smart are our environments? An updated look at the state of the art source BT - Proceeding of pervasive and mobile computing ID - Cook2007 ER - TY - STD TI - CYPRESS project: http://www.ics.uci.edu/~dsm/cypress/index.html UR - http://www.ics.uci.edu/~dsm/cypress/index.html ID - ref13 ER - TY - CHAP AU - Davison, C. AU - Massaguer, D. PY - 2010 DA - 2010// TI - Practical experiences in enabling and ensuring quality sensing in emergency response applications BT - IEEE PerNEM ID - Davison2010 ER - TY - CHAP AU - Erramilli, V. AU - Crovella, M. AU - Chaintreau, A. AU - Diot, C. PY - 2008 DA - 2008// TI - Delegation forwarding BT - MobiHoc ID - Erramilli2008 ER - TY - JOUR AU - Gastpar, M. AU - Vetterli, M. AU - Dragotti, P. L. PY - 2006 DA - 2006// TI - Sensing reality and communicating bits: a dangerous liaison JO - IEEE Signal Process Mag VL - 23 UR - https://doi.org/10.1109/MSP.2006.1657818 DO - 10.1109/MSP.2006.1657818 ID - Gastpar2006 ER - TY - BOOK AU - Ho, T. AU - Lun, D. S. PY - 2008 DA - 2008// TI - Network coding: an introduction PB - Cambridge University Press CY - Cambridge UR - https://doi.org/10.1017/CBO9780511754623 DO - 10.1017/CBO9780511754623 ID - Ho2008 ER - TY - STD TI - Ihler AT, Fisher JW III, Moses RL, Willsky AS (2005) Nonparametric belief propagation for self-localization of sensor networks. IEEE J Sel Areas Commun 23(4) ID - ref18 ER - TY - STD TI - Jones CE, Sivalingam KM, Agrawal P, Chen JC (2001) A survey of energy efficient network protocols for wireless networks. Wirel Netw 7 ID - ref19 ER - TY - CHAP AU - Kim, M. AU - Stehr, M. AU - Talcott, C. AU - Dutt, N. AU - Venkatasubramanian, N. PY - 2007 DA - 2007// TI - A probabilistic formal analysis approach to cross layer optimization in distributed embedded systems BT - 9th IFIP FMOODS’07 ID - Kim2007 ER - TY - STD TI - Koundourakis G, Axiotis DI, Argyropoulos M, Theologou M (2008) A network-centric approach for access and interface selection in heterogeneous wireless environments. Int J Commun Syst 21(5) ID - ref21 ER - TY - STD TI - Laprie J-C (2008) From dependability to resilience. DSN’08 Fast Abstracts ID - ref22 ER - TY - CHAP AU - LaViers, A. AU - Egerstedt, M. AU - Chen, Y. AU - Belta, C. PY - 2011 DA - 2011// TI - Automatic generation of balletic motions BT - IEEE/ACM ICCPS ID - LaViers2011 ER - TY - STD TI - Lee I, Pappa GJ et al (2006) High-confidence medical device software and systems. IEEE Comput 39(4) ID - ref24 ER - TY - CHAP AU - Luo, H. AU - Ramjee, R. AU - Sinha, P. AU - Li, L. AU - Lu, S. PY - 2003 DA - 2003// TI - UCAN: a unified cellular and ad-hoc network architecture BT - MobiCOM ID - Luo2003 ER - TY - JOUR AU - Meseguer, J. PY - 1992 DA - 1992// TI - Conditional rewriting logic as a unified model of concurrency JO - Theor Comput Sci VL - 96 UR - https://doi.org/10.1016/0304-3975(92)90182-F DO - 10.1016/0304-3975(92)90182-F ID - Meseguer1992 ER - TY - STD TI - Mohanty S, Akyildiz IF (2007) Performance analysis of handoff techniques based on mobile IP, TCP-migrate, and SIP. IEEE Trans Mob Comput 6(7) ID - ref27 ER - TY - CHAP AU - Ölveczky, P. C. AU - Meseguer, J. PY - 2007 DA - 2007// TI - Semantics and pragmatics of real-time Maude BT - Higher-order and symbolic computation ID - Ölveczky2007 ER - TY - CHAP AU - Pang, J. AU - Greenstein, B. AU - Kaminsky, M. AU - McCoy, D. AU - Seshan, S. PY - 2009 DA - 2009// TI - Wifi-reports: improving wireless network selection with collaboration BT - MobySis2009 ID - Pang2009 ER - TY - CHAP AU - Pras, A. AU - Meent, R. AU - Mandjes, M. PY - 2005 DA - 2005// TI - QoS in hybrid networks BT - Lecture notes in computer science ID - Pras2005 ER - TY - CHAP AU - Ramdhany, R. AU - Grace, P. AU - Coulson, G. PY - 2009 DA - 2009// TI - MANETKit: supporting the dynamic deployment and reconfiguration of ad-hoc routing protocols BT - ACM middleware ID - Ramdhany2009 ER - TY - STD TI - Rappaport S (1991) The multiple-call hand-off problem in high-capacity cellular communications systems. IEEE Trans Veh Technol ID - ref32 ER - TY - CHAP AU - Rowe, A. AU - Berges, M. AU - Rajkumar, R. PY - 2010 DA - 2010// TI - Contactless sensing of appliance state transitions BT - ACM BuildSys ID - Rowe2010 ER - TY - STD TI - SAFIRE project. http://www.ics.uci.edu/~projects/cert/safire.html UR - http://www.ics.uci.edu/~projects/cert/safire.html ID - ref34 ER - TY - CHAP AU - Sczyslo, S. AU - Schroeder, J. AU - Galler, S. AU - Kaiser, T. PY - 2008 DA - 2008// TI - Hybrid localization using UWB and inertial sensors BT - IEEE international conference on ultra-wideband ID - Sczyslo2008 ER - TY - CHAP AU - Stehr, M. AU - Talcott, C. PY - 2008 DA - 2008// TI - Planning and learning algorithms for routing in disruption-tolerant networks BT - MILCOM ID - Stehr2008 ER - TY - CHAP AU - Thiagarajan, A. AU - Ravindranath, L. PY - 2009 DA - 2009// TI - VTrack: accurate, energy-aware road traffic delay estimation using mobile phones BT - ACM SenSys ID - Thiagarajan2009 ER - TY - CHAP AU - Vaisenberg, R. AU - Mehrotra, S. PY - 2009 DA - 2009// TI - Exploiting semantics for scheduling data collection from sensors on real-time to maximize event detection BT - MMCN ID - Vaisenberg2009 ER - TY - CHAP AU - Xing, B. AU - Deshpande, M. PY - 2010 DA - 2010// TI - Gateway designation for timely communications in instant mesh networks BT - IEEE pervasive wireless networks ID - Xing2010 ER -