Research Output

2018

Handbook of Attitudes: Basic Principles

Albarracin, D. & Johnson, B. T., 2018, 2nd ed. Taylor & Francis.

Research output: Book/ReportBook

Handbook of dynamic game theory

Başar, T. & Zaccour, G., Aug 12 2018, Springer International Publishing. 1285 p.

Research output: Book/ReportBook

Open Access

Hands off the wheel in autonomous vehicles? A systems perspective on over a million miles of field data

Banerjee, S. S., Jha, S., Cyriac, J., Kalbarczyk, Z. T. & Iyer, R. K., Jul 19 2018, Proceedings - 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2018. Institute of Electrical and Electronics Engineers Inc., p. 586-597 12 p. 8416518. (Proceedings - 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2018).

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

Hardware and software combined detection of system-level ESD-induced soft failures

Vora, S., Jiang, R., Vijayaraj, P. M., Feng, K., Xiu, Y., Vasudevan, S. & Rosenbaum, E., Oct 25 2018, Electrical Overstress/Electrostatic Discharge Symposium Proceedings, EOS/ESD 2018. ESD Association, (Electrical Overstress/Electrostatic Discharge Symposium Proceedings; vol. 2018-September).

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

Have You Recorded My Voice: Toward Robust Neighbor Discovery in Mobile Wireless Networks

Wu, F., Meng, T., Li, A., Chen, G. & Vaidya, N. H., Jun 2018, In : IEEE/ACM Transactions on Networking. 26, 3, p. 1432-1445 14 p.

Research output: Contribution to journalArticle

Henge: Intent-driven multi-tenant stream processing

Kalim, F., Xu, L., Bathey, S., Meherwal, R. & Gupta, I., Oct 11 2018, SoCC 2018 - Proceedings of the 2018 ACM Symposium on Cloud Computing. Association for Computing Machinery, Inc, p. 249-262 14 p. (SoCC 2018 - Proceedings of the 2018 ACM Symposium on Cloud Computing).

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

HetCore: TFET-CMOS hetero-Device architecture for CPUs and GPUs

Gopireddy, B., Skarlatos, D., Zhu, W. & Torrellas, J., Jul 19 2018, Proceedings - 2018 ACM/IEEE 45th Annual International Symposium on Computer Architecture, ISCA 2018. Institute of Electrical and Electronics Engineers Inc., p. 802-815 14 p. 8416874. (Proceedings - International Symposium on Computer Architecture).

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

Hierarchical control for electro-thermal power management of an electric vehicle powertrain

Docimo, D. J., Pangborn, H. C. & Alleyne, A. G., Jan 1 2018, Control and Optimization of Connected and Automated Ground Vehicles; Dynamic Systems and Control Education; Dynamics and Control of Renewable Energy Systems; Energy Harvesting; Energy Systems; Estimation and Identification; Intelligent Transportation and Vehicles; Manufacturing; Mechatronics; Modeling and Control of IC Engines and Aftertreatment Systems; Modeling and Control of IC Engines and Powertrain Systems; Modeling and Management of Power Systems. American Society of Mechanical Engineers (ASME), (ASME 2018 Dynamic Systems and Control Conference, DSCC 2018; vol. 2).

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

HiExpan: Task-guided taxonomy construction by hierarchical tree expansion

Shen, J., Wu, Z., Lei, D., Zhang, C., Ren, X., Vanni, M. T., Sadler, B. M. & Han, J., Jul 19 2018, KDD 2018 - Proceedings of the 24th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining. Association for Computing Machinery, p. 2180-2189 10 p. (Proceedings of the ACM SIGKDD International Conference on Knowledge Discovery and Data Mining).

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

High-coverage testing of softwarized networks

Prabhu, S., Chaudhry, G. I., Godfrey, B. & Caesar, M., Aug 7 2018, SecSoN 2018 - Proceedings of the 2018 Workshop on Security in Softwarized Networks: Prospects and Challenges, Part of SIGCOMM 2018. Association for Computing Machinery, Inc, p. 46-52 7 p. (SecSoN 2018 - Proceedings of the 2018 Workshop on Security in Softwarized Networks: Prospects and Challenges, Part of SIGCOMM 2018).

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

High power density air-cooled microchannel heat exchanger

Kwon, B., Maniscalco, N. I., Jacobi, A. M. & King, W. P., Mar 2018, In : International Journal of Heat and Mass Transfer. 118, p. 1276-1283 8 p.

Research output: Contribution to journalArticle

High-throughput Ant Colony Optimization on graphics processing units

Cecilia, J. M., Llanes, A., Abellán, J. L., Gómez-Luna, J., Chang, L. W. & Hwu, W. M. W., Mar 2018, In : Journal of Parallel and Distributed Computing. 113, p. 261-274 14 p.

Research output: Contribution to journalArticle

HIV messaging on Twitter: An analysis of current practice and data-driven recommendations

Lohmann, S., White, B. X., Zuo, Z., Chan, M. P. S., Morales, A., Li, B., Zhai, C. & Albarracín, D., Jan 1 2018, In : AIDS. 32, 18, p. 2799-2805 7 p.

Research output: Contribution to journalArticle

HPVM: Heterogeneous parallel virtual machine

Kotsifakou, M., Srivastava, P., Sinclair, M. D., Komuravelli, R., Adve, V. & Adve, S., Feb 10 2018, PPoPP 2018 - Proceedings of the 23rd Principles and Practice of Parallel Programming. Association for Computing Machinery, p. 68-80 13 p. (Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP).

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

HVAC system modeling and control: Vapor compression system modeling and control

Rasmussen, B. P., Price, C., Koeln, J., Keating, B. & Alleyne, A., Jan 1 2018, Advances in Industrial Control. 9783319684611 ed. Springer International Publishing, p. 73-103 31 p. (Advances in Industrial Control; no. 9783319684611).

Research output: Chapter in Book/Report/Conference proceedingChapter

IAFinder: Identifying potential implicit assumptions to facilitate validation in medical cyber-physical system

Fu, Z., Wang, Z., Guo, C., Zhang, Z., Ren, S. & Sha, L., Jun 24 2018, Proceedings of the 55th Annual Design Automation Conference, DAC 2018. Institute of Electrical and Electronics Engineers Inc., a143. (Proceedings - Design Automation Conference; vol. Part F137710).

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

Identification of landscape preferences by using social media analysis

Rai, A., Minsker, B., Diesner, J., Karahalios, K. & Sun, Y., May 25 2018, Proceedings - 3rd International Workshop on Social Sensing, SocialSens 2018. Institute of Electrical and Electronics Engineers Inc., p. 44-49 6 p. (Proceedings - 3rd International Workshop on Social Sensing, SocialSens 2018).

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

I know you'll be back: Interpretable new user clustering and churn prediction on a mobile social application

Yang, C., Shi, X., Luo, J. & Han, J., Jul 19 2018, KDD 2018 - Proceedings of the 24th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining. Association for Computing Machinery, p. 914-922 9 p. (Proceedings of the ACM SIGKDD International Conference on Knowledge Discovery and Data Mining).

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

Impact of Malicious SCADA Commands on Power Grids' Dynamic Responses

Lin, H., Kalbarczyk, Z. & Iyer, R. K., Dec 24 2018, 2018 IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids, SmartGridComm 2018. Institute of Electrical and Electronics Engineers Inc., 8587462. (2018 IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids, SmartGridComm 2018).

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

Impact of SCBA size and fatigue from different firefighting work cycles on firefighter gait

Kesler, R. M., Bradley, F. F., Deetjen, G. S., Angelini, M. J., Petrucci, M. N., Rosengren, K. S., Horn, G. P. & Hsiao-Wecksler, E. T., Sep 2 2018, In : Ergonomics. 61, 9, p. 1208-1215 8 p.

Research output: Contribution to journalArticle

Impact of SCBA size and firefighting work cycle on firefighter functional balance

Kesler, R. M., Deetjen, G. S., Bradley, F. F., Angelini, M. J., Petrucci, M. N., Rosengren, K. S., Horn, G. P. & Hsiao-Wecksler, E. T., May 2018, In : Applied Ergonomics. 69, p. 112-119 8 p.

Research output: Contribution to journalArticle

Impact of software approximations on the resiliency of a video summarization system

Venkatagiri, R., Swaminathan, K., Lin, C. C., Wang, L., Buyuktosunoglu, A., Bose, P. & Adve, S., Jul 19 2018, Proceedings - 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2018. Institute of Electrical and Electronics Engineers Inc., p. 598-609 12 p. 8416519. (Proceedings - 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2018).

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

Improved cross-coupled iterative learning control for contouring NURBS curves

Armstrong, A., Johnson, A. W. & Alleyne, A., Jan 1 2018, Control and Optimization of Connected and Automated Ground Vehicles; Dynamic Systems and Control Education; Dynamics and Control of Renewable Energy Systems; Energy Harvesting; Energy Systems; Estimation and Identification; Intelligent Transportation and Vehicles; Manufacturing; Mechatronics; Modeling and Control of IC Engines and Aftertreatment Systems; Modeling and Control of IC Engines and Powertrain Systems; Modeling and Management of Power Systems. American Society of Mechanical Engineers (ASME), (ASME 2018 Dynamic Systems and Control Conference, DSCC 2018; vol. 2).

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

Improved Structure from Motion Using Fiducial Marker Matching

DeGol, J., Bretl, T. & Hoiem, D., Jan 1 2018, Computer Vision – ECCV 2018 - 15th European Conference, 2018, Proceedings. Ferrari, V., Sminchisescu, C., Hebert, M. & Weiss, Y. (eds.). Springer-Verlag Berlin Heidelberg, p. 281-296 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11207 LNCS).

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

Incentive mechanism for privacy-aware data aggregation in mobile crowd sensing systems

Jin, H., Su, L., Xiao, H. & Nahrstedt, K., Oct 2018, In : IEEE/ACM Transactions on Networking. 26, 5, p. 2019-2032 14 p., 8438556.

Research output: Contribution to journalArticle

Indirect supervision for relation extraction using question-answer pairs

Wu, Z., Ren, X., Xu, F. F., Li, J. & Han, J., Feb 2 2018, WSDM 2018 - Proceedings of the 11th ACM International Conference on Web Search and Data Mining. Association for Computing Machinery, Inc, p. 646-654 9 p. (WSDM 2018 - Proceedings of the 11th ACM International Conference on Web Search and Data Mining; vol. 2018-Febuary).

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

Integrated Modeling for Battery Electric Vehicle Transcritical Thermal Management System

Garrow, S. G., Aksland, C. T., Sharma, S. & Alleyne, A. G., Aug 9 2018, 2018 Annual American Control Conference, ACC 2018. Institute of Electrical and Electronics Engineers Inc., p. 5632-5638 7 p. 8430912. (Proceedings of the American Control Conference; vol. 2018-June).

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

Integrating artificial intelligence with real-time intracranial EEG monitoring to automate interictal identification of seizure onset zones in focal epilepsy

Varatharajah, Y., Berry, B., Cimbalnik, J., Kremen, V., Van Gompel, J., Stead, M., Brinkmann, B., Iyer, R. & Worrell, G., Jun 27 2018, In : Journal of Neural Engineering. 15, 4, 046035.

Research output: Contribution to journalArticle

Integrity for GPS/LiDAR fusion utilizing a RAIM framework

Kanhere, A. V. & Gao, G. X., Jan 1 2018, Proceedings of the 31st International Technical Meeting of the Satellite Division of the Institute of Navigation, ION GNSS+ 2018. Institute of Navigation, p. 3145-3155 11 p. (Proceedings of the 31st International Technical Meeting of the Satellite Division of the Institute of Navigation, ION GNSS+ 2018).

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

Intelligent software engineering: Synergy between AI and software engineering

Xie, T., Feb 9 2018, iSOFT - Proceedings of the 11th Innovations in Software Engineering Conference, ISEC 2018. Association for Computing Machinery, a1. (ACM International Conference Proceeding Series).

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

Intelligent Software Engineering: Synergy Between AI and Software Engineering

Xie, T., Jan 1 2018, Dependable Software Engineering. Theories, Tools, and Applications - 4th International Symposium, SETTA 2018, Proceedings. Yang, Z., Feng, X. & Müller-Olm, M. (eds.). Springer-Verlag Berlin Heidelberg, p. 3-7 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10998 LNCS).

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

Interference management and backhaul design in wireless networks via a DoF analysis

Bande, M. & Veeravalli, V. V., Mar 29 2018, 2018 10th International Conference on Communication Systems and Networks, COMSNETS 2018. Institute of Electrical and Electronics Engineers Inc., p. 220-227 8 p. 8328201. (2018 10th International Conference on Communication Systems and Networks, COMSNETS 2018; vol. 2018-January).

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

Introduction to the special issue on emerging software technologies for internet-based systems: Internetware and DevOps

Xie, T., Van Hoorn, A., Wang, H. & Weber, I., Mar 2018, In : ACM Transactions on Internet Technology. 18, 2, 3173572.

Research output: Contribution to journalEditorial

Introduction to the special section on deep learning in FPGAS

Chen, D. & Wilton, S., Dec 2018, In : ACM Transactions on Reconfigurable Technology and Systems. 11, 3, 14.

Research output: Contribution to journalEditorial

Introduction to the theory of games

Başar, T., Aug 12 2018, Handbook of Dynamic Game Theory. Springer International Publishing, p. 3-59 57 p.

Research output: Chapter in Book/Report/Conference proceedingForeword/postscript

Invariant synthesis for incomplete verification engines

Neider, D., Garg, P., Madhusudan, P., Saha, S. & Park, D., Jan 1 2018, Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Proceedings. Beyer, D. & Huisman, M. (eds.). Springer-Verlag Berlin Heidelberg, p. 232-250 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10805 LNCS).

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

Investigating belief falsehood. Fear appeals do change behaviour in experimental laboratory studies. A commentary on Kok et al. (2018)

White, B. X. & Albarracín, D., Apr 3 2018, In : Health Psychology Review. 12, 2, p. 147-150 4 p.

Research output: Contribution to journalComment/debate

Investigating rumor news using agreement-aware search

Shang, J., Shen, J., Sun, T., Liu, X., Gruenheid, A., Korn, F., Lelkes, D., Yu, C. & Han, J., Oct 17 2018, CIKM 2018 - Proceedings of the 27th ACM International Conference on Information and Knowledge Management. Paton, N., Candan, S., Wang, H., Allan, J., Agrawal, R., Labrinidis, A., Cuzzocrea, A., Zaki, M., Srivastava, D., Broder, A. & Schuster, A. (eds.). Association for Computing Machinery, p. 2117-2126 10 p. (International Conference on Information and Knowledge Management, Proceedings).

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

Invisispec: Making speculative execution invisible in the cache hierarchy

Yan, M., Choi, J., Skarlatos, D., Morrison, A., Fletcher, C. & Torrellas, J., Dec 12 2018, Proceedings - 51st Annual IEEE/ACM International Symposium on Microarchitecture, MICRO 2018. IEEE Computer Society, p. 428-441 14 p. 8574559. (Proceedings of the Annual International Symposium on Microarchitecture, MICRO; vol. 2018-October).

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

ISAAC: Intelligent synchrophasor data real-time compression framework for WAMS

Ren, W., Yardley, T. & Nahrstedt, K., Apr 17 2018, 2017 IEEE International Conference on Smart Grid Communications, SmartGridComm 2017. Institute of Electrical and Electronics Engineers Inc., p. 430-436 7 p. 8340688. (2017 IEEE International Conference on Smart Grid Communications, SmartGridComm 2017; vol. 2018-January).

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

Iterative computation of security strategies in matrix games with growing action set

Li, L. & Langbort, C., Jan 18 2018, 2017 IEEE 56th Annual Conference on Decision and Control, CDC 2017. Institute of Electrical and Electronics Engineers Inc., p. 6205-6210 6 p. (2017 IEEE 56th Annual Conference on Decision and Control, CDC 2017; vol. 2018-January).

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

It's All in the Name: Why Some URLs are More Vulnerable to Typosquatting

Tahir, R., Raza, A., Ahmad, F., Kazi, J., Zaffar, F., Kanich, C. & Caesar, M., Oct 8 2018, INFOCOM 2018 - IEEE Conference on Computer Communications. Institute of Electrical and Electronics Engineers Inc., p. 2618-2626 9 p. 8486271. (Proceedings - IEEE INFOCOM; vol. 2018-April).

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

KEVM: A complete formal semantics of the ethereum virtual machine

Hildenbrandt, E., Saxena, M., Rodrigues, N., Zhu, X., Daian, P., Guth, D., Moore, B., Park, D., Zhang, Y., Stefanescu, A. & Rosu, G., Aug 7 2018, Proceedings - IEEE 31st Computer Security Foundations Symposium, CSF 2018. IEEE Computer Society, p. 204-217 14 p. 8429306. (Proceedings - IEEE Computer Security Foundations Symposium; vol. 2018-July).

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

Knowledge transfer from universities to regions as a network spreading process

Melo, A., Beck, C. L., Pena, J. I. & Pare, P. E., Nov 26 2018, 4th IEEE International Symposium on Systems Engineering, ISSE 2018 - Proceedings. Institute of Electrical and Electronics Engineers Inc., 8544398. (4th IEEE International Symposium on Systems Engineering, ISSE 2018 - Proceedings).

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

L1 Adaptive Output Feedback Augmentation for Missile Systems

Lee, H., Snyder, S. & Hovakimyan, N., Apr 2018, In : IEEE Transactions on Aerospace and Electronic Systems. 54, 2, p. 680-692 13 p.

Research output: Contribution to journalArticle

L2-gain analysis of periodic event-Triggered systems with varying delays using lifting techniques

Strijbosch, N. W. A., Dullerud, G. E., Teel, A. R. & Heemels, W. P. M. H., Jan 18 2018, 2017 IEEE 56th Annual Conference on Decision and Control, CDC 2017. Institute of Electrical and Electronics Engineers Inc., p. 6069-6075 7 p. (2017 IEEE 56th Annual Conference on Decision and Control, CDC 2017; vol. 2018-January).

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

Lagrange’s theorem for binary squares

Madhusudan, P., Nowotka, D., Rajasekaran, A. & Shallit, J., Aug 1 2018, 43rd International Symposium on Mathematical Foundations of Computer Science, MFCS 2018. Potapov, I., Worrell, J. & Spirakis, P. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 18. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 117).

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

Language semantics driven design and formal analysis for distributed cyber-physical systems

Ghosh, R., Misailovic, S. & Mitra, S., Jul 23 2018, ApPLIED 2018 - Proceedings of the 2018 Workshop on Advanced Tools, Programming Languages, and PLatforms for Implementing and Evaluating Algorithms for Distributed Systems, Co-located with PODC 2018. Association for Computing Machinery, p. 41-44 4 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing).

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