ISIS Publications

Export 274 results:
Sort by: [ Author  (Desc)] 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 
B
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)
A
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)
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)
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., 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., 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., 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)
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)
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, "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., 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)
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.