ISIS Publications

Export 539 results:
Sort by: Author Title [ Type  (Desc)] Year
Filters: First Letter Of Last Name is K  [Clear All Filters]
Kottenstette, N., H. LeBlanc, E. Eyisi, and X. Koutsoukos, "Multi-Rate Networked Control of Conic Systems", Technical Report, Nashville, TN, Institute for Software Integrated Systems, Vanderbilt University, 09/2009. Abstract  Download: tr_quantization_final_rev.pdf (930.55 KB); tr_quantization_4_2010_rev.pdf (727.99 KB); tr_quantization_original.pdf (926.22 KB)
Neema, H., G. Karsai, and A. Levis, "Next-Generation Command and Control Wind Tunnel for Courses of Action Simulation", ISIS Technical Report, no. ISIS-15-119, Nashville, Institute for Software-Integrated Systems, Vanderbilt University, 05/2015. Abstract  Download: ngc2wt-report.pdf (8.43 MB)
Kottenstette, N., X. Koutsoukos, J. Hall, J. Sztipanovits, and P. J. Antsaklis, "Passivity-Based Design of Wireless Networked Control Systems Subject To Time-Varying Delays", Technical Report, Nashville, TN, Institute for Software Integrated Systems, Vanderbilt University, pp. 1-17, 08/2008.  Download: passivity_isis_tr_08-904_revised_2_15_11.pdf (648.14 KB); Passivity_isis_tr_08_904_original.pdf (462.44 KB)
Maroti, M., B. Kusy, G. Balogh, P. Volgyesi, K. Molnar, S. Dora, and A. Ledeczi, Radio Interferometric Positioning, : Institute for Software Integrated Systems, April, 2005.  Download: Maroti_M_4_10_2005_Radio_Inte.pdf (422.8 KB)
Neema, H., A. Dubey, and G. Karsai, "A Report On Simulating External Applications With SOAMANET in the Loop", ISIS Technical Report, no. ISIS-10-108, Nashville, Insitute For Software Integrated Systems, 08/2010.  Download: report.pdf (6.13 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)
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)
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
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)
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)
Tantawy, A., X. Koutsoukos, and G. Biswas, Transmission Control Policy Design for Decentralized Detection in Sensor Networks, , no. ISIS-11-103, Nashville TN, Institute for Software Integrated Systems, 04/2011.
Shekhar, S., F. Caglar, K. An, T. Kuroda, A. S. Gokhale, and S. S. Gokhale, "A Model-driven Approach for Price/Performance Tradeoffs in Cloud-based MapReduce Application Deployment", Proceedings of the 2nd International Workshop on Model-Driven Engineering for High Performance and CLoud computing, Miami, Florida, USA, September 29, 2013., pp. 37–42, 2013.
Koutsoukos, X., M. Kushwaha, I. Amundson, S. Neema, and J. Sztipanovits, "OASiS: A Service-Oriented Architecture for Ambient-Aware Sensor Networks", Monterey Workshop 2006, LNCS 4888, Springer-Verlag, Paris, France, 2007.  Download: LNCS2007.pdf (1.54 MB)
Potteiger, B., P. Volgyesi, H. Neema, Y. Vorobeychik, A. Laszka, and X. Kousoukos, Resilient traffic light control (Poster), , Science of Security Quarterly Lablet Meeting, College Park, MD, 10/2015.
Journal Article
Levendovszky, T., and G. Karsai, "An Active Pattern Infrastructure for Domain-Specific Languages", Electronic Communications of the EASST, vol. 25, pp. 1-10, 05/07, 2010.
Mens, T., P. van Gorp, D. Varro, and G. Karsai, "Applying a Model Transformation Taxonomy to Graph Transformation Technology", Electronic Notes in Theoretical Computer Science, vol. 152, pp. 143--159, March, 2006.
Dubey, A., G. Karsai, and N. Mahadevan, "A Component Model for Hard-Real Time Systems: CCM with ARINC-653", Software: Practice and Experience, no. In press, 2011.  Download: Journal.pdf (1.94 MB)
Ledeczi, A., A. Nadas, P. Volgyesi, G. Balogh, B. Kusy, J. Sallai, G. Pap, S. Dora, K. Molnar, M. Maroti, et al., "Countersniper System for Urban Warfare", ACM Transactions on Sensor Networks, vol. 1, pp. 153--177, November, 2005.
Mahadevan, N., A. Dubey, D. Balasubramanian, and G. Karsai, "Deliberative, search-based mitigation strategies for model-based software health management", Innovations in Systems and Software Engineering: Springer London, pp. 1-26, 2013.  Download: Paper.pdf (16.09 MB)
Agrawal, A., G. Karsai, S. Neema, F. Shi, and A. Vizhanyo, "The Design of a Language for Model Transformations", Journal on Software and System Modeling, vol. 5, pp. 261--288, September, 2006.  Download: Agrawal_A_0_0_2005_The_Design.pdf (2.09 MB)