Home

ISIS Publications

Export 92 results:
Sort by: Author Title [ Type (Desc)] Year
Filters: Author is Bapty, Ted  [Clear All Filters]
Unpublished
Bapty, T., J. Davis, M. Eby, and J. Scott, "Model Based Development in the FACE Ecosystem", FACE Consortium Keynote Address, Linthicum, MD, Future Airborne Capability Environment Consortium - The Open Group, 02/2012.
Thesis
Bapty, T., Model-Based Synthesis of Parallel Real-Time Systems, : Vanderbilt University, 1995.
Report
Chhokra, K., T. Bapty, J. Scott, and M. Wilkes, Accuracy Enhancements for TDOA Estimation on Highly Resource Constrained Mobile Platforms, : Institute for Software Integrated Systems, November, 2003.  Download: Chhokra_K_11_4_2003_Accuracy_E.pdf (256.81 KB)
Neema, H., S. Neema, and T. Bapty, Architecture Exploration in the META Toolchain, , no. ISIS-15-105, Nashville, 2015.  Download: Architecture Exploration in the META Toolchain.pdf (1.52 MB)
Bapty, T., S. Neema, J. Scott, and S. Eisele, Case Studies and Use Cases in the META Toolchain (status: review pending), , no. ISIS-15-113, 2015.
Neema, S., J. Scott, and T. Bapty, CyPhyML Language in the META Toolchain, , no. ISIS-15-104, 2015.  Download: CyPhyML Language in the META Toolchain.pdf (2.65 MB)
Bapty, T., Embedded System Validation for Polymorphous Computing Architectures, : Institute for Software Integrated Systems, January, 2001.  Download: Bapty_T_1_30_2001_Embedded_S.pdf (44.64 KB)
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)
Koutsoukos, X., T. Bapty, and S. Neema, Formal Verification and Reliability in the META Toolchain (status: review pending), , no. ISIS-15-108, 2015.
Scott, J., S. Neema, T. Bapty, and B. Abbott, "Hardware/Software Runtime Environment for Dynamically Reconfigurable Systems", ISIS-2000-06: Institute for Software Integrated Systems, May, 2000.  Download: Scott_J_5_0_2000_Hardware_S.PDF (198.18 KB)
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)
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)
Lattmann, Z., J. Klingler, P. Meijer, T. Bapty, S. Neema, and J. Scott, Integration Platform Technology Components in the META Toolchain, , no. ISIS-15-110, Nashville, Institute for Software Integrated Systems, 01/2015.  Download: Integration Platform Technology Components in the META Toolchain.pdf (2.3 MB)
Tuck, J., and T. Bapty, "Interface Refinement and Synthesis for Component-Based Design", ISIS-01-200: Institute for Software Integrated Systems, January, 2001.  Download: Tuck_JM_1_30_2001_Interface_.pdf (127.34 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)
Scott, J., T. Bapty, and R. Boyles, META Toolchain Interface to Manufacturing, , no. ISIS-15-112, 2015.  Download: META Toolchain Interface to Manufacturing.pdf (741.13 KB)
Sztipanovits, J., T. Bapty, S. Neema, X. Koutsoukos, and J. Scott, The META Toolchain: Accomplishments and Open Challenges, , no. ISIS-15-102, 2015.  Download: The META Toolchain_Accomplishments and Open Challenges.pdf (871.55 KB)
Bapty, T., S. Neema, J. Scott, J. Sztipanovits, and S. Asaad, Model-Integrated Tools for the Design of Dynamically Reconfigurable Systems, : Institute for Software Integrated Systems, 2000.  Download: Bapty_T_0_0_2000_Model_Inte.PDF (1.04 MB)
Bapty, T., S. Neema, and J. Scott, Overview of the META Toolchain in the Adaptive Vehicle Make Progam (status: review pending), , no. ISIS-15-103, 2015.
Neema, S., T. Bapty, and D. Balasubramanian, Software Design and Implementation in the META Toolchain, , no. ISIS-15-107, 2015.  Download: Software Design and Implementation in the META Toolchain.pdf (3.32 MB)
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)
Owens, R., S. Nyako, R. Boyles, F. Eisele, J. Hite, M. Myers, J. Scott, T. Bapty, and S. Neema, Structural Design and Analysis in the META Toolchain (status: review pending), , no. ISIS-15-109, 2015.
Bapty, T., S. Neema, and J. Scott, Transitioning the META Toolchain, , no. ISIS-15-114, 2015.  Download: Transitioning the META Toolchain.pdf (1.2 MB)
Journal Article
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.
Dubey, A., W. Emfinger, A. Gokhale, P. Kumar, D. McDermet, T. Bapty, and G. Karsai, "Enabling Strong Isolation for Distributed Real-time Applications in Edge Computing Scenarios", IEEE Aerospace and Electronic Systems Magazine, 2019. Abstract  Download: SYSAES-preprint.pdf (4.21 MB)
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)
Abbott, B., T. Bapty, C. Biegl, G. Karsai, and J. Sztipanovits, "Model-Based Approach for Software Synthesis", IEEE Software, vol. 10, pp. 42--52, May, 1993.
Karsai, G., J. Sztipanovits, A. Ledeczi, and T. Bapty, "Model-integrated development of embedded software", Proceedings of the IEEE, vol. 91, pp. 145--164, January, 2003.
Bapty, T., S. Neema, J. Scott, J. Sztipanovits, and S. Asaad, "Model-Integrated Tools for the Design of Dynamically Reconfigurable Systems", VLSI Design, vol. 10, pp. 281--306, 2000.
Ledeczi, A., T. Bapty, G. Karsai, and J. Sztipanovits, "Modeling Paradigm for Parallel Signal Processing", The Australian Computer Journal, vol. 27, pp. 92--102, August, 1995.
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.
Emerson, M., J. Sztipanovits, and T. Bapty, "A MOF-Based Metamodeling Environment", Journal of Universal Computer Science, vol. 10, pp. 1357--1382, October, 2004.  Download: Emerson_MJ_10_9_2004_A__MOF_Bas.pdf (258.93 KB)
Ledeczi, A., B. Abbott, C. Biegl, T. Bapty, G. Karsai, and J. Sztipanovits, "Parallel DSP System Integration", Microprocessors and Microsystems, vol. 17, pp. 460--470, 1993.
Nordstrom, S., S. Shetty, D. Yao, S. Ahuja, S. Neema, T. Bapty, and G. Karsai, "Toward self-reconfiguring, fault-adaptive, high-performance distributed real-time systems", International Journal on Software Tools for Technology Transfer, 2005.  Download: Nordstrom_SG_0_0_2005_Toward_sel.pdf (769.93 KB)
Dubey, A., S. Nordstrom, T. Keskinpala, S. Neema, T. Bapty, and G. Karsai, "Towards a verifiable real-time, autonomic, fault mitigation framework for large scale real-time systems", ISSE, vol. 3, pp. 33--52, 2007.  Download: Dubey_A_1_24_2007_Towards_a_.pdf (1.2 MB)
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)
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)
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)
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)
Zhang, P., Z. Lattmann, J. Klingler, S. Neema, and T. Bapty, "Visualization Techniques in Collaborative Domain-Specific Modeling Environment", SoutheastCon 2015, Fort Lauderdale, FL, USA, IEEE, 04/2015. Abstract
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.
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)
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)
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)
Ledeczi, A., C. Biegl, B. Abbott, T. Bapty, and J. Sztipanovits, "Automatic Parallel Program Generation for Aerospace Testing", 9th AIAA Conference on Computing in Aerospace, San Diego, CA, pp. 434--440, January, 1993.
van Rheeden, D., B. Brown, J. Price, B. Abbott, G. Willden, K. Chhokra, J. Scott, and T. Bapty, "AUTOMATIC POSITIONING OF UAVS TO OPTIMIZE TDOA GEOLOCATION PERFORMANCE", 23rd Digital Avionics Systems Conference (DASC), DASC 2004, Salt Lake City, Utah, October, 2004.
Tibbals, T., T. Bapty, and B. Abbott, "CADDMAS: A Real-Time Parallel System for Dynamic Data Analysis", International Gas Turbine and Aeroengine Congress, The Hauge, Netherlands, June, 1994.
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)
Bapty, T., "Design Environment for Dynamically Reconfigurable Embedded Systems", Proceedings of the High Performance Embedded Computing '99, MIT Lincoln Laboratory, MA, September, 1999.  Download: Bapty_T_9_0_1999_Design_Env.pdf (7.37 KB)
Neema, H., Z. Lattmann, P. Meijer, J. Klingler, S. Neema, T. Bapty, J. Sztipanovits, and G. Karsai, "Design Space Exploration and Manipulation for Cyber Physical Systems", IFIP First International Workshop on Design Space Exploration of Cyber-Physical Systems (IDEAL' 2014), Berlin, Germany, Springer, 04/2014. Abstract  Download: Himanshu_DSEMForCPS.PDF (773.23 KB)