ISIS Publications

Export 539 results:
Sort by: Author [ Title  (Desc)] Type Year
Filters: First Letter Of Last Name is K  [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]
T
Hartsell, C., G. Karsai, and M. Lowry, "Timing Analysis of a Middleware-based System", Proceedings of the 16th Workshop on Adaptive and Reflective Middleware, New York, NY, USA, ACM, pp. 5:1–5:6, 2017.
Hartsell, C., G. Karsai, and M. Lowry, "Timing analysis for UAS application software", 2018 IEEE Aerospace Conference, pp. 1-10, March 2018.
Amundson, I., B. Kusy, P. Volgyesi, X. Koutsoukos, and A. Ledeczi, "Time Synchronization in Heterogeneous Sensor Networks", International Conference on Distributed Computing in Sensor Systems (DCOSS'08), Santorini, Greece, 2008. Abstract  Download: Amundson_I_0_0_2008_Time_Synch.pdf (194.27 KB)
Amundson, I., M. Kushwaha, B. Kusy, P. Volgyesi, G. Simon, X. Koutsoukos, and A. Ledeczi, "Time Synchronization for Multi-Modal Target Tracking in Heterogeneous Sensor Networks", Workshop on Networked Distributed Systems for Intelligent Sensing and Control, Kalamata, Greece, 2007. Abstract  Download: KalamataWorkshop07.pdf (3.94 MB)
Kottenstette, N., and P. J. Antsaklis, "Time Domain and Frequency Domain Conditions For Passivity", Technical Report, Notre Dame, IN, ISIS Lab University of Notre Dame, pp. 1-7, 11/2008. Abstract
Sztipanovits, J., C. Krishnamurthy, and B. Purves, "Testing and Validation in Artificial Intelligence Programming", Proceedings of the SPIE's Cambridge Symposium on Advances in Intelligent Robotics Systems, Cambridge, MA, pp. 2--10, 1987.
Leelawong, K., K. Viswanath, J. Davis, G. Biswas, N. Vye, B. K., and J. Bransford, "Teachable agents: Learning by teaching environments for science domains", Proceedings of the Fifteenth Annual Conference on Innovative Applications of Artificial Intelligence, Menlo Park, CA, AAAI Press, pp. 109-116, 2003.
Kushwaha, M., S. Oh, I. Amundson, X. Koutsoukos, and A. Ledeczi, "Target Tracking in Heterogeneous Sensor Networks Using Audio and Video Sensor Fusion", IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems (MFI 2008), Seoul, Korea, 2008.  Download: multifusion.pdf (587.45 KB)
S
Chhokra, A., A. Kulkarni, S. Hasan, A. Dubey, N. Mahadevan, and G. Karsai, "A Systematic Approach Of Identifying Optimal Load Control Actions For Arresting Cascading Failures In Power Systems", 2nd Workshop on Cyber-Physical Security and Resilience in Smart Grids (CPSR-SG 2017), Pittsburgh, Pennsylvania, USA, ACM, 04/2017.
Abdelwahed, S., G. Biswas, and G. Karsai, "System Diagnosis using Hybrid Failure Propagation Graphs", The 15th International Workshop on Principles of Diagnosis, Carcassonne, France, June, 2004.  Download: Abdelwahed_S_6_0_2004_System_Dia.pdf (200.89 KB)
Abdelwahed, S., G. Karsai, and G. Biswas, System Diagnosis using Hybrid Failure Propagation Graphs, : Institute for Software Integrated Systems, December, 2003.  Download: Abdelwahed_S_12_0_2003_System_Dia.pdf (385.08 KB)
Lin, C. H., M. Wolf, X. Koutsoukos, S. Neema, and J. Sztipanovits, "System and software architectures of distributed smart cameras", ACM Transactions on Embedded Computing Systems, vol. 9, no. 4, pp. 1-30, 2010.
Ledeczi, A., T. Bapty, and G. Karsai, "Synthesis of Self-Adaptive Software", IEEE Aerospace 2000, Big Sky, MT, March, 2000.  Download: Ledeczi_A_3_0_2000_Synthesis_.pdf (161.28 KB)
Kandasamy, N., D. Hanak, C. van Buskirk, H. Neema, and G. Karsai, "Synthesis of Robust Task Schedules for Minimum Disruption Repair", IEEE International Conference on Systems, Man and Cybernetics, vol. 6, pp. 5056-5061, 10/2004. Abstract  Download: RobustTaskSchedules.pdf (370.75 KB)
Amundson, I., and X. Koutsoukos, "A Survey on Localization for Mobile Wireless Sensor Networks", 2nd International Workshop on Mobile Entity Localization and Tracking in GPS-less Environments (MELT), 09/2009. Abstract  Download: melt09_survey_amundson.pdf (382.49 KB)
Karsai, G., "Structured Specification of Model Interpreters", ECBS, Nashville, TN, pp. 84--91, March, 1999.  Download: Karsai_G_3_0_1999_Structured.pdf (54.67 KB)
Sallai, J., A. Ledeczi, X. Koutsoukos, and P. Volgyesi, "Steerable Distributed Large-Aperture Audio Array Using Low-Power Wireless Acoustic Sensor Node", Networked Digital Technologies, Prague, Czech Republic, Springer LNCS, pp. 281-288, 07/2010.
Narayanan, A., and G. Karsai, "Specifying the Correctness Properties of Model Transformations", 3rd International Workshop on Graph and Model Transformation (GraMoT), 05/2008.
Karsai, G., G. Nordstrom, A. Ledeczi, and J. Sztipanovits, "Specifying Graphical Modeling Systems Using Constraint-based Metamodels", IEEE Symposium on Computer Aided Control System Design, Anchorage, Alaska, September, 2000.  Download: Karsai_G_9_25_2000_Specifying.pdf (90.87 KB)
Bapty, T., J. Knight, Z. Lattmann, S. Neema, and J. Scott, Software Quality Assurance for the META Toolchain, , no. ISIS-15-111, Nashville, Institute for Software Integrated Systems, 01/2015.  Download: Software Quality Assurance for the META Toolchain.pdf (1.56 MB)
Potteiger, B., G. Martins, and X. Koutsoukos, "Software and attack centric integrated threat modeling for quantitative risk assessment", Proceedings of the Symposium and Bootcamp on the Science of Security, Pittsburgh, PA, ACM, pp. 99–108, 2016.
Neema, H., A. Kashyap, R. Kereskenyi, Y. Xue, and G. Karsai, "SOAMANET: A Tool for Evaluating Service-Oriented Architectures on Mobile Ad-hoc Networks", The 14th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications (DS-RT 2010), Fairfax, VA, pp. 179-188, 10/2010. Abstract  Download: Paper.pdf (1013.92 KB)
Hasan, S., A. Chhokra, A. Dubey, N. Mahadevan, and G. Karsai, "A Simulation Testbed for Cascade Analysis", IEEE PES Innovative Smart Grid Technologies (ISGT), 2017. Abstract  Download: ISGT_2017_paper1.pdf (728.09 KB); ISGT_2017_presentation.pdf (857.13 KB)
Chabukswar, R., B. Sinopoli, G. Karsai, A. Giani, H. Neema, and A. Davis, "Simulation of Network Attacks on SCADA Systems", First Workshop on Secure Control Systems, Cyber Physical Systems Week 2010, 04/2010. Abstract  Download: ScadaSystemsSimulationsUsingC2WT.pdf (124.34 KB)
Zhang, Z., J. Porter, X. Kousoukos, and J. Szipanovits, "A Simulation Framework for Design of Mixed Time-Event-Triggered Distributed Control Systems with SystemC/TLM", The 3rd Analytic Virtual Integration of Cyber-Physical Systems Workshop, San Juan, Puerto Rico, 12/2012.  Download: AVICPS'12.pdf (1.52 MB)
Sun, F., A. Dubey, C. Samal, H. Baroud, and C. Kulkarni, "Short-Term Transit Decision Support System Using Multi-task Deep Neural Networks", 2018 IEEE International Conference on Smart Computing (SMARTCOMP), Taormina, Italy, IEEE, pp. 155-162, 07/2018. Abstract  Download: short_term_transit_dnn.pdf (1.66 MB)
Kushwaha, M., "Sensor Node Localization Using Mobile Acoustic Beacons", Department of Computer Science, Vanderbilt University, Nashville TN, 2005.  Download: master-thesis-manish-kushwaha.pdf (9.06 MB)
Kushwaha, M., K. Molnar, J. Sallai, P. Volgyesi, M. Maroti, and A. Ledeczi, "Sensor Node Localization Using Mobile Acoustic Beacons", The 2nd IEEE International Conference (MASS 05), Washington, DC, November, 2005.  Download: Kushwaha_M_11_7_2005_Sensor_Nod.pdf (1.18 MB)