ISIS Publications

Carnes, R., J. Davis, C. Biegl, and G. Karsai, "Integrated Modeling for Planning, Simulation and Diagnosis", IEEE Conference on AI Simulation {\&} Planning in High Autonomy Systems, Cocoa Beach, FL, pp. 273--282, April, 1991.

Karsai, G., S. Padalkar, J. Sztipanovits, and F. DeCaria, "Activity Modeling", Foundation of Computer Aided Process Design, microfilm publication, Snowmass, CO, July, 1994.

Davis, J., and B. Abbott, "Cut-Through Message Passing on the TI TMS320C40", Proceedings of the 7th NATUG, Athens, GA, pp. 167--175, October, 1994.

Bapty, T., A. Ledeczi, J. Sztipanovits, and J. Davis, "Synthesis of Large-Scale Real-Time Instrumentation Systems using Model-Based Techniques", Proceedings of the the Software Engineering Research Forum, Boca Raton, FL, 1995.

Davis, J., "A Model Based Data Validation System", Master's Thesis: Vanderbilt University, 1995.

Download: Davis_J_0_0_1995_A_Model_Ba.pdf (532.1 KB)

Davis, J., and T. Bapty, "Interactive User's Interface for a Dynamic Compression System Simulation", AIAA 33rd Aerospace Sciences Meeting, Reno, NV, January, 1995.

Padalkar, S., G. Karsai, J. Sztipanovits, and F. DeCaria, "Online Diagnostics Makes Manufacturing More Robust", Chemical Engineering Magazine, pp. 80--83, March, 1995.

Karsai, G., J. Sztipanovits, S. Padalkar, and F. DeCaria, "Model-embedded On-line Problem Solving Environment for Chemical Engineering", International Conference on Engineering of Complex Computer Systems, Ft Lauderdale, FL, pp. 227--233, November, 1995.

Download: Karsai_G_11_6_1995_Model_embe.pdf (180.47 KB)

Bapty, T., A. Ledeczi, J. Davis, B. Abbott, L. Howard, and T. Tibbals, "Turbine Engine Diagnostics Using a Parallel Signal Processor", Joint Technology Showcase on Integrated Monitoring, Diagnostics, and Failure Prevention, Mobile, AL, 1996.

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.

Karsai, G., and F. DeCaria, "Model-Integrated On-line Problem-Solving Environment for Chemical Engineering", IFAC Control Engineering Practice, vol. 5, pp. 1--9, 1997.

Download: Karsai_G_0_0_1997_Model_Inte_.pdf (180.47 KB)

Davis, J., J. Scott, J. Sztipanovits, G. Karsai, and M. Martinez, "Integrated Analysis Environment for High Impact Systems", Proceedings of the Engineering of Computer Based Systems, Jerusalem, Israel, pp. 218--225, April, 1998.

Download: Davis_J_9_0_1998_Integrated.pdf (141.59 KB)

Davis, J., J. Scott, J. Sztipanovits, G. Karsai, and M. Martinez, "An Integrated Multi-Domain Analysis Environment for High Consequence Systems", Proceedings of the 1998 ASME Design Engineering Technical Conference / Computers in Engineering, Paper No. 5532, Altanta, GA, September, 1998.

Download: Davis_J_9_0_1998_An_Integtr.pdf (251.31 KB)

Davis, J., J. Scott, J. Sztipanovits, and M. Martinez, "Multi-Domain Surety Modeling and Analysis for High Assurance Systems", Proceedings of the Engineering of Computer Based Systems, Nashville, TN, pp. 254--260, March, 1999.

Download: Davis_J_3_0_1999_Multi_Doma.pdf (73.25 KB)

Karsai, G., G. Bloor, and J. Doyle, "Automating Human Based Negotiation Processes for Autonomic Logistics", Proceedings of the IEEE Aerospace 2000, Big Sky, MT, March, 2000.

Download: Karsai_G_3_0_2000_Automating.pdf (676.12 KB)

Davis, J., "Integrated Safety, Reliability, and Diagnostics of High Assurance, High Consequence Systems", PhD Dissertation: Vanderbilt University, May, 2000.

Download: Davis_J_0_0_2000_Integrated.pdf (2.16 MB)

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)

Deva, D., J. Sprinkle, M. Maroti, and G. Nordstrom, "Towards A Standard For Model Specification And Storage", IEEE SMC 2000, Nashville, TN, September, 2000.

Nordstrom, G., J. Davis, and M. Briski, "A Graduate-Level Course on CBS Design Tool Development", Engineering of Computer Based Systems, Washington, D.C., April, 2001.

Neema, S., J. Davis, B. Eames, and A. Ledeczi, "Design Representation Issues in Polymorphous Computing", ISIS-01-202: Institute for Software Integrated Systems, January, 2001.

Download: Neema_S_1_30_2001_Design_Rep.pdf (2.93 MB)

Ledeczi, A., J. Davis, S. Neema, B. Eames, G. Nordstrom, V. Prasanna, C. Raghavendra, A. Bakshi, S. Mohanty, V. Mathur, et al., "Overview of the Model-based Integrated Simulation Framework", ISIS-01-201: Institute for Software Integrated Systems, January, 2001.

Download: Ledeczi_A_1_30_2001_Overview_o.pdf (84.4 KB)

Agrawal, A., A. Bakshi, J. Davis, B. Eames, A. Ledeczi, S. Mohanty, V. Mathur, S. Neema, G. Nordstrom, V. Prasanna, et al., "MILAN: A Model Based Integrated Simulation Framework for Design of Embedded Systems", Workshop on Languages, Compilers, and Tools for Embedded Systems (LCTES), Snowbird, UT, June, 2001.

Download: Agrawal_A_6_0_2001_MILAN__A_M.pdf (121.36 KB)

Leelawong, K., J. Davis, N. Vye, G. Biswas, D. Schwartz, T. Belynne, T. Katzlberger, and J. Bransford, "The effects of feedback in supporting learning by teaching in a teachable agent environment", Keeping Learning Complex: The Proceedings of the Fifth International Conference of the Learning Sciences, Mahwah, NJ, Erlbaum, pp. 245-252, 2002.

Davis, J., "Model Integrated Computing: A Framework for Creating Domain Specific Design Environments", The 6th World Multiconference on Systems, Cybernetics, and Informatics (SCI), Orlando, FL, July, 2002.

Download: Davis_J_7_0_2002_Model_Inte.pdf (282.01 KB)

Mohanty, S., V. Prasanna, S. Neema, and J. Davis, "Rapid Design Space Exploration of Heterogeneous Embedded Systems using Symbolic Search and Multi-Granular Simulation", Workshop on Languages, Compilers, and Tools for Embedded Systems (LCTES), Berlin, Germany, June, 2002.

Download: Mohanty_S_6_0_2002_Rapid_Desi.pdf (263.12 KB)

van Buskirk, C., B. Dawant, G. Karsai, J. Sprinkle, G. Szokoli, K. Suwanmongkol, and R. Currer, "Computer-aided Aircraft Maintenance Scheduling", ISIS-02-303: Institute for Software Integrated Systems, November, 2002.

Download: van_Buskir_CP_11_0_2002_Computer_a.pdf (313.15 KB)

Davis, J., K. Leelawong, K. Belynne, B. Bodenheimer, G. Biswas, N. Vye, and J. Bransford, "Intelligent user interface design for teachable agent systems: A demonstration abstract", The 8th International Conference on Intelligent User Interfaces, Miami, FL, Association for Computing Machinery, pp. 320, 2003.

Davis, J., K. Leelawong, K. Belynne, B. Bodenheimer, G. Biswas, N. Vye, and J. Bransford, "Intelligent user interface design for teachable agent systems", Proceedings of the 8th International Conference on Intelligent User Interfaces, Miami, FL, ACM, pp. 26-33, 2003.

Leelawong, K., K. Viswanath, J. Davis, G. Biswas, N. Vye, B. K., and J. Bransford, "Teachable agents: Learning by teaching environments for science domains", Proceedings of the Fifteenth Annual Conference on Innovative Applications of Artificial Intelligence, Menlo Park, CA, AAAI Press, pp. 109-116, 2003.

Ledeczi, A., J. Davis, S. Neema, and A. Agrawal, "Modeling Methodology for Integrated Simulation of Embedded Systems", ACM Transactions on Modeling and Computer Simulation, vol. 13, pp. 82--103, January, 2003.

Download: Ledeczi_A_0_0_2003_Modeling_M.pdf (231.04 KB)

Biswas, G., K. Leelawong, K. Belynne, K. Viswanath, D. Schwartz, and J. Davis, "Developing learning by teaching environments that support self-regulated learning", Intelligent Tutoring Systems: Vol. 3220. Lecture Notes in Computer Science, Maceió, Brazil, Springer, pp. 730-740, 2004.

Biswas, G., K. Leelawon, K. Belynne, K. Viswanath, D. Schwartz, and J. Davis, "Incorporating self regulated learning techniques into learning by teaching environments", The 26th Annual Meeting of the Cognitive Science Society, Chicago, Erlbaum, pp. 120-125, 2004.

Dora, S., "AUTOMATED COMPONENT COMPATIBILITY AND RESOURCE USAGE VERIFICATION IN SENSOR NETWORKS", Master's Thesis: Vanderbilt University, April, 2004.

Download: Dora_S_5_1_2004_AUTOMATED_.doc (4.16 MB)

Volgyesi, P., M. Maroti, S. Dora, E. Osses, A. Ledeczi, and T. Paka, Embedded Software Composition and Verification, : Institute for Software Integrated Systems, February, 2004.

Download: Volgyesi_P_2_13_2004_Embedded_S.pdf (627.06 KB)

Deng, G., J. Balasubramanian, W. R. Otte, D. C. Schmidt, and A. Gokhale, DAnCE: A QoS-Enabled Component Deployment and Configuration Engine, , vol. 3798, Berlin, Heidelberg, Springer, pp. 67 - 82, 2005.

Ledeczi, A., P. Volgyesi, M. Maroti, G. Simon, G. Balogh, A. Nadas, B. Kusy, S. Dora, and G. Pap, "Multiple Simultaneous Acoustic Source Localization in Urban Terrain", In Proc. of IPSN, Los Angeles, CA, April, 2005.

Download: Ledeczi_A_4_25_2005_Multiple_S.pdf (682.65 KB)

Maroti, M., B. Kusy, G. Balogh, P. Volgyesi, K. Molnar, S. Dora, and A. Ledeczi, Radio Interferometric Positioning, : Institute for Software Integrated Systems, April, 2005.

Download: Maroti_M_4_10_2005_Radio_Inte.pdf (422.8 KB)

Volgyesi, P., M. Maroti, S. Dora, E. Osses, and A. Ledeczi, "Software Composition and Verification for Sensor Networks", Science of Computer Programming (Elsevier), vol. 56, pp. 191--210, April, 2005.

Download: Volgyesi_P_4_0_2005_Software_C.pdf (312.39 KB)

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)

Ledeczi, A., A. Nadas, P. Volgyesi, G. Balogh, B. Kusy, J. Sallai, G. Pap, S. Dora, K. Molnar, M. Maroti, et al., "Countersniper System for Urban Warfare", ACM Transactions on Sensor Networks, vol. 1, pp. 153--177, November, 2005.

Maroti, M., B. Kusy, G. Balogh, P. Volgyesi, K. Molnar, A. Nadas, S. Dora, and A. Ledeczi, "Radio Interferometric Geolocation", ACM Third International Conference on Embedded Networked Sensor Systems (SenSys 05), San Diego, CA, pp. 1--12, November, 2005.

Download: Maroti_M_11_3_2005_Radio_Inte.pdf (422.8 KB)

Dubey, A., W. Xianbin, S. Hang, and J. T. Koo, "Computation Platform for Automatic Analysis of Embedded Software Systems Using Model Based Approach", Lecture Notes in Computer Science, vol. 3707, pp. 114--128, October, 2005.

Download: Dubey_A_10_4_2005_Computatio.pdf (502.45 KB)

Daigle, M., X. Koutsoukos, and G. Biswas, "Relative Measurement Orderings in Diagnosis of Distributed Physical Systems", 43rd Annual Allerton Conference on Communication, Control, and Computing, Monticello, IL, pp. 1707--1716, September, 2005.

Download: Daigle_MJ_9_0_2005_Relative_M.pdf (160.46 KB)

Kusy, B., P. Dutta, P. Levis, M. Maroti, A. Ledeczi, and D. Culler, "Elapsed Time on Arrival: a simple and versatile primitive for canonical time synchronization services", International Journal of Ad Hoc and Ubiquitous Computing, vol. 2, 2006.

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)

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)

Daigle, M., I. Roychoudhury, G. Biswas, and X. Koutsoukos, Efficient Simulation of Component-Based Hybrid Models Represented as Hybrid Bond Graphs, : Institute for Software Integrated Systems, December, 2006.

Download: Daigle_MJ_12_18_2006_Efficient_.pdf (785.63 KB)

Sallai, J., B. Kusy, A. Ledeczi, and P. Dutta, "On the Scalability of Routing Integrated Time Synchronization", 3rd European Workshop on Wireless Sensor Networks (EWSN 2006), Zurich, Switzerland, February, 2006.

Download: Sallai_J_2_13_2006_On_the_Sca.pdf (212.99 KB)