ISIS Publications

Export 262 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 
A
Abbott, B., T. Bapty, C. Biegl, A. Ledeczi, G. Karsai, and J. Sztipanovits, "Experiences Using Model-Based Techniques for the Development of a Large Parallel Instrumentation System", Proceedings of the International Conference on Signal Processing Applications and Technology, Boston, MA, pp. 573--582, February, 1992.
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)
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.
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. Karsai, and G. Biswas, "Online Safety Control of a Class of Hybrid Systems", IEEE 2002 Conference on Decision and Control, Las Vegas, USA, pp. 1988--1990, December, 2002.  Download: Abdelwahed_S_12_0_2002_Online_Saf.pdf (96.96 KB)
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)
Abdelwahed, S., A. Dubey, G. Karsai, and N. Mahadevan, "Model-based Tools and Techniques for Real-Time System and Software Health Management", Data Mining in Systems Health Management: Detection, Diagnostics, and Prognostics: CRC Press, to be published, 2011.
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)
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)
Agrawal, A., A. Vizhanyo, Z. Kalmar, F. Shi, A. Narayanan, and G. Karsai, "Reusable Idioms and Patterns in Graph Transformation Languages", Electronic Notes in Theoretical Computer Science, vol. 127, pp. 181--192, March, 2005.
Agrawal, A., T. Levendovszky, J. Sprinkle, F. Shi, and G. Karsai, "Generative Programming via Graph Transformations in the Model-Driven Architecture", OOPSLA, Workshop on Generative Techniques in the Context of Model Driven Architecture, Seattle, WA, November, 2002.  Download: Agrawal_A_11_5_2002_Generative.pdf (351.64 KB)
Agrawal, A., A. Vizhanyo, Z. Kalmar, F. Shi, A. Narayanan, and G. Karsai, "Reusable Idioms and Patterns in Graph Transformation Languages", 2nd International Conference on Graph Transformation, Rome, Italy, September, 2004.  Download: Agrawal_A_9_28_2004_Reusable_I.pdf (254.95 KB)
Agrawal, A., G. Karsai, and F. Shi, Graph Transformations on Domain-Specific Models, : Institute for Software Integrated Systems, November, 2003.  Download: Agrawal_A_11_0_2003_Graph_Tran.pdf (926.08 KB)
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)
Agrawal, A., G. Karsai, and A. Ledeczi, "An End-to-End Domain-Driven Software Development Framework", 18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), Domain-Driven Development Track, Anaheim, CA, October, 2003.  Download: Agrawal_A_10_0_2003_An_End_to_.pdf (662.27 KB)
Atlas, L., G. Bloor, T. Brotherton, L. Howard, L. Jaw, G. Kacprzynski, G. Karsai, R. Mackey, J. Mesick, R. Reuter, et al., "An Evolvable Tri-Reasoner IVHM System", 2001 IEEE Aerospace Conference, 11.0307, Big Sky, Montana, USA, March, 2001.  Download: ISIS_3_13_2001_An_Evolvab.pdf (293.67 KB)
B
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)
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)
Balasubramanian, D., C. vanBuskirk, G. Karsai, A. Narayanan, S. Neema, B. Ness, and F. Shi, Evolving Paradigms and Models in Multi-Paradigm Modeling, , no. ISIS-08-91, Nashville, Institute for Software Integrated Systems, 11/2008.  Download: ISIS-08-912.pdf (651.03 KB)
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., G. Pap, H. Nine, G. Karsai, M. Lowry, C. Pasareanu, and T. Pressburger, "Rapid Property Specification and Checking for Model-Based Formalisms", IEEE International Symposium on Rapid System Prototyping, Karlsruhe, Germany, 05/2011. Abstract  Download: RSP2011.pdf (2.08 MB)
Balasubramanian, D., A. Dubey, W. R. Otte, W. Emfinger, P. Kumar, and G. Karsai, "A Rapid Testing Framework for a Mobile Cloud Infrastructure", IEEE International Symposium on Rapid System Prototyping (RSP): IEEE, 10/2014.  Download: RSP2014.pdf (874.05 KB)
Balasubramanian, D., C. S. Pasareanu, M. W. Whalen, G. Karsai, and M. Lowry, "Polyglot: Modeling and Analysis for Multiple Statechart Formalisms", International Symposium on Software Testing and Analysis (ISSTA), Toronto, Canada, 07/2011. Abstract  Download: ISSTA2011.pdf (1.53 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)
Biswas, G., E. J. Manders, S. Abdelwahed, and G. Karsai, "Fault adaptive control: towards robust operation of autonomous systems", Fourth International Conference on Intelligent Systems Design and Applications, Budapest, Hungary, August, 2004.  Download: Biswas_G_8_0_2004_Fault_adap.pdf (358.48 KB)
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)
C
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.
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)
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
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.
Chhokra, A., S. Abdelwahed, A. Dubey, S. Neema, and G. Karsai, "From System Modeling to Formal Verification", The 2015 Electronic System Level Synthesis Conference, San Francisco, ECSI, 07/01/2015. Abstract  Download: Session3_Paper3.pdf (1.04 MB)
Chhokra, A., A. Dubey, N. Mahadevan, and G. Karsai, "Poster Abstract: Distributed Reasoning for Diagnosing Cascading Outages in Cyber Physical Energy Systems", 2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS), Berlin, Germany, IEEE, pp. 1-1, April, 2016. Abstract
D
Dabholkar, A., A. Dubey, A. Gokhale, N. Mahadevan, and G. Karsai, "Reliable Distributed Real-time and Embedded Systems Through Safe Middleware Adaptation", 31st International Symposium on Reliable Distributed Systems (SRDS 2012), Irvine, California, USA, IEEE, 10/2012.  Download: srds2012_submission_88.pdf (665.22 KB)
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)
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)