ISIS Publications

Export 273 results:
Sort by: [ Author  (Asc)] Title Type Year
Filters: Author is Karsai, Gabor  [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 
N
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)
Neema, S., J. Sztipanovits, and G. Karsai, "Design-Space Construction and Exploration in Platform-Based Design", ISIS-02-301: Institute for Software Integrated Systems, June, 2002.  Download: Neema_S_6_24_2002_Design_Spa.pdf (379.45 KB)
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)
Neema, S., T. Bapty, X. Koutsoukos, H. Neema, J. Sztipanovits, and G. Karsai, "Model Based Integration and Experimentation of Information Fusion and C2 Systems", FUSION '09. 12th International Conference on Information Fusion, Seattle, WA, 07/2009. Abstract  Download: Paper.pdf (556.87 KB)
Nordstrom, G., G. Karsai, M. Moore, T. Bapty, and J. Sztipanovits, "Model Integrated Computing-Based Software Design and Evolution", Conference on Life Cycle Software Engineering Technology for Modern Avionics, Missiles, and Smart Weapon Systems, Huntsville, Alabama, August, 2000.  Download: Nordstrom_GG_8_16_2000_Model_Inte.pdf (252.99 KB)
Nordstrom, G., J. Sztipanovits, and G. Karsai, "Metalevel Extension of the MultiGraph Architecture", Proceedings of the IEEE ECBS'98 Conference, Jerusalem, Israel, pp. 61--68, April, 1998.  Download: Nordstrom_GG_4_0_1998_Metalevel_.pdf (118.28 KB)
Nordstrom, G., J. Sztipanovits, G. Karsai, and A. Ledeczi, "Metamodeling - Rapid Design and Evolution of Domain-Specific Modeling Environments", Proceedings of the IEEE ECBS'99 Conference, Nashville, Tennessee, pp. 68--74, April, 1999.  Download: Nordstrom_GG_4_0_1999_Metamodeli.pdf (67.92 KB)
O
Otte, W. R., A. Dubey, S. Pradhan, P. R. Patil, A. Gokhale, G. Karsai, and J. Willemsen, "F6COM: A Component Model for Resource-constrained and Dynamic Space-based Computing Environments", 16th IEEE International Symposium on Object/Component/Service-oriented Real-time Distributed Computing, 2013.  Download: F6COM-ISORC2013.pdf (1.05 MB)
P
Padalkar, S., J. Sztipanovits, G. Karsai, N. Miyasaka, and K. Okuda, "Real-Time Fault Diagnostics with Multiple-Aspect Models", IEEE International Conference on Robotics and Automation, Sacramento, CA, pp. 803--808, April, 1994.
Padalkar, S., G. Karsai, and J. Sztipanovits, "Graph-Based Real-Time Fault Diagnostics", 4th Conference on Artificial Intelligence for Space Applications, Huntsville, AL, pp. 115--123, January, 1988.
Porter, J., G. Karsai, and J. Sztipanovits, "Towards a time-triggered schedule calculation tool to support model-based embedded software design", ACM International Conference on Embedded Software (EMSOFT ’09), Grenoble, France, ACM, 10/2009. Abstract
Porter, J., G. Hemingway, N. Kottenstette, G. Karsai, and J. Sztipanovits, "Online Stability Validation Using Sector Analysis", International Conf. on Embedded Software (EMSoft), Scottsdale, AZ, ACM, pp. 29-38, 10/2010. Abstract
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)
S
Sprinkle, J., C. van Buskirk, and G. Karsai, "Modeling Agent Negotiation", IEEE International Conference on Systems, Man, and Cybernetics, Proceedings, Nashville, TN, October, 2000.  Download: Sprinkle_JM_10_8_2000_Modeling_A.pdf (181.58 KB)
Sprinkle, J., and G. Karsai, "Model Migration through Visual Modeling", OOPSLA - 3rd OOPSLA Workshop on Domain-Specific Modeling, Anaheim, CA, October, 2003.  Download: Sprinkle_J_10_26_2003_Model_Migr.pdf (75.79 KB)
Sprinkle, J., A. Agrawal, T. Levendovszky, F. Shi, and G. Karsai, "Domain Evolution in Visual Languages Using Graph Transformations", OOPSLA, 2nd Workshop on Domain-Specific Languages, Seattle, WA, November, 2002.  Download: Sprinkle_JM_11_4_2002_Domain_Evo.doc (216 KB)
Sprinkle, J., A. Agrawal, T. Levendovszky, F. Shi, and G. Karsai, "Domain Translation Using Graph Transformations", Tenth IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, Huntsville, AL, pp. 159--168, April, 2003.  Download: Sprinkle_JM_4_7_2003_Domain_Tra.pdf (255.82 KB)
Sprinkle, J., C. van Buskirk, and G. Karsai, "Analysis and Representation of Clauses in Satisfiability of Constraints", ISIS-01-205: Institute for Software Integrated Systems, August, 2001.  Download: Sprinkle_JM_8_6_2001_Analysis_a.pdf (171.11 KB)
Sprinkle, J., and G. Karsai, "A Domain-Specific Visual Language for Domain Model Evolution", Journal of Visual Languages and Computing, vol. 15, April, 2004.  Download: Sprinkle_JM_4_0_2004_A_Domain_S.pdf (328.86 KB)
Sprinkle, J., G. Karsai, A. Ledeczi, and G. Nordstrom, "The New Metamodeling Generation", IEEE Engineering of Computer Based Systems, Proceedings, Washington, D.C., USA, pp. 275, April, 2001.  Download: Sprinkle_JM_4_0_2001_The_New_Me.doc (103.5 KB)
Su, R., S. Abdelwahed, G. Karsai, and G. Biswas, "Discrete Abstraction and Supervisory Control of Switching Systems", IEEE Int. Conference on Systems, Man & Cybernetics, Washington, DC., October, 2003.  Download: ISIS_10_0_2003_Discrete_A.pdf (485.73 KB)
Szekely, P., M. Becker, S. Fitzpatrick, G. Gati, D. Hanak, J. Jin, G. Karsai, R. T. Maheswaran, B. Neches, C. M. Rogers, et al., "CSC: Criticality-Sensitive Coordination", Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems, New York, NY, USA, ACM, pp. 1441–1442, 2006.
Szekely, P., R. Maheswaran, R. Neches, C. Rogers, R. Sanchez, M. Becker, S. Fitzpatrick, G. Gati, D. Hanak, G. Karsai, et al., "An Examination of CriticalitySensitive Approaches to Coordination", In AAAI Spring Symposium on Distributed Plan and Schedule Management: AAAI Press, pp. 136–142, 2006.
Szekely, P., R. Neches, M. Becker, S. Fitzpatrick, C. vanBuskirk, D. Fisher, and G. Karsai, "Plan Execution and Coordination", Proceedings of ICAPS Workshop: Plan Execution: A Reality Check, Monterey, California, June, 2005. Abstract
Szemethy, T., and G. Karsai, "PML: a Language for Platform Modeling", Electronic Communications of the EASST, vol. 4, 2006.
Szemethy, T., and G. Karsai, "Platform Modeling and Model Transformations for Analysis", Journal of Universal Computer Science, vol. 10, pp. 1383--1406, October, 2004.  Download: Szemethy_T_11_23_2004_Platform_M.pdf (328.35 KB)
Sztipanovits, J., G. Karsai, and B. Purves, "Model-Based Approach for Intelligent Control", Fourth SPIE Conference on Space Station Automation, Cambridge, MA, pp. 46--65, 1988.  Download: ModelBasedApproachforIntelligentControl.pdf (1.71 MB)