ISIS Publications

Export 168 results:
Sort by: Author Title [ Type  (Asc)] Year
Filters: First Letter Of Title is M  [Clear All Filters]
Conference Paper
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.
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.
Abbott, B., T. Bapty, C. Biegl, A. Ledeczi, and J. Sztipanovits, "Model-Based Software Synthesis for Large-Scale Systems", Proceedings of the 9th AIAA Conference on Computing in Aerospace, San Diego, CA, September, 1993.
Karsai, G., G. Biswas, S. Abdelwahed, N. Mahadevan, and E. J. Manders, "Model-based Software Tools for Integrated Vehicle Health Management", The Second IEEE International Conference on Space Mission Challenges for Information Technology (SMC-IT), Pasadina, CA, 2006.  Download: Karsai_G_0_0_2006_Model_base.pdf (277.55 KB)
Moore, M., and J. Nichols, "Model-Based Synthesis of a Real-Time Image Processing Systems", The International Conference on Engineering of Complex Computer Systems (ICECCS), Ft. Lauderdale, FL, pp. 69, August, 1995.  Download: Moore_MS_8_0_1995_Model_Base.pdf (125.56 KB)
Sztipanovits, J., B. Abbott, and T. Bapty, "Model-based synthesis of complex embedded systems", Proceedings of the 1994 Complex Systems Engineering Synthesis and Assessment Technology Workshop (CSESAW'94), Washington DC, July, 1994.
Bhattacharjee, A., Y. Barve, A. Gokhale, and T. Kuroda, "A Model-Driven Approach to Automate the Deployment and Management of Cloud Services", 2018 IEEE/ACM International Conference on Utility and Cloud Computing Companion (UCC Companion), pp. 109-114, Dec, 2018. Abstract
Barve, Y., H. Neema, A. Gokhale, and S. Janos, "Model-driven Automated Deployment of Large-scale CPS Co-simulations in the Cloud (poster)", ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems, Austin, TX, 09/2017.
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)
Dubey, A., A. Gokhale, G. Karsai, W. R. Otte, D. Balasubramanian, S. Nyako, and J. Willemsen, "A Model-driven Software Component Framework for Fractionated Spacecraft", 5th International Conference on Spacecraft Formation Flying Missions and Technologies, Munich, Germany, 2013. Abstract  Download: f6mdk.pdf (550.9 KB); f6mdk-extended-abstract.pdf (76.81 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)
Franke, H., J. Sztipanovits, and G. Karsai, "Model-Integrated Computing", Hawaii Systems of the World Manufacturing Congress, Auckland, New Zealand, November, 1997.
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)
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)
Ledeczi, A., "Model-Integrated Parallel Application Synthesis", Engineering of Computer Based Systems (ECBS), Monterey, CA, pp. 38--45, March, 1997.  Download: Ledeczi_A_3_0_1997_Model_Inte.pdf (118.81 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)
Carnes, R., and A. Misra, "Model-Integrated Toolset for Fault Detection, Isolation and Recovery (FDIR)", International Conference and Workshop on Engineering of Computer Based Systems, Friedrichshafen, Germany, March, 1996.
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)
Dubey, A., D. Riley, and S. Abdelwahed, "Modeling and Analysis of Probabilistic Timed Systems", Engineering of Computer Based Systems, San Francisco, USA, 04/2009. Abstract  Download: PTAVerification.pdf (1.42 MB)
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.
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.
Carl, J. D., Z. Lattmann, and G. Biswas, "Modeling and Simulation Semantics for Building Large-Scale Multi-Domain Embedded Systems", 27th European Conference on Modelling and Simulation, Norway, 05/2013.  Download: csm_ECMS2013_0091.pdf (1.46 MB)
Mathe, J., J. Werner, B. A. Malin, A. Ledeczi, and J. Sztipanovits, "A Modeling Environment for Patient Portals", American Medical Informatics Association (AMIA) - Annual Symposium, Chicago, IL, 11/2007. Abstract  Download: (312.16 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.
Dabholkar, A., "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, IEEE, 09/2008. Abstract
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.
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)
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)
Davis, J., J. Scott, J. Sztipanovits, and M. Martinez, "Multi-Domain Surety Modeling and Analysis for High Assurance Systems", Proceedings of the Engineering of Computer Based Systems, Nashville, TN, pp. 254--260, March, 1999.  Download: Davis_J_3_0_1999_Multi_Doma.pdf (73.25 KB)
Kushwaha, M., I. Amundson, P. Volgyesi, P. Ahammad, G. Simon, X. Koutsoukos, A. Ledeczi, and S. Sastry, "Multi-modal Target Tracking using Heterogeneous Sensor Networks", 17th International Conference on Computer Communications and Networks (ICCCN 08), St. Thomas, Virgin Islands (USA), 2008. Abstract  Download: multifusion.pdf (1.36 MB)
Lindecker, D., G. Simko, I. Madari, T. Levendovszky, and J. Sztipanovits, "Multi-Way Semantic Specification of Domain-Specific Modeling Languages", IEEE 20th International Conference and Workshops on the Engineering of Computer Based Systems (ECBS), 2013.
Agrawal, A., and A. Ledeczi, "Multigranular Simulation of Heterogeneous Embedded Systems", Tenth IEEE Conference and Workshops on the Engineering of Computer Based Systems (ECBS), Huntsville, Alabama, pp. 3--10, April, 2003.  Download: Agrawal_A_4_7_2003_Multigranu.pdf (156.95 KB)
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.