Research Output

2018

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

Learning Type-Aware Embeddings for Fashion Compatibility

Vasileva, M. I., Plummer, B. A., Dusad, K., Rajpal, S., Kumar, R. & Forsyth, D., Jan 1 2018, Computer Vision – ECCV 2018 - 15th European Conference, 2018, Proceedings. Weiss, Y., Ferrari, V., Sminchisescu, C. & Hebert, M. (eds.). Springer-Verlag Berlin Heidelberg, p. 405-421 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11220 LNCS).

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

Legacy and social media respectively influence risk perceptions and protective behaviors during emerging health threats: A multi-wave analysis of communications on Zika virus cases

Chan, M. P. S., Winneg, K., Hawkins, L., Farhadloo, M., Jamieson, K. H. & Albarracín, D., Sep 2018, In : Social Science and Medicine. 212, p. 50-59 10 p.

Research output: Contribution to journalArticle

Leveraging knowledge for path exposure

Shamoun, S., Mei, J., Abdelzaher, T. F. & Bar-Noy, A., Oct 25 2018, Proceedings - 14th Annual International Conference on Distributed Computing in Sensor Systems, DCOSS 2018. Institute of Electrical and Electronics Engineers Inc., p. 103-110 8 p. 8510966. (Proceedings - 14th Annual International Conference on Distributed Computing in Sensor Systems, DCOSS 2018).

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

Lifetime-preserving reference models for characterizing spreading dynamics on temporal networks

Li, M., Rao, V. D., Gernat, T. & Dankowicz, H., Dec 1 2018, In : Scientific reports. 8, 1, 709.

Research output: Contribution to journalArticle

Linear quadratic mean field Stackelberg differential games

Moon, J. & Başar, T., Nov 2018, In : Automatica. 97, p. 200-213 14 p.

Research output: Contribution to journalArticle

Load Capacity Improvements in Nucleic Acid Based Systems Using Discrete-Time Feedback Control

Jafarnejadsani, H., Kim, J., Kulkarni, V. & Hovakimyan, N., Jun 22 2018, 2018 5th International Conference on Control, Decision and Information Technologies, CoDIT 2018. Institute of Electrical and Electronics Engineers Inc., p. 1-6 6 p. (2018 5th International Conference on Control, Decision and Information Technologies, CoDIT 2018).

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

Local algorithms for sensor selection

Shamoun, S., Abdelzaher, T., Tu, T. & Bar-Noy, A., Oct 25 2018, PE-WASUN 2018 - Proceedings of the 15th ACM International Symposium on Performance Evaluation of Wireless Ad Hoc, Sensor, and Ubiquitous Networks. Association for Computing Machinery, Inc, p. 84-91 8 p. (PE-WASUN 2018 - Proceedings of the 15th ACM International Symposium on Performance Evaluation of Wireless Ad Hoc, Sensor, and Ubiquitous Networks).

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

Loop path reduction by state pruning

Gao, J. & Lumetta, S. S., Sep 3 2018, ASE 2018 - Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering. Kastner, C., Huchard, M. & Fraser, G. (eds.). Association for Computing Machinery, Inc, p. 838-843 6 p. (ASE 2018 - Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering).

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

Low-cost hardware architectures for mersenne modulo functional units

Campbell, K., Lin, C. H. & Chen, D., Feb 20 2018, ASP-DAC 2018 - 23rd Asia and South Pacific Design Automation Conference, Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 599-604 6 p. (Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC; vol. 2018-January).

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

Lp analysis and synthesis of linear switched systems: A unified input-output and state-space approach

Naghnaeian, M., Voulgaris, P. G. & Dullerud, G. E., Jan 1 2018, In : SIAM Journal on Control and Optimization. 56, 2, p. 1181-1205 25 p.

Research output: Contribution to journalArticle

Machine learning helps identify new drug mechanisms in triple-negative breast cancer

Athreya, A. P., Gaglio, A. J., Cairns, J., Kalari, K. R., Weinshilboum, R. M., Wang, L., Kalbarczyk, Z. T. & Iyer, R. K., Jul 2018, In : IEEE Transactions on Nanobioscience. 17, 3, p. 251-259 9 p., 8401331.

Research output: Contribution to journalArticle

Macromolecule mapping of the brain using ultrashort-TE acquisition and reference-based metabolite removal

Lam, F., Li, Y., Clifford, B. & Liang, Z-P., May 2018, In : Magnetic Resonance in Medicine. 79, 5, p. 2460-2469 10 p.

Research output: Contribution to journalArticle

Markov-Nash equilibria in mean-field games with discounted cost

Saldi, N., Başar, T. & Raginsky, M., Jan 1 2018, In : SIAM Journal on Control and Optimization. 56, 6, p. 4256-4287 32 p.

Research output: Contribution to journalArticle

Measuring ethereum network peers

Kim, S. K., Mason, J., Ma, Z., Miller, A., Murali, S. & Bailey, M., Oct 31 2018, IMC 2018 - Proceedings of the Internet Measurement Conference. Association for Computing Machinery, p. 91-104 14 p. (Proceedings of the ACM SIGCOMM Internet Measurement Conference, IMC).

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

Measuring the Mappability Spectrum of Reference Genome Assemblies

Stephens, Z. D. & Iyer, R. K., Aug 15 2018, ACM-BCB 2018 - Proceedings of the 2018 ACM International Conference on Bioinformatics, Computational Biology, and Health Informatics. Association for Computing Machinery, Inc, p. 47-52 6 p. (ACM-BCB 2018 - Proceedings of the 2018 ACM International Conference on Bioinformatics, Computational Biology, and Health Informatics).

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

Medium Access Control in Wireless Network-on-Chip: A Context Analysis

Abadal, S., Mestres, A., Torrellas, J., Alarcon, E. & Cabellos-Aparicio, A., Jun 2018, In : IEEE Communications Magazine. 56, 6, p. 172-178 7 p.

Research output: Contribution to journalArticle

Message from the general and program chairs

Forsyth, D., Laptev, I., Oliva, A., Ramanan, D., Brown, M. S., Morse, B. & Peleg, S., Dec 13 2018, In : IEEE Computer Society Conference on Computer Vision and Pattern Recognition Workshops. 2018-June, p. xxxviii-xxxix 8575506.

Research output: Contribution to journalEditorial

Message from the General and Program Chairs

Forsyth, D., Laptev, I., Oliva, A., Ramanan, D., Brown, M. S., Morse, B. & Peleg, S., Dec 14 2018, In : Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition. p. cxviii-cxix 8578103.

Research output: Contribution to journalEditorial

Message from the general co-chairs

Abdelzaher, T. F. & Wu, T., Oct 9 2018, In : Proceedings - International Conference on Computer Communications and Networks, ICCCN. 2018-July, 8487304.

Research output: Contribution to journalEditorial

Meta-Graph Based HIN Spectral Embedding: Methods, Analyses, and Insights

Yang, C., Feng, Y., Li, P., Shi, Y. & Han, J., Dec 27 2018, 2018 IEEE International Conference on Data Mining, ICDM 2018. Institute of Electrical and Electronics Engineers Inc., p. 657-666 10 p. 8594890. (Proceedings - IEEE International Conference on Data Mining, ICDM; vol. 2018-November).

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

Metalevel algorithms for variant satisfiability

Skeirik, S. & Meseguer, J., Apr 2018, In : Journal of Logical and Algebraic Methods in Programming. 96, p. 81-110 30 p.

Research output: Contribution to journalArticle

Millimeter-scale liquid metal droplet thermal switch

Yang, T., Kwon, B., Weisensee, P. B., Kang, J. G., Li, X., Braun, P., Miljkovic, N. & King, W. P., Feb 5 2018, In : Applied Physics Letters. 112, 6, 063505.

Research output: Contribution to journalArticle

Millimeter-Wave Propagation within a Computer Chip Package

Timoneda, X., Abadal, S., Cabellos-Aparicio, A., Manessis, D., Zhou, J., Franques, A., Torrellas, J. & Alarcon, E., Apr 26 2018, 2018 IEEE International Symposium on Circuits and Systems, ISCAS 2018 - Proceedings. Institute of Electrical and Electronics Engineers Inc., 8351875. (Proceedings - IEEE International Symposium on Circuits and Systems; vol. 2018-May).

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

Minimum Precision Requirements for Deep Learning with Biomedical Datasets

Sakr, C. & Shanbhag, N., Dec 20 2018, 2018 IEEE Biomedical Circuits and Systems Conference, BioCAS 2018 - Proceedings. Institute of Electrical and Electronics Engineers Inc., 8584732. (2018 IEEE Biomedical Circuits and Systems Conference, BioCAS 2018 - Proceedings).

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

Mining android app descriptions for permission requirements recommendation

Liu, X., Leng, Y., Yang, W., Zhai, C. & Xie, T., Oct 12 2018, Proceedings - 2018 IEEE 26th International Requirements Engineering Conference, RE 2018. Amyot, D., Maalej, W. & Ruhe, G. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 147-158 12 p. 8491131. (Proceedings - 2018 IEEE 26th International Requirements Engineering Conference, RE 2018).

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

Mining container image repositories for software configuration and beyond

Xu, T. & Marinov, D., May 27 2018, Proceedings 2018 ACM/IEEE 40th International Conference on Software Engineering: New Ideas and Emerging Results, ICSE-NIER 2018. IEEE Computer Society, p. 49-52 4 p. (Proceedings - International Conference on Software Engineering).

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

Misleading Claims About Tobacco Products in YouTube Videos: Experimental Effects of Misinformation on Unhealthy Attitudes

Albarracin, D., Romer, D., Jones, C., Hall Jamieson, K. & Jamieson, P., Jun 29 2018, In : Journal of Medical Internet Research. 20, 6, p. e229

Research output: Contribution to journalArticle

Mobile biosensing using the sensing capabilities of smartphone cameras

Cunningham, B. T., Long, K. D., Yu, H., Chen, W., Sun, F., Ornob, A., Ganguli, A., Lumetta, S. & Bashir, R., Jan 4 2018, 2017 IEEE MTT-S International Microwave Workshop Series on Advanced Materials and Processes for RF and THz Applications, IMWS-AMP 2017. Institute of Electrical and Electronics Engineers Inc., p. 1-3 3 p. (2017 IEEE MTT-S International Microwave Workshop Series on Advanced Materials and Processes for RF and THz Applications, IMWS-AMP 2017; vol. 2018-January).

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

Model and Integrate Medical Resource Available Times and Relationships in Verifiably Correct Executable Medical Best Practice Guideline Models

Guo, C., Fu, Z., Zhang, Z., Ren, S. & Sha, L., Aug 21 2018, Proceedings - 9th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2018. Institute of Electrical and Electronics Engineers Inc., p. 253-262 10 p. 8443739. (Proceedings - 9th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2018).

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

Model checking indistinguishability of randomized security protocols

Bauer, M. S., Chadha, R., Prasad Sistla, A. & Viswanathan, M., Jan 1 2018, Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings. Weissenbacher, G. & Chockler, H. (eds.). Springer-Verlag Berlin Heidelberg, p. 117-135 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10982 LNCS).

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

Modeling cyber attacks at intelligent traffic signals

Comert, G., Pollard, J., Nicol, D. M., Palani, K. & Vignesh, B., Jan 1 2018, In : Transportation Research Record. 2672, 1, p. 76-89 14 p.

Research output: Contribution to journalArticle

Modeling humans: A general agent model for the evaluation of security

Rausch, M., Fawaz, A., Keefe, K. & Sanders, W. H., Jan 1 2018, Quantitative Evaluation of Systems - 15th International Conference, QEST 2018, Proceedings. Horvath, A. & McIver, A. (eds.). Springer-Verlag Berlin Heidelberg, p. 373-388 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11024 LNCS).

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

Model predictive control of a pumped two-phase cooling system with microchannel heat exchangers

Angatkina, O. & 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

Modification of social dominance in social networks by selective adjustment of interpersonal weights

Ye, M., Liu, J., Anderson, B. D. O., Yu, C. & Basar, T., Jan 18 2018, 2017 IEEE 56th Annual Conference on Decision and Control, CDC 2017. Institute of Electrical and Electronics Engineers Inc., p. 2906-2911 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

Modular Verification of Sequential Composition for Private Channels in Maude-NPA

Yang, F., Escobar, S., Meadows, C. & Meseguer, J., Jan 1 2018, Security and Trust Management - 14th International Workshop, STM 2018, Proceedings. Alcaraz, C., Katsikas, S. K. & Katsikas, S. K. (eds.). Springer-Verlag Berlin Heidelberg, p. 20-36 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11091 LNCS).

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

Motion planning of fully actuated closed kinematic chains with revolute joints: A comparative analysis

Sintov, A., Borum, A. & Bretl, T., Oct 2018, In : IEEE Robotics and Automation Letters. 3, 4, p. 2886-2893 8 p.

Research output: Contribution to journalArticle

Multiple GPS fault detection and isolation using a Graph-SLAM framework

Bhamidipati, S. & Gao, G. X., 2018, Proceedings of the 31st International Technical Meeting of the Satellite Division of the Institute of Navigation, ION GNSS+ 2018. Institute of Navigation, p. 2672-2681 10 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

Multi-zone temperature modeling and control

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

Research output: Chapter in Book/Report/Conference proceedingChapter

Near-optimal compressed sensing of a class of sparse low-rank matrices via sparse power factorization

Lee, K., Wu, Y. & Bresler, Y., Mar 2018, In : IEEE Transactions on Information Theory. 64, 3, p. 1666-1698 33 p.

Research output: Contribution to journalArticle

NEST: Efficient Transport of Data Summaries over Named Data Networks

Khalil, K., Aqil, A., Krishnamurthy, S. V., Abdelzaher, T. & Kaplan, L., Jul 2 2018, 2018 IFIP Networking Conference IFIP Networking and Workshops, IFIP Networking 2018 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 280-288 9 p. 8696427. (2018 IFIP Networking Conference IFIP Networking and Workshops, IFIP Networking 2018 - Proceedings).

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