Research Output

Toward a high availability cloud: Techniques and challenges

Pham, C., Cao, P., Kalbarczyk, Z. T. & Iyer, R. K., Dec 1 2012, 2012 IEEE/IFIP 42nd International Conference on Dependable Systems and Networks Workshops, DSN-W 2012. 6264687. (Proceedings of the International Conference on Dependable Systems and Networks).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Toward a multi-method approach to formalizing human-automation interaction and human-human communications

Bass, E. J., Bolton, M. L., Feigh, K., Griffith, D., Gunter, E., Mansky, W. & Rushby, J., Dec 23 2011, 2011 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2011 - Conference Digest. p. 1817-1824 8 p. 6083935. (Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Toward a neuroscope: A real-time imaging system for evaluation of brain function

Potter, C. S., Liang, Z. P., Gregory, C. D., Morris, H. D. & Lauterbur, P. C., Jan 1 1994, In : Proceedings - International Conference on Image Processing, ICIP. 3, p. 25-29 5 p., 413895.

Research output: Contribution to journalConference article

Toward a neuroscope: An application of high-performance computing for real-time evaluation of brain function using MRI

Potter, C. S., Gregory, C. D., Morris, H. D., Liang, Z-P. & Lauterbur, P. C., 1994, Proceedings - Annual Meeting, Microscopy Society of America. Bailey, G. W. & Garratt-Reed, A. J. (eds.). p. 922-923 2 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Toward an Internet of Battlefield Things: A Resilience Perspective

Abdelzaher, T., Ayanian, N., Basar, T., Diggavi, S., Diesner, J., Ganesan, D., Govindan, R., Jha, S., Lepoint, T., Marlin, B., Nahrstedt, K., Nicol, D., Rajkumar, R., Russell, S., Seshia, S., Sha, F., Shenoy, P., Srivastava, M., Sukhatme, G., Swami, A. & 4 others, Tabuada, P., Towsley, D., Vaidya, N. & Veeravalli, V., Nov 2018, Computer, 51, 11, p. 24-36 13 p.

Research output: Contribution to specialist publicationArticle

Toward application-aware security and reliability

Iyer, R. K., Kalbarczyk, Z., Pattabiraman, K., Healey, W., Hwu, W. W., Klemperer, P. & Farivar, R., Jan 1 2007, In : IEEE Security and Privacy. 5, 1, p. 57-62 6 p.

Research output: Contribution to journalArticle

Toward a science of learning systems: A research agenda for the high-functioning Learning Health System

Friedman, C. P., Rubin, J., Brown, J., Buntin, M., Corn, M., Etheredge, L., Gunter, C., Musen, M., Platt, R., Stead, W., Sullivan, K. & Van Houweling, D., Jan 1 2015, In : Journal of the American Medical Informatics Association. 22, 1, p. 43-50 8 p.

Research output: Contribution to journalArticle

Toward optimal network topology design for fast and secure distributed computation

Liu, J. & Basar, M. T., Jan 1 2014, Decision and GameTheory for Security - 5th International Conference, GameSec 2014, Proceedings. Poovendran, R. & Saad, W. (eds.). Springer-Verlag, p. 234-245 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8840).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Toward physiology-aware DASH: Bandwidth-compliant prioritized clinical multimedia communication in ambulances

Hosseini, M., Jiang, Y., Berlin, R. R., Sha, L. & Song, H., Oct 2017, In : IEEE Transactions on Multimedia. 19, 10, p. 2307-2321 15 p., 7995124.

Research output: Contribution to journalArticle

Towards a Bayesian Approach for Assessing Fault Tolerance of Deep Neural Networks

Banerjee, S. S., Cyriac, J., Jha, S., Kalbarczyk, Z. T. & Iyer, R. K., Jun 2019, Proceedings - 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume, DSN-S 2019. Institute of Electrical and Electronics Engineers Inc., p. 25-26 2 p. 8805761. (Proceedings - 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume, DSN-S 2019).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Towards a brain computer interface based on the N2pc event-related potential

Awni, H., Norton, J. J. S., Umunna, S., Federmeier, K. D. & Bretl, T. W., Dec 1 2013, 2013 6th International IEEE EMBS Conference on Neural Engineering, NER 2013. p. 1021-1024 4 p. 6696110. (International IEEE/EMBS Conference on Neural Engineering, NER).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Towards a complete view of the certificate ecosystem

VanderSloot, B., Amann, J., Bernhard, M., Durumeric, Z., Bailey, M. & Alex Halderman, J., Nov 14 2016, IMC 2016 - Proceedings of the 2016 ACM Internet Measurement Conference. Association for Computing Machinery, p. 543-549 7 p. (Proceedings of the ACM SIGCOMM Internet Measurement Conference, IMC; vol. 14-16-November-2016).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Towards active learning on graphs: An error bound minimization approach

Gu, Q. & Han, J., Dec 1 2012, Proceedings - 12th IEEE International Conference on Data Mining, ICDM 2012. p. 882-887 6 p. 6413838. (Proceedings - IEEE International Conference on Data Mining, ICDM).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Towards a cyber-medical model for device configuration safety in acute care

Rahmaniheris, M., Sha, L. R., Berlin, R. B. & Goldman, J. M., Feb 10 2014, 2014 IEEE Healthcare Innovation Conference, HIC 2014. Institute of Electrical and Electronics Engineers Inc., p. 118-124 7 p. 7038889. (2014 IEEE Healthcare Innovation Conference, HIC 2014).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Towards a deeper understanding of link restoration algorithms for mesh networks

Lumetta, S. S. & Médard, M., 2001, In : Proceedings - IEEE INFOCOM. 1, p. 367-375 9 p.

Research output: Contribution to journalArticle

Towards a deeper understanding of managing dynamic optical networks under link failures

Kim, S. I., Zhang, X. J. & Lumetta, S. S., Jan 1 2008, National Fiber Optic Engineers Conference, NFOEC 2008. Optical Society of America, (Optics InfoBase Conference Papers).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Towards a deeper understanding of managing dynamic optical networks under link failures

Kim, S. I., Zhang, X. J. & Lumetta, S. S., Aug 19 2008, OFC/NFOEC 2008 - 2008 Conference on Optical Fiber Communication/National Fiber Optic Engineers Conference. 4528115. (OFC/NFOEC 2008 - 2008 Conference on Optical Fiber Communication/National Fiber Optic Engineers Conference).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Toward safe interoperations in network connected medical cyber-physical systems using open-loop safe protocols

Ou, A. Y. Z., Rahmaniheris, M., Jiang, Y., Wu, P. L. & Sha, L., Dec 13 2017, 2017 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2017. Institute of Electrical and Electronics Engineers Inc., p. 957-963 7 p. (IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD; vol. 2017-November).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Towards a flexible data center fabric with source routing

Jyothi, S. A., Dong, M. & Godfrey, P. B., Jun 17 2015, Symposium on Software Defined Networking (SDN) Research, SOSR 2015. Association for Computing Machinery, Inc, 2775005. (Symposium on Software Defined Networking (SDN) Research, SOSR 2015).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Towards a Flexible Fine-Grained Access Control System for Modern Cloud Applications

Shiftehfar, R., Mechitov, K. & Agha, G. A., Dec 3 2014, Proceedings - 2014 IEEE 7th International Conference on Cloud Computing, CLOUD 2014. IEEE Computer Society, p. 966-967 2 p. 6973850

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Towards a framework for differential unit testing of object-oriented programs

Xie, T., Taneja, K., Kale, S. & Marinov, D., Dec 1 2007, 29th International Conference on Software Engineering, ICSE'07 - 2nd International Workshop on Automation of Software Test, AST'07. 4296716. (Proceedings - International Conference on Software Engineering).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Towards a grand unified framework for mobile objects

Ballesteros, F. J., Kon, F., Arévalo, S. & Campbell, R. H., Jan 1 1998, Object-Oriented Technology: ECOOP 1998 Workshop Reader - ECOOP 1998 Workshops, Demos, and Posters, Proceedings. Demeyer, S. & Bosch, J. (eds.). Springer-Verlag, p. 317-318 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1543).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Towards a hierarchical taxonomy of autonomous agents

Tosic, P. T. & Agha, G. A., Dec 1 2004, 2004 IEEE International Conference on Systems, Man and Cybernetics, SMC 2004. p. 3421-3426 6 p. (Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics; vol. 4).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Towards a Kool Future

Lucanu, D., Şerbănuţă, T. F. & Rosu, G., Jan 1 2016, Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. Ábrahám, E., Bonsangue, M. & Johnsen, E. B. (eds.). Springer-Verlag, p. 325-343 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9660).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Towards a layered architecture for object-based execution in wide-area deeply embedded computing

Abdelzaher, T., Cao, Q., Ganti, R., Henriksson, D., Khan, M., Heo, J., Huang, C., Jayachandran, P., Le, H. K., Luo, L. & Tsai, Y. E., Nov 28 2007, Proceedings - 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing, ISORC 2007. p. 133-140 8 p. 4208836. (Proceedings - 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing, ISORC 2007).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Towards a meaningful metric for the quantification of GHG emissions of electric vehicles (EVs)

Manjunath, A. & Gross, G., Jan 1 2017, In : Energy Policy. 102, p. 423-429 7 p.

Research output: Contribution to journalArticle

Towards a module system for K

Hills, M. & Roşu, G., Sep 28 2009, Recent Trends in Algebraic Development Techniques - 19th International Workshop, WADT 2008, Revised Selected Papers. p. 187-205 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5486 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Towards a more fault resilient multigrid solver

Calhoun, J., Olson, L., Snir, M. & Gropp, W. D., Jan 1 2015, In : Simulation Series. 47, 4, p. 1-8 8 p.

Research output: Contribution to journalConference article

Towards an accountable software-defined networking architecture

Ujcich, B. E., Miller, A., Bates, A. & Sanders, W. H., Aug 7 2017, 2017 IEEE Conference on Network Softwarization: Softwarization Sustaining a Hyper-Connected World: en Route to 5G, NetSoft 2017. Institute of Electrical and Electronics Engineers Inc., p. 1-5 5 p. (2017 IEEE Conference on Network Softwarization: Softwarization Sustaining a Hyper-Connected World: en Route to 5G, NetSoft 2017; vol. 2017-August).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Towards an ecological approach to visual anticipation for expert performance in sport

Araújo, D. & Kirlik, A., Apr 1 2008, In : International Journal of Sport Psychology. 39, 2, p. 157-165 9 p.

Research output: Contribution to journalArticle

Towards an index of opportunity: Understanding in mental workload during task execution

Iqbal, S. T., Adamczyk, P. D., Zheng, X. S. & Bailey, B. P., Dec 27 2005, CHI 2005: Technology, Safety, Community: Conference Proceedings - Conference on Human Factors in Computing Systems. Kellogg, W., Zhai, S., Gale, C. & Veer, G. (eds.). p. 311-320 10 p. (CHI 2005: Technology, Safety, Community: Conference Proceedings - Conference on Human Factors in Computing Systems).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Towards an unified security testbed and security analytics framework

Cao, P., Badger, E. C., Kalbarczyk, Z. T., Iyer, R. K., Withers, A. & Slagell, A. J., Apr 21 2015, Proceedings of the 2015 Symposium and Bootcamp on the Science of Security, HotSoS 2015. Association for Computing Machinery, 2746218. (ACM International Conference Proceeding Series; vol. 21-22-April-2015).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Towards a pervasive computing benchmark

Ranganathan, A., Al-Muhtadi, J., Biehl, J., Ziebart, B., Campbell, R. H. & Bailey, B., Dec 1 2005, Third IEEE International Conference on Pervasive Computing and Communications Workshops, PerCom 2005 Workshops. p. 194-198 5 p. 1392830. (Third IEEE International Conference on Pervasive Computing and Communications Workshops, PerCom 2005 Workshops; vol. 2005).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Towards a strategy language for Maude

Martí-Oliet, N., Meseguer, J. & Verdejo, A., Jan 20 2005, In : Electronic Notes in Theoretical Computer Science. 117, SPEC. ISS., p. 417-441 25 p.

Research output: Contribution to journalArticle

Towards a test automation framework for alloy

Sullivan, A., Zaeem, R. N., Khurshid, S. & Marinov, D., Jul 21 2014, 2014 International SPIN Symposium on Model Checking of Software, SPIN 2014 - Proceedings. Association for Computing Machinery, Inc, p. 113-116 4 p. (2014 International SPIN Symposium on Model Checking of Software, SPIN 2014 - Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Towards a unified theory of operational and axiomatic semantics

Rośu, G. & Ştefǎnescu, A., Jan 1 2012, Automata, Languages, and Programming - 39th International Colloquium, ICALP 2012, Proceedings. PART 2 ed. Springer-Verlag Berlin Heidelberg, p. 351-363 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7392 LNCS, no. PART 2).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Towards automated safety vetting of PLC code in real-world plants

Zhang, M., Chen, C. Y., Kao, B. C., Qamsane, Y., Shao, Y., Lin, Y., Shi, E., Mohan, S., Barton, K., Moyne, J. & Mao, Z. M., May 2019, Proceedings - 2019 IEEE Symposium on Security and Privacy, SP 2019. Institute of Electrical and Electronics Engineers Inc., p. 522-538 17 p. 8835244. (Proceedings - IEEE Symposium on Security and Privacy; vol. 2019-May).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Towards automatic phone-to-phone communication for vehicular networking applications

Hu, S., Liu, H., Su, L., Wang, H., Abdelzaher, T. F., Hui, P., Zheng, W., Xie, Z. & Stankovic, J. A., Jan 1 2014, IEEE INFOCOM 2014 - IEEE Conference on Computer Communications. Institute of Electrical and Electronics Engineers Inc., p. 1752-1760 9 p. 6848113. (Proceedings - IEEE INFOCOM).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Towards a wind farm reduced-order model

Pulgar-Painemal, H. A. & Sauer, P. W., Aug 1 2011, In : Electric Power Systems Research. 81, 8, p. 1688-1695 8 p.

Research output: Contribution to journalArticle

Towards behavioral maude: Behavioral membership equational logic

Meseguer, J. & Roşu, G., Oct 2002, In : Electronic Notes in Theoretical Computer Science. 65, 1, p. 197-253 57 p.

Research output: Contribution to journalConference article

Towards building large scale multimedia systems and applications: Challenges and status

Nahrstedt, K. & Balke, W. T., Nov 11 2005, MSC 2005 - Proceedings of the 1st ACM International Workshop on Multimedia Service Composition, co-located with ACM Multimedia 2005. Association for Computing Machinery, Inc, p. 3-10 8 p. (MSC 2005 - Proceedings of the 1st ACM International Workshop on Multimedia Service Composition, co-located with ACM Multimedia 2005).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Towards context-aware web applications

Chang, P. H. & Agha, G., Dec 20 2007, Distributed Applications and Interoperable Systems - 7th IFIP WG 6.1 International Conference, DAIS 2007, Proceedings. p. 239-252 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4531 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Towards correct network virtualization

Ghorbani, S. & Godfrey, B., Feb 25 2015, In : Computer Communication Review. 44, 4, p. 657-662 6 p.

Research output: Contribution to journalConference article

Towards correct network virtualization

Ghorbani, S. & Godfrey, B., Jan 1 2014, HotSDN 2014 - Proceedings of the ACM SIGCOMM 2014 Workshop on Hot Topics in Software Defined Networking. Association for Computing Machinery, p. 109-114 6 p. (HotSDN 2014 - Proceedings of the ACM SIGCOMM 2014 Workshop on Hot Topics in Software Defined Networking).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Towards coverage closure: Using GoldMine assertions for generating design validation stimulus

Liu, L., Sheridan, D., Tuohy, W. & Vasudevan, S., May 31 2011, Proceedings - Design, Automation and Test in Europe Conference and Exhibition, DATE 2011. p. 173-178 6 p. 5763038. (Proceedings -Design, Automation and Test in Europe, DATE).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Towards cyber-physical systems in social spaces: The data reliability challenge

Wang, S., Wang, D., Su, L., Kaplan, L. & Abdelzaher, T. F., Jan 14 2015, Proceedings - IEEE 35th Real-Time Systems Symposium, RTSS 2014. January ed. Institute of Electrical and Electronics Engineers Inc., p. 74-85 12 p. 7010476. (Proceedings - Real-Time Systems Symposium; vol. 2015-January, no. January).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Towards designing and developing curriculum for the challenges of the smart grid education

Uludag, S., Sauer, P., Nahrstedt, K. & Yardley, T., Feb 17 2015, In : Proceedings - Frontiers in Education Conference, FIE. 2015-February, February, 7044469.

Research output: Contribution to journalConference article

Towards diagnostic simulation in sensor networks

Khan, M. M. H., Abdelzaher, T. & Gupta, K. K., Jul 1 2008, Distributed Computing in Sensor Systems - 4th IEEE International Conference, DCOSS 2008, Proceedings. p. 252-265 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5067 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Towards efficient induction mechanisms in database systems

Han, J., Oct 24 1994, In : Theoretical Computer Science. 133, 2, p. 361-385 25 p.

Research output: Contribution to journalArticle

Towards faster rates and oracle property for low-rank matrix estimation

Gui, H., Han, J. & Gu, Q., Jan 1 2016, 33rd International Conference on Machine Learning, ICML 2016. Weinberger, K. Q. & Balcan, M. F. (eds.). International Machine Learning Society (IMLS), p. 3405-3431 27 p. (33rd International Conference on Machine Learning, ICML 2016; vol. 5).

Research output: Chapter in Book/Report/Conference proceedingConference contribution