Research Output

2018

Six-Minute Walk Test Performance in Persons With Multiple Sclerosis While Using Passive or Powered Ankle-Foot Orthoses

Boes, M. K., Bollaert, R. E., Kesler, R. M., Learmonth, Y. C., Islam, M., Petrucci, M. N., Motl, R. W. & Hsiao-Wecksler, E. T., Mar 2018, In : Archives of Physical Medicine and Rehabilitation. 99, 3, p. 484-490 7 p.

Research output: Contribution to journalArticle

Skill squatting attacks on Amazon Alexa

Kumar, D., Paccagnella, R., Murley, P., Hennenfent, E., Mason, J., Bates, A. & Bailey, M., Jan 1 2018, Proceedings of the 27th USENIX Security Symposium. USENIX Association, p. 33-47 15 p. (Proceedings of the 27th USENIX Security Symposium).

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

Smart contracts and opportunities for formal methods

Miller, A., Cai, Z. & Jha, S., Jan 1 2018, Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice - 8th International Symposium, ISoLA 2018, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer-Verlag, p. 280-299 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11247 LNCS).

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

Social networks

Bolouki, S., Nedić, A. & Başar, T., Aug 12 2018, Handbook of Dynamic Game Theory. Springer International Publishing, p. 907-949 43 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Social optimization problems with decentralized and selfish optimal strategies

Voulgaris, P. G. & Elia, N., Jan 18 2018, 2017 IEEE 56th Annual Conference on Decision and Control, CDC 2017. Institute of Electrical and Electronics Engineers Inc., p. 4721-4726 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

Software-based synthesis of maximally permissive liveness enforcing supervisory policies for a class of general Petri nets

Salimi, E., Somnath, N. & Sreenivas, R. S., Feb 5 2018, Proceedings of the 2017 12th IEEE Conference on Industrial Electronics and Applications, ICIEA 2017. Institute of Electrical and Electronics Engineers Inc., p. 429-434 6 p. (Proceedings of the 2017 12th IEEE Conference on Industrial Electronics and Applications, ICIEA 2017; vol. 2018-February).

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

SoK: 'Plug & Pray' Today-Understanding USB Insecurity in Versions 1 Through C

Tian, J., Scaife, N., Kumar, D., Bailey, M., Bates, A. & Butler, K., Jul 23 2018, Proceedings - 2018 IEEE Symposium on Security and Privacy, SP 2018. Institute of Electrical and Electronics Engineers Inc., p. 1032-1047 16 p. 8418652. (Proceedings - IEEE Symposium on Security and Privacy; vol. 2018-May).

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

Solver-based sketching of alloy models using test valuations

Wang, K., Sullivan, A., Marinov, D. & Khurshid, S., Jan 1 2018, Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Proceedings. Butler, M., Hoang, T. S., Raschke, A. & Reichl, K. (eds.). Springer-Verlag Berlin Heidelberg, p. 121-136 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10817 LNCS).

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

Some Local Stability Properties of an Autonomous Long Short-Term Memory Neural Network Model

Stipanović, D. M., Murmann, B., Causo, M., Lekić, A., Royo, V. R., Tomlin, C. J., Beigne, E., Thuries, S., Zarudniev, M. & Lesecq, S., Apr 26 2018, 2018 IEEE International Symposium on Circuits and Systems, ISCAS 2018 - Proceedings. Institute of Electrical and Electronics Engineers Inc., 8350958. (Proceedings - IEEE International Symposium on Circuits and Systems; vol. 2018-May).

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

Sources affecting knowledge and behavior responses to the Zika virus in US households with current pregnancy, intended pregnancy and a high probability of unintended pregnancy

Chan, M. P. S., Farhadloo, M., Winneg, K., Jamieson, K. H. & Albarracin, D., Jan 1 2018, In : Journal of Public Health (United Kingdom). 40, 4, p. 776-786 11 p.

Research output: Contribution to journalArticle

Spandex: A flexible interface for efficient heterogeneous coherence

Alsop, J., Sinclair, M. D. & Adve, S. V., Jul 19 2018, Proceedings - 2018 ACM/IEEE 45th Annual International Symposium on Computer Architecture, ISCA 2018. Institute of Electrical and Electronics Engineers Inc., p. 261-274 14 p. 8416833. (Proceedings - International Symposium on Computer Architecture).

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

Spatiotemporal activity modeling under data scarcity: A graph-regularized cross-modal embedding approach

Zhang, C., Liu, M., Liu, Z., Yang, C., Zhang, L. & Han, J., Jan 1 2018, 32nd AAAI Conference on Artificial Intelligence, AAAI 2018. AAAI Press, p. 531-538 8 p. (32nd AAAI Conference on Artificial Intelligence, AAAI 2018).

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

Special Session: The Future of IoT Security

Mohan, S., Asplund, M., Bloom, G., Sadeghi, A. R., Ibrahim, A., Salajageh, N., Griffioen, P. & Sinipoli, B., Nov 15 2018, 2018 Proceedings of the International Conference on Embedded Software, EMSOFT 2018. Institute of Electrical and Electronics Engineers Inc., 8537206. (2018 Proceedings of the International Conference on Embedded Software, EMSOFT 2018).

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

Squadron: Incentivizing Quality-Aware Mission-Driven Crowd Sensing

Jin, H., Guo, H. & Nahrstedt, K., Sep 5 2018, 2018 21st International Conference on Information Fusion, FUSION 2018. Institute of Electrical and Electronics Engineers Inc., p. 2306-2313 8 p. 8455374. (2018 21st International Conference on Information Fusion, FUSION 2018).

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

SRAM Bit-line Swings Optimization using Generalized Waterfilling

Kim, Y., Kang, M., Varshney, L. R. & Shanbhag, N. R., Aug 15 2018, 2018 IEEE International Symposium on Information Theory, ISIT 2018. Institute of Electrical and Electronics Engineers Inc., p. 1670-1674 5 p. 8437564. (IEEE International Symposium on Information Theory - Proceedings; vol. 2018-June).

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

Stability structures of conjunctive Boolean networks

Gao, Z., Chen, X. & Başar, T., Mar 2018, In : Automatica. 89, p. 8-20 13 p.

Research output: Contribution to journalArticle

Stabilization and Optimal Trajectory Generation for a Compact Aerial Manipulation System with a Delta-type Parallel Robot

Haberfeld, G. B., Sun, D. & Hovakimyan, N., Aug 31 2018, 2018 International Conference on Unmanned Aircraft Systems, ICUAS 2018. Institute of Electrical and Electronics Engineers Inc., p. 1091-1100 10 p. 8453444. (2018 International Conference on Unmanned Aircraft Systems, ICUAS 2018).

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

Stable switching control of DC-DC converters

Lekić, A. & Stipanović, D., Jan 5 2018, 2017 25th Telecommunications Forum, TELFOR 2017 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 1-7 7 p. (2017 25th Telecommunications Forum, TELFOR 2017 - Proceedings; vol. 2017-January).

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

State estimation of dynamical systems with unknown inputs: Entropy and bit rates

Sibai, H. & Mitra, S., Apr 11 2018, HSCC 2018 - Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week). Association for Computing Machinery, Inc, p. 217-226 10 p. (HSCC 2018 - Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)).

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

Statistical Verification of PCTL Using Stratified Samples

Wang, Y., Roohi, N., West, M., Viswanathan, M. & Dullerud, G. E., Jan 1 2018, In : IFAC-PapersOnLine. 51, 16, p. 85-90 6 p.

Research output: Contribution to journalArticle

Step by step: Capturing the dynamics of work team process through relational event sequences

Schecter, A., Pilny, A., Leung, A., Poole, M. S. & Contractor, N., Nov 2018, In : Journal of Organizational Behavior. 39, 9, p. 1163-1181 19 p.

Research output: Contribution to journalArticle

Stochastic small signal stability of power system with random wind

Pushpak, S., Vaidya, U. & Bose, S., Aug 17 2018, 2018 International Conference on Probabilistic Methods Applied to Power Systems, PMAPS 2018 - Proceedings. Institute of Electrical and Electronics Engineers Inc., 8440378. (2018 International Conference on Probabilistic Methods Applied to Power Systems, PMAPS 2018 - Proceedings).

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

Structural consistency and controllability for diverse colorization

Messaoud, S., Forsyth, D. & Schwing, A. G., Jan 1 2018, Computer Vision – ECCV 2018 - 15th European Conference, 2018, Proceedings. Hebert, M., Weiss, Y., Ferrari, V. & Sminchisescu, C. (eds.). Springer-Verlag Berlin Heidelberg, p. 603-619 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11210 LNCS).

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

Study of Software-Related Causes in the FDA Medical Device Recalls

Fu, Z., Guo, C., Ren, S., Jiang, Y. & Sha, L., Feb 14 2018, Proceedings - 2017 22nd International Conference on Engineering of Complex Computer Systems, ICECCS 2017. Institute of Electrical and Electronics Engineers Inc., p. 60-69 10 p. (Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS; vol. 2017-November).

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

Supercomputing for Full-Wave Tomographic Image Reconstruction in Near-Real Time

Hidayetoǧlu, M., Hwu, W. M. & Cho Chew, W., Jan 1 2018, 2018 IEEE Antennas and Propagation Society International Symposium and USNC/URSI National Radio Science Meeting, APSURSI 2018 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 1841-1842 2 p. 8608869. (2018 IEEE Antennas and Propagation Society International Symposium and USNC/URSI National Radio Science Meeting, APSURSI 2018 - Proceedings).

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

Supporting the long-term curation and migration of natural history museum collections databases

Thomer, A. K., Weber, N. M. & Twidale, M. B., Jan 1 2018, In : Proceedings of the Association for Information Science and Technology. 55, 1, p. 504-513 10 p.

Research output: Contribution to journalArticle

Surfing safely: Examining older adults' online privacy protection behaviors

Huang, H. Y. & Bashir, M. N., Jan 1 2018, In : Proceedings of the Association for Information Science and Technology. 55, 1, p. 188-197 10 p.

Research output: Contribution to journalArticle

Symbolic reasoning methods in rewriting logic and maude

Meseguer, J., Jan 1 2018, Logic, Language, Information, and Computation - 25th International Workshop, WoLLIC 2018, Proceedings. de Queiroz, R., Martinez, M. & Moss, L. S. (eds.). Springer-Verlag Berlin Heidelberg, p. 25-60 36 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10944 LNCS).

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

Synthesis of liveness enforcing supervisory policies in Petri nets by stepwise refinement

Somnath, N. & Sreenivas, R. S., Feb 5 2018, Proceedings of the 2017 12th IEEE Conference on Industrial Electronics and Applications, ICIEA 2017. Institute of Electrical and Electronics Engineers Inc., p. 529-534 6 p. (Proceedings of the 2017 12th IEEE Conference on Industrial Electronics and Applications, ICIEA 2017; vol. 2018-February).

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

Synthetic phonons enable nonreciprocal coupling to arbitrary resonator networks

Peterson, C. W., Kim, S., Bernhard, J. T. & Bahl, G., Jun 8 2018, In : Science Advances. 4, 6, eaat0232.

Research output: Contribution to journalArticle

Systematic generation of non-equivalent expressions for relational algebra

Wang, K., Sullivan, A., Koukoutos, M., Marinov, D. & Khurshid, S., Jan 1 2018, Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Proceedings. Butler, M., Hoang, T. S., Raschke, A. & Reichl, K. (eds.). Springer-Verlag Berlin Heidelberg, p. 105-120 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10817 LNCS).

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

TaxoGen: Unsupervised topic taxonomy construction by adaptive term embedding and clustering

Zhang, C., Tao, F., Chen, X., Shen, J., Jiang, M., Sadler, B., Vanni, 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. 2701-2709 9 p. (Proceedings of the ACM SIGKDD International Conference on Knowledge Discovery and Data Mining).

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

Teaching undergraduate courses on robotics and control in prison

Bretl, T., Sep 2018, Mechanical Engineering, 140, 9, p. S11-S16.

Research output: Contribution to specialist publicationArticle

Open Access

Temporal integration of emulation and network simulators on linux multiprocessors

Lamps, J., Babu, V., Nicol, D. M., Adam, V. & Kumar, R., Jan 2018, In : ACM Transactions on Modeling and Computer Simulation. 28, 1, 1.

Research output: Contribution to journalArticle

TextCube: Automated construction and multidimensional exploration

Meng, Y., Huang, J., Shang, J. & Han, J., Jan 1 2018, In : Proceedings of the VLDB Endowment. 12, 12, p. 1974-1977 4 p.

Research output: Contribution to journalConference article

The 2D Dependency Pair Framework for conditional rewrite systems. Part I: Definition and basic processors

Lucas, S., Meseguer, J. & Gutiérrez, R., Sep 2018, In : Journal of Computer and System Sciences. 96, p. 74-106 33 p.

Research output: Contribution to journalArticle

The algorithm and the user: How can hci use lay understandings of algorithmic systems?

DeVito, M. A., Hancock, J. T., French, M., Antin, J., Karahalios, K., Tong, S., Birnholtz, J. & Shklovski, I., 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, panel04. (Conference on Human Factors in Computing Systems - Proceedings; vol. 2018-April).

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

The event tracking dashboard: From multilingual social media feeds to event patterns and anomalies

Giridhar, P., Lee, J., Abdelzaher, T. & Kaplan, L., Jan 1 2018, Next-Generation Analyst VI. Llinas, J. & Hanratty, T. P. (eds.). SPIE, 106530V. (Proceedings of SPIE - The International Society for Optical Engineering; vol. 10653).

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

The illusion of control: Placebo effects of control settings

Vaccaro, K., Huang, D., Eslami, M., Sandvig, C., Hamilton, K. & 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

The performance of 9-11-year-old children using an SSVEP-based BCI for target selection

Norton, J. J. S., Mullins, J., Alitz, B. E. & Bretl, T., Jul 27 2018, In : Journal of Neural Engineering. 15, 5, 056012.

Research output: Contribution to journalArticle

The Self-Multiset Sampler

Huang, W., Shen, J. & Chen, Y., Jan 2 2018, In : Journal of Computational and Graphical Statistics. 27, 1, p. 34-47 14 p.

Research output: Contribution to journalArticle

The value proposition of working with universities

Nicol, D. M. & Woeltge, F. W., Jan 1 2018, American Fuel and Petrochemical Manufacturers, AFPM - AFPM Operations and Process Technology Summit: Cybersecurity. American Fuel and Petrochemical Manufacturers (AFPM), p. 1-11 11 p. (American Fuel and Petrochemical Manufacturers, AFPM - AFPM Operations and Process Technology Summit: Cybersecurity).

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

The Visual–Inertial Canoe Dataset

Miller, M., Chung, S. J. & Hutchinson, S. A., Jan 1 2018, In : The International Journal of Robotics Research. 37, 1, p. 13-20 8 p.

Research output: Contribution to journalArticle

The Web’s sixth sense: A study of scripts accessing smartphone sensors

Das, A., Borisov, N., Acar, G. & Pradeep, A., Oct 15 2018, CCS 2018 - Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery, p. 1515-1532 18 p. (Proceedings of the ACM Conference on Computer and Communications Security).

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

TightRope: Towards optimal load-balancing of paths in anonymous networks

Darir, H., Sibai, H., Borisov, N., Dullerud, G. & Mitra, S., Oct 15 2018, WPES 2018 - Proceedings of the 2018 Workshop on Privacy in the Electronic Society, co-located with CCS 2018. Association for Computing Machinery, p. 76-85 10 p. (Proceedings of the ACM Conference on Computer and Communications Security).

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

Time-regularized and periodic event-triggered control for linear systems

Borgers, D. P., Dolk, V. S., Dullerud, G. E., Teel, A. R. & Heemels, W. P. M. H., Jan 1 2018, Lecture Notes in Control and Information Sciences. Springer-Verlag Berlin Heidelberg, p. 121-149 29 p. (Lecture Notes in Control and Information Sciences; vol. 475).

Research output: Chapter in Book/Report/Conference proceedingChapter