ISIS Publications

List
Filter

Export 276 results:

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

Lattmann, Z., T. Kecskes, P. Meijer, G. Karsai, P. Volgyesi, and A. Ledeczi, "Abstractions for Modeling Complex Systems", ISoLA 2016: 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Corfu, Greece, 2016. Abstract

Download: AbstractionsForModelingComplexSystems.pdf (697.83 KB)

Pradhan, S., A. Dubey, T. Levendovszky, P. S. Kumar, W. A. Emfinger, D. Balasubramanian, W. Otte, and G. Karsai, "Achieving resilience in distributed software systems via self-reconfiguration", Journal of Systems and Software, pp. -, 2016. Abstract

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.

Karsai, G., S. Padalkar, J. Sztipanovits, and F. DeCaria, "Activity Modeling", Foundation of Computer Aided Process Design, microfilm publication, Snowmass, CO, July, 1994.

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)

Emfinger, W., G. Karsai, A. Dubey, and A. Gokhale, "Analysis, Verification, and Management Toolsuite for Cyber-physical Applications on Time-varying Networks", Proceedings of the 4th ACM SIGBED International Workshop on Design, Modeling, and Evaluation of Cyber-Physical Systems, New York, NY, USA, ACM, pp. 44–47, 2014.

Download: CyPhy14.pdf (583.29 KB)

Balasubramanian, D., W. Emfinger, P. S. Kumar, W. Otte, A. Dubey, and G. Karsai, "An application development and deployment platform for satellite clusters", Workshop on Spacecraft Flight Software, 2013.

Download: FSW.pdf (45.92 KB)

Karsai, G., J. Sztipanovits, and J. S. Gero, "Application of Knowledge-Based Techniques in Fourier-Infrared Spectroscopy", Artificial Intelligence in Engineering: Robotics and Processes: Elsevier, pp. 387--402, 1988.

Mahadevan, N., A. Dubey, and G. Karsai, "Application of Software Health Management Techniques", To appear in the Proceedings of the 2011 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, New York, NY, USA, ACM, 2011. Abstract

Download: Paper.pdf (5.15 MB)

Balasubramanian, D., A. Narayanan, S. Neema, B. Ness, F. Shi, R. Thibodeaux, and G. Karsai, "Applying a Grouping Operator in Model Transformations", The Third International Workshop and Symposium on Applications of Graph Transformation with Industrial Relevance (AGTIVE), Kassel, Germany, 10/2007. Abstract

Download: applying_group_operator_in_model_trans.pdf (1.08 MB)

Balasubramanian, D., A. Narayanan, S. Neema, B. Ness, F. Shi, R. Thibodeaux, and G. Karsai, "Applying a Grouping Operator in Model Transformations", Applications of Graph Transformations with Industrial Relevance, pp. 410 - 425, 2008///. Abstract

Download: applying_group_operator_in_model_trans.pdf (1.08 MB)

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.

Karsai, G., A. Ledeczi, J. Sztipanovits, G. Peceli, G. Simon, and T. Kovacshazy, "An Approach to Self-Adaptive Software based on Supervisory Control", Self-Adaptive Software, Lecture Notes in Computer Science, 2002.

Download: Karsai_G_5_0_2001_An_Approac.pdf (97.4 KB)

Mahadevan, N., A. Dubey, and G. Karsai, "Architecting Health Management into Software Component Assemblies: Lessons Learned from the ARINC-653 Component Model", The 15th IEEE International Symposium on Object/component/service-oriented Real-time distributed computing, Shenzhen, China, IEEE, 04/2012. Abstract

Download: Paper.pdf (336.83 KB)

Andersen, K., G. E. Cook, K. Ramaswamy, and G. Karsai, "Artificial Neural Networks Applied to Arc Welding Process Modeling and Control", IEEE - IAS Transactions, vol. 26, pp. 824--830, September, 1990.

Hemingway, G., J. Porter, N. Kottenstette, C. vanBuskirk, G. Karsai, and J. Sztipanovits, "Automated synthesis of time-triggered architecture-based TrueTime models for platform effects simulation and analysis", Rapid System Prototyping, Fairfax, VA, IEEE, pp. 1-7, 10/2010. Abstract

Download: RSP10.pdf (349.64 KB)

Sztipanovits, J., G. Karsai, and C. Biegl, "Automated Testing and Integration of Heterogeneous Systems", Proceedings of the Intersociety Energy Conversion Engineering Conference, Philadelphia, PA, pp. 145--154, 1987.

Narayanan, A., T. Levendovszky, D. Balasubramanian, and G. Karsai, "Automatic Domain Model Migration to Manage Metamodel Evolution", 12th International Conference on Model Driven Engineering Languages and Systems, MODELS 2009, Denver, CO, Springer, 2009.

Madl, G., S. Abdelwahed, and G. Karsai, "Automatic Verification of Component-Based Real-Time CORBA Applications", the 25th IEEE International Real-Time Systems Symposium, Lisbon, Portugal, December, 2004.

Download: ISIS_12_0_2004_Automatic_.pdf (1.56 MB)

Karsai, G., G. Bloor, and J. Doyle, "Automating Human Based Negotiation Processes for Autonomic Logistics", Proceedings of the IEEE Aerospace 2000, Big Sky, MT, March, 2000.

Download: Karsai_G_3_0_2000_Automating.pdf (676.12 KB)

Karsai, G., "Automotive Software: A Challenge and Opportunity for Model-Based Software Development", Lecture Notes in Computer Science, vol. 4147: Springer, 2006.

Narasimhan, S., G. Biswas, G. Karsai, T. Pasternak, and F. Zhao, "Building observers to address fault isolation and control problems in hybrid dynamic systems", IEEE SMC 2000, Nashville, TN, July, 2000.

Download: Narasimhan_S_7_0_2000_Building_o.pdf (251.26 KB)

Mahadevan, N., A. Dubey, and G. Karsai, "A Case Study On The Application of Software Health Management Techniques", ISIS Technical Report, no. ISIS-11-101, Nashville, Institute For Software Integrated Systems, 01/2011. Abstract

Download: ADIRUTechReport.pdf (1.53 MB)

Zhang, Z., E. Eyisi, X. Koutsoukos, J. Porter, G. Karsai, and J. Sztipanovits, A Co-Simulation Framework for Design of Time-Triggered Automotive Cyber Physical Systems, , pp. 39, 08/2013.

Download: TR-13-104.pdf (3.02 MB)

Zhang, Z., E. Emeka, X. Koutsoukos, J. Porter, G. Karsai, and J. Sztipanovits, "A Co-Simulation Framework for Design of Time-Triggered Automotive Cyber Physical Systems", Simulation Modelling Practice and Theory, vol. 43, 04/2014.

Zhang, Z., E. Eyisi, X. Koutsoukos, J. Porter, G. Karsai, and J. Sztipanovits, "Co-Simulation Framework for Design of Time-Triggered Cyber Physical Systems", ACM/IEEE 4th International Conference on Cyber-Physical Systems (ICCPS), Philadelphia, PA, ACM, pp. 119-128, 04/2013. Abstract

Download: iccps'13.pdf (1.29 MB)

Kumar, P. S., A. Dubey, and G. Karsai, Colored Petri Net-based Modeling and Formal Analysis of Component-based Applications, , pp. 79–88, 2014.

Download: MoDeVVa_2014_CPN.pdf (557.04 KB)

Dubey, A., G. Karsai, and S. Abdelwahed, "Compensating for Timing Jitter in Computing Systems with General-Purpose Operating Systems", ISORC, Tokyo, Japan, 2009. Abstract

Download: Isorc.pdf (487.35 KB)

Karsai, G., and J. Gray, "Component Generation Technology for Semantic Tool Integration", Proceedings of the IEEE Aerospace 2000, Big Sky, MT, March, 2000.

Download: Karsai_G_3_0_2000_Component_.pdf (4.64 MB)

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)

Balasubramanian, D., and G. Karsai, Component Models for Vehicle Software Platforms: Two Case Studies, , no. ISIS-15-101, Nashville, Institute for Software Integrated Systems, 01/2015. Abstract

Download: ISIS-15-101.pdf (2.52 MB)

Chhokra, A., A. Dubey, N. Mahadevan, and G. Karsai, "A component-based approach for modeling failure propagations in power systems", Modeling and Simulation of Cyber-Physical Energy Systems (MSCPES), 2015 Workshop on, Seattle, Washington, USA, IEEE, pp. 1–6, 2015. Abstract

Lattmann, Z., A. Nagel, T. Levendovszky, T. Bapty, S. Neema, and G. Karsai, "Component-based Modeling of Dynamic Systems using Heterogeneous Composition", 6th International Workshop on Multi-Paradigm Modeling, Innsbruck, Austria, 10/2012.

Download: MPM12_paper 20.pdf (260.56 KB)

Ledeczi, A., A. Bakay, M. Maroti, P. Volgyesi, G. Nordstrom, J. Sprinkle, and G. Karsai, "Composing domain-specific design environments", IEEE Computer, pp. 44--51, November, 2001.

Karsai, G., M. Maroti, A. Ledeczi, J. Gray, and J. Sztipanovits, "Composition and Cloning in Modeling and Meta-Modeling", IEEE Transactions on Control System Technology, December, 2003.

van Buskirk, C., B. Dawant, G. Karsai, J. Sprinkle, G. Szokoli, K. Suwanmongkol, and R. Currer, "Computer-aided Aircraft Maintenance Scheduling", ISIS-02-303: Institute for Software Integrated Systems, November, 2002.

Download: van_Buskir_CP_11_0_2002_Computer_a.pdf (313.15 KB)

Karsai, G., "A Configurable Visual Programming Environment: A Tool for Domain-Specific Programming", IEEE Computer, vol. 28, pp. 36--44, March, 1995.

Abdelwahed, S., G. Karsai, and G. Biswas, "A Consistency-based Robust Diagnosis Approach for Temporal Causal Systems", 16th International Workshop on Principles of Diagnosis (DX '05), Monterey, CA, June, 2005.

Download: Abdelwahed_S_6_0_2005_A_Consiste.pdf (106.38 KB)

Neema, S., J. Sztipanovits, G. Karsai, and K. Butts, "Constraint-Based Design-Space Exploration and Model Synthesis", EMSOFT 2003, LNCS 2855, Philadelphia, PA, October, 2003.

Download: Neema_S_10_2_2003_Constraint.pdf (140.03 KB)

Narayanan, A., T. Levendovszky, D. Balasubramanian, and G. Karsai, "Continuous Migration Support for Domain-Specific Languages", The 9th OOPSLA Workshop on Domain-Specific Modeling, Orlando, FL, 10/2009.

Sztipanovits, J., G. Karsai, and C. Biegl, "Cooperative Systems for Real-Time Process Monitoring and Diagnostics", Proceeding of the AI-Japan, Osaka, Japan, 1987.

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.

Hasan, S., A. Chhokra, N. Mahadevan, A. Dubey, and G. Karsai, "Cyber-Physical Vulnerability Analysis", ISIS Technical Report, no. ISIS-17-101, Nashville, Insitute For Software Integrated Systems, pp. 1-14, 01/2017.

Download: report.pdf (927.21 KB)

Karsai, G., Declarative Programming Techniques for Engineering, : Vanderbilt University, 1988.

Dubey, A., N. Mahadevan, and G. Karsai, "A Deliberative Reasoner for Model-Based Software Health Management", The Eighth International Conference on Autonomic and Autonomous Systems, St. Maarten, Netherlands Antilles, 03/2012. Abstract

Download: Paper.pdf (369.11 KB)

Mahadevan, N., A. Dubey, D. Balasubramanian, and G. Karsai, "Deliberative Reasoning in Software Health Management", ISIS Technical Report, no. ISIS-13-101: Institute for Software Integrated Systems, Vanderbilt University, Nashville, TN, 37212, 04/2013.

Download: TechReport2013.pdf (1.29 MB)

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)