Home

ISIS Publications

Export 167 results:
Sort by: [ Author (Asc)] Title Type Year
Filters: First Letter Of Title is M  [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   [Show ALL]
S
Sztipanovits, J., and G. Karsai, "Model-Integrated Computing Environment", ACM SIGSOFT Software Engineering Notes, vol. 22, pp. 72--73, September, 1997.
Sztipanovits, J., T. Bapty, S. Neema, X. Koutsoukos, and J. Scott, The META Toolchain: Accomplishments and Open Challenges, , no. ISIS-15-102, 2015.  Download: The META Toolchain_Accomplishments and Open Challenges.pdf (871.55 KB)
Sztipanovits, J., and G. Karsai, "Model-Integrated Computing", IEEE Computer, vol. 30, pp. 110--112, April, 1997.  Download: Sztipanovi_J_4_0_1997_Model_Inte.pdf (53.27 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)
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)
T
Tambe, S., A. Daholkar, and A. Gokhale, "MoPED: A Model-based Provisioning Engine for Dependability in Component-based Distributed Real-time Embedded Systems", To Appear in 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems (ECBS 2011), Las Vegas, NV, USA, IEEE, 04/2011.  Download: MoPED.pdf (1.29 MB)
Tambe, S., A. Dabholkar, and A. Gokhale, "MoPED: A Model-based Provisioning Engine for Dependability in Component-based Distributed Real-time Embedded Systems", 18th IEEE International Conference and Workshops on the Engineering of Computer Based Systems (ECBS 2011),, Las Vegas, NV, USA, 04/2011.  Download: MoPED.pdf (1.29 MB)
Tibbals, T., M. Sensmeier, K. Nichol, A. Stoner, and C. Biegl, "Model Integrated Testing for Durability Assessment of Turbine Engines", Proceedings of the ITEA Conference, Tullahoma, TN, pp. 151--158, October, 1999.  Download: Tibbals_T_10_0_1999_Model_Inte.pdf (1.39 MB)
V
Venkatachalam, S., G. Nordstrom, R. A. Peters, M. Wilkes, and A. Alford, "Modeling of Agent's Behavior in Human-robot Interaction Using Model Integrated Computing", IEEE-SMC 2000, Nashville, TN, October, 2000.  Download: Venkatacha_S_10_0_2000_Modeling_o.doc (2.31 MB)
Viswanath, K., B. Adebiyi, K. Leelawong, and G. Biswas, "A multi-agent architecture implementation of learning by teaching systems", the 4th IEEE International Conference on Advanced Learning Technologies, Joensuu, Finland, pp. 61-65, 2004.
Volgyesi, P., M. Maroti, and A. Ledeczi, "Model-based Software Synthesis for Distributed Control Systems and Sensor Networks.", International Carpathian Control Conference, High Tatras, Slovak Republic, May, 2003.
Volgyesi, P., J. Sallai, S. Szilvasi, P. Dutta, and A. Ledeczi, "Marmot: A Novel Low-Power Platform for WSNs", Networked Digital Technologies, Prague, Czech Republic, Springer LNCS, pp. 274-280, 07/2010.
W
Wilkes, M., D. L. Lynd, J. Sztipanovits, and G. Karsai, "The Multigraph Approach to Parallel, Distributed, Structurally Adaptive Signal Processing", IEEE International Conference on Acousitc and Signal Processing, pp. 2037--2040, 1990.
X
Xue, Y., T. Busch, M. Gacek, H. Neema, G. Karsai, and J. Sztipanovits, A Model-Based Integration of Network Emulation with HLA-based Heterogeneous Simulation Environments, , no. ISIS-10-107, 2010.  Download: milcom10-xue.docx (132.74 KB)
Y
Ye, J., J. Loyall, R. Shapiro, R. Schantz, S. Neema, S. Abdelwahed, and N. Mahadevan, "A Model-Based Approach to Designing QoS Adaptive Applications", the 25th IEEE International Real-Time Systems Symposium, Lisbon, Portugal, December, 2004.
Yu, X., G. Biswas, and J. Weinberg, "MDS: An Integrated Architecture for Associational and Model-based Diagnosis", Applied Intelligence, An International Journal, 2000.  Download: ISIS_0_0_2000_MDS__An_In_.pdf (129.37 KB)
Z
Zhang, Z., and X. Kousoukos, "Modeling Time-Triggered Ethernet in SystemC/TLM for Virtual Prototyping of Cyber-Physical Systems", International Embedded Systems Symposium, Paderborn, Germany, Springer, 06/2013.