Karsai, G., S. Padalkar, J. Sztipanovits, and F. DeCaria,
"Activity Modeling",
Foundation of Computer Aided Process Design, microfilm publication, Snowmass, CO, July, 1994.
Pirjamali, R., R. Summers, J. Sztipanovits, and E. Carson,
"Application of the Multigraph Architecture in Intelligent Patient Monitoring",
IEEE-EMBS Annual Conference, San Diego, CA, October, 1993.
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)
Ledeczi, A., C. Biegl, B. Abbott, T. Bapty, and J. Sztipanovits,
"Automatic Parallel Program Generation for Aerospace Testing",
9th AIAA Conference on Computing in Aerospace, San Diego, CA, pp. 434--440, January, 1993.
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)
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)
Neema, H., Z. Lattmann, P. Meijer, J. Klingler, S. Neema, T. Bapty, J. Sztipanovits, and G. Karsai,
"Design Space Exploration and Manipulation for Cyber Physical Systems",
IFIP First International Workshop on Design Space Exploration of Cyber-Physical Systems (IDEAL' 2014), Berlin, Germany, Springer, 04/2014.
Abstract
Download: Himanshu_DSEMForCPS.PDF (773.23 KB)
Misra, A., J. Sztipanovits, A. Underbrink, R. Carnes, and B. Purves,
"Diagnosability of Dynamical Systems",
Third International Workshop on Principles of Diagnosis, Rosario, WA, October, 1992.
Download: Misra_A_10_0_1992_Diagnosabi.pdf (193.24 KB)
Kottenstette, N., J. Porter, G. Karsai, and J. Sztipanovits,
"Discrete-Time IDA-Passivity Based Control of Coupled Tank Processes Subject To Actuator Saturation",
3rd International Symposium on Resilient Control Systems, Idaho Falls, ID, IEEE, pp. 115-120, 08/2010.
Abstract
Download: ida_pbc_res_press.pdf (227.54 KB)
Porter, J., Z. Lattmann, G. Hemingway, N. Mahadevan, S. Neema, H. Nine, N. Kottenstette, P. Volgyesi, G. Karsai, and J. Sztipanovits,
"The ESMoL Modeling Language and Tools for Synthesizing and Simulating Real-Time Embedded Systems",
15th IEEE Real-Time and Embedded Technology and Applications Symposium, San Francisco, CA, 04/2009.
Abstract
Download: rtas_demo_2009.pdf (491.24 KB)
Biegl, C., G. Karsai, J. Sztipanovits, J. Bourne, R. Mushlin, and C. Harrison,
"Execution Environment for Intelligent Real-Time Systems",
8th Annual IEEE/EMBS Conference, Dallas, TX, pp. 807--811, 1986.
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.
Biegl, C., G. Karsai, J. Sztipanovits, J. Bourne, R. Mushlin, and C. Harrison,
"Experiment Design Language for Intelligent MRI Systems",
8th Annual IEEE/EMBS Conference, Dallas, TX, pp. 803--807, 1986.
Porter, J., P. Volgyesi, N. Kottenstette, H. Nine, G. Karsai, and J. Sztipanovits,
"An Experimental Model-Based Rapid Prototyping Environment for High-Confidence Embedded Software",
20th IEEE/IFIP International Symposium on Rapid System Prototyping (RSP'09), Paris, France, 06/2009.
Abstract
Simko, G., D. Lindecker, T. Levendovszky, E. Jackson, S. Neema, and J. Sztipanovits,
"A Framework for Unambiguous and Extensible Specification of DSMLs for Cyber-Physical Systems",
IEEE 20th International Conference and Workshops on the Engineering of Computer Based Systems (ECBS), Phoenix, AZ, IEEE, pp. 30-39, 2013.
Download: ECBS2013.pdf (416.4 KB)
Padalkar, S., G. Karsai, and J. Sztipanovits,
"Graph-Based Real-Time Fault Diagnostics",
4th Conference on Artificial Intelligence for Space Applications, Huntsville, AL, pp. 115--123, January, 1988.
Abbott, B., C. Biegl, T. Bapty, J. Sztipanovits, and R. Souder,
"Graphical Programming for the Transputer",
Proceedings of the 22nd Southeastern Symposium on System Theory, pp. 86--90, March, 1990.
Zhang, Z., J. Porter, N. Kottenstette, X. Koutsoukos, and J. Sztipanovits,
"High Confidence Embedded Software Design: A Quadrotor Helicopter Case Study",
International Conference on Cyber-Physical Systems (ICCPS) (Work-in-Progress Session), Chicago, IL, IEEE Computer Society Press, 04/2011.
Mathe, J., S. Duncavage, J. Werner, B. A. Malin, A. Ledeczi, and J. Sztipanovits,
"Implementing a Model-Based Design Environment for Clinical Information Systems",
Workshop on Model-Based Trustworthy Health Information Systems (MOTHIS 2007), Nashville, TN, 09/2007.
Abstract
Download: Mathe.et_.al-MOTHIS.2007.Paper-Implementing_MICIS.pdf (675.25 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)
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)
Werner, J., M. Eby, J. Mathe, G. Karsai, Y. Xue, and J. Sztipanovits,
"Integrating Security Modeling in Embedded System Design",
12th IEEE Real-Time and Embedded Technology and Applications Symposium, San Jose, CA, April, 2006.
Abstract
Download: Werner_J_4_4_2006_Integratin.pdf (132.39 KB)