Visible to the public Biblio

Found 112 results

Filters: First Letter Of Last Name is A  [Clear All Filters]
[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   [Show ALL]
A
Awad, Louis N., Bae, Jaehyun, O’Donnell, Kathleen, De Rossi, Stefano M. M., Hendron, Kathryn, Sloot, Lizeth H., Kudzia, Pawel, Allen, Stephen, Holt, Kenneth G., Ellis, Terry D. et al..  2017.  A soft robotic exosuit improves walking in patients after stroke. Science Translational Medicine. 9
Awad, L. N., Bae, J., Kudzia, P., Long, A., Hendron, K., Holt, K. G., O?Donnell, K., Ellis, T. D., Walsh, C. J..  2017.  Reducing Circumduction and Hip Hiking During Hemiparetic Walking Through Targeted Assistance of the Paretic Limb Using a Soft Robotic Exosuit}. Am J Phys Med Rehabil. 96:S157-S164.
Arney, David, Venkatasubramanian, Krishna K, Sokolsky, Oleg, Lee, Insup.  2011.  Biomedical devices and systems security. 2011 Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC). :2376–2379.
Arney, D., Plourde, J., Schrenker, R., Mattegunta, P., Whitehead, S.F., Goldman, J.M..  2014.  Design Pillars for Medical Cyber-Physical System Middleware. Proceedings of the 5$^{th}$ Workshop on Medical Cyber-Physical Systems (MCPS 2014). :124–132.
Anwar, Fatima M, Srivastava, Mani B.  2017.  Precision Time Protocol over LR-WPAN and 6LoWPAN. International IEEE Symposium on Precision Clock Synchronization for Measurement, Control, and Communication (ISPCS).
Anwar, Fatima, D’souza, Sandeep, Symington, Andrew, Dongare, Adwait, Rajkumar, Ragunathan, Rowe, Anthony, Srivastava, Mani.  2016.  Timeline: An Operating System Abstraction for Time-Aware Applications. Real-Time Systems Symposium (RTSS), 2016 IEEE. :191–202.
Antti Tapani Siirtola, Stavros Tripakis, Keijo Heljanko.  2015.  When Do We (Not) Need Complex Assume-Guarantee Rules? 15th International Conference on Application of Concurrency to System Design, {ACSD} 2015, Brussels, Belgium, June 21-26, 2015. :30–39.
Antti Siirtola, Stavros Tripakis, Keijo Heljanko.  2017.  When Do We Not Need Complex Assume-Guarantee Rules? {ACM} Trans. Embedded Comput. Syst.. 16:48:1–48:25.
Antonio Iannopollo, Stavros Tripakis, Alberto L. Sangiovanni{-}Vincentelli.  2016.  Constrained Synthesis from Component Libraries. Formal Aspects of Component Software - 13th International Conference, {FACS} 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers. :92–110.
Antonio Iannopollo, Pierluigi Nuzzo, Stavros Tripakis, Alberto L. Sangiovanni{-}Vincentelli.  2014.  Library-based scalable refinement checking for contract-based design. Design, Automation {&} Test in Europe Conference {&} Exhibition, {DATE} 2014, Dresden, Germany, March 24-28, 2014. :1–6.
Anitha Murugesan, Sanjai Rayadurgam, Mats Per Erik Heimdahl.  2013.  Modes, features, and state-based modeling for clarity and flexibility. Proceedings of the 5th International Workshop on Modeling in Software Engineering, MiSE 2013. :13–17.
Anitha Murugesan, Michael W. Whalen, Neha Rungta, Oksana Tkachuk, Suzette Person, Mats Per Erik Heimdahl, Dongjiang You.  2015.  Are We There Yet? Determining the Adequacy of Formalized Requirements and Test Suites {NASA} Formal Methods - 7th International Symposium, {NFM} 2015. :279–294.
Anitha Murugesan, Oleg Sokolsky, Sanjai Rayadurgam, Michael Whalen, Mats Heimdahl, Insup Lee.  2014.  Linking abstract analysis to concrete design: A hierarchical approach to verify medical CPS safety. 5$^{th}$ ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS). :139-150.
Anitha Murugesan, Mats Per Erik Heimdahl, Michael W. Whalen, Sanjai Rayadurgam, John Komp, Lian Duan, BaekGyu Kim, Oleg Sokolsky, Insup Lee.  2014.  From Requirements to Code: Model Based Development of a Medical Cyber Physical System. Software Engineering in Health Care - 4th International Symposium, {FHIES} 2014, and 6th International Workshop, {SEHC} 2014. :96–112.
Anitha Murugesan, Lu Feng, Mats Per Erik Heimdahl, Sanjai Rayadurgam, Michael W. Whalen, Insup Lee.  2014.  Exploring the twin peaks using probabilistic verification techniques. Proceedings of the 4th International Workshop on Twin Peaks of Requirements and Architecture, TwinPeaks 2014. :18–23.
Anitha Murugesan, Michael W. Whalen, Sanjai Rayadurgam, Mats Per Erik Heimdahl.  2013.  Compositional verification of a medical device system. Proceedings of the 2013 {ACM} SIGAda annual conference on High integrity language technology, {HILT} 2013. :51–64.
Anelia Somekh{-}Baruch, Amir Leshem, Venkatesh Saligrama.  2016.  On the Non-Existence of Unbiased Estimators in Constrained Estimation Problems. CoRR. abs/1609.07415
Andrew Y.{-}Z. Ou, Yu Jiang, Po{-}Liang Wu, Lui Sha, Richard B. Berlin Jr..  2017.  Preventable Medical Errors Driven Modeling of Medical Best Practice Guidance Systems. J. Medical Systems. 41:9:1–9:12.
Andrew R. Teel, João P. Hespanha.  2015.  Stochastic hybrid systems: a modeling and stability theory tutorial. Proc. of the 54th Conf. on Decision and Contr..
Andrew L. King, Lu Feng, Oleg Sokolsky, Insup Lee.  2013.  Assuring the Safety of On-Demand Medical Cyber-Physical Systems. Proceedings of the 1st IEEE International Conference on Cyber-Physical Systems, Networks, and Applications (CPSNA) 2013.
Andrew L. King, Lu Feng, Sam Procter, Sanjian Chen, Oleg Sokolsky, John Hatcliff, Insup Lee.  2015.  Towards Assurance for Plug & Play Medical Systems. International Conference on Computer Safety, Reliability and Security ({SAFECOMP 2015}). :228-242.
Andrew King, Alex Roederer, David Arney, Sanjian Chen, Margaret Fortino-Mullen, Ana Giannareas, William Hanson III, Venessa Kern, Nicholas Stevens, Jonathan Tannen et al..  2010.  GSA: A framework for rapid prototyping of smart alarm systems. Proceedings of the 1st ACM International Health Informatics Symposium (IHI '10). :487–491.
Anastasia Mavridou, Joseph Sifakis, Janos Sztipanovits.  2017.  A WebGME Design Studio for Architecture-based design in BIP.
Anastasia Mavridou, Aron Laszka, Janos Sztipanovits.  2018.  Reusability of Modeling and Verification Components between the DesignBIP and FSolidM Design Studios.
Anastasia Mavridou, Tamas Kecskes, Qishen Zhang, Janos Sztipanovits.  Submitted.  A Common Integrated Framework for Heterogeneous Modeling Services.

Under submission at 6th International Workshop on the Globalization of Modeling Language (GEMOC)