ISIS Publications

List
Filter

Export 864 results:

Sort by: [ Author

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

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)

Dubey, A., G. Karsai, R. Kereskenyi, and N. Mahadevan, "A Real-Time Component Framework: Experience with CCM and ARINC-653", IEEE International Symposium on Object-Oriented Real-Time Distributed Computing,, Spain, pp. 143--150, 2010. Abstract

Download: Paper.pdf (5.46 MB)

Dubey, A., "A Discussion on Supervisory Control Theory in Real-Time Discrete Event Systems", ISIS Technical Report, no. ISIS-09-112, 11/2009.

Download: TechReport.pdf (2.43 MB)

Dubey, A., "Metamodel Based Language and Computation Platform for Algorithmic Analysis of Hybrid Systems", Master's Thesis: Vanderbilt University, July, 2005.

Download: Dubey_A_7_28_2005_Metamodel_.pdf (3.32 MB)

Dubey, A., R. Mehrotra, S. Abdelwahed, and A. Tantawi, "Performance Modeling of Distributed Multi-Tier Enterprise Systems", ACM SIGMETRICS Performance Evaluation Review, vol. 37, no. 2, Seattle, 2009.

Download: Paper.pdf (1.44 MB)

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)

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., G. Karsai, and N. Mahadevan, "A Component Model for Hard-Real Time Systems: CCM with ARINC-653", Software: Practice and Experience, no. In press, 2011.

Download: Journal.pdf (1.94 MB)

Dubey, A., A. Gokhale, G. Karsai, W. R. Otte, D. Balasubramanian, S. Nyako, and J. Willemsen, "A Model-driven Software Component Framework for Fractionated Spacecraft", 5th International Conference on Spacecraft Formation Flying Missions and Technologies, Munich, Germany, 2013. Abstract

Download: f6mdk.pdf (550.9 KB); f6mdk-extended-abstract.pdf (76.81 KB)

Dubey, A., G. Karsai, R. Kereskenyi, and N. Mahadevan, Towards a Real-time Component Framework for Software Health Management, , no. ISIS-09-111, Nashville, Institute for Software Integrated Systems, 11/2009. Abstract

Download: TechReport2009.pdf (11.07 MB)

Dubey, A., G. Karsai, and N. Mahadevan, "Towards Model-based Software Health Management for Real-Time Systems", ISIS Technical report, 2010. Abstract

Download: Report.pdf (3.38 MB)

Dubey, A., N. Mahadevan, and G. Karsai, "The Inertial Measurement Unit Example: A Software Health Management Case Study", ISIS Technical Report, no. ISIS-12-101, 02/2012. Abstract

Download: TechReport_IMU.pdf (1.49 MB)

Dubey, A., G. Karsai, and S. Abdelwahed, "Compensating for Timing Jitter in Computing Systems with General-Purpose Operating Systems", ISORC, Tokyo, Japan, 2009. Abstract

Download: Isorc.pdf (487.35 KB)

Dubey, A., N. Mahadevan, and G. Karsai, "A Deliberative Reasoner for Model-Based Software Health Management", The Eighth International Conference on Autonomic and Autonomous Systems, St. Maarten, Netherlands Antilles, 03/2012. Abstract

Download: Paper.pdf (369.11 KB)

Durham, E., Y. Xue, M. Kantarcioglu, and B. Malin, "Private Medical Record Linkage with Approximate Matching", American Medical Informatics Association (AMIA) Annual Symposium, Washington D.C., 11/2010.

Dutta, P., Y. - S. Kuo, A. Ledeczi, T. Schmid, and P. Volgyesi, "Putting the Software Radio on a Low-Calorie Diet", Ninth ACM Workshop on Hot Topics in Networks (HotNets-IX), Monterey CA, 10/2010. Abstract

Eames, B., "Integrating High-Level Simulation into a Model-Integrated Embedded System Design Toolset", Master's Thesis: Vanderbilt University, May, 2001.

Download: Eames_BK_5_0_2001_Integratin.pdf (239.71 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)

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)

Eby, M., J. Werner, G. Karsai, and J. Sztipanovits, "Integrating Security Modeling into Embedded System Design", ECBS 2007, Tucson, Arizona, 2006.

Download: ISIS_0_0_2006_Integratin.pdf (324.18 KB)

Emerson, M., "GME-MOF: AN MDA METAMODELING ENVIRONMENT FOR GME", Master's Thesis: Vanderbilt University, May, 2005.

Download: Emerson_MJ_5_0_2005_GME_MOF__A.pdf (519.93 KB)

Emerson, M., and J. Sztipanovits, "Implementing a MOF-Based Metamodeling Environment Using Graph Transformations", 4th OOPSLA Workshop on Domain-Specific Modeling, Vancouver, Canada, pp. 83--92, October, 2004.

Download: Emerson_MJ_10_0_2004_Implementi.pdf (128.37 KB)

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)

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)

Emerson, M., J. Mathe, and S. Duncavage, "WiNeSim: A Wireless Network Simulation Tool", Proceedings of the Sixth ACM International Conference on Embedded Software (EMSOFT’06), Seoul, South Korea, 10/2006. Abstract

Download: EMSOFT-WS.2006.Paper-WiNeSim.v2.0.pdf (416.03 KB)

Eyisi, E., J. Porter, N. Kottenstette, X. Koutsoukos, and J. Sztipanovits, "PaNeCS: A Modeling Language for Passivity-based Design of Networked Control Systems", 19th Mediterranean Conference on Control and Automation, Corfu,Greece, 06/2011. Abstract

Eyisi, E., J. Porter, J. Hall, N. Kottenstette, X. Koutsoukos, and J. Sztipanovits, PaNeCS: A Modeling Language for Passivity-based Design of Networked Control Systems, , Nashville, TN, Institute for Software Integrated Systems, Vanderbilt University, 05/2009. Abstract

Download: models_paper_tr_aces_update.pdf (528.51 KB); ModelsPaper.pdf (523.78 KB)

Feenstra, P., E. J. Manders, P. Mosterman, G. Biswas, and R. J. Barnett, "Modeling and Instrumentation for Fault Detection and Isolation of a Cooling System", IEEE South East Conference, Nashville, TN, pp. 365--372, March, 2000.

Download: ISIS_3_0_2000_Modeling_a.pdf (603.5 KB)

Fernandez, K., G. E. Cook, C. Biegl, and J. Springfield, "ROBOSIM: An Intelligent Simulator for Robotic Systems", Technology 2002: 3rd National Technology conference and Exposition, NASA Conference Publication 3189, Vol 2, Baltimore, MD, pp. 119--125, December, 1992.

Foxvog, D., X. Li, J. Vargas, J. Bourne, J. Sztipanovits, R. Mushlin, and C. Harrison, "Pulse Programming Assistant for Nuclear Magnetic Resonance Imaging", 8th Annual IEEE/EMBS Conference, Dallas, TX, pp. 811--816, 1986.

Foxvog, D., X. Li, J. Vargas, J. Sztipanovits, R. Mushlin, and C. Harrison, "Pulse Programming Assistant for Nuclear Magnetic Resonance Imaging", IEEE Transactions on Biomedical Engineering, vol. 34, pp. 938--943, 1987.

Frampton, K., "Decentralized Control Of Structural Acoustic Radiation", ASME IMECE, 2001.

Download: Frampton_K_0_0_2001_Decentrali.pdf (359.91 KB)

Frampton, K., "A Comparison of Hierarchies for Decentralized Vibration Control", Journal of Vibrations and Acoustics, August, 2001.

Download: Frampton_K_8_0_2001__A_Compari.pdf (218.93 KB)

Frampton, K., "Decentralized Vibration Control in a Launch Vehicle Payload Fairing", International Mechanical Engineering Conference and Exhibition, IMECE2002-33352, New Orleans, LA, November, 2002.

Download: Frampton_K_11_0_2002_DECENTRALI.pdf (392.61 KB)

Franke, H., and C. Biegl, "Evaluation of a Graph Computational Model on an IBM SP2 Scalable Workstation Cluster", Proceedings of the 1998 IEEE Conference on Engineering of Computer-Based Systems, Jerusalem, FC, pp. 166--173, March, 1998.

Franke, H., J. Sztipanovits, and G. Karsai, "Model-Integrated Computing", Hawaii Systems of the World Manufacturing Congress, Auckland, New Zealand, November, 1997.

Fu, Y., N. Kottenstette, Y. Chen, C. Lu, X. Koutsoukos, and H. Wang, Feedback Thermal Control for Real-time Systems, , St. Louis, MO, Washington University in St. Louis, pp. 1-13, 06/2009. Abstract

Fu, Y., N. Kottenstette, C. Lu, and X. Koutsoukos, Feedback Thermal Control of Real-time Systems on Multicore Processors, : Washington University in St. Louis, 01/2011. Abstract

Garrett, J., A. Ledeczi, and F. DeCaria, "Towards a Paradigm for Activity Modeling", SMC 2000, Nashville, TN, October, 2000.

Download: Garrett_JT_10_0_2000_Towards_a_.pdf (74.33 KB)

Gokhale, A., M. McDonald, S. Drager, and W. McKeever, "A Cyber Physical Systems Perspective on the Real-time and Reliable Information Dissemination in Intelligent Transportation Systems", International Journal of Network Protocols and Algorithms (IJNPA), Special Issue on Data Dissemination for Large-scale Complex Critical Infrastructures (DD4LCCI), vol. 2, no. 3, pp. 116–136, 2010.

Download: JNPA10-ITS.pdf (413.87 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., and G. Karsai, "An Examination of DSLs for Concisely Representing Model Traversals and Transformations", HICSS-36, Big Island, Hawaii, January, 2003.

Download: Gray_J_1_0_2003_An_Examina.pdf (245.28 KB)

Gray, J., "Using Software Component Generators to Construct a Meta-Weaver Framework", 23rd International Conference on Software Engineering (ICSE 2001), Doctoral Symposium, Toronto, Ontario, Canada, May, 2001.

Download: Gray_J_5_0_2001_Using_Soft.pdf (18.95 KB)

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., "A Framework for Creating Aspect Weavers", OOPSLA 2001, Doctoral Symposium, Tampa, FL, October, 2001.

Download: Gray_J_10_0_2001_A_Framewor.pdf (17.26 KB)

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)

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)