Visible to the public Biblio

Found 1720 results

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
A. Ayoub, B. Kim, I. Lee, O. Sokolsky.  2012.  A Safety Case Pattern for Model-Based Development Approach. Proceedings of the 4$^{th}$ NASA Formal Methods Symposium. :223–243.
A. Ayoub, B. Kim, I. Lee, O. Sokolsky.  2012.  A Systematic Approach to Justifying Sufficient Confidence in Software Safety Arguments. International Conference on Computer Safety, Reliability and Security ({SAFECOMP 2012}).
A. Ayoub, B. Chang, O. Sokolsky, I. Lee.  2013.  Assessing the Overall Sufficiency of Safety Arguments. Proceedings of the 21st Safety-critical Systems Symposium (SSS'13).
A. Cherukuri, E. Mallada, S. Low, J. Cortes.  2016.  The role of strong convexity-concavity in the convergence and robustness of the saddle-point dynamics. 54th Annual Allerton Conf. on Communication, Control, and Computing (Allerton). :504-510.
A. Dirafzoon, N. Lokare, E. Lobaton.  2016.  Action Classification from Motion Capture Data using Topological Data Analysis. IEEE Global Conf. on Signal and Information Processing (GlobalSIP).
A. P. Vinod, Y. Tang, M. M. K. Oishi, K. Sycara, C. Lebiere, M. Lewis.  2016.  Validation of cognitive models for collaborative hybrid systems with discrete human input. {IEEE/RSJ} International Conference on Intelligent Robots and Systems. :3339–3346.
A. Paola, P.Ferraro, S.Gaglio, G.Re, S.K.Das.  2017.  An Adaptive Bayesian System for Context-Aware Data Fusion in Smart Environments. IEEE Transactions on Mobile Computing. 16:1502–1515.
A. Pourhabib, R. Tuo, S. He, Y. Ding,, J.Z. Huang.  2017.  Local calibration of computer experiments. Journal of the American Statistical Association. revised and re-submitted
A. Roederer, J. Dimartino, J. Gutsche, M. Mullen-Fortino, S. Shah, C. W. Hanson, I. Lee.  2016.  Clinician-in-the-Loop Annotation of ICU Bedside Alarm Data. 2016 IEEE First International Conference on Connected Health: Applications, Systems and Engineering Technologies (CHASE). :229-237.
A. Sturaro, S. Silvestri, M. Conti,, S. K. Das.  Submitted.  Characterizing Cascade Failures in Inter-Dependent Smart Grid Networks. IEEE Transactions on Smart Grid (Submitted in Oct 2017).
A. Thudimilla, B. McMillin.  2017.  Multiple Security Domain Nondeducibility Air Traffic Surveillance Systems. 2017 IEEE 18th International Symposium on High Assurance Systems Engineering (HASE). :136-139.
A. Y. Z. Ou, Yu Jiang, P. L. Wu, L. Sha, R. B. Berlin.  2016.  Using human intellectual tasks as guidelines to systematically model medical cyber-physical systems. 2016 IEEE International Conference on Systems, Man, and Cybernetics (SMC). :004394-004399.