ISIS Publications

Export 168 results:
Sort by: Author Title [ Type  (Desc)] Year
Filters: First Letter Of Title is M  [Clear All Filters]
Conference Paper
Sztipanovits, J., G. Karsai, and B. Purves, "Model-Based Approach for Intelligent Control", Fourth SPIE Conference on Space Station Automation, Cambridge, MA, pp. 46--65, 1988.  Download: ModelBasedApproachforIntelligentControl.pdf (1.71 MB)
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.
Raj, B., C. Kulkarni, K. Kyusung, and G. Biswas, "Model-Based Avionics Systems Fault Simulation and Detection", American Institute of Aeronautics and Astronautics, AIAA Infotech Aerospace 2010, Atlanta, GA, 04/2010.
Loyall, J., R. Shapiro, S. Neema, S. Abdelwahed, and N. Mahadevan, "Model-Based Design of Runtime Adaptation Strategies", The 9th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS'03, Toronto, Canada, June, 2003.
Narasimhan, S., and G. Biswas, "Model-based Diagnosis of Hybrid Systems", 18th Intl. Joint Conference on Artificial Intelligence, Acapulco, Mexico, pp. 376--381, August, 2003.
Bapty, T., and J. Sztipanovits, "Model-Based Engineering of Large-Scale Real-Time Systems", Proceedings of the the Engineering of Computer Based Systems (ECBS) Conference, Monterey, CA, pp. 467--474, March, 1997.
Long, E., and A. Misra, "A Model-Based Engineering Process for Increasing Productivity in Discrete Manufacturing", International Conference and Workshop on Engineering of Computer Based Systems, Monterey, CA, pp. 197--202, March, 1997.  Download: Long_E_3_0_1997_A_Model_Ba.pdf (89.5 KB)
Summers, R., J. Sztipanovits, R. Pirjamali, and E. Carson, "Model-Based Monitoring in Anaesthesia and Critical Care", 3rd Annual Meeting of the European Society for Computing and Technology in Anaesthesia and Intensive Care, Salzurg, Germany, October, 1992.
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: Duncavage.et.al-AMIA.2007.Paper-MoDECIS.pdf (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.