ISIS Publications

Export 237 results:
Sort by: Author Title [ Type  (Desc)] Year
Filters: First Letter Of Last Name is N  [Clear All Filters]
Journal Article
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)
Neema, S., T. Bapty, S. Shetty, and S. Nordstrom, "Autonomic Fault Mitigation in Embedded Systems", Special Issue on Autonomic Computing and Grids at the Journal: Elsevier, 2004.
Neema, S., and A. Ledeczi, "Constraint Guided Self-Adaptation", Self-Adaptive Software: Applications, LNCS 2614,, pp. 39--51, 2003.  Download: Neema_S_0_0_2003_Constraint.pdf (139.34 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.
Agrawal, A., G. Karsai, S. Neema, F. Shi, and A. Vizhanyo, "The Design of a Language for Model Transformations", Journal on Software and System Modeling, vol. 5, pp. 261--288, September, 2006.  Download: Agrawal_A_0_0_2005_The_Design.pdf (2.09 MB)
Karsai, G., A. Lang, and S. Neema, "Design Patterns for Open Tool Integration", Journal of Software and System Modeling, vol. 4, 2004.
Gray, J., T. Bapty, and S. Neema, "Handling Crosscutting Constraints in Domain-Specific Modeling", Communications of the ACM, pp. 87--93, October, 2001.  Download: Gray_J_10_0_2001_Handling_C_.pdf (68.96 KB)
Vizhanyo, A., S. Neema, F. Shi, D. Balasubramanian, and G. Karsai, "Improving the Usability of a Graph Transformation Language", Electronic Notes in Theoretical Computer Science, vol. 152, pp. 207--222, March, 2006. Abstract  Download: improve_gtl.pdf (262.32 KB)
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)
Nordstrom, S., S. Shetty, S. Neema, and T. Bapty, "Modeling Reflex-Healing Autonomy for Large Scale Embedded Systems", IEEE Transactions on Systems, Man, and Cybernetics, Special Issue on Autonomic Computing, October, 2005.
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)
Hemingway, G., H. Neema, H. Nine, J. Sztipanovits, and G. Karsai, "Rapid Synthesis of High-Level Architecture-Based Heterogeneous Simulation: A Model-Based Integration Approach", SIMULATION, vol. March 17, 2011 0037549711401950, no. March 17, 2011, Online, Simulation: Transactions of the Society for Modeling and Simulation International, pp. 16, 03/2011. Abstract  Download: 0037549711401950.full_.pdf (815.53 KB)
Agrawal, A., A. Vizhanyo, Z. Kalmar, F. Shi, A. Narayanan, and G. Karsai, "Reusable Idioms and Patterns in Graph Transformation Languages", Electronic Notes in Theoretical Computer Science, vol. 127, pp. 181--192, March, 2005.
Volgyesi, P., G. Balogh, A. Nadas, C. Nash, and A. Ledeczi, "Shooter Localization and Weapon Classification with Soldier-Wearable Networked Sensors", 5th International Conference on Mobile Systems, Applications, and Services (MobiSys), San Juan, Puerto Rico, 2007.  Download: sys5090-volgyesi.pdf (1.04 MB)
Lin, C. H., M. Wolf, X. Koutsoukos, S. Neema, and J. Sztipanovits, "System and software architectures of distributed smart cameras", ACM Transactions on Embedded Computing Systems, vol. 9, no. 4, pp. 1-30, 2010.
Karsai, G., G. Nordstrom, A. Ledeczi, and J. Sztipanovits, "Towards Two-Level Formal Modeling of Computer-Based Systems", Journal of Universal Computer Science, vol. 6, pp. 1131--1144, November, 2000.  Download: Karsai_G_11_0_2000_Towards_Tw.pdf (182.08 KB)
Narayanan, A., and G. Karsai, "Towards Verifying Model Transformations", Electronic Notes in Theoretical Computer Science, vol. 211, pp. p.191-200, 2008.
Gray, J., J. Sztipanovits, D. C. Schmidt, T. Bapty, S. Neema, and J. Balasubramanian, "TWO-LEVEL ASPECT WEAVING TO SUPPORT EVOLUTION IN MODEL-DRIVEN SOFTWARE", Aspect-Oriented Software Development (Book): Addison Wesley, pp. 681--705, August, 2004.  Download: Gray_J_8_0_2004_TWO_LEVEL_.pdf (358.75 KB)
Narayanan, A., and G. Karsai, "Verifying Model Transformations by Structural Correspondence", Electronic Communications of the EASST, vol. 10, 2008.  Download: 25_AN_GK.pdf (394.52 KB)
Conference Proceedings
Sallai, J., P. Volgyesi, A. Ledeczi, K. Pence, T. Bapty, S. Neema, and J. Davis, "Acoustic Shockwave-Based Bearing Estimation", The 12th ACM/IEEE Conference on Information Processing in Sensor Networks (IPSN), Philadelphia, PA, USA, 04/2013.  Download: ipsn07-sallai.pdf (2.56 MB)
Chhokra, A., S. Abdelwahed, A. Dubey, S. Neema, and G. Karsai, "From System Modeling to Formal Verification", The 2015 Electronic System Level Synthesis Conference, San Francisco, ECSI, 07/01/2015. Abstract  Download: Session3_Paper3.pdf (1.04 MB)
Neema, H., J. Gohl, Z. Lattmann, J. Sztipanovits, G. Karsai, S. Neema, T. Bapty, J. Batteh, H. Tummescheit, and C. Sureshkumar, "Model-Based Integration Platform for FMI Co-Simulation and Heterogeneous Simulations of Cyber-Physical Systems", 10th International Modelica Conference, vol. Proceedings of the 10th International Modelica Conference, Lund University, Solvegatan 20A, SE-223 62 LUND, SWEDEN, Modelica Association and Linkoping University Electronic Press, pp. 235-245, 03/2014. Abstract  Download: Neema_H_12_8_2013_Modelica_2014_FMUCS_HLA.PDF (536.88 KB)
Barve, Y., H. Neema, A. S. Gokhale, and J. Sztipanovits, "Model-driven Automated Deployment of Large-scale CPS Co-simulations in the Cloud", MODELS 2017 Satellite Event: Posters co-located with {ACM/IEEE} 20th International Conference on Model Driven Engineering Languages and Systems, Austin,TX,USA, pp. 463–464, 09/2017. Abstract  Download: posters_1.pdf (641.33 KB)
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
Juracz, L., Z. Lattmann, T. Levendovszky, G. Hemingway, W. Gaggioli, T. Netterville, G. Pap, K. Smyth, and L. Howard, "VehicleFORGE: A Cloud-Based Infrastructure for Collaborative Model-Based Design", Proceedings of the 2nd International Workshop on Model-Driven Engineering for High Performance and Cloud computing co-located with 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013), vol. Vol-1118, 01/2014. Abstract  Download: MDHPCL 2013 04-paper.pdf (1.08 MB)
Lattmann, Z., A. Pop, J. de Kleer, P. Fritzson, B. Janssen, S. Neema, T. Bapty, X. Koutsoukos, M. Klenk, D. Bobrow, et al., "Verification and Design Exploration through Meta Tool Integration with OpenModelica", 10th International Modelica Conference, vol. Proceedings of the 10th International Modelica Conference, Lund University, Solvegatan 20A, SE-223 62 LUND, SWEDEN, Modelica Association and Linkoping University Electronic Press, pp. 353-362, 03/2014.  Download: Modelica2014_ecp14096037.pdf (1.51 MB)
Conference Paper
Nordstrom, S., S. Shetty, D. Yao, S. Ahuja, S. Neema, and T. Bapty, "The Action Language: Refining a Behavioral Modeling Language", 12th IEEE International Conference on Engineering of Computer Based Systems, Greenbelt, MD, pp. 315--320, April, 2005.
Nichols, J., and M. Moore, "An Adaptable, Cost Effective Image Processing System", The 10th JANNAF Non-destructive Evaluation Sub Committee, Salt Lake City, UT, pp. 1--5, March, 1998.  Download: Nichols_JA_3_0_1998_An_Adaptab.pdf (120.75 KB)
Neema, S., T. Bapty, and J. Scott, "Adaptive Computing and Run-time Reconfiguration", Proceedings of the Military Applications of Programmable Logic Devices, Laurel, MD, September, 1999.  Download: Neema_S_9_0_1999_Adaptive_C.pdf (53.24 KB)