Home

ISIS Publications

Export 92 results:
Sort by: Author [ Title (Asc)] Type Year
Filters: Author is Bapty, Ted  [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 
A
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)
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)
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)
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)
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.
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.
C
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.
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.
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)
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)
D
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)
Neema, S., T. Bapty, and J. Scott, "Development Environment for Dynamically Reconfigurable Embedded Systems", Proceedings of the International Conference on Signal processing Applications and Technology, Orlando, FL, November, 1999.  Download: Neema_S_11_0_1999_Developmen.pdf (5.77 KB)
Ahuja, S., D. Yao, S. Neema, T. Bapty, S. Shetty, and S. Nordstrom, "Dynamically Reconfigurable Monitoring in Large Scale Real-Time Embedded Systems", IEEE SoutheastCon, Fort Lauderdale, Florida, pp. 327, April, 2005.  Download: Ahuja_S_4_8_2005_Dynamicall.pdf (629.1 KB)
E
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)
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, "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)
Abbott, B., T. Bapty, C. Biegl, A. Ledeczi, G. Karsai, and J. Sztipanovits, "Experiences Using Model-Based Techniques for the Development of a Large Parallel Instrumentation System", Proceedings of the International Conference on Signal Processing Applications and Technology, Boston, MA, pp. 573--582, February, 1992.
F
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.
Simko, G., T. Levendovszky, S. Neema, E. Jackson, T. Bapty, J. Porter, and J. Sztipanovits, "Foundation for Model Integration: Semantic Backplane", Proceedings of the ASME 2012 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference IDETC/CIE, 2012.
G
Abbott, B., C. Biegl, T. Bapty, J. Sztipanovits, and R. Souder, "Graphical Programming for the Transputer", Proceedings of the 22nd Southeastern Symposium on System Theory, pp. 86--90, March, 1990.
Nordstrom, S., T. Bapty, S. Neema, A. Dubey, and T. Keskinpala, "A Guided Explorative Approach for Autonomic Healing of Model-Based Systems", Second IEEE conference on Space Mission Challenges for Information Technology (SMC-IT), Pasadena, CA, July, 2006.  Download: Nordstrom_SG_7_0_2006_A_Guided_E.pdf (201.89 KB)
H
Gray, J., T. Bapty, and S. Neema, "Handling Crosscutting Constraints in Domain-Specific Modeling", OOPSLA 2001, Tampa, FL, October, 2001.  Download: Gray_J_10_0_2001_Handling_C.zip (357.1 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)
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)
Scott, J., S. Neema, B. Eames, T. Bapty, A. Vandivort, S. Khamsi, and T. Gangwer, "A HW/SW Co-design Tool for Modern FPGA’s with FPGA-Embedded Processors", 7th Military and Aerospace Programmable Logic Devices, Washington, DC, September, 2004.  Download: Scott_JM_9_11_2004_A_HW_SW_Co.pdf (284.38 KB)
I
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)
Davis, J., and T. Bapty, "Interactive User's Interface for a Dynamic Compression System Simulation", AIAA 33rd Aerospace Sciences Meeting, Reno, NV, January, 1995.
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)
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)
M
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)
Davis, J., T. Bapty, G. Karsai, D. Malloy, J. Sztipanovits, and T. Tibbals, "Model Based Data Validation", Proceedings of the Joint Technology Showcase on Integrated Monitoring, Diagnostics, and Failure Prevention, Mobile, AL, April, 1996.
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.
Neema, S., T. Bapty, X. Koutsoukos, H. Neema, J. Sztipanovits, and G. Karsai, "Model Based Integration and Experimentation of Information Fusion and C2 Systems", FUSION '09. 12th International Conference on Information Fusion, Seattle, WA, 07/2009. Abstract  Download: Paper.pdf (556.87 KB)
Shetty, S., S. Neema, and T. Bapty, "Model Based Self Adaptive Behaviour Language Large Scale Real time Embedded Systems", ECBS, Brno, Czech Republic, May, 2004.  Download: Shetty_SS_5_24_2004_Model_Base.PDF (803.33 KB)
Keskinpala, T., A. Dubey, S. Nordstrom, T. Bapty, and S. Neema, "A model driven tool for automated system level testing of middleware", Fourth System Testing and Validation Workshop (STV), 2006.  Download: STV06Paper_Final_TK.pdf (758.27 KB)
Nordstrom, G., G. Karsai, M. Moore, T. Bapty, and J. Sztipanovits, "Model Integrated Computing-Based Software Design and Evolution", Conference on Life Cycle Software Engineering Technology for Modern Avionics, Missiles, and Smart Weapon Systems, Huntsville, Alabama, August, 2000.  Download: Nordstrom_GG_8_16_2000_Model_Inte.pdf (252.99 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)
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.
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.
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)