Research Output

2021

A Study of Social Media Behaviors and Mental Health Wellbeing from a Privacy Perspective

Wang, T. & Bashir, M., 2021, Advances in Artificial Intelligence, Software and Systems Engineering - Proceedings of the AHFE 2020 Virtual Conferences on Software and Systems Engineering, and Artificial Intelligence and Social Computing. Ahram, T. (ed.). Springer, p. 137-144 8 p. (Advances in Intelligent Systems and Computing; vol. 1213 AISC).

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

2020

A composite phase change material thermal buffer based on porous metal foam and low-melting-temperature metal alloy

Yang, T., Kang, J. G., Weisensee, P. B., Kwon, B., Braun, P. V., Miljkovic, N. & King, W. P., Feb 18 2020, In : Applied Physics Letters. 116, 7, 071901.

Research output: Contribution to journalArticle

Open Access

A consensus-based transparency checklist

Aczel, B., Szaszi, B., Sarafoglou, A., Kekecs, Z., Kucharský, Š., Benjamin, D., Chambers, C. D., Fisher, A., Gelman, A., Gernsbacher, M. A., Ioannidis, J. P., Johnson, E., Jonas, K., Kousta, S., Lilienfeld, S. O., Lindsay, D. S., Morey, C. C., Munafò, M., Newell, B. R., Pashler, H. & 47 others, Shanks, D. R., Simons, D. J., Wicherts, J. M., Albarracin, D., Anderson, N. D., Antonakis, J., Arkes, H. R., Back, M. D., Banks, G. C., Beevers, C., Bennett, A. A., Bleidorn, W., Boyer, T. W., Cacciari, C., Carter, A. S., Cesario, J., Clifton, C., Conroy, R. M., Cortese, M., Cosci, F., Cowan, N., Crawford, J., Crone, E. A., Curtin, J., Engle, R., Farrell, S., Fearon, P., Fichman, M., Frankenhuis, W., Freund, A. M., Gaskell, M. G., Giner-Sorolla, R., Green, D. P., Greene, R. L., Harlow, L. L., de la Guardia, F. H., Isaacowitz, D., Kolodner, J., Lieberman, D., Logan, G. D., Mendes, W. B., Moersdorf, L., Nyhan, B., Pollack, J., Sullivan, C., Vazire, S. & Wagenmakers, E. J., Jan 1 2020, In : Nature human behaviour. 4, 1, p. 4-6 3 p.

Research output: Contribution to journalComment/debate

Open Access

A Constructor-Based Reachability Logic for Rewrite Theories

Skeirik, S., Stefanescu, A. & Meseguer, J., Jan 1 2020, In : Fundamenta Informaticae. 173, 4, p. 315-382 68 p.

Research output: Contribution to journalArticle

A framework for supporting the development of verifiably safe medical best practice guideline systems

Guo, C., Fu, Z., Zhang, Z., Ren, S. & Sha, L., Mar 2020, In : Journal of Systems Architecture. 104, 101693.

Research output: Contribution to journalArticle

A Game-Theoretic Framework for Multiperiod-Multicompany Demand Response Management in the Smart Grid

Alshehri, K., Liu, J., Chen, X. & Basar, T., Jan 1 2020, (Accepted/In press) In : IEEE Transactions on Control Systems Technology.

Research output: Contribution to journalArticle

A Hypothesis Testing Approach to Sharing Logs with Confidence

Long, Y., Xu, L. & Gunter, C. A., Mar 16 2020, CODASPY 2020 - Proceedings of the 10th ACM Conference on Data and Application Security and Privacy. Association for Computing Machinery, Inc, p. 307-318 12 p. (CODASPY 2020 - Proceedings of the 10th ACM Conference on Data and Application Security and Privacy).

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

Air Jet Impingement Cooling of Electronic Devices Using Additively Manufactured Nozzles

Kwon, B., Foulkes, T., Yang, T., Miljkovic, N. & King, W. P., Feb 2020, In : IEEE Transactions on Components, Packaging and Manufacturing Technology. 10, 2, p. 220-229 10 p., 8809671.

Research output: Contribution to journalArticle

A Linux in unikernel clothing

Kuo, H. C., Williams, D., Koller, R. & Mohan, S., Apr 15 2020, Proceedings of the 15th European Conference on Computer Systems, EuroSys 2020. Association for Computing Machinery, Inc, (Proceedings of the 15th European Conference on Computer Systems, EuroSys 2020).

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

Open Access

A multilevel sampled-data approach for resilient navigation and control of autonomous systems

Jafarnejadsani, H., Wan, N., Hovakimyan, N. & Voulgaris, P. G., Feb 1 2020, In : International Journal of Robust and Nonlinear Control. 30, 3, p. 1071-1097 27 p.

Research output: Contribution to journalArticle

Analysis, Estimation, and Validation of Discrete-Time Epidemic Processes

Pare, P. E., Liu, J., Beck, C. L., Kirwan, B. E. & Basar, T., Jan 2020, In : IEEE Transactions on Control Systems Technology. 28, 1, p. 79-93 15 p., 8488684.

Research output: Contribution to journalArticle

An Analysis of Phishing Emails and How the Human Vulnerabilities are Exploited

Sharma, T. & Bashir, M., 2020, Advances in Human Factors in Cybersecurity - AHFE 2020 Virtual Conference on Human Factors in Cybersecurity. Corradini, I., Nardelli, E. & Ahram, T. (eds.). Springer, p. 49-55 7 p. (Advances in Intelligent Systems and Computing; vol. 1219 AISC).

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

A partial evaluation framework for order-sorted equational programs modulo axioms

Alpuente, M., Cuenca-Ortega, A., Escobar, S. & Meseguer, J., Jan 2020, In : Journal of Logical and Algebraic Methods in Programming. 110, 100501.

Research output: Contribution to journalArticle

Open Access

A Physics-Motivated DNN for X-Ray CT Scatter Correction

Iskender, B. & Bresler, Y., Apr 2020, ISBI 2020 - 2020 IEEE International Symposium on Biomedical Imaging. IEEE Computer Society, p. 609-613 5 p. 9098512. (Proceedings - International Symposium on Biomedical Imaging; vol. 2020-April).

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

A recurrent Markov state-space generative model for sequences

Ramachandran, A., Lumetta, S. S., Klee, E. & Chen, D., 2020.

Research output: Contribution to conferencePaper

A Simplified Approach to Analyze Complementary Sensitivity Tradeoffs in Continuous-Time and Discrete-Time Systems

Wan, N., Li, D. & Hovakimyan, N., Apr 2020, In : IEEE Transactions on Automatic Control. 65, 4, p. 1697-1703 7 p., 8793137.

Research output: Contribution to journalArticle

A Sparse Latent Class Model for Cognitive Diagnosis

Chen, Y., Culpepper, S. & Liang, F., Mar 1 2020, In : Psychometrika. 85, 1, p. 121-153 33 p.

Research output: Contribution to journalArticle

Assessing and mitigating impact of time delay attack: Case studies for power grid controls

Lou, X., Tran, C., Tan, R., Yau, D. K. Y., Kalbarczyk, Z. T., Banerjee, A. K. & Ganesh, P., Jan 2020, In : IEEE Journal on Selected Areas in Communications. 38, 1, p. 141-155 15 p., 8892729.

Research output: Contribution to journalArticle

A swarm-based approach to dynamic coverage control of multi-agent systems

Atınç, G. M., Stipanović, D. M. & Voulgaris, P. G., Feb 2020, In : Automatica. 112, 108637.

Research output: Contribution to journalArticle

Asymptotic Behavior of Conjunctive Boolean Networks over Weakly Connected Digraphs

Chen, X., Gao, Z. & Basar, T., Jun 2020, In : IEEE Transactions on Automatic Control. 65, 6, p. 2536-2549 14 p., 8770125.

Research output: Contribution to journalArticle

Atomicity checking in linear time using vector clocks

Mathur, U. & Viswanathan, M., Mar 9 2020, ASPLOS 2020 - 25th International Conference on Architectural Support for Programming Languages and Operating Systems. Association for Computing Machinery, p. 183-199 17 p. (International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS).

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

Open Access

AutoDNNchip: An automated DNN chip predictor and builder for both FPGAs and ASICs

Xu, P., Zhang, X., Hao, C., Zhao, Y., Zhang, Y., Wang, Y., Li, C., Guan, Z., Chen, D. & Lin, Y., Feb 23 2020, FPGA 2020 - 2020 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays. Association for Computing Machinery, Inc, p. 40-50 11 p. (FPGA 2020 - 2020 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays).

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

Open Access

Avoidance Control with Relative Velocity Information for Lagrangian Dynamics

Zhang, W., Rodríguez-Seda, E. J., Deka, S. A., Amrouche, M., Zhou, D., Stipanović, D. M. & Leitmann, G., Aug 1 2020, In : Journal of Intelligent and Robotic Systems: Theory and Applications. 99, 2, p. 229-244 16 p.

Research output: Contribution to journalArticle

Bloom Filter Based Low-Latency Provenance Embedding Schemes in Wireless Networks

Harshan, J., Vithalkar, A., Jhunjhunwala, N., Kabra, M., Manav, P. & Hu, Y. C., May 2020, 2020 IEEE Wireless Communications and Networking Conference, WCNC 2020 - Proceedings. Institute of Electrical and Electronics Engineers Inc., 9120640. (IEEE Wireless Communications and Networking Conference, WCNC; vol. 2020-May).

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

Challenges and Opportunities in the Detection of Safety-Critical Cyberphysical Attacks

Lin, H., Alemzadeh, H., Kalbarczyk, Z. & Iyer, R., Mar 2020, Computer, 53, 3, p. 26-37 12 p.

Research output: Contribution to specialist publicationArticle

Challenges in quantifying an adversary’s cyber access to critical infrastructures

Nicol, D. M., Jan 1 2020, Critical Information Infrastructures Security - 14th International Conference, CRITIS 2019, Revised Selected Papers. Nadjm-Tehrani, S. (ed.). Springer, p. 18-28 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11777 LNCS).

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

Collective Multi-type Entity Alignment between Knowledge Graphs

Zhu, Q., Wei, H., Sisman, B., Zheng, D., Faloutsos, C., Dong, X. L. & Han, J., Apr 20 2020, The Web Conference 2020 - Proceedings of the World Wide Web Conference, WWW 2020. Association for Computing Machinery, Inc, p. 2241-2252 12 p. (The Web Conference 2020 - Proceedings of the World Wide Web Conference, WWW 2020).

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

Open Access

CoMID: Context-Based Multiinvariant Detection for Monitoring Cyber-Physical Software

Qin, Y., Xie, T., Xu, C., Astorga, A. & Lu, J., Mar 1 2020, In : IEEE Transactions on Reliability. 69, 1, p. 106-123 18 p., 8809357.

Research output: Contribution to journalArticle

Conference Virtualization

Hierons, R. M. & Xie, T., Jun 1 2020, In : Software Testing Verification and Reliability. 30, 4-5, e1749.

Research output: Contribution to journalEditorial

Open Access

Control Systems for Computing Systems: Making computers efficient with modular, coordinated, and robust control

Pothukuchi, R. P., Pothukuchi, S. Y., Voulgaris, P. G. & Torrellas, J., Apr 2020, In : IEEE Control Systems. 40, 2, p. 30-55 26 p., 9036110.

Research output: Contribution to journalArticle

Convex Relaxations of the Network Flow Problem under Cycle Constraints

Zholbaryssov, M. & Domínguez-García, A. D., Mar 2020, In : IEEE Transactions on Control of Network Systems. 7, 1, p. 64-73 10 p., 8709783.

Research output: Contribution to journalArticle

Cooperative avoidance control with velocity-based detection regions

Rodriguez-Seda, E. J. & Stipanovic, D. M., Apr 2020, In : IEEE Control Systems Letters. 4, 2, p. 432-437 6 p., 8862933.

Research output: Contribution to journalArticle

CrossWeigh: Training named entity tagger from imperfect annotations

Wang, Z., Shang, J., Liu, L., Lu, L., Liu, J. & Han, J., Jan 1 2020, EMNLP-IJCNLP 2019 - 2019 Conference on Empirical Methods in Natural Language Processing and 9th International Joint Conference on Natural Language Processing, Proceedings of the Conference. Association for Computational Linguistics, p. 5154-5163 10 p. (EMNLP-IJCNLP 2019 - 2019 Conference on Empirical Methods in Natural Language Processing and 9th International Joint Conference on Natural Language Processing, Proceedings of the Conference).

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

Data-Driven Voltage Regulation in Radial Power Distribution Systems

Xu, H., Dominguez-Garcia, A. D., Veeravalli, V. V. & Sauer, P. W., May 2020, In : IEEE Transactions on Power Systems. 35, 3, p. 2133-2143 11 p., 8873667.

Research output: Contribution to journalArticle

Decentralized Multi-Agent Stochastic Optimization with Pairwise Constraints and Quantized Communications

Cao, X. & Basar, T., 2020, In : IEEE Transactions on Signal Processing. 68, p. 3296-3311 16 p., 9103200.

Research output: Contribution to journalArticle

Deciding Differential Privacy for Programs with Finite Inputs and Outputs

Barthe, G., Chadha, R., Jagannath, V., Sistla, A. P. & Viswanathan, M., Jul 8 2020, Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2020. Association for Computing Machinery, p. 141-154 14 p. 3394796. (ACM International Conference Proceeding Series).

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

DeepCropNet: a deep spatial-temporal learning framework for county-level corn yield estimation

Lin, T., Zhong, R., Wang, Y., Xu, J., Jiang, H., Xu, J., Ying, Y., Rodriguez, L., Ting, K. C. & Li, H., 2020, In : Environmental Research Letters. 15, 3, 034016.

Research output: Contribution to journalArticle

Open Access

Deep In-Memory Architectures for Machine Learning-Accuracy Versus Efficiency Trade-Offs

Kang, M., Kim, Y., Patil, A. D. & Shanbhag, N. R., May 2020, In : IEEE Transactions on Circuits and Systems I: Regular Papers. 67, 5, p. 1627-1639 13 p., 8950291.

Research output: Contribution to journalArticle

Deep multiplex graph infomax: Attentive multiplex network embedding using global information

Park, C., Han, J. & Yu, H., Jun 7 2020, In : Knowledge-Based Systems. 197, 105861.

Research output: Contribution to journalArticle

Direct process feedback in extrusion-based 3D bioprinting

Armstrong, A. A., Norato, J., Alleyne, A. G. & Wagoner Johnson, A. J., Jan 1 2020, In : Biofabrication. 12, 1, 015017.

Research output: Contribution to journalArticle

Discriminative Topic Mining via Category-Name Guided Text Embedding

Meng, Y., Huang, J., Wang, G., Wang, Z., Zhang, C., Zhang, Y. & Han, J., Apr 20 2020, The Web Conference 2020 - Proceedings of the World Wide Web Conference, WWW 2020. Association for Computing Machinery, Inc, p. 2121-2132 12 p. (The Web Conference 2020 - Proceedings of the World Wide Web Conference, WWW 2020).

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

Open Access

Distributed learning of average belief over networks using sequential observations

Zhang, K., Liu, Y., Liu, J., Liu, M. & Başar, T., May 2020, In : Automatica. 115, 108857.

Research output: Contribution to journalArticle

DLbricks: Composable benchmark generation to reduce deep learning benchmarking effort on CPUs

Li, C., Dakkak, A., Xiong, J. & Hwu, W. M., Apr 20 2020, ICPE 2020 - Proceedings of the ACM/SPEC International Conference on Performance Engineering. Association for Computing Machinery, Inc, p. 202-209 8 p. (ICPE 2020 - Proceedings of the ACM/SPEC International Conference on Performance Engineering).

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

Open Access

Does the Propensity to Take Risks Influence Human Interactions with Autonomous Systems?

Ferronato, P. & Bashir, M., 2020, Advances in Human Factors in Cybersecurity - AHFE 2020 Virtual Conference on Human Factors in Cybersecurity. Corradini, I., Nardelli, E. & Ahram, T. (eds.). Springer, p. 23-29 7 p. (Advances in Intelligent Systems and Computing; vol. 1219 AISC).

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

Double-Edge Embedding Based Provenance Recovery for Low-Latency Applications in Wireless Networks

Jagadeesh, H., Vithalkar, A., Kabra, M., Jhunjhunwala, N., Manav, P. & Hu, Y. C., 2020, (Accepted/In press) In : IEEE Transactions on Dependable and Secure Computing.

Research output: Contribution to journalArticle

Dynamic Contract Design for Systemic Cyber Risk Management of Interdependent Enterprise Networks

Chen, J., Zhu, Q. & Başar, T., 2020, (Accepted/In press) In : Dynamic Games and Applications.

Research output: Contribution to journalArticle

Dynamic Disruption Management in Airline Networks Under Airport Operating Uncertainty

Lee, J., Marla, L. & Jacquillat, A., Jun 18 2020, (Accepted/In press) In : Transportation Science.

Research output: Contribution to journalArticle