Research Output 1974 2020

2019

A unified digital twin framework for real-time monitoring and evaluation of smart manufacturing systems

Qamsane, Y., Chen, C. Y., Balta, E. C., Kao, B. C., Mohan, S., Moyne, J., Tilbury, D. & Barton, K., Aug 2019, 2019 IEEE 15th International Conference on Automation Science and Engineering, CASE 2019. IEEE Computer Society, p. 1394-1401 8 p. 8843269. (IEEE International Conference on Automation Science and Engineering; vol. 2019-August).

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

Monitoring
Industry

Automated Communication and Floorplan-Aware Hardware/Software Co-Design for SoC

Lim, J. B. & Chen, D., Jul 2019, Proceedings - 2019 IEEE Computer Society Annual Symposium on VLSI, ISVLSI 2019. IEEE Computer Society, p. 128-133 6 p. 8839408. (Proceedings of IEEE Computer Society Annual Symposium on VLSI, ISVLSI; vol. 2019-July).

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

Hardware
Communication
Particle accelerators
Optimal systems
Linear programming

Automated Generation and Selection of Interpretable Features for Enterprise Security

Duan, J., Zeng, Z., Oprea, A. & Vasudevan, S., Jan 22 2019, Proceedings - 2018 IEEE International Conference on Big Data, Big Data 2018. Song, Y., Liu, B., Lee, K., Abe, N., Pu, C., Qiao, M., Ahmed, N., Kossmann, D., Saltz, J., Tang, J., He, J., Liu, H. & Hu, X. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 1258-1265 8 p. 8621986. (Proceedings - 2018 IEEE International Conference on Big Data, Big Data 2018).

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

Fourier analysis
Boolean functions
Clustering algorithms
Learning systems
Industry

Automated metrology and geometric analysis of additively manufactured lattice structures

McGregor, D. J., Tawfick, S. H. & King, W. P., Aug 2019, In : Additive Manufacturing. 28, p. 535-545 11 p.

Research output: Contribution to journalArticle

3D printers
Struts
Tomography
Quality control
Statistical methods

Automatic analysis of consistency properties of distributed transaction systems in maude

Liu, S., Ölveczky, P. C., Zhang, M., Wang, Q. & Meseguer, J., Jan 1 2019, Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings. Zhang, L. & Vojnar, T. (eds.). Springer-Verlag, p. 40-57 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11428 LNCS).

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

Open Access
Maude
Model checking
Fault tolerance
Transactions
Scalability

Automatic generation of benchmarks for I/O-intensive parallel applications

Hao, M., Zhang, W., Zhang, Y., Snir, M. & Yang, L. T., Feb 2019, In : Journal of Parallel and Distributed Computing. 124, p. 1-13 13 p.

Research output: Contribution to journalArticle

Parallel Applications
Benchmark
Trace
Supercomputers
Communication

Autopersist: An easy-to-use Java NVM framework based on reachability

Shull, T., Huang, J. & Torrellas, J., Jun 8 2019, PLDI 2019 - Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation. McKinley, K. S. & Fisher, K. (eds.). Association for Computing Machinery, p. 316-332 17 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

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

Open Access
Data storage equipment
Data structures
Computer programming
Dynamic random access storage
Software engineering

Availability attacks on computing systems through alteration of environmental control: Smart malware approach

Chung, K., Kalbarczyk, Z. T. & Iyer, R. K., Apr 16 2019, ICCPS 2019 - Proceedings of the 2019 ACM/IEEE International Conference on Cyber-Physical Systems. Ramachandran, G. S. & Ortiz, J. (eds.). Association for Computing Machinery, Inc, p. 1-12 12 p. (ICCPS 2019 - Proceedings of the 2019 ACM/IEEE International Conference on Cyber-Physical Systems).

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

Availability
Cyber Physical System
Malware
Industry

A viral model of product adoption with antagonistic interactions

Ruf, S. F., Pare, P. E., Liu, J., Beck, C. L. & Basar, M. T., Jul 2019, 2019 American Control Conference, ACC 2019. Institute of Electrical and Electronics Engineers Inc., p. 3382-3387 6 p. 8815349. (Proceedings of the American Control Conference; vol. 2019-July).

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

Bayesian Regularization for Graphical Models With Unequal Shrinkage

Gan, L., Narisetty, N. N. & Liang, F., Jul 3 2019, In : Journal of the American Statistical Association. 114, 527, p. 1218-1231 14 p.

Research output: Contribution to journalArticle

Maximum a Posteriori
Graphical Models
Shrinkage
Unequal
Regularization

Beeer: Distributed record and replay for medical devices in hospital operating rooms

Hojjati, A., Demetriou, S., Long, Y. & Gunter, C., Apr 1 2019, Proceedings of the 6th Annual Symposium on Hot Topics in the Science of Security, HotSoS 2019. Association for Computing Machinery, a1. (ACM International Conference Proceeding Series).

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

Operating rooms
Safety devices
Synchronization
Communication

BGP with BGPsec: Attacks and Countermeasures

Li, Q., Liu, J., Hu, Y. C., Xu, M. & Wu, J., Jul 1 2019, In : IEEE Network. 33, 4, p. 194-200 7 p., 8594708.

Research output: Contribution to journalArticle

Network protocols
Internet

Binodal, wireless epidermal electronic systems with in-sensor analytics for neonatal intensive care

Chung, H. U., Kim, B. H., Lee, J. Y., Lee, J., Xie, Z., Ibler, E. M., Lee, K. H., Banks, A., Jeong, J. Y., Kim, J., Ogle, C., Grande, D., Yu, Y., Jang, H., Assem, P., Ryu, D., Kwak, J. W., Namkoong, M., Park, J. B., Lee, Y. & 25 others, Kim, D. H., Ryu, A., Jeong, J., You, K., Ji, B., Liu, Z., Huo, Q., Feng, X., Deng, Y., Xu, Y., Jang, K. I., Kim, J., Zhang, Y., Ghaffari, R., Rand, C. M., Schau, M., Hamvas, A., Weese-Mayer, D. E., Huang, Y., Lee, S. M., Lee, C. H., Shanbhag, N. R., Paller, A. S., Xu, S. & Rogers, J. A., Jan 1 2019, In : Science. 363, 6430

Research output: Contribution to journalArticle

Open Access
Neonatal Intensive Care
Neonatal Intensive Care Units
Skin
Vital Signs
Diagnostic Imaging

Blind Gain and Phase Calibration via Sparse Spectral Methods

Li, Y., Lee, K. & Bresler, Y., May 2019, In : IEEE Transactions on Information Theory. 65, 5, p. 3097-3123 27 p., 8550743.

Research output: Contribution to journalArticle

Calibration
regime
Sensor arrays
Synthetic aperture radar
Inverse problems

Boosted Spin Channel Networks for Energy-Efficient Inference

Patil, A. D., Manipatruni, S., Nikonov, D. E., Young, I. A. & Shanbhag, N. R., Jun 2019, In : IEEE Journal on Exploratory Solid-State Computational Devices and Circuits. 5, 1, p. 34-42 9 p., 8631185.

Research output: Contribution to journalArticle

Adaptive boosting
Silicon
Energy efficiency
Electronic equipment

Bounding multivariate trigonometric polynomials

Pfister, L. & Bresler, Y., Feb 1 2019, In : IEEE Transactions on Signal Processing. 67, 3, p. 700-707 8 p., 8552451.

Research output: Contribution to journalArticle

Polynomials
Control theory

BRACELET: Edge-Cloud Microservice Infrastructure for Aging Scientific Instruments

Nguyen, P., Elgamal, T., Konstanty, S., Nicholson, T., Turner, S., Su, P., Nahrstedt, K., Spila, T., Campbell, R. H., Dallesasse, J., Chan, M. & Mchenry, K., Apr 8 2019, 2019 International Conference on Computing, Networking and Communications, ICNC 2019. Institute of Electrical and Electronics Engineers Inc., p. 692-696 5 p. 8685528. (2019 International Conference on Computing, Networking and Communications, ICNC 2019).

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

Aging of materials
Network performance
Metadata
Semiconductor materials
Fabrication

Business-to-Peer Carsharing Systems with Electric Vehicles

Mamalis, T., Bose, S. & Varshney, L. R., Apr 16 2019, 2019 53rd Annual Conference on Information Sciences and Systems, CISS 2019. Institute of Electrical and Electronics Engineers Inc., 8692795. (2019 53rd Annual Conference on Information Sciences and Systems, CISS 2019).

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

Electric vehicles
Industry
Railroad cars
Costs

Can Data Provenance Put an End to the Data Breach?

Bates, A. M. & Hassan, W. U., Jul 1 2019, In : IEEE Security and Privacy. 17, 4, p. 88-93 6 p., 8755956.

Research output: Contribution to journalArticle

Looms
Personnel
credit system
personnel management
resignation

Canonical Narrowing with Irreducibility Constraints as a Symbolic Protocol Analysis Method

Escobar, S. & Meseguer, J., Jan 1 2019, Foundations of Security, Protocols, and Equational Reasoning - Essays Dedicated to Catherine A. Meadows. Meseguer, J., Landwehr, C. E., Pavlovic, D. & Guttman, J. D. (eds.). Springer-Verlag, p. 15-38 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11565 LNCS).

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

Irreducibility
Symbolic Analysis
Maude
Reachability Analysis
Equational Theory

Capturing signals of enthusiasm and support towards social issues from twitter

Mishra, S. & Diesner, J., Sep 12 2019, SIdEWayS 2019 - Proceedings of the 5th International Workshop on Social Media World Sensors. Association for Computing Machinery, Inc, p. 19-24 6 p. (SIdEWayS 2019 - Proceedings of the 5th International Workshop on Social Media World Sensors).

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

Open Access
twitter
social issue
social media
Labels
Electric network analysis

Categorization and Comparison of Influential Twitter Users and Sources Referenced in Tweets for Two Health-Related Topics

Addawood, A., Balakumar, P. & Diesner, J., Jan 1 2019, Information in Contemporary Society - 14th International Conference, iConference 2019, Proceedings. Martin, M. H., Taylor, N. G., Nardi, B. & Christian-Lamb, C. (eds.). Springer-Verlag, p. 639-646 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11420 LNCS).

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

Categorization
Websites
Health
Vaccines
Nutrition

Characterizing and Understanding HPC Job Failures over the 2K-Day Life of IBM BlueGene/Q System

Di, S., Guo, H., Pershey, E., Snir, M. & Cappello, F., Jun 2019, Proceedings - 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2019. Institute of Electrical and Electronics Engineers Inc., p. 473-484 12 p. 8809553. (Proceedings - 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2019).

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

Supercomputers
Scheduling
Availability
Large scale systems
Genes

Cloud-Based Phrase Mining and Analysis of User-Defined Phrase-Category Association in Biomedical Publications

Sigdel, D., Kyi, V., Zhang, A., Setty, S. P., Liem, D. A., Shi, Y., Wang, X., Shen, J., Wang, W., Han, J. W. & Ping, P., Feb 23 2019, In : Journal of visualized experiments : JoVE. 144

Research output: Contribution to journalArticle

Open Access
Semantics
Publications
Processing
Data Mining
Cloud computing

Cloud-DNN: An open framework for mapping DNN models to cloud FPGAS

Chen, Y., He, J., Zhang, X., Hao, C. & Chen, D., Feb 20 2019, FPGA 2019 - Proceedings of the 2019 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays. Association for Computing Machinery, Inc, p. 73-82 10 p. (FPGA 2019 - Proceedings of the 2019 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays).

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

Field programmable gate arrays (FPGA)
Neural networks
Cloud computing
Unmanned aerial vehicles (UAV)
Program processors

Collision avoidance in cooperative missions: Bézier surfaces for circumnavigating uncertain speed profiles

Mehdi, S. B., Choe, R. & Hovakimyan, N., Jan 1 2019, In : Journal of Guidance, Control, and Dynamics. 42, 8, p. 1779-1796 18 p.

Research output: Contribution to journalArticle

collision avoidance
Collision Avoidance
Collision avoidance
Collision
collision

Communication scheduling and remote estimation with adversarial intervention

Gao, X., Akyol, E. & Basar, M. T., Jan 2019, In : IEEE/CAA Journal of Automatica Sinica. 6, 1, p. 32-44 13 p., 8600788.

Research output: Contribution to journalArticle

Scheduling
Communication
Sensors
Random processes
Feedback

Comparing mutation testing at the levels of source code and compiler intermediate representation

Hariri, F., Shi, A., Fernando, V., Mahmood, S. & Marinov, D., Apr 2019, Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation, ICST 2019. Institute of Electrical and Electronics Engineers Inc., p. 114-124 11 p. 8730152. (Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation, ICST 2019).

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

Codes (standards)
Testing
Fault detection
Computer programming languages

Constructing and mining heterogeneous information networks from massive text

Shang, J., Shen, J., Liu, L. & Han, J., Jul 25 2019, KDD 2019 - Proceedings of the 25th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining. Association for Computing Machinery, p. 3191-3192 2 p. (Proceedings of the ACM SIGKDD International Conference on Knowledge Discovery and Data Mining).

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

Open Access
Data mining

Constructing structured information networks from massive text corpora

Ren, X., Jiang, M., Shang, J. & Han, J., Jan 1 2019, 26th International World Wide Web Conference 2017, WWW 2017 Companion. International World Wide Web Conferences Steering Committee, p. 951-954 4 p. (26th International World Wide Web Conference 2017, WWW 2017 Companion).

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

Data mining

Control design for an aerial manipulator for pick-and-place tasks

Sun, D., Wan, N., Hovakimyan, N., Dai, W. & Zhang, Y., Jan 1 2019, AIAA Scitech 2019 Forum. American Institute of Aeronautics and Astronautics Inc, AIAA, (AIAA Scitech 2019 Forum).

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

Manipulators
Antennas
Controllers
Robotics

Controlled Sensing for Composite Multihypothesis Testing with Application to Anomaly Detection

Deshmukh, A., Bhashyam, S. & Veeravalli, V. V., Feb 19 2019, Conference Record of the 52nd Asilomar Conference on Signals, Systems and Computers, ACSSC 2018. Matthews, M. B. (ed.). IEEE Computer Society, p. 2109-2113 5 p. 8645380. (Conference Record - Asilomar Conference on Signals, Systems and Computers; vol. 2018-October).

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

Composite materials
Testing
Error probability

Controlling and stabilizing a rigid formation using a few agents

Chen, X., Belabbas, M. A. & Başar, T., Jan 1 2019, In : SIAM Journal on Control and Optimization. 57, 1, p. 104-128 25 p.

Research output: Contribution to journalArticle

Position control
Controllability
Entire
Perturbation
Subset

Convergence of the Iterates in Mirror Descent Methods

Doan, T. T., Bose, S., Nguyen, D. H. & Beck, C. L., Jan 2019, In : IEEE Control Systems Letters. 3, 1, p. 114-119 6 p.

Research output: Contribution to journalArticle

Descent Method
Iterate
Mirror
Mirrors
Distributed Optimization

Convergence Rate of Distributed Consensus with Nonuniform Delays

Doan, T. T., Beck, C. L. & Srikant, R., Feb 19 2019, Conference Record of the 52nd Asilomar Conference on Signals, Systems and Computers, ACSSC 2018. Matthews, M. B. (ed.). IEEE Computer Society, p. 1294-1298 5 p. 8645450. (Conference Record - Asilomar Conference on Signals, Systems and Computers; vol. 2018-October).

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

Topology
Communication
Computer simulation

Convolution Attack on Frequency Hopping by Full-Duplex Radios

Jagadeesh, H. & Hu, Y. C., Jun 2019, In : IEEE Transactions on Vehicular Technology. 68, 6, p. 5642-5656 15 p., 8676089.

Research output: Contribution to journalArticle

Frequency Hopping
Frequency hopping
Radio receivers
Convolution
Frequency shift keying

Cooperative avoidance control with velocity-based detection regions

Rodriguez-Seda, E. J. & Stipanovic, D. M., Jan 1 2019, (Accepted/In press) In : IEEE Control Systems Letters. 4, 2, p. 432-437 6 p., 8862933.

Research output: Contribution to journalArticle

Collision Avoidance
Collision avoidance
Trajectories
Trajectory
Lagrangian Systems

Cooperativity and hierarchical MPC of state-constrained switched power flow systems

Pangborn, H. C. & Alleyne, A. G., Jul 2019, 2019 American Control Conference, ACC 2019. Institute of Electrical and Electronics Engineers Inc., p. 4245-4252 8 p. 8815363. (Proceedings of the American Control Conference; vol. 2019-July).

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

Controllers
Energy transfer
Aircraft
Control systems
Fluids

Cost-Effective Error Detection Through Mersenne Modulo Shadow Datapaths

Campbell, K., Lin, C. H. & Chen, D., Jun 2019, In : IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 38, 6, p. 1056-1069 14 p., 8356040.

Research output: Contribution to journalArticle

Error detection
Costs
Particle accelerators
Cost effectiveness
Hardware

Cross-type biomedical named entity recognition with deep multi-task learning

Wang, X., Zhang, Y., Ren, X., Zhang, Y., Zitnik, M., Shang, J., Langlotz, C. & Han, J., May 15 2019, In : Bioinformatics. 35, 10, p. 1745-1752 8 p.

Research output: Contribution to journalArticle

Multi-task Learning
Named Entity Recognition
Learning
Labeling
Benchmarking

Cyber-physical simulation and optimal mitigation for shipping port operations

Weaver, G. A. & Marla, L., Jan 31 2019, WSC 2018 - 2018 Winter Simulation Conference: Simulation for a Noble Cause. Institute of Electrical and Electronics Engineers Inc., p. 2747-2758 12 p. 8632551. (Proceedings - Winter Simulation Conference; vol. 2018-December).

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

Physical Simulation
Freight transportation
Critical infrastructures
Crime
Supply chains

Cyber risk of coordinated attacks in critical infrastructures

Nicol, D. M., Jan 31 2019, WSC 2018 - 2018 Winter Simulation Conference: Simulation for a Noble Cause. Institute of Electrical and Electronics Engineers Inc., p. 2759-2768 10 p. 8632318. (Proceedings - Winter Simulation Conference; vol. 2018-December).

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

Critical infrastructures
Critical Infrastructure
Infrastructure
Attack
Emergency services

Data clustering and graph partitioning via simulated mixing

Bhatti, S., Beck, C. & Nedić, A., Apr 3 2019, In : IEEE Transactions on Network Science and Engineering. 6, 3, p. 1-14 14 p., 8331142.

Research output: Contribution to journalArticle

Eigenvalues and eigenfunctions
Clustering algorithms
Computational complexity
Decomposition

Data-Driven Coordination of Distributed Energy Resources for Active Power Provision

Xu, H., Dominguez-Garcia, A. D. & Sauer, P. W., Jul 2019, In : IEEE Transactions on Power Systems. 34, 4, p. 3047-3058 12 p., 8642451.

Research output: Contribution to journalArticle

Energy resources
Controllers
Convex optimization
Computer simulation
Costs

Data protection intents for software-defined networking

Ujcich, B. E. & Sanders, W. H., Jun 2019, Proceedings of the 2019 IEEE Conference on Network Softwarization: Unleashing the Power of Network Softwarization, NetSoft 2019. Jacquenet, C., De Turck, F., Chemouil, P., Esposito, F., Festor, O., Cerroni, W. & Secci, S. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 271-275 5 p. 8806684. (Proceedings of the 2019 IEEE Conference on Network Softwarization: Unleashing the Power of Network Softwarization, NetSoft 2019).

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

Data privacy
Software defined networking
Industry
Controllers

Dealing with C's Original Sin

Hathhorn, C. & Rosu, G., Sep 1 2019, In : IEEE Software. 36, 5, p. 24-28 5 p., 8802866.

Research output: Contribution to journalArticle

UNIX
Computer operating systems

Decentralized model predictive control of urbandrainage systems

Li, Y., Stipanović, D., Voulgaris, P. & Gu, Z., Jan 1 2019, In : WSEAS Transactions on Systems and Control. 14, p. 247-256 10 p.

Research output: Contribution to journalArticle

Model predictive control
Model Predictive Control
Decentralized
Rain
Real time control

Decidable and expressive classes of probabilistic automata

Ben, Y., Chadha, R., Sistla, A. P. & Viswanathan, M., Mar 2019, In : Journal of Computer and System Sciences. 100, p. 70-95 26 p.

Research output: Contribution to journalArticle

Probabilistic Automata
Formal languages
Infinite Words
Regular Languages
Class

DeepStore: In-storage acceleration for intelligent queries

Mailthody, V. S., Qureshi, Z., Liang, W., Feng, Z., Gonzalo, S. G. D., Li, Y., Franke, H., Xiong, J., Huang, J. & Hwu, W. M., Oct 12 2019, MICRO 2019 - 52nd Annual IEEE/ACM International Symposium on Microarchitecture, Proceedings. IEEE Computer Society, p. 224-238 15 p. (Proceedings of the Annual International Symposium on Microarchitecture, MICRO).

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

Particle accelerators
Energy efficiency
Texturing
Image retrieval
Simulators

Dependable machine intelligence at the tactical edge

Misra, A., Jayarajah, K., Weerakoon, D., Tandriansyah, R., Yao, S. & Abdelzaher, T., Jan 1 2019, Artificial Intelligence and Machine Learning for Multi-Domain Operations Applications. Pham, T. (ed.). SPIE, 1100608. (Proceedings of SPIE - The International Society for Optical Engineering; vol. 11006).

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

intelligence
Sensors
Testbeds
Sensor
learning