] Filters: Author is Bapty, Ted [Clear All Filters]
"Graphical Programming for the Transputer",
Proceedings of the 22nd Southeastern Symposium on System Theory, pp. 86--90, March, 1990.
"Real-Time Turbine Engine Data Visualization",
Transputer Research Applications, DL Fielding, IOS Press, 1990.
"Model-Based Software Synthesis for Large-Scale Systems",
Proceedings of the 9th AIAA Conference on Computing in Aerospace, San Diego, CA, September, 1993.
"Real-Time Turbine Engine Data Visualization",
Proceedings of the the 4th NATUG, Ithaca, NY, pp. 1--11, 1990.
"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.
"Model-Based Approach for Software Synthesis",
IEEE Software, vol. 10, pp. 42--52, May, 1993.
"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)
"Synthesis of Large-Scale Real-Time Instrumentation Systems using Model-Based Techniques",
Proceedings of the the Software Engineering Research Forum, Boca Raton, FL, 1995.
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)
"Turbine Engine Diagnostics Using a Parallel Signal Processor",
Joint Technology Showcase on Integrated Monitoring, Diagnostics, and Failure Prevention, Mobile, AL, 1996.
"Parallel Turbine Engine Instrumentation System",
Proceedings of the the 9th AIAA Conference on Computing in Aerospace, San Diego, CA, pp. 423--433, October, 1993.
Transitioning the META Toolchain,
, no. ISIS-15-114, 2015.
Download: Transitioning the META Toolchain.pdf (1.2 MB)
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)
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)
"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.
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)
"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.
"Portable Kernel for High-Level Synthesis of Complex DSP-Systems",
Proceedings of the the International Conference on Signal Processing Applications and Technology, Boston, MA, May, 1995.
Download: Bapty_T_5_0_1995_Portable_K.pdf (117.17 KB)
"Model Based Development in the FACE Ecosystem",
FACE Consortium Keynote Address, Linthicum, MD, Future Airborne Capability Environment Consortium - The Open Group, 02/2012.
"Model-Integrated Tools for the Design of Dynamically Reconfigurable Systems",
VLSI Design, vol. 10, pp. 281--306, 2000.
Model-Based Synthesis of Parallel Real-Time Systems,
: Vanderbilt University, 1995.
Overview of the META Toolchain in the Adaptive Vehicle Make Progam (status: review pending),
, no. ISIS-15-103, 2015.
"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)
"Parallel Volume Rendering",
Proceedings of the ICSPAT, Dallas, TX, October, 1994.
Case Studies and Use Cases in the META Toolchain (status: review pending),
, no. ISIS-15-113, 2015.
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)
"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)
"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)
"WASP: A Radio Geolocation System on Highly Resource Constrained Mobile Platforms",
Engineering of Computer Based Systems, Brno, Czech Republic, pp. 121--127, May, 2004.
Download: Chhokra_K_5_0_2004_WASP__A_Ra.pdf (408.31 KB)
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)
"Interactive User's Interface for a Dynamic Compression System Simulation",
AIAA 33rd Aerospace Sciences Meeting, Reno, NV, January, 1995.
"Model Based Data Validation",
Proceedings of the Joint Technology Showcase on Integrated Monitoring, Diagnostics, and Failure Prevention, Mobile, AL, April, 1996.
"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)
"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)
"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)
"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)
"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)
"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)
"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)
"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)
"Two-level Weaving to Support Changeability in Model-Based Synthesis",
Aspect-Oriented Programming, 2003.
"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)
"Viewpoints and Aspects in Domain-Specific Modeling",
1st International Conference on Aspect-Oriented Software Development, Enschede, The Netherlands, April, 2002.
"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)
"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)
"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)
"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)
"Model-integrated development of embedded software",
Proceedings of the IEEE, vol. 91, pp. 145--164, January, 2003.
"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)
Formal Verification and Reliability in the META Toolchain (status: review pending),
, no. ISIS-15-108, 2015.
Copyright © 2011 ISIS / Vanderbilt University / School of Engineering