An, K., A. Trewyn, A. Gokhale, and S. Sastry,
"Model-driven Performance Analysis of Reconfigurable Conveyor Systems used in Material Handling Applications",
Second IEEE/ACM International Conference on Cyber Physical Systems (ICCPS 2011), Chicago, IL, USA, IEEE, pp. 141–150, 04/2011.
Download: ICCPS2011.pdf (914.94 KB)
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)
Iacovella, C. R., G. Varga, J. Sallai, S. Mukherjee, A. Ledeczi, and P. T. Cummings,
"A model-integrated computing approach to nanomaterials simulation",
Theoretical Chemistry Accounts, vol. 132, no. 1, 12/2012.
Manders, E. J., G. Biswas, J. W. Ramirez, N. Mahadevan, J. Wu, and S. Abdelwahed,
"A Model-Integrated Computing Tool-suite for fault adaptive control",
15th Intl Workshop on Principles of Diagnosis (DX '04), Carcassonne, France, June, 2005.
Download: Manders_EJ_6_0_2005_A_Model_In_.pdf (265.41 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)
Karsai, G., J. Sztipanovits, A. Ledeczi, and T. Bapty,
"Model-integrated development of embedded software",
Proceedings of the IEEE, vol. 91, pp. 145--164, January, 2003.
Scott, J., T. Bapty, S. Neema, and J. Sztipanovits,
"Model-Integrated Environment for Adaptive Computing",
Proceedings of the Military and Aerospace Applications of Programmable Devices and Technologies Conference, Greenbelt, MA, September, 1998.
Download: Scott_J_9_0_1998_Model_Inte.pdf (65.99 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)
Bapty, T., S. Neema, S. Nordstrom, S. Shetty, D. Vashishtha, J. Overdorf, and P. Sheldon,
"Modeling and Generation Tools for Large-Scale, Real-Time Embedded Systems",
10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS'03), Huntsville, Alabama, pp. 11--16, April, 2003.
Feenstra, P., E. J. Manders, P. Mosterman, G. Biswas, and R. J. Barnett,
"Modeling and Instrumentation for Fault Detection and Isolation of a Cooling System",
IEEE South East Conference, Nashville, TN, pp. 365--372, March, 2000.
Download: ISIS_3_0_2000_Modeling_a.pdf (603.5 KB)
Kinnebrew, J. S., G. Biswas, and B. Sulcer,
"Modeling and Measuring Self-Regulated Learning in Teachable Agent Environments",
Papers from the AAAI Fall Symposium: Cognitive and Metacognitive Educational Systems (MCES), vol. FS-10-01, Arlington, VA, pp. 34-39, 11/2010.
Ledeczi, A., J. Davis, S. Neema, and A. Agrawal,
"Modeling Methodology for Integrated Simulation of Embedded Systems",
ACM Transactions on Modeling and Computer Simulation, vol. 13, pp. 82--103, January, 2003.
Download: Ledeczi_A_0_0_2003_Modeling_M.pdf (231.04 KB)
Ledeczi, A., T. Bapty, G. Karsai, and J. Sztipanovits,
"Modeling Paradigm for Parallel Signal Processing",
The Australian Computer Journal, vol. 27, pp. 92--102, August, 1995.
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.
Roy, N., A. Dabholkar, L. Dowdy, and D. Schmidt,
"Modeling Software Contention using Colored Petri Nets",
Proceedings of the 16th Annual Meeting of the IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS), Baltimore, MD, USA, 09/2008.
Download: SoftwareContention.pdf (381.37 KB)
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.
Koutsoukos, X., J. Kurien, and F. Zhao,
"Monitoring and Diagnosis of Hybrid Systems Using Particle Filtering Methods",
Proceedings of the 15th International Symposium on Mathematical Theory of Networks and Systems, MTNS 2003, Notre Dame, IN, August, 2002.
Download: Koutsoukos_X_8_0_2002_Monitoring.pdf (524.94 KB)