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]
I
Abbas, W., S. Bhatia, Y. Vorobeychik, and X. Koutsoukos, "Immunization Against Infection Propagation In Heterogeneous Networks", 13th IEEE International Symposium on Network Computing & Applications, Cambridge, MA, pp. 296-300, 2014.
Du, Y., H. Tu, S. Lukic, D. Lubkeman, A. Dubey, and G. Karsai, "Implementation of a Distributed Microgrid Controller on the Resilient Information Architecture Platform for Smart Systems (RIAPS)", 2017 North American Power Symposium (NAPS), Morgantown, WV, IEEE, 09/2017. Abstract  Download: NAPS_paper.pdf (1.39 MB)
Simon, G., T. Kovacshazy, G. Peceli, T. Szemethy, G. Karsai, and A. Ledeczi, "Implementation of Reconfiguration Management in Fault-Adaptive Control Systems", IMTC 2002, Anchorage, AK, pp. 123--128, May, 2002.  Download: Simon_G_5_21_2002_Implementa.pdf (1.42 MB)
Zhang, Z., and X. Kousoukos, "Improving the Precision of Abstract Interpretation Based Cache Persistence Analysis", 16th ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems (LCTES), Portland, OR, USA, 06/2015.  Download: Improving the Precision of Abstract Interpretation Based Cache Persistence Analysis.pdf (756.55 KB)
Vizhanyo, A., S. Neema, F. Shi, D. Balasubramanian, and G. Karsai, "Improving the Usability of a Graph Transformation Language", Electronic Notes in Theoretical Computer Science, vol. 152, pp. 207--222, March, 2006. Abstract  Download: improve_gtl.pdf (262.32 KB)
Dubey, A., N. Mahadevan, and G. Karsai, "The Inertial Measurement Unit Example: A Software Health Management Case Study", ISIS Technical Report, no. ISIS-12-101, 02/2012. Abstract  Download: TechReport_IMU.pdf (1.49 MB)
Potteiger, B., Z. Zhang, and X. Koutsoukos, "An Instruction Set Randomization Framework for Developing Secure and Resilience in CPS (Poster)", Symposium and Bootcamp for the Science of Security (HotSoS), Hanover, MD, 04/2017.
Davis, J., J. Scott, J. Sztipanovits, G. Karsai, and M. Martinez, "Integrated Analysis Environment for High Impact Systems", Proceedings of the Engineering of Computer Based Systems, Jerusalem, Israel, pp. 218--225, April, 1998.  Download: Davis_J_9_0_1998_Integrated.pdf (141.59 KB)
Kumar, P. S., and G. Karsai, "Integrated Analysis of Temporal Behavior of Component-Based Distributed Real-Time Embedded Systems", 2015 IEEE International Symposium on Real-time Computing (ISORC), Auckland, New Zealand, 2015.  Download: 2015--SEUS--Integrated Analysis of Temporal Behavior of Component-based Distributed Real-time Embedded Systems.pdf (1.31 MB)
Narasimhan, S., G. Biswas, and G. Karsai, "An integrated approach to diagnosis of complex hybrid systems.", 15th Annual Intl. Symposium on AeroSense (Component and Systems Diagnostics, Prognosis, and Health Management) (SPIE 2001), Orlando, Florida, April, 2001.  Download: ISIS_4_0_2001_An_integra.pdf (902.42 KB)
Daigle, M., X. Koutsoukos, and G. Biswas, An Integrated Approach to Parametric and Discrete Fault Diagnosis in Hybrid Systems, : Institute for Software Integrated Systems, January, 2008.  Download: Daigle_MJ_1_10_2008_An_Integra.pdf (660.84 KB)
Potteiger, B., Z. Zhang, and X. Koutsoukos, "Integrated Data Space Randomization and Control Reconfiguration for Securing Cyber-Physical Systems", Symposium and Bootcamp for the Science of Security (HotSoS), Nashville, TN, 04/2019.
Karsai, G., S. Abdelwahed, and G. Biswas, "Integrated Diagnosis and Control for Hybrid Dynamic Systems", AIAA Guidance, Navigation and Control Conference, Austin, TX, August, 2003.  Download: Karsai_G_8_0_2003_Integrated.pdf (188.1 KB)
Kulkarni, C., G. Biswas, X. Koutsoukos, C. Jose, and K. Goebel, "Integrated Diagnostic/Prognostic Experimental Setup for Capacitor Degradation and Health Monitoring", IEEE AUTOTESTCON 2010, Orlando, FL, IEEE, 09/2010.
Potteiger, B., Z. Zhang, and X. Koutsoukos, "Integrated Instruction Set Randomization and Control Reconfiguration for Securing Cyber-Physical Systems (accepted)", Symposium and Bootcamp on the Science of Security, Raleigh, NC, ACM, 04/2018.
Potteiger, B., Z. Zhang, and X. Koutsoukos, "Integrated Instruction Set Randomization and Control Reconfiguration for Securing Cyber-Physical Systems (Poster)", Workshop on High Confidence and Software Systems (HCSS), Annapolis, MD, 05/2018.
Carnes, R., J. Davis, C. Biegl, and G. Karsai, "Integrated Modeling for Planning, Simulation and Diagnosis", IEEE Conference on AI Simulation {\&} Planning in High Autonomy Systems, Cocoa Beach, FL, pp. 273--282, April, 1991.
Potteiger, B., Z. Zhang, and X. Koutsoukos, "Integrated Moving Target Defense and Control Reconfiguration for Securing Cyber-Physical Systems (Poster)", CPS PI Meeting, Alexandria, VA, 11/2018.
Davis, J., J. Scott, J. Sztipanovits, G. Karsai, and M. Martinez, "An Integrated Multi-Domain Analysis Environment for High Consequence Systems", Proceedings of the 1998 ASME Design Engineering Technical Conference / Computers in Engineering, Paper No. 5532, Altanta, GA, September, 1998.  Download: Davis_J_9_0_1998_An_Integtr.pdf (251.31 KB)
Shankaran, N., J. S. Kinnebrew, X. Koutsoukos, C. Lu, D. C. Schmidt, and G. Biswas, "An Integrated Planning and Adaptive Resource Management Architecture for Distributed Real-Time Embedded Systems", IEEE Transactions on Computers, vol. 58, no. 11, pp. 1485 -1499, 11/2009. Abstract  Download: Shankaran et al - 2009 - IEEE Trans Comp -- Integ Plan & Adapt Resource Mgmt Arch for DRE Sys.pdf (2.89 MB)
Potteiger, B., Z. Zhang, and X. Koutsoukos, "Integrated Reconfigurable Control and Moving Target Defense for Secure Cyber-Physical Systems (Poster)", CPS PI Meeting, Alexandria, VA, 11/2017.
Neema, H., B. Potteiger, X. Kousoukos, G. Karsai, P. Volgyesi, and S. Janos, "Integrated Simulation Testbed for Security and Resilience of CPS", The 33rd ACM Symposium on Applied Computing - Cyber-Physical Systems Track, Pau, France, ACM, 04/2018. Abstract
Werner, J., M. Eby, J. Mathe, G. Karsai, Y. Xue, and J. Sztipanovits, "Integrating Security Modeling in Embedded System Design", 12th IEEE Real-Time and Embedded Technology and Applications Symposium, San Jose, CA, April, 2006. Abstract  Download: Werner_J_4_4_2006_Integratin.pdf (132.39 KB)
Eby, M., J. Werner, G. Karsai, and J. Sztipanovits, "Integrating Security Modeling into Embedded System Design", ECBS 2007, Tucson, Arizona, 2006.  Download: ISIS_0_0_2006_Integratin.pdf (324.18 KB)
Balasubramanian, D., C. S. Pasareanu, J. Biatek, T. Pressburger, G. Karsai, M. R. Lowry, and M. W. Whalen, "Integrating Statechart Components in Polyglot", NASA Formal Methods, vol. 7226, Norfolk, VA, Springer, 04/2012. Abstract
Kinnebrew, J. S., G. Biswas, N. Shankaran, D. C. Schmidt, and D. Suri, "Integrating Task Allocation, Planning, Scheduling, and Adaptive Resource Management to Support Autonomy in a Global Sensor Web", The NASA Science Technology Conference (NSTC), College Park, Maryland, 06/2007. Abstract  Download: Kinnebrew et al - 2007 - NSTC -- Integ Task Alloc, Plan, Sched, & Resource Mgmt for Autonomy Global SensorWeb.pdf (581.55 KB)
Lattmann, Z., J. Klingler, P. Meijer, T. Bapty, S. Neema, and J. Scott, Integration Platform Technology Components in the META Toolchain, , no. ISIS-15-110, Nashville, Institute for Software Integrated Systems, 01/2015.  Download: Integration Platform Technology Components in the META Toolchain.pdf (2.3 MB)
Sztipanovits, J., G. Karsai, S. Padalkar, C. Biegl, N. Miyasaka, and K. Okuda, "Intelligent Monitoring and Diagnostics for Plant Automation", IEEE International Conference on Robotics and Automation, Cincinnati, OH, pp. 1390--1397, 1990.
Kinnebrew, J. S., W. R. Otte, N. Shankaran, G. Biswas, and D. C. Schmidt, "Intelligent Resource Management and Dynamic Adaptation in a Distributed Real-time and Embedded Sensor Web System", The 12th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), Tokyo, Japan, pp. 135 -142, 03/2009. Abstract  Download: Kinnebrew et al - 2009 - ISORC -- Intell Resource Mgmt & Dyn Adapt in DRE Sensor Web.pdf (297.34 KB)
Karsai, G., C. Biegl, W. Blokland, J. Sztipanovits, K. Kawamura, N. Miyasaka, and M. Inui, "Intelligent Supervisory Controller for Gas Distribution Network", Proceedings of the American Control Conference, pp. 1353--1358, 1987.
Schwartz, D. L., C. Chase, D. Chin, M. Oppezzo, H. Kwong, S. Okita, G. Biswas, R. D. Roscoe, H. Jeong, and J. D. Wagster, "Interactive Metacognition: Monitoring and Regulating a Teachable Agent", Handbook of Metacognition in Education, pp. 340-358, 2009.
Agrawal, A., G. Karsai, and F. Shi, Interpreter Writing using Graph Transformations, : Institute for Software Integrated Systems, 2003.  Download: Agrawal_A_0_0_2003_Interprete.pdf (1.42 MB)
Kusy, B., G. Balogh, J. Sallai, A. Ledeczi, and M. Maroti, "inTrack: High Precision Tracking of Mobile Sensor Nodes", European conference on Wireless Sensor Networks, Delft, Netherlands, January, 2007.  Download: Kusy_B_1_29_2006_inTrack__H.pdf (831.13 KB)
Sztipanovits, J., G. Biswas, K. Frampton, J. Balasubramanian, L. Howard, G. Karsai, J. T. Koo, X. Koutsoukos, and D. C. Schmidt, "Introducing Embedded Software and Systems Education and Advanced Learning Technology in an Engineering Curriculum", ACM Transactions on Embedded Systems, 2005.
Kinnebrew, J. S., G. Biswas, B. Sulcer, and R. Taylor, "Investigating Self-Regulated Learning in Teachable Agent Environments", International Handbook of Metacognition and Learning Technologies, Berlin, Germany: Springer, 2011.
Segedy, J., J. S. Kinnebrew, and G. Biswas, "Investigating the Relationship Between Dialogue Responsiveness and Learning in a Teachable Agent Environment", The 15th International Conference on Artificial Intelligence in Education, Auckland, New Zealand, 2011.
J
Balasubramanian, D., Z. Zhang, D. McDermet, and G. Karsai, Janalyzer: A Static Analysis Tool for Java Bytecode, , Nashville, Institute for Software Integrated Systems, 08/2017.  Download: main.pdf (261.01 KB)
K
Pradhan, S., W. Otte, A. Dubey, A. Gokhale, and G. Karsai, "Key Considerations for a Resilient and Autonomous Deployment and Configuration Infrastructure for Cyber-Physical Systems", 11th IEEE International Conference and Workshops on the Engineering of Autonomic and Autonomous Systems (EASe-2014), Laurel, MD, USE, IEEE, 2014.  Download: Pradhan_EASe-2014.pdf (1.46 MB)
Karsai, G., C. Biegl, S. Padalkar, J. Sztipanovits, K. Kawamura, N. Miyasaka, and M. Inui, "Knowledge-Based Approach to Real-Time Supervisory Control", Amercian Control Conference, Atlanta, GA, pp. 620--626, 1988.
Sztipanovits, J., C. Biegl, G. Karsai, J. Bourne, R. Mushlin, and C. Harrison, "Knowledge-Based Experiment Builder for Magnetic Resonance Imaging (MRI) Systems", Proceedings of the 3rd IEEE Conference on Artificial Intelligence Applications, pp. 126--133, 1987.
Sztipanovits, J., and G. Karsai, "Knowledge-Based Techniques in Instrumentation", IEEE EMBS Magazine, vol. 7, pp. 13--17, 1988.
L
Karsai, G., "Lessons Learned from Building a Graph Transformation System", Graph Transformations and Model-Driven Engineering, vol. 5765: Springer Berlin / Heidelberg, pp. 202-223, 2010.
Zhang, Z., Z. Zhan, D. Balasubramanian, B. Li, P. Volgyesi, and X. Kousoukos, Leveraging EM Side-Channel Information to Detect Rowhammer Attacks, , 2019.  Download: radar.pdf (5.86 MB)
Kottenstette, N., and N. Chopra, "Lm2-stable digital-control networks for multiple continuous passive plants", Technical Report, Nashville, TN, Institute for Software Integrated Systems, Vanderbilt University, pp. 1-14, 04/2009.  Download: tr_l2_power_junction.pdf (1.44 MB)
Kottenstette, N., and N. Chopra, "Lm2-stable digital-control networks for multiple continuous passive plants", 1st IFAC Workshop on Estimation and Control of Networked Systems (NecSys'09), Venice, Italy, International Federation of Automatic Control, 09/2009. Abstract  Download: l2_power_junction_Jul_27_2009_03_13_PM.pdf (301.84 KB)
Aliferis, C., A. Statnikov, I. Tsamardinos, S. Main, and X. Koutsoukos, "Local Causal and Markov Blanket Induction Algorithms for Causal Discovery and Feature Selection for Classification. Part I: Algorithms and Empirical Evaluation", Journal of Machine Learning Research, vol. 11, no. Jan, pp. 171-234, 2010.
Aliferis, C., A. Statnikov, I. Tsamardinos, S. Main, and X. Koutsoukos, "Local Causal and Markov Blanket Induction Algorithms for Causal Discovery and Feature Selection for Classification. Part II: Analysis and Extensions", Journal of Machine Learning Research, vol. 11, no. Jan, pp. 235-284, 2010.
Piccoli, L., A. Dubey, J. N. Simone, and J. B. Kowalkowlski, "LQCD Workflow Execution Framework: Models, Provenance and Fault-Tolerance", Journal of Physics: Conference Series, to appear, 2009.  Download: CHEP09-Paper.pdf (420.63 KB)
M
Kavimandan, A., A. Gokhale, G. Karsai, and J. Gray, "Managing the Quality of Software Product Line Architectures through Reusable Model Transformations", To Appear in the 7th International ACM SIGSOFT Conference on Quality of Software Architectures (QoSA), Boulder, CO, USA, ACM, 06/2011.  Download: templatization.pdf (963.29 KB)
Biswas, G., H. Jeong, J. S. Kinnebrew, B. Sulcer, and R. Roscoe, "Measuring Self-regulated Learning Skills through Social Interactions in a Teachable Agent Environment", Research and Practice in Technology-Enhanced Learning (RPTEL), vol. 5, no. 2, pp. 123–152, 2010. Abstract  Download: Biswas-etal_MeasuringSRL_RPTEL2010.pdf (820.35 KB)