Research Output 1971 2020

2018

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

Ecosystems
Specifications
Defects
Taxonomies
Authentication

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

Sketching
Valuation
Fragment
Model
Regular Expressions

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

Neural networks
Asymptotic stability
Linear matrix inequalities
Linearization
Long short-term memory

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

Pregnancy
Demography
General Practitioners
Surveys and Questionnaires
Zika Virus

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

Network protocols
Data storage equipment
Particle accelerators
Communication
Computer hardware
Autoregressive Model
Virus
Prediction
Spatial Correlation
Spatio-temporal Modeling

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

Urban planning
Marketing

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

Internet of Things
Software
Provenance
Network security
Risk Assessment

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

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

Mobile devices
Sensing
Incentive Mechanism
incentives
Evacuation

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

Random Access
Water
Data storage equipment
Optimization
Line

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

Orbits
Dynamical systems
Trajectories
Boolean functions
Set theory

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

Trajectory Generation
Parallel Robot
Optimal Trajectory
Manipulation
Kinematics

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

DC-DC converters
Sliding mode control
Lyapunov functions
Hysteresis

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

State estimation
Dynamical systems
Entropy
Trajectories
Nonlinear dynamical systems

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

Sampling
Trees (mathematics)
Markov processes
Experiments

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

event
Psychology
Information Dissemination
Military Personnel
Social Support

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

Stochastic Stability
Wind Speed
Power System
Multiplicative
Electric Power System

Stochastic variational video prediction

Babaeizadeh, M., Finn, C., Erhan, D., Campbell, R. H. & Levine, S., Jan 1 2018.

Research output: Contribution to conferencePaper

video
predictive model
Real World
Prediction
event

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

Religious buildings
Controllability
User interfaces
Marketing
Pixels
building activity
Students
Chemical analysis
Tuning
instructor

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

Industrial research
Software design
Systems analysis
Cyber Physical System

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

Hidayetoǧlu, M., Hwu, W-M. W. & 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

image reconstruction
Image reconstruction
multipoles
Program processors
Iterative methods

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

Museums
museum
migration
history
migration research

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

privacy
Internet
cognitive factors
technical development
threat

Symbolic reasoning methods in rewriting logic and maude

Meseguer, J., Jan 1 2018, Logic, Language, Information, and Computation - 25th International Workshop, WoLLIC 2018, Proceedings. Springer-Verlag, 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

Rewriting Logic
Maude
Reasoning
Engines
Computer programming languages

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., Vol. 2018-February. p. 529-534 6 p.

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

Liveness
Petri nets
Petri Nets
Refinement
Synthesis

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

phonons
resonators
frequency response
waveguides
momentum

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, 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

Relational Algebra
Algebra
Semantics
Repair
Generator

Targeted test generation for actor systems

Li, S., Hariri, F. & Agha, G., Jul 1 2018, 32nd European Conference on Object-Oriented Programming, ECOOP 2018. Millstein, T. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, (Leibniz International Proceedings in Informatics, LIPIcs; vol. 109).

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

Flow graphs
Static analysis
Feedback

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

Taxonomies
Semantics
Information filtering
Experiments

Teaching undergraduate courses on robotics and control in prison

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

Research output: Contribution to specialist publicationArticle

Open Access
Prisons
Teaching
Robotics

Technical perspective: The future of MPI

Snir, M., Oct 2018, In : Communications of the ACM. 61, 10, 1 p.

Research output: Contribution to journalComment/debate

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

Emulation
Linux
Multiprocessor
Simulator
Simulators

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., Jan 1 2018, (Accepted/In press) In : Journal of Computer and System Sciences.

Research output: Contribution to journalArticle

Termination
Rewriting
Term Rewriting Systems
Framework
Horizontal

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. G., 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

Human computer interaction
Lenses
Industry

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. SPIE, Vol. 10653. 106530V

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

Social Media
Disasters
Anomaly
disasters
anomalies

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

Brain-Computer Interfaces
Brain computer interface
Visual Evoked Potentials
Bioelectric potentials
Calibration

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

Multiset
Nuisance Parameter
Markov Chain Monte Carlo Algorithms
Numerical Results
Generalise

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.

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

Rivers
Global Positioning System
Units of measurement
Global positioning system
Covering

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

Smartphones
Sensors
Application programming interfaces (API)
Gesture recognition
Websites

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

Resource allocation

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, p. 121-149 29 p. (Lecture Notes in Control and Information Sciences; vol. 475).

Research output: Chapter in Book/Report/Conference proceedingChapter

event
control system
time
guarantee
energy
credibility
Labels
news
news selection
political ideology

Toward an Internet of Battlefield Things: A Resilience Perspective

Abdelzaher, T., Ayanian, N., Basar, T., Diggavi, S., Diesner, J., Ganesan, D., Govindan, R., Jha, S., Lepoint, T., Marlin, B., Nahrstedt, K., Nicol, D., Rajkumar, R., Russell, S., Seshia, S., Sha, F., Shenoy, P., Srivastava, M., Sukhatme, G., Swami, A. & 4 others, Tabuada, P., Towsley, D., Vaidya, N. & Veeravalli, V., Nov 2018, Computer, 51, 11, p. 24-36 13 p.

Research output: Contribution to specialist publicationArticle

Internet of things
Cyber Physical System

Towards quality aware information integration in distributed sensing systems

Jiang, W., Miao, C., Su, L., Li, Q., Hu, S., Wang, S., Gao, J., Liu, H., Abdelzaher, T., Han, J., Liu, X., Gao, Y. & Kaplan, L., Jan 2018, In : IEEE Transactions on Parallel and Distributed Systems. 29, 1, p. 198-211 14 p.

Research output: Contribution to journalArticle

Sensor nodes
Labels
Agglomeration
Decision making
Availability

Tracking Certificate Misissuance in the Wild

Kumar, D., Wang, Z., Hyder, M., Dickinson, J., Beck, G., Adrian, D., Mason, J., Durumeric, Z., Halderman, J. A. & Bailey, M., Jul 23 2018, Proceedings - 2018 IEEE Symposium on Security and Privacy, SP 2018. Institute of Electrical and Electronics Engineers Inc., p. 785-798 14 p. 8418638. (Proceedings - IEEE Symposium on Security and Privacy; vol. 2018-May).

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

Health

Tracking Ransomware End-to-end

Huang, D. Y., Aliapoulios, M. M., Li, V. G., Invernizzi, L., Bursztein, E., McRoberts, K., Levin, J., Levchenko, K., Snoeren, A. C. & McCoy, D., Jul 23 2018, Proceedings - 2018 IEEE Symposium on Security and Privacy, SP 2018. Institute of Electrical and Electronics Engineers Inc., p. 618-631 14 p. 8418627. (Proceedings - IEEE Symposium on Security and Privacy; vol. 2018-May).

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

Telemetering
Malware
Ecosystems
Seed