Research Output

2018

Associative unification and symbolic reasoning modulo associativity in maude

Durán, F., Eker, S., Escobar, S., Martí-Oliet, N., Meseguer, J. & Talcott, C., Jan 1 2018, Rewriting Logic and Its Applications - 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, 2018, Proceedings. Rusu, V. (ed.). Springer-Verlag Berlin Heidelberg, p. 98-114 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11152 LNCS).

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

Asymptotic behavior of a reduced conjunctive Boolean network

Chen, X., Gao, Z. & Basar, T., Jan 18 2018, 2017 IEEE 56th Annual Conference on Decision and Control, CDC 2017. Institute of Electrical and Electronics Engineers Inc., p. 4404-4409 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

Athena: Towards decision-centric anticipatory sensor information delivery

Lee, J., Marcus, K., Abdelzaher, T., Amin, T. A., Bar-Noy, A., Dron, W., Govindan, R., Hobbs, R., Hu, S., Kim, J. E., Sha, L., Yao, S. & Zhao, Y., Jan 1 2018, In : Journal of Sensor and Actuator Networks. 7, 1, 5.

Research output: Contribution to journalArticle

Attitudes and Attitude Change

Albarracin, D. & Shavitt, S., Jan 4 2018, In : Annual review of psychology. 69, p. 299-327 29 p.

Research output: Contribution to journalReview article

Audio Based Handwriting Input for Tiny Mobile Devices

Yu, T., Jin, H. & Nahrstedt, K., Jun 26 2018, Proceedings - IEEE 1st Conference on Multimedia Information Processing and Retrieval, MIPR 2018. Institute of Electrical and Electronics Engineers Inc., p. 130-135 6 p. (Proceedings - IEEE 1st Conference on Multimedia Information Processing and Retrieval, MIPR 2018).

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

Augmentation of physician assessments with multi-omics enhances predictability of drug response: A case study of major depressive disorder

Athreya, A., Iyer, R., Neavin, D., Wang, L., Weinshilboum, R., Kaddurah-Daouk, R., Rush, J., Frye, M. & Bobo, W., Aug 2018, In : IEEE Computational Intelligence Magazine. 13, 3, p. 20-31 12 p., 8416980.

Research output: Contribution to journalArticle

Augmented Joint Stiffness and Actuation Using Architectures of Soft Pneumatic Actuators

Thompson, N., Zhang, X., Ayala, F., Hsiao-Wecksler, E. T. & Krishnan, G., Sep 10 2018, 2018 IEEE International Conference on Robotics and Automation, ICRA 2018. Institute of Electrical and Electronics Engineers Inc., p. 1533-1538 6 p. 8460746. (Proceedings - IEEE International Conference on Robotics and Automation).

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

A Unified Framework for Decentralized Control Synthesis

Naghnaeian, M., Voulgaris, P. G. & Elia, N., Nov 27 2018, 2018 European Control Conference, ECC 2018. Institute of Electrical and Electronics Engineers Inc., p. 2482-2487 6 p. 8550564. (2018 European Control Conference, ECC 2018).

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

A unified input-output approach for networked control problems with decentralized and selfish optimality

Voulgaris, P. G. & Elia, N., Aug 9 2018, 2018 Annual American Control Conference, ACC 2018. Institute of Electrical and Electronics Engineers Inc., p. 5976-5981 6 p. 8430932. (Proceedings of the American Control Conference; vol. 2018-June).

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

Authenticated Data Structures for Privacy-Preserving Monero Light Clients

Lee, K. & Miller, A., Jul 6 2018, Proceedings - 3rd IEEE European Symposium on Security and Privacy Workshops, EURO S and PW 2018. Institute of Electrical and Electronics Engineers Inc., p. 20-28 9 p. (Proceedings - 3rd IEEE European Symposium on Security and Privacy Workshops, EURO S and PW 2018).

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

Automated Phrase Mining from Massive Text Corpora

Shang, J., Liu, J., Jiang, M., Ren, X., Voss, C. R. & Han, J., Oct 1 2018, In : IEEE Transactions on Knowledge and Data Engineering. 30, 10, p. 1825-1837 13 p., 8306825.

Research output: Contribution to journalArticle

Automatically generating security models from system models to aid in the evaluation of AMI deployment options

Rausch, M., Keefe, K., Feddersen, B. & Sanders, W. H., Jan 1 2018, Critical Information Infrastructures Security - 12th International Conference, CRITIS 2017, Revised Selected Papers. D’Agostino, G. & Scala, A. (eds.). Springer-Verlag Berlin Heidelberg, p. 156-167 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10707 LNCS).

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

Automation and Adaptive Behavior

Kirlik, A., Mar 1 2018, In : Journal of Cognitive Engineering and Decision Making. 12, 1, p. 70-73 4 p.

Research output: Contribution to journalArticle

A variation-tolerant in-memory machine learning classifier via on-chip training

Gonugondla, S. K., Kang, M. & Shanbhag, N. R., Nov 2018, In : IEEE Journal of Solid-State Circuits. 53, 11, p. 3163-3173 11 p., 8463601.

Research output: Contribution to journalArticle

AVFI: Fault Injection for Autonomous Vehicles

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

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

Bayesian Estimation of the DINA Q matrix

Chen, Y., Culpepper, S. A., Chen, Y. & Douglas, J. A., Mar 1 2018, In : Psychometrika. 83, 1, p. 89-108 20 p.

Research output: Contribution to journalArticle

Benchmarking microservice systems for software engineering research

Zhou, X., Peng, X., Xie, T., Sun, J., Xu, C., Ji, C. & Zhao, W., May 27 2018, Proceedings - International Conference on Software Engineering. IEEE Computer Society, p. 323-324 2 p. (Proceedings - International Conference on Software Engineering).

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

Bespoke Processors for Applications with Ultra-Low Area and Power Constraints

Cherupalli, H., Duwe, H., Ye, W., Kumar, R. & Sartori, J., May 1 2018, In : IEEE Micro. 38, 3, p. 32-39 8 p.

Research output: Contribution to journalArticle

Beta-defensin 1, aryl hydrocarbon receptor and plasma kynurenine in major depressive disorder: Metabolomics-informed genomics

Liu, D., Ray, B., Neavin, D. R., Zhang, J., Athreya, A. P., Biernacka, J. M., Bobo, W. V., Hall-Flavin, D. K., Skime, M. K., Zhu, H., Jenkins, G. D., Batzler, A., Kalari, K. R., Boakye-Agyeman, F., Matson, W. R., Bhasin, S. S., Mushiroda, T., Nakamura, Y., Kubo, M., Iyer, R. K. & 4 others, Wang, L., Frye, M. A., Kaddurah-Daouk, R. & Weinshilboum, R. M., Dec 1 2018, In : Translational psychiatry. 8, 1, 56.

Research output: Contribution to journalArticle

Biased reference counting: Minimizing atomic operations in garbage collection

Choi, J., Shull, T. & Torrellas, J., Nov 1 2018, Proceedings - 27th International Conference on Parallel Architectures and Compilation Techniques, PACT 2018. Institute of Electrical and Electronics Engineers Inc., a35. (Parallel Architectures and Compilation Techniques - Conference Proceedings, PACT).

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

Brief announcement: Partially replicated causally consistent shared memory

Xiang, Z. & Vaidya, N. H., Jul 23 2018, PODC 2018 - Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing. Association for Computing Machinery, p. 273-275 3 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing).

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

Brief announcement: Optimal record and replay under causal consistency

Jones, R. L., Khan, M. S. & Vaidya, N. H., Jul 23 2018, PODC 2018 - Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing. Association for Computing Machinery, p. 277-279 3 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing).

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

Case Study of An Energy-Saving Game for Public Buildings

Cheng, Z., Zhao, Q. & Başar, T., Dec 4 2018, 2018 IEEE 14th International Conference on Automation Science and Engineering, CASE 2018. IEEE Computer Society, p. 684-689 6 p. 8560530. (IEEE International Conference on Automation Science and Engineering; vol. 2018-August).

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

CERTS 2018 Introduction

Asplund, M. & Mohan, S., Jul 19 2018, In : Proceedings - 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, DSN-W 2018. 1 p., 8416242.

Research output: Contribution to journalEditorial

Characterizing scalability issues in spreadsheet software using online forums

Mack, K., Lee, J., Chang, K., Karahalios, K. & Parameswaran, A., Apr 20 2018, CHI 2018 - Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems: Engage with CHI. Association for Computing Machinery, CS04. (Conference on Human Factors in Computing Systems - Proceedings; vol. 2018-April).

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

Characterizing Supercomputer Traffic Networks Through Link-Level Analysis

Jha, S., Brandt, J., Gentile, A., Kalbarczyk, Z. & Iyer, R., Oct 29 2018, Proceedings - 2018 IEEE International Conference on Cluster Computing, CLUSTER 2018. Institute of Electrical and Electronics Engineers Inc., p. 562-570 9 p. 8514916. (Proceedings - IEEE International Conference on Cluster Computing, ICCC; vol. 2018-September).

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

CLEF: Limiting the damage caused by large flows in the internet core

Wu, H., Hsiao, H. C., Asoni, D. E., Scherrer, S., Perrig, A. & Hu, Y. C., Jan 1 2018, Cryptology and Network Security - 17th International Conference, CANS 2018, Proceedings. Papadimitratos, P. & Camenisch, J. (eds.). Springer-Verlag Berlin Heidelberg, p. 89-108 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11124 LNCS).

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

CoDrive: Cooperative Driving Scheme for Vehicles in Urban Signalized Intersections

Zhao, Y., Yao, S., Shao, H. & Abdelzaher, T., Aug 21 2018, Proceedings - 9th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2018. Institute of Electrical and Electronics Engineers Inc., p. 308-319 12 p. 8443744. (Proceedings - 9th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2018).

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

Cognitive radio from hell: Flipping attack on direct-sequence spread spectrum

Harshan, J. & Hu, Y. C., Jun 8 2018, 2018 IEEE Wireless Communications and Networking Conference, WCNC 2018. Institute of Electrical and Electronics Engineers Inc., p. 1-6 6 p. (IEEE Wireless Communications and Networking Conference, WCNC; vol. 2018-April).

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

Collaborative (CPU + GPU) Algorithms for Triangle Counting and Truss Decomposition

Mailthody, V. S., Date, K., Qureshi, Z., Pearson, C., Nagi, R., Xiong, J. & Hwu, W. M., Nov 26 2018, 2018 IEEE High Performance Extreme Computing Conference, HPEC 2018. Institute of Electrical and Electronics Engineers Inc., 8547517. (2018 IEEE High Performance Extreme Computing Conference, HPEC 2018).

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

Collision Avoidance Based on Line-of-Sight Angle: Guaranteed Safety Using Limited Information About the Obstacle

Cichella, V., Marinho, T., Stipanović, D., Hovakimyan, N., Kaminer, I. & Trujillo, A., Jan 1 2018, In : Journal of Intelligent and Robotic Systems: Theory and Applications. 89, 1-2, p. 139-153 15 p.

Research output: Contribution to journalArticle

Collision avoidance in multi-vehicle cooperative missions using speed adjustment

Mehdi, S. B., Cichella, V., Marinho, T. & Hovakimyan, N., Jan 18 2018, 2017 IEEE 56th Annual Conference on Decision and Control, CDC 2017. Institute of Electrical and Electronics Engineers Inc., p. 2152-2157 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

CommanderSong: A systematic approach for practical adversarial voice recognition

Yuan, X., Chen, Y., Zhao, Y., Long, Y., Liu, X., Chen, K., Zhang, S., Huang, H., Wang, X. F. & Gunter, C. A., Jan 1 2018, Proceedings of the 27th USENIX Security Symposium. USENIX Association, p. 49-64 16 p. (Proceedings of the 27th USENIX Security Symposium).

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

Communicating algorithmic process in online behavioral advertising

Eslami, M., Kumaran, S. R. K., Sandvig, C. & Karahalios, K., Apr 20 2018, CHI 2018 - Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems: Engage with CHI. Association for Computing Machinery, (Conference on Human Factors in Computing Systems - Proceedings; vol. 2018-April).

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

Compact modeling to device- and circuit-level evaluation of flexible TMD field-effect transistors

Gholipour, M., Chen, Y. Y. & Chen, D., Apr 2018, In : IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 37, 4, p. 820-831 12 p., 7984874.

Research output: Contribution to journalArticle

Complexity of model checking MDPs against LTL specifications

Kini, D. & Viswanathan, M., Jan 1 2018, 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2017. Lokam, S. & Ramanujam, R. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 35. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 93).

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

Compositional synthesis of piece-wise functions by learning classifiers

Neider, D., Saha, S. & Madhusudan, P., Feb 2018, In : ACM Transactions on Computational Logic. 19, 2, 10.

Research output: Contribution to journalArticle

Congestion control for future mobile networks

Mangiante, S., Silva, M. D., Schapira, M., Godfrey, B., Navon, A., Wang, W., Smith, K. & Pechtalt, I., Oct 1 2018, CHANTS 2018 - Proceedings of the 13th Workshop on Challenged Networks, Co-located with MobiCom 2018. Association for Computing Machinery, p. 55-61 7 p. (Proceedings of the Annual International Conference on Mobile Computing and Networking, MOBICOM).

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

Controllability of Conjunctive Boolean Networks with Application to Gene Regulation

Gao, Z., Chen, X. & Basar, T., Jun 2018, In : IEEE Transactions on Control of Network Systems. 5, 2, p. 770-781 12 p.

Research output: Contribution to journalArticle

Controller design for two-input single-output systems exploiting plant/controller alignment

Weir, N. A. & Alleyne, A. G., Jan 1 2018, Advances in Control Design Methods; Advances in Nonlinear Control; Advances in Robotics; Assistive and Rehabilitation Robotics; Automotive Dynamics and Emerging Powertrain Technologies; Automotive Systems; Bio Engineering Applications; Bio-Mechatronics and Physical Human Robot Interaction; Biomedical and Neural Systems; Biomedical and Neural Systems Modeling, Diagnostics, and Healthcare. American Society of Mechanical Engineers (ASME), (ASME 2018 Dynamic Systems and Control Conference, DSCC 2018; vol. 1).

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

Controller Synthesis Made Real: Reach-Avoid Specifications and Linear Dynamics

Fan, C., Mathur, U., Mitra, S. & 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. 347-366 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10981 LNCS).

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

CONTROLLING the CONTACT TIMES of BOUNCING DROPLETS: DROPLET IMPACT on VIBRATING SURFACES

Weisensee, P. B., Ma, J., King, W. P. & Miljkovic, N., Mar 1 2018, In : Journal of Heat Transfer. 140, 3, 030901.

Research output: Contribution to journalComment/debate

Controlling the Ćuk Converter Using Polytopic Lyapunov Functions

Lekic, A., Stipanovic, D. & Petrovic, N., Nov 2018, In : IEEE Transactions on Circuits and Systems II: Express Briefs. 65, 11, p. 1678-1682 5 p., 8170285.

Research output: Contribution to journalArticle

Control of Networked Distributed Energy Resources in Grid-Connected AC Microgrids

Fooladivanda, D., Zholbaryssov, M. & Domínguez-García, A. D., Dec 2018, In : IEEE Transactions on Control of Network Systems. 5, 4, p. 1875-1886 12 p., 8105872.

Research output: Contribution to journalArticle

Convergence Rate of Distributed Random Projections

Doan, T. T., Lubars, J., Beck, C. L. & Srikant, R., Jan 1 2018, In : IFAC-PapersOnLine. 51, 23, p. 373-378 6 p.

Research output: Contribution to journalArticle

Convergence Rate of Distributed Subgradient Methods under Communication Delays

Doan, T. T., Beck, C. L. & Srikant, R., Aug 9 2018, 2018 Annual American Control Conference, ACC 2018. Institute of Electrical and Electronics Engineers Inc., p. 5310-5315 6 p. 8431382. (Proceedings of the American Control Conference; vol. 2018-June).

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

Countries' survival in networked international environments

Li, Y., Morse, A. S., Liu, J. & Basar, T., Jan 18 2018, 2017 IEEE 56th Annual Conference on Decision and Control, CDC 2017. Institute of Electrical and Electronics Engineers Inc., p. 2912-2917 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

Cross-app poisoning in software-defined networking

Ujcich, B. E., Jero, S., Edmundson, A., Wang, Q., Skowyra, R., Landry, J., Bates, A., Sanders, W. H., Nita-Rotaru, C. & Okhravi, H., Oct 15 2018, CCS 2018 - Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery, p. 648-663 16 p. (Proceedings of the ACM Conference on Computer and Communications Security).

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