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
Agumbe Suresh, Mahima, Stoleru, Radu, Denton, Ron, Zechman, Emily, Shihada, Basem.  2012.  Towards Optimal Event Detection and Localization in Acyclic Flow Networks. Distributed Computing and Networking: 13th International Conference, ICDCN 2012, Hong Kong, China, January 3-6, 2012. Proceedings. :179–196.
Al Faruque, Mohammad, Regazzoni, Francesco, Pajic, Miroslav.  2015.  Design Methodologies for Securing Cyber-physical Systems. Proceedings of the 10th International Conference on Hardware/Software Codesign and System Synthesis. :30–36.
Alanwar, Amr, Anwar, Fatima M, Zhang, Yi-Fan, Pearson, Justin, Hespanha, Joao, Srivastava, Mani B.  2017.  Cyclops: PRU Programming Framework for Precise Timing Applications. International IEEE Symposium on Precision Clock Synchronization for Measurement, Control, and Communication (ISPCS).
Alanwar, Amr, Ferraz, Henrique, Hsieh, Kevin, Thazhath, Rohit, Martin, Paul, Hespanha, Joao, Srivastava, Mani.  2017.  D-SLATS: Distributed Simultaneous Localization and Time Synchronization. Proceedings of the 18th ACM International Symposium on Mobile Ad Hoc Networking and Computing. :14.
Alanwar, Amr, Shoukry, Yasser, Chakraborty, Supriyo, Balaji, Bharathan, Martin, Paul, Tabuada, Paulo, Srivastava, Mani.  2017.  PrOLoc: resilient localization with private observers using partial homomorphic encryption: demo abstract. Proceedings of the 16th ACM/IEEE International Conference on Information Processing in Sensor Networks. :257–258.
Alanwar, Amr, Alzantot, Moustafa, Ho, Bo-Jhang, Martin, Paul, Srivastava, Mani.  2017.  SeleCon: Scalable IoT Device Selection and Control Using Hand Gestures. Proceedings of the Second International Conference on Internet-of-Things Design and Implementation. :47–58.
Alex Gyori, Pranav Garg, Edgar Pek, P. Madhusudan.  2017.  Efficient Incrementalized Runtime Checking of Linear Measures on Lists. IEEE International Conference on Software Testing, Verification and Validation (ICST). :310–320.
Alex Gyori, Shuvendu K. Lahiri, Nimrod Partush.  2017.  Refining Interprocedural Change-Impact Analysis using Equivalence Relations. ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA). :318–328.
Almoallem, Y.D., Jiang, H..  2017.  Tunable dielectrophoretic microlens with lowered driving voltage. The 18th International Conference on Solid-State Sensors, Actuators and Microsystems (Transducers’17). :258-261.
Alur, Rajeev, Trivedi, Ashutosh, Wojtczak, Dominik.  2012.  Optimal Scheduling for Constant-rate Multi-mode Systems. Proceedings of the 15th ACM International Conference on Hybrid Systems: Computation and Control (HSCC '12). :75–84.
Alur, Rajeev.  2011.  Formal Verification of Hybrid Systems. Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT '11). :273–278.
Alur, Rajeev, Trivedi, Ashutosh.  2011.  Relating Average and Discounted Costs for Quantitative Analysis of Timed Systems. Proceedings of the Ninth ACM International Conference on Embedded Software. :165–174.
Amarjit Datta, Mohammad Ashiqur Rahman.  2017.  Cyber Threat Analysis Framework for the Wind Energy Based Power System. ACM Workshop on Cyber-Physical Systems Security and Privacy (CPS-SPC) in conjunction with the 24th ACM CCS.
Ambadipudi, SR, Haifeng, X, Michalopoulos, P, Hourdakis, J.  2004.  METHODOLOGY FOR SELECTING MICROSCOPIC SIMULATORS. At the Crossroads: Integrating Mobility Safety and Security. ITS America 2004, 14th Annual Meeting and Exposition.