ISIS Publications

Export 110 results:
Sort by: [ Author  (Desc)] Title Type Year
Filters: Author is Neema, Sandeep  [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 
L
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)
Lattmann, Z., A. Nagel, T. Levendovszky, T. Bapty, S. Neema, and G. Karsai, "Component-based Modeling of Dynamic Systems using Heterogeneous Composition", 6th International Workshop on Multi-Paradigm Modeling, Innsbruck, Austria, 10/2012.  Download: MPM12_paper 20.pdf (260.56 KB)
Lattmann, Z., A. Nagel, J. Scott, K. Smyth, J. Ceisel, C. vanBuskirk, J. Porter, S. Neema, T. Bapty, D. Mavris, et al., "Towards Automated Evaluation of Vehicle Dynamics in System-Level Designs", Proc. ASME International Design Engineering Technical Conf. & Computers and Information in Engineering Conf. (IDETC/CIE 2012), Chicago, IL, USA, 08/2012.  Download: ASME_DECT2012-71378_dynamics.pdf (871.42 KB)
Lattmann, Z., J. Klingler, P. Meijer, T. Bapty, and S. Neema, META Design Space Exploration Using Dynamics, , no. ISIS-15-106, Nashville, Institute for Software Integrated Systems, 01/2015.  Download: META Design Space Exploration Using Dynamics.pdf (1.66 MB)
K
Kushwaha, M., I. Amundson, X. Koutsoukos, S. Neema, and J. Sztipanovits, "OASiS: A Programming Framework for Service-Oriented Sensor Networks", International Conference on COMmunication System softWAre and MiddlewaRE (COMSWARE 2006), Bangalore, India, 2007. Abstract  Download: comsware07.pdf (982.55 KB)
Koutsoukos, X., M. Kushwaha, I. Amundson, S. Neema, and J. Sztipanovits, "OASiS: A Service-Oriented Architecture for Ambient-Aware Sensor Networks", Monterey Workshop 2006, LNCS 4888, Springer-Verlag, Paris, France, 2007.  Download: LNCS2007.pdf (1.54 MB)
Karsai, G., A. Lang, and S. Neema, "Tool Integration Patterns", Workshop on Tool Integration in System Developement, ESEC/FSE, Helsinki, Finland, pp. 33--38, September, 2003.  Download: Karsai_G_9_0_2003_Tool_Integ.pdf (274.24 KB)
Karsai, G., A. Lang, and S. Neema, "Design Patterns for Open Tool Integration", Journal of Software and System Modeling, vol. 4, 2004.
G
Gray, J., L. Yuehua, Z. Jing, S. Nordstrom, J. Balasubramanian, S. Neema, and G. Swapna, "Replicators: Transformations to Address Model Scalability", Model Driven Engineering Languages and Systems (MoDELS) (formerly the UML series of conferences), Springer-Verlag LNCS 3713, Montego Bay, Jamaica, pp. 295--308, October, 2005.  Download: Gray_J_10_0_2005_Replicator.pdf (575.88 KB)
Gray, J., T. Bapty, and S. Neema, "Aspectifying Constraints in Model-Integrated Computing", OOPSLA 2000: Workshop on Advanced Separation of Concerns, Minneapolis, MN, October, 2000.  Download: Gray_J_10_0_2000_Aspectifyi.PDF (274.93 KB)
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)
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)
Gray, J., T. Bapty, S. Neema, and A. Ledeczi, "Viewpoints and Aspects in Domain-Specific Modeling", 1st International Conference on Aspect-Oriented Software Development, Enschede, The Netherlands, April, 2002.
Gray, J., T. Bapty, and S. Neema, "An Example of Constraint Weaving in Domain-Specific Modeling", OOPSLA 2001 Workshop on Domain-Specific Visual Languages, Tampa, FL, October, 2001.  Download: Gray_J_10_0_2001_An_Example.pdf (410.7 KB)
E
Emerson, M., S. Neema, and J. Sztipanovits, "Metamodeling Languages and Metaprogrammable Tools", Handbook of Real-Time and Embedded Systems: Chapman & Hall (July 23, 2007), pp. 33-1-33-16, 2006.  Download: Metamodeling Languages and Metaprogrammable Tools.pdf (1.02 MB)
Eisele, S., M. Yamaura, N. Arechiga, S. Shiraishi, J. Hite, J. Scott, S. Neema, and T. Bapty, "ADAS Virtual Prototyping with the OpenMETA Toolchain", SAE 2016 World Congress & Exhibition, Detroit, Michigan, USA, SAE International, 04/2016. Abstract
Eames, B., S. Neema, J. Scott, and T. Bapty, "High-Level Functional Simulation for Model-Based Embedded System Synthesis", ISIS-01-202: Institute for Software Integrated Systems, February, 2001.  Download: Eames_BK_2_0_2001_High_Level.PDF (724.47 KB)
Eames, B., S. Neema, T. Bapty, and J. Scott, "Interfacing a Simulation Engine to an Embedded Runtime Environment", 2000 IEEE International Conference on Systems, Man and Cybernetics, Nashville, TN, pp. 625--629, October, 2000.  Download: Eames_BK_10_11_2000_Interfacin.pdf (50.44 KB)
Eames, B., T. Bapty, B. Abbott, S. Neema, and K. Chhokra, "Model Integrated Design Toolset for Polymorphous Computer-Based Systems", Tenth IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS), Huntsville, AL, pp. 72--79, April, 2003.  Download: Eames_BK_4_7_2003_Model_Inte.pdf (313.08 KB)
D
Dubey, A., S. Nordstrom, T. Keskinpala, S. Neema, T. Bapty, and G. Karsai, "Towards A Model-Based Autonomic Reliability Framework for Computing Clusters", Fifth IEEE Workshop in Engineering of Autonomic and Autonomous Systems (EASe 2008), Belfast, Northern Ireland, April, 2008.  Download: Dubey_A_4_0_2008_Towards_A_.pdf (733.09 KB)
Dubey, A., S. Nordstrom, T. Keskinpala, S. Neema, and T. Bapty, "Verifying Autonomic Fault Mitigation Strategies in Large Scale Real-Time Systems", Third IEEE International Workshop on Engineering of Autonomic {\&} Autonomous Systems (EASE'06), Potsdam, Germany, pp. 129--140, March, 2006.  Download: Dubey_A_3_0_2006_Verifying_.pdf (1.17 MB)
C
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)
Chen, K., J. Sztipanovits, S. Neema, M. Emerson, and S. Abdelwahed, "Toward a Semantic Anchoring Infrastructure for Domain-Specific Modeling Languages", Proceedings of the Fifth ACM International Conference on Embedded Software (EMSOFT 05), Jersey City, New Jersey, pp. 35--44, September, 2005.  Download: Chen_K_9_19_2005_Toward_a_S.pdf (363.02 KB)
Chen, K., J. Sztipanovits, and S. Neema, Compositional Specification of Behavioral Semantics, : Institute for Software Integrated Systems, June, 2006.  Download: Chen_K_6_1_2006_Compositio.doc (629.5 KB)
Carl, J. D., G. Biswas, S. Neema, and T. Bapty, "An Approach to Parallelizing the Simulation of Complicated Modelica Models", SCS 2014 Summer Simulation Multi-Conference, Monterey, CA, SCS, 07/2014. Abstract  Download: SCSC_027.pdf (544.53 KB)
B
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.
Bapty, T., J. Gray, and S. Neema, February 2001 PCES PI Meeting: Constraint-Based Embedded Program Composition, , San Diego, CA, Institute for Software Integrated Systems, February, 2001.  Download: Bapty_T_2_0_2001_February_2.ppt (540 KB)
Bapty, T., J. Knight, Z. Lattmann, S. Neema, and J. Scott, Software Quality Assurance for the META Toolchain, , no. ISIS-15-111, Nashville, Institute for Software Integrated Systems, 01/2015.  Download: Software Quality Assurance for the META Toolchain.pdf (1.56 MB)
Bapty, T., J. Scott, S. Neema, and J. Sztipanovits, "Uniform Execution Environment for Dynamic Reconfiguration", Proceedings of the IEEE Conference and Workshop on Engineering of Computer Based Systems, Nashville, TN, pp. 181--187, March, 1999.  Download: Bapty_T_3_0_1999_Uniform_Ex.PDF (57.12 KB)
Bapty, T., J. Gray, and S. Neema, Initial PCES PI Meeting: Constraint-Based Embedded Program Composition, , Colorado Springs, CO, Institute for Software Integrated Systems, July, 2000.  Download: Bapty_T_7_31_2000_Initial_PI.ppt (314.5 KB)
Balasubramanian, D., C. vanBuskirk, G. Karsai, A. Narayanan, S. Neema, B. Ness, and F. Shi, Evolving Paradigms and Models in Multi-Paradigm Modeling, , no. ISIS-08-91, Nashville, Institute for Software Integrated Systems, 11/2008.  Download: ISIS-08-912.pdf (651.03 KB)
Balasubramanian, D., A. Narayanan, S. Neema, B. Ness, F. Shi, R. Thibodeaux, and G. Karsai, "Applying a Grouping Operator in Model Transformations", Applications of Graph Transformations with Industrial Relevance, pp. 410 - 425, 2008///. Abstract  Download: applying_group_operator_in_model_trans.pdf (1.08 MB)
Balasubramanian, D., A. Narayanan, S. Neema, B. Ness, F. Shi, R. Thibodeaux, and G. Karsai, "Applying a Grouping Operator in Model Transformations", The Third International Workshop and Symposium on Applications of Graph Transformation with Industrial Relevance (AGTIVE), Kassel, Germany, 10/2007. Abstract  Download: applying_group_operator_in_model_trans.pdf (1.08 MB)