Karsai, G., J. Sztipanovits, S. Padalkar, and C. Biegl,
"A Model-Based Approach for Plant-Wide Monitoring Control and Diagnostics",
AIChE Annual Meeting, microfilm, Los Angeles, CA, November, 1991.
Hartsell, C., N. Mahadevan, S. Ramakrishna, A. Dubey, T. Bapty, T. T. Johnson, X. Kousoukos, J. Szipanovits, and G. Karsai,
"Model-Based Design for CPS with Learning-Enabled Components",
Design Automation for CPS and IoT (DESTION 2019), Montreal, Canada, April 2019.
Moore, M., G. Karsai, and J. Sztipanovits,
"Model-Based Programming for Parallel Image Processing",
IEEE International Conference on Image Processing, Austin, TX, pp. 811--815, January, 1994.
Karsai, G., J. Sztipanovits, S. Padalkar, and F. DeCaria,
"Model-embedded On-line Problem Solving Environment for Chemical Engineering",
International Conference on Engineering of Complex Computer Systems, Ft Lauderdale, FL, pp. 227--233, November, 1995.
Download: Karsai_G_11_6_1995_Model_embe.pdf (180.47 KB)
Misra, A., G. Karsai, and J. Sztipanovits,
"Model-Integrated Development of Complex Applications",
Fifth International Symposium on Assessment of Software Tools, Pittsburgh, PA, pp. 14--23, June, 1997.
Download: Misra_A_6_0_1997_Model_Inte.pdf (235.84 KB)
Misra, A., G. Karsai, J. Sztipanovits, A. Ledeczi, and M. Moore,
"A Model-Integrated Information System for Increasing Throughput in Discrete Manufacturing",
International Conference and Workshop on Engineering of Computer Based Systems, Monterey, CA, pp. 203--210, March, 1997.
Download: Misra_A_3_24_1997_A_Model_In.pdf (170.66 KB)
Sztipanovits, J., G. Karsai, and H. Franke,
"Model-Integrated Program Synthesis Environment",
Proceedings of the IEEE Symposium on Engineering of Computer Based Systems, Friedrichshafen, Germany, pp. 348--355, March, 2000.
Download: Sztipanovi_J_0_0_2000_Model_Inte.pdf (218.64 KB)
Moore, M., J. Sztipanovits, G. Karsai, and J. Nichols,
"A Model-Integrated Program Synthesis Environment for Parallel/Real-Time Image Processing",
SPIE Conference on Parallel and Distributed Methods for Image Processing, San Diego, CA, pp. 31--45, June, 1997.
Download: Moore_MS_6_0_1997_A_Model_In.pdf (265.03 KB)
Karsai, G., J. Sztipanovits, A. Ledeczi, and M. Moore,
"Model-Integrated System Development: Models, Architecture and Process",
21st Annual International Computer Software and Application Conference (COMPSAC), Bethesda, MD, pp. 176--181, August, 1997.
Download: Karsai_G_8_0_1997_Model_Inte.pdf (4.73 MB)
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)
Ledeczi, A., B. Abbott, C. Biegl, G. Karsai, and J. Sztipanovits,
"Modeling Parallel Hardware Architectures",
International Conference on Signal Processing Applications and Technology, Boston, MA, pp. 274--281, January, 1992.
Sztipanovits, J., G. Karsai, and C. Biegl,
"Modeling, Model Interpretation and Intelligent Control",
3rd IEEE International Symposium on Intelligent Control, Arlington , VA, pp. 46--50, 1988.
Sztipanovits, J., G. Karsai, C. Biegl, T. Bapty, A. Ledeczi, and D. Malloy,
"MULTIGRAPH: An Architecture for Model-Integrated Computing",
Proceedings of the International Conference on Engineering of Complex Computer Systems, Ft. Lauderdale, FL, pp. 361--368, November, 1995.
Download: Sztipanovi_J_11_6_1995_MULTIGRAPH.pdf (146.05 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)
Levendovszky, T., D. Balasubramanian, A. Narayanan, and G. Karsai,
"A Novel Approach to Semi-Automated Evolution of DSML Model Transformation",
Second International Conference on Software Language Engineering, SLE 2009, LNCS, vol. 5969, Denver, CO, Springer, pp. 23-41, 05/2010.
Ledeczi, A., G. Nordstrom, G. Karsai, P. Volgyesi, and M. Maroti,
"On Metamodel Composition",
IEEE CCA 2001, Mexico City, Mexico, September, 2001.
Download: Ledeczi_A_9_5_2001_On_Metamod.pdf (108.86 KB)
Karsai, G., A. Agrawal, F. Shi, and J. Sprinkle,
"On the use of Graph Transformations in the Formal Specification of Computer-Based Systems",
IEEE TC-ECBS and IFIP10.1 Joint Workshop on Formal Specifications of Computer-Based Systems, Huntsville, Alabama, pp. 19--27, April, 2003.
Download: Karsai_G_4_9_2003_On_the_use.pdf (224.67 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)
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
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
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)
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
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)
Neema, H., H. Nine, G. Hemingway, J. Sztipanovits, and G. Karsai,
"Rapid Synthesis of Multi-Model Simulations for Computational Experiments in C2",
Armed Forces Communications and Electronics Association - George Mason University Symposium, issue Critical Issue in C4I, Lansdowne, Virginia, George Mason University: http://hdl.handle.net/1920/5639, 05/2009.
Abstract
Download: C4I-09-07.pdf (717.63 KB)
Dubey, A., G. Karsai, R. Kereskenyi, and N. Mahadevan,
"A Real-Time Component Framework: Experience with CCM and ARINC-653",
IEEE International Symposium on Object-Oriented Real-Time Distributed Computing,, Spain, pp. 143--150, 2010.
Abstract
Download: Paper.pdf (5.46 MB)
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.
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)
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)
Eisele, S., I. Madari, A. Dubey, and G. Karsai,
"RIAPS:Resilient Information Architecture Platform for Decentralized Smart Systems",
20th IEEE INTERNATIONAL SYMPOSIUM ON REAL-TIME COMPUTING, Toronto, Canada, IEEE, 05/2017.
Abstract
Download: paper.pdf (1.43 MB)
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)
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)
Biswas, G., G. Simon, G. Karsai, S. Abdelwahed, N. Mahadevan, T. Szemethy, J. W. Ramirez, G. Peceli, and T. Kovacshazy,
"Self-Adaptive Software for Fault-Adaptive Control",
Third Intl. Workshop on Self-Adaptive Software, Washington, D.C., June, 2003.
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)
Dubey, A., W. Emfinger, A. Gokhale, G. Karsai, W. R. Otte, J. Parsons, C. Szabo, A. Coglio, E. Smith, and P. Bose,
"A Software Platform for Fractionated Spacecraft",
2012 IEEE Aerospace Conference, Big Sky, Montana, 03/2012.
Abstract
Download: aerospace12-1473.pdf (4.2 MB)