Visible to the public Biblio

Filters: First Letter Of Title is B  [Clear All Filters]
2018-05-15
Y. Li, S. Phillips, R. G. Sanfelice.  2016.  Basic Properties and Characterizations of Incremental Stability Prioritizing Flow Time for a Class of Hybrid Systems. Systems and Control Letters. 90:7-15.
Jeong, Seongwoon, HOU, RUI, Lynch, Jerome P, Sohn, Hoon, Law, Kincho H.  2017.  A Big Data Management and Analytics Framework for Bridge Monitoring. Structural Health Monitoring 2017.
2018-05-14
K. Mahapatra, N. R. Chaudhuri, R. Kavasseri.  2016.  Bad data detection in PMU measurements using principal component analysis. 2016 North American Power Symposium (NAPS). :1-6.
Moyne, James, Iskandar, Jimmy.  2017.  Big Data Analytics for Smart Manufacturing: Case Studies in Semiconductor Manufacturing. Processes. 5:39.
El-Geneidy, Ahmed M, Hourdos, John.  Submitted.  Bus Transit Service Planning and Operations in a Competitive Environment Bus Transit Service Planning and Operations in a Competitive Environment.
Richfield, Veronica, Hourdos, John, Asher, Kristin.  2014.  Before/After Study on the Effects of Signage and Striping on the Safety of a Modern Two-Lane Roundabout. Transportation Research Board 93rd Annual Meeting.
Feng, Yiheng, Hourdos, John, Davis, Gary A.  2012.  Bayesian model for constructing arterial travel time distributions using gps probe vehicles.
El-Geneidy, Ahmed M, Hourdos, John, Horning, Jessica.  2009.  Bus transit service planning and operations in a competitive environment. Journal of Public Transportation. 12:3.
Stavros Tripakis.  2015.  Bridging the semantic gap between heterogeneous modeling formalisms and FMI. 2015 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, {SAMOS} 2015, Samos, Greece, July 19-23, 2015. :60–69.
Rüdiger Ehlers, Stéphane Lafortune, Stavros Tripakis, Moshe Y. Vardi.  2014.  Bridging the Gap between Supervisory Control and Reactive Synthesis: Case of Full Observation and Centralized Control. 12th International Workshop on Discrete Event Systems, {WODES} 2014, Cachan, France, May 14-16, 2014.. :222–227.
Jan Reineke, Stavros Tripakis.  2014.  Basic Problems in Multi-View Modeling. Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, {TACAS} 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2014, Grenoble, France, April 5-13, 2014. Proceedin. :217–232.
2018-05-11
Taha, Ahmad F, Gatsis, Nikolaos, Dong, Bing, Pipri, Ankur, Li, Zhaoxuan.  2017.  Buildings-to-Grid Integration Framework. arXiv preprint arXiv:1706.05626.
Abbas, Houssam, Jang, Kuk Jin, Mangharam, Rahul.  2016.  Benchmark: Nonlinear Hybrid Automata Model of Excitable Cardiac Tissue. Applied Verification for Continuous and Hybrid Systems.
Almoallem, Y.D., Moghimi, M. J., Jiang, H..  2017.  Black silicon based iris with reduced light scattering and reflection. IEEE Optical MEMS and Nanophotonics (OMN). :69-70.
Fan Zhou, Goce Trajcevski, Roberto Tamassia, Besim Avci, Ashfaq A. Khokhar, Peter Scheuermann.  2017.  Bypassing holes in sensor networks: Load-balance vs. latency. Ad Hoc Networks. 61:16–32.
2018-05-10
Hemmings, Matthew, McGeer, Rick, Ricart, Glenn, Stege, Ulrike.  2016.  Base64Geo: an efficient data structure and transmission format for large, dense, scalar GIS datasets. Proceedings of the 26th Annual International Conference on Computer Science and Software Engineering. :106–115.
2018-03-29
F. Love, B. McMillin.  2017.  Breaking Implicit Trust in Point-of-Care Medical Technology: A Cyber-Physical Attestation Approach. 2017 IEEE 41st Annual Computer Software and Applications Conference (COMPSAC). 02:242-247.
William McGrath, Daniel Drew, Jeremy Warner, Majeed Kazemitabaar, Mitchell Karchemsky, David Mellis, Bjorn Hartmann.  2017.  Bifrost : Visualizing and Checking Behavior of Embedded Systems across Hardware and Software. Proceedings of the 29th Annual ACM Symposium on User Interface Software and Technology.