Home

ISIS Publications

Export 539 results:
Sort by: Author [ Title (Asc)] 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]
S
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)
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.
Dubey, A., W. Emfinger, A. Gokhale, G. Karsai, W. R. Otte, J. Parsons, C. Szabo, A. Coglio, E. Smith, and P. Bose, "A Software Platform for Fractionated Spacecraft", 2012 IEEE Aerospace Conference, Big Sky, Montana, 03/2012. Abstract  Download: aerospace12-1473.pdf (4.2 MB)
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)
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)
Narayanan, A., and G. Karsai, "Specifying the Correctness Properties of Model Transformations", 3rd International Workshop on Graph and Model Transformation (GraMoT), 05/2008.
Kottenstette, N., and P. J. Antsaklis, "Stable digital control networks for continuous passive plants subject to delays and data dropouts", 46th IEEE Conference on Decision and Control, New Orleans, LA, IEEE, 12/2007. Abstract
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.
Bhattacharjee, A., Y. Barve, S. Khare, S. Bao, and A. Gokhale, "Stratum: A Serverless Framework for Lifecycle Management of Machine Learning based Data Analytics Tasks", USENIX Conference on Operational Machine Learning (OpML '19) , 2019.
Kalli, S., and J. Sztipanovits, "Structural Adaptivity: New Way to Increase Intelligence and Flexibility of Patient Monitoring Systems", IFAC Symposium on Medical Instrumentation, 1989.
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)
Balasubramanian, D., A. Narayanan, S. Neema, F. Shi, R. Thibodeaux, and G. Karsai, "A Subgraph Operator for Graph Transformation Languages", Electronic Communications of the EASST, vol. 6, 2007. Abstract  Download: A_Subgraph_Operator_for_Graph_Transformation_Languages.pdf (233.92 KB)
Koutsoukos, X., G. Karsai, A. Laszka, H. Neema, B. Potteiger, P. Volgyesi, Y. Vorobeychik, and J. Sztipanovits, "SURE: A Modeling and Simulation Integration Platform for Evaluation of SecUre and REsilient Cyber-Physical Systems", Proceedings of the IEEE: IEEE, 2017.
Potteiger, B., X. Koutsoukos, G. Karsai, A. Laszka, H. Neema, P. Volgyesi, Y. Vorobeychik, and J. Sztipanovits, "SURE: A Modeling and Simulation Integration Platform for Evaluation of Secure and Resilient Cyber-Physical Systems (Poster)", Computational Cybersecurity for Compromised Environments (C3E), Atlanta, GA, 10/2017.
Neema, H., P. Volgyesi, B. Potteiger, W. Emfinger, X. Kousoukos, G. Karsai, Y. Vorobeychik, and S. Janos, "SURE: An Experimentation and Evaluation Testbed for CPS Security and Resilience", 7th International Conference on Cyber-Physical Systems (ICCPS) , Vienna, Austria, 04/2016. Abstract
Potteiger, B., P. Volgyesi, H. Neema, Y. Vorobeychik, A. Laszka, and X. Kousoukos, SURE: An Experimentation and Evaluation Testbed for Security and Resilience of CPS (Poster), , Science of Security Quarterly Lablet Meeting, Raleigh, NC, 02/2016.
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)
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)
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)
Hanak, D., and N. Kandasamy, "Synthesising Robust Schedules for Minimum Disruption Repair Using Linear Programming", Acta Cybernetica, January, 2007.  Download: Hanak_D_1_1_2007_Synthesisi.pdf (320.9 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.
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)
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.
T
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)
Kushwaha, M., A. Ledeczi, S. Oh, I. Amundson, and X. Koutsoukos, "Target Tracking in Urban Environments using Audio-Video Signal Processing in Heterogeneous Wireless Sensor Networks", 42nd IEEE Asilomar Conference on Signals, Systems and Computers, Pacific Grove, CA, 2008.  Download: tracking_asilomar2008.pdf (442.11 KB)
Brophy, S., G. Biswas, T. Katzlberger, J. Bransford, and D. Schwartz, "Teachable agents: Combining insights from learning theory and computer science", Artificial Intelligence in Education, 1999.  Download: aied99.pdf (446.63 KB)
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.
Antypas, W., K. Avery, E. Burke, J. Dusio, M. Eby, S. Frerking, J. Hegedus, P. Huyck, W. Kimmel, S. Mulholland, et al., "Technical Standard for Future Airborne Capability Environment (FACE) Reference Architecture", FACE Consortium, 2.0: The Open Group, 2013.
Kavimandan, A., A. Gokhale, G. Karsai, and J. Gray, Templatized Model Transformations: Enabling Reuse in Model Transformations, , no. ISIS-09-110, Nashville, ISIS, pp. 15, 2009.  Download: templatization.pdf (1.39 MB)
Potteiger, B., W. Emfinger, G. Karsai, and X. Koutsoukos, "A Testbed for Evaluating and Measuring Security and Resilience in CPS (Poster)", Science of Security Quarterly Lablet Meeting, Laurel, MD, 11/2016.
Kumar, P. S., W. Emfinger, and G. Karsai, "A Testbed to Simulate and Analyze Resilient Cyber-Physical Systems", Rapid System Prototyping (ESWEEK), 2015.  Download: 2015--RSP--A Testbed to Simulate and Analyze Resilient Cyber-Physical Systems.pdf (6.96 MB)
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.
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
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)
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)
Volgyesi, P., A. Dubey, T. Krentz, I. Madari, M. Metelko, and G. Karsai, "Time Synchronization Services for Low-cost Fog Computing Applications", Rapid Systems Prototyping (RSP): IEEE, 10/2017. Abstract  Download: main.pdf (4.27 MB)
Hartsell, C., G. Karsai, and M. Lowry, "Timing analysis for UAS application software", 2018 IEEE Aerospace Conference, pp. 1-10, March 2018.
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.
Karsai, G., A. Lang, and S. Neema, "Tool Integration Patterns", Workshop on Tool Integration in System Developement, ESEC/FSE, Helsinki, Finland, pp. 33--38, September, 2003.  Download: Karsai_G_9_0_2003_Tool_Integ.pdf (274.24 KB)
Karsai, G., Tool Support for Design Patterns, , NDIST 4 Workshop, Institute for Software Integrated Systems, December, 2001.  Download: Karsai_G_12_0_2001_Tool_Suppo.pdf (250.66 KB)
Zhang, Z., and X. Kousoukos, "Top-Down and Bottom-Up Multi-Level Cache Analysis for WCET Estimation", 21st Real-Time and Embedded Technology and Applications Symposium (RTAS), Seattle, WA, USA, 04/2015.  Download: Top-Down and Bottom-Up Multi-Level Cache Analysis for WCET Estimation.pdf (793.77 KB)
Biswas, G., S. Abdelwahed, X. Koutsoukos, J. Gandhe, and E. J. Manders, "Toward Distributed Diagnosis of Complex Physical Systems", The Forty-Second Annual Allerton Conference on Communication, Control, and Computing, Champgain, IL, September, 2004.  Download: Biswas_G_9_0_2004_Toward_Dis.pdf (170.05 KB)
Roy, N., J. S. Kinnebrew, N. Shankaran, G. Biswas, and D. C. Schmidt, "Toward Effective Multi-Capacity Resource Allocation in Distributed Real-Time and Embedded Systems", 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC), Orlando, Florida, pp. 124 -128, 05/2008. Abstract  Download: Roy et al - 2008 - ISORC -- Toward Effective Multi-capacity Resource Allocation in DRE Sys.pdf (168.46 KB)
Nordstrom, S., S. Shetty, D. Yao, S. Ahuja, S. Neema, T. Bapty, and G. Karsai, "Toward self-reconfiguring, fault-adaptive, high-performance distributed real-time systems", International Journal on Software Tools for Technology Transfer, 2005.  Download: Nordstrom_SG_0_0_2005_Toward_sel.pdf (769.93 KB)
Dubey, A., S. Nordstrom, T. Keskinpala, S. Neema, T. Bapty, and G. Karsai, "Towards A Model-Based Autonomic Reliability Framework for Computing Clusters", Fifth IEEE Workshop in Engineering of Autonomic and Autonomous Systems (EASe 2008), Belfast, Northern Ireland, April, 2008.  Download: Dubey_A_4_0_2008_Towards_A_.pdf (733.09 KB)
Pradhan, S., A. Dubey, W. R. Otte, G. Karsai, and A. Gokhale, Towards a Product Line of Heterogeneous Distributed Applications, , Nashville, Institute for Software Integrated Systems, 4/2015. Abstract  Download: Pradhan_UMRELA_TR.pdf (1.16 MB)
Dubey, A., G. Karsai, R. Kereskenyi, and N. Mahadevan, Towards a Real-time Component Framework for Software Health Management, , no. ISIS-09-111, Nashville, Institute for Software Integrated Systems, 11/2009. Abstract  Download: TechReport2009.pdf (11.07 MB)
Pradhan, S., W. R. Otte, A. Dubey, A. Gokhale, and G. Karsai, Towards a Resilient Deployment and Configuration Infrastructure for Fractionated Spacecraft, , APRES 2013, ACM SIGBED, 04/2013. Abstract  Download: apres13.pdf (162.07 KB)
Pradhan, S., W. Otte, A. Dubey, C. Szabo, A. Gokhale, and G. Karsai, Towards a Self-adaptive Deployment and Configuration Infrastructure for Cyber-Physical Systems, , Nashville, Institute for Software Integrated Systems, 6/2014. Abstract  Download: Pradhan_SEAMS_TechReport.pdf (2.05 MB)