ISIS Publications

Export 241 results:
Sort by: Author Title [ Type  (Asc)] Year
Filters: First Letter Of Last Name is M  [Clear All Filters]
Conference Paper
Sallai, J., G. Varga, S. Toth, C. R. Iacovella, C. Klein, C. McCabe, A. Ledeczi, and P. T. Cummings, "Web- and Cloud-based Software Infrastructure for Materials Design", The 14th International Conference on Computational Science (ICCS 2014), Cairns, Australia, Procedia Computer Science, 06/2014. Abstract
Emerson, M., J. Mathe, and S. Duncavage, "WiNeSim: A Wireless Network Simulation Tool", Proceedings of the Sixth ACM International Conference on Embedded Software (EMSOFT’06), Seoul, South Korea, 10/2006. Abstract  Download: EMSOFT-WS.2006.Paper-WiNeSim.v2.0.pdf (416.03 KB)
Conference Proceedings
Sun, F., A. Dubey, C. Kulkarni, N. Mahadevan, and A. G. Luna, "A Data Driven Health Monitoring Approach to Extending Small Sats Mission", ANNUAL CONFERENCE OF THE PROGNOSTICS AND HEALTH MANAGEMENT SOCIETY 2018, 09/2018. Abstract  Download: data-driven-health.pdf (2.29 MB)
Maheswaran, R., C. M. Rogers, R. Sanchez, P. Szekely, G. Gati, K. Smyth, and C. vanBuskirk, "Multi-Agent Systems for the Real World", Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems, vol. 2, 2009. Abstract
Maheswaran, R. T., P. Szekely, M. Becker, S. Fitzpatrick, G. Gati, J. Jin, R. Neches, N. Noori, C. M. Rogers, R. Sanchez, et al., "Predictability & criticality metrics for coordination in complex environments", Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems, vol. 2, 2008. Abstract
Journal Article
Mens, T., P. van Gorp, D. Varro, and G. Karsai, "Applying a Model Transformation Taxonomy to Graph Transformation Technology", Electronic Notes in Theoretical Computer Science, vol. 152, pp. 143--159, March, 2006.
Nannapaneni, S., S. Mahadevan, A. Dubey, D. Lechevalier, A. Narayanan, and S. Rachuri, "Automated Uncertainty Quantification through Information Fusion in Manufacturing Processes", Journal of Sustainable and Smart Manufacturing Systems: American Society for Testing and Materials, 2017. Abstract  Download: AutomatedUQ_2.pdf (559.07 KB)
Dubey, A., G. Karsai, and N. Mahadevan, "A Component Model for Hard-Real Time Systems: CCM with ARINC-653", Software: Practice and Experience, no. In press, 2011.  Download: Journal.pdf (1.94 MB)
Mosterman, P., and G. Biswas, "A Comprehensive Methodology for Building Hybrid Models of Physical Systems", Artifical Intelligence Journal, vol. 121, pp. 171--209, 2000.  Download: ISIS_0_0_2000_A_Comprehe.pdf (642.21 KB)
Sallai, J., M. Maroti, and A. Ledeczi, "A Concurrency Abstraction for Reliable Sensor Network Applications", Reliable Systems on Unreliable Netowked Platforms, Monterey Workshop 2005, vol. LNCS 4322, pp. 143–160, 2005.  Download: monterey.pdf (350.85 KB)
Ledeczi, A., A. Nadas, P. Volgyesi, G. Balogh, B. Kusy, J. Sallai, G. Pap, S. Dora, K. Molnar, M. Maroti, et al., "Countersniper System for Urban Warfare", ACM Transactions on Sensor Networks, vol. 1, pp. 153--177, November, 2005.
Gokhale, A., M. McDonald, S. Drager, and W. McKeever, "A Cyber Physical Systems Perspective on the Real-time and Reliable Information Dissemination in Intelligent Transportation Systems", International Journal of Network Protocols and Algorithms (IJNPA), Special Issue on Data Dissemination for Large-scale Complex Critical Infrastructures (DD4LCCI), vol. 2, no. 3, pp. 116–136, 2010.  Download: JNPA10-ITS.pdf (413.87 KB)
Mahadevan, N., A. Dubey, D. Balasubramanian, and G. Karsai, "Deliberative, search-based mitigation strategies for model-based software health management", Innovations in Systems and Software Engineering: Springer London, pp. 1-26, 2013.  Download: Paper.pdf (16.09 MB)
Mosterman, P., and G. Biswas, "Diagnosis of Continuous Valued Systems in Transient Operating Regions", IEEE Transactions on Systems, Man, and Cybernetics, vol. 29, issue 6, pp. 554-565, November, 1999.  Download: ISIS_11_0_1999_Diagnosis_.pdf (246.82 KB)
Maroti, M., B. Kusy, G. Simon, and A. Ledeczi, "The Flooding Time Synchronization Protocol", In Proc. of ACM SenSys, Nashville, Tennessee, Institute for Software Integrated Systems, Vanderbilt University, pp. 39--49, November, 2004.  Download: Maroti_M_11_3_2004_The_Floodi.pdf (145.19 KB)
Myers, M. R., A. B. Jorge, M. J. Mutton, and D. G. Walker, "High heat flux point source sensitivity and localization analysis for an ultrasonic sensor array", International Journal of Heat and Mass Transfer, vol. 55, issue 9-10, pp. 2472 - 2485, 4/2012.
Mosterman, P., and G. Biswas, "A Hybrid Modeling and Simulation Methodology for Dynamic Physical Systems", SIMULATION: Transactions of the Society for Modeling and Simulation International}, volume {78, pp. 5--17, January, 2002.
Karsai, G., J. Sztipanovits, S. Padalkar, C. Biegl, N. Miyasaka, and K. Okuda, "Model Based Intelligent Process Control for Cogenerator Plants", Journal of Parallel and Distributed Systems, vol. 15, pp. 90--103, June, 1992.  Download: Karsai_G_0_0_1992_Model_Base.pdf (545.01 KB)
Ledeczi, A., A. Bakay, and M. Maroti, "Model-Integrated Embedded Systems", Robertson, Shrobe, Laddaga (eds) Self Adaptive Software, Springer-Verlag Lecture Notes in CS, #1936, February, 2001.  Download: Ledeczi_A_4_0_2000_Model_Inte.pdf (217.28 KB)
Kusy, B., G. Balogh, P. Volgyesi, J. Sallai, A. Nadas, A. Ledeczi, M. Maroti, and L. Meertens, "Node-Density Independent Localization", In Proc. of IPSN/SPOTS, Nashville, Tennessee, April, 2006.  Download: spot6144-kusy.pdf (550.15 KB)
Lee, Y., and D. Min, "A peak load control-based orchestration system for stable execution of hybrid services", CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, vol. 20, no. 20, 10/2008.  Download: 2008-02-CCPE Journal.pdf (509.86 KB)
Dubey, A., R. Mehrotra, S. Abdelwahed, and A. Tantawi, "Performance Modeling of Distributed Multi-Tier Enterprise Systems", ACM SIGMETRICS Performance Evaluation Review, vol. 37, no. 2, Seattle, 2009.  Download: Paper.pdf (1.44 MB)