ISIS Publications

Export 265 results:
Sort by: Author [ Title  (Desc)] 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 
W
V
U
Magyari, E., A. Bakay, A. Lang, T. Paka, A. Vizhanyo, A. Agrawal, and G. Karsai, "UDM: An Infrastructure for Implementing Domain-Specific Modeling Languages", The 3rd OOPSLA Workshop on Domain-Specific Modeling, OOPSLA 2003, Anahiem, California, October, 2003.  Download: Magyari_E_10_26_2003_UDM__An_In.pdf (285.3 KB)
T
Levendovszky, T., D. Balasubramanian, K. Smyth, F. Shi, and G. Karsai, "A Transformation Instance-Based Approach to Traceability", 6th ECMFA Traceability Workshop (ECMFA-TW), Paris, France, ACM Digital Library, pp. 55-60, 2010. Abstract
Narayanan, A., and G. Karsai, "Towards Verifying Model Transformations", Electronic Notes in Theoretical Computer Science, vol. 211, pp. p.191-200, 2008.
Karsai, G., G. Nordstrom, A. Ledeczi, and J. Sztipanovits, "Towards Two-Level Formal Modeling of Computer-Based Systems", Journal of Universal Computer Science, vol. 6, pp. 1131--1144, November, 2000.  Download: Karsai_G_11_0_2000_Towards_Tw.pdf (182.08 KB)
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
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)
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)
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)
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)
S
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.
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)
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)
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)
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)
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)
Narayanan, A., and G. Karsai, "Specifying the Correctness Properties of Model Transformations", 3rd International Workshop on Graph and Model Transformation (GraMoT), 05/2008.
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)
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)
Hasan, S., A. Chhokra, A. Dubey, N. Mahadevan, and G. Karsai, "A Simulation Testbed for Cascade Analysis", IEEE PES Innovative Smart Grid Technologies (ISGT), 2017. Abstract  Download: ISGT_2017_paper1.pdf (728.09 KB)
Chabukswar, R., B. Sinopoli, G. Karsai, A. Giani, H. Neema, and A. Davis, "Simulation of Network Attacks on SCADA Systems", First Workshop on Secure Control Systems, Cyber Physical Systems Week 2010, 04/2010. Abstract  Download: ScadaSystemsSimulationsUsingC2WT.pdf (124.34 KB)
Sztipanovits, J., and G. Karsai, "Self-Adaptive Software for Signal Processing", Communications of the ACM, vol. 41, pp. 55--65, March, 1998.  Download: Sztipanovi_J_0_0_1998_Self_Adapt.pdf (66.17 KB)
R
Abdelwahed, S., G. Karsai, and G. Biswas, "Robust State-based Supervisory Control of Discrete Event Systems", IEEE Conference on Control Application, Toronto, Canada, August, 2005.
Biswas, G., G. Simon, N. Mahadevan, S. Narasimhan, J. W. Ramirez, and G. Karsai, "A robust method for hybrid diagnosis of complex systems", 5th Symposium on Fault Detection, Supervision and Safety for Technical Processes, Washington, DC, pp. 1125--1131, June, 2003.  Download: Biswas__G_6_0_2003_A_robust_m.pdf (522.4 KB)
Abdelwahed, S., G. Karsai, and G. Biswas, "Robust Diagnosis of Switching Systems", 5th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes, Washington, DC., June, 2003.  Download: Abdelwahed_S_6_0_2003_Robust_Dia.pdf (119.56 KB)