ISIS Publications

Export 1072 results:
Sort by: Author [ Title  (Asc)] Type Year
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 
T
Mosterman, P., and G. Biswas, "Towards Procedures for Systematically Deriving Hybrid Models of Complex Systems", Hybrid Systems: Computation and Control - Third International Workshop (HSCC 2000), Volume 1790, Berlin, Germany, pp. 324--337, March, 2000.  Download: ISIS_3_0_2000_Towards_Pr.pdf (381.52 KB)
Jose, C., C. Kulkarni, G. Biswas, and G. Kai, "Towards Prognostics of Electrolytic Capacitors", Infotech@Aerospace 2011, St. Louis, Missouri, AIAA, 04/2011.
Wellons, J., and Y. Xue, "Towards Robust and Efficient Routing in Multi-Radio, Multi-Channel Wireless Mesh Networks", IEEE International Conference on Computer Communications (IEEE INFOCOM 2011) Mini-Conference, Shanghai, China, 04/2011.  Download: tech-report.pdf (23.33 KB)
Karsai, G., G. Nordstrom, A. Ledeczi, and J. Sztipanovits, "Towards Two-Level Formal Modeling of Computer-Based Systems", Journal of Universal Computer Science, vol. 6, pp. 1131--1144, November, 2000.  Download: Karsai_G_11_0_2000_Towards_Tw.pdf (182.08 KB)
Li, X., Y. Xue, and B. Malin, "Towards Understanding the Usage Pattern of Web-based Electronic Medical Record Systems", The Third International IEEE WoWMoM Workshop on Interdisciplinary Research on E-Health Services and Systems, 2011.
Narayanan, A., and G. Karsai, "Towards Verifying Model Transformations", Electronic Notes in Theoretical Computer Science, vol. 211, pp. p.191-200, 2008.
Kushwaha, M., S. Oh, I. Amundson, X. Koutsoukos, and A. Ledeczi, "Tracking in Urban Environments Using Sensor Networks Based on Audio-Video Fusion", Handbook of Ambient Intelligence and Smart Environments (AISE): Springer, 2009.  Download: kushwaha_aise_bookchapter.pdf (1.59 MB)
Kusy, B., A. Ledeczi, and X. Koutsoukos, "Tracking mobile nodes using RF Doppler shifts", SenSys '07: Proceedings of the 5th international conference on Embedded networked sensor systems, New York, NY, USA, ACM, pp. 29--42, 2007.  Download: Kusy_B_11_7_2007_Tracking_M.pdf (811.73 KB)
Laszka, A., S. Eisele, A. Dubey, G. Karsai, and K. Kvaternik, "TRANSAX: A Blockchain-based Decentralized Forward-Trading Energy Exchange for Transactive Microgrids", The 24th International Conference on Parallel and Distributed Systems, Singapore, IEEE, 12/2018. Abstract  Download: TRANSAX-2018.pdf (479.27 KB)
Levendovszky, T., D. Balasubramanian, K. Smyth, F. Shi, and G. Karsai, "A Transformation Instance-Based Approach to Traceability", 6th ECMFA Traceability Workshop (ECMFA-TW), Paris, France, ACM Digital Library, pp. 55-60, 2010. Abstract
Manders, E. J., and G. Biswas, "Transient Detection and Analysis for Diagnosis of Abrupt Faults in Continuous Dynamic Systems", IEEE International Workshop on Intelligent Signal Processing, Budapest, Hungary, May, 2001.  Download: Manders_EJ_5_0_2001_Transient_.pdf (539.68 KB)
Shekhar, S., F. Sun, A. Dubey, A. Gokhale, H. Neema, M. Lehofer, and D. Freudberg, "Transit Hub: A Smart Decision Support System for Public Transit Operations", Internet of Things and Data Analytics Handbook (ed. Hwaiyu Geng), 1st, Hoboken, NJ, 2017. Abstract  Download: c36.pdf (1.38 MB)
Tantawy, A., X. Koutsoukos, and G. Biswas, "Transmission Control Policy Design for Decentralized Detection in Sensor Networks", IEEE International Conference on Distributed Computing in Sensor Systems, DCOSS 2011, Barcelona, Spain, 06/2011.
Tantawy, A., X. Koutsoukos, and G. Biswas, Transmission Control Policy Design for Decentralized Detection in Sensor Networks, , no. ISIS-11-103, Nashville TN, Institute for Software Integrated Systems, 04/2011.
Tantawy, A., X. Koutsoukos, and G. Biswas, "Transmission Control Policy Design for Decentralized Detection in Tree Topology Sensor Networks", 14th International Conference on Information Fusion, Fusion 2011, Chicago IL, USA, 07/2011.
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.
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)
U
Magyari, E., A. Bakay, A. Lang, T. Paka, A. Vizhanyo, A. Agrawal, and G. Karsai, "UDM: An Infrastructure for Implementing Domain-Specific Modeling Languages", The 3rd OOPSLA Workshop on Domain-Specific Modeling, OOPSLA 2003, Anahiem, California, October, 2003.  Download: Magyari_E_10_26_2003_UDM__An_In.pdf (285.3 KB)
Bapty, T., J. Scott, S. Neema, and J. Sztipanovits, "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)
Burns, M., T. Roth, E. Griffor, P. Boynton, S. Janos, and H. Neema, "Universal CPS Environment for Federation (UCEF)", 2018 Winter Simulation Innovation Workshop, Orlando, FL, Simulation Interoperability Standards Organization (SISO), 01/2018. Abstract
Jeong, H., A. Gupta, R. Roscoe, J. Wagster, G. Biswas, and D. Schwartz, "Using hidden markov models to characterize student behaviors in learning-by-teaching environments", In Intelligent Tutoring Systems: Vol. 5091. Lecture Notes in Computer Science, Montreal, Canada: Springer., pp. 614-625, 2008.
Jackson, E., and J. Sztipanovits, "Using Separation of Concerns for Embedded Systems Design", EMSOFT '05, Jersey City, New Jersey, September, 2005.  Download: Jackson_EK_9_0_2005_Using_Sepa.pdf (201.69 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)
Roscoe, R. D., J. Wagster, and G. Biswas, "Using teachable agent feedback to support effective learning-by-teaching", The 30th Annual Meeting of the Cognitive Science Society, Washington, DC, pp. 2381-2386, 2008.
Mack, D. L. C., G. Biswas, X. Koutsoukos, and D. Mylaraswamy, "Using Tree Augmented Naive Bayes Classifiers to Improve Engine Fault Models", Uncertainty in Artificial Intelligence: Bayesian Modeling Applications Workshop, Barcelona, Spain, 07/2011.  Download: UAIWS2011CameraVandy.pdf (336.53 KB)
V
Juracz, L., Z. Lattmann, T. Levendovszky, G. Hemingway, W. Gaggioli, T. Netterville, G. Pap, K. Smyth, and L. Howard, "VehicleFORGE: A Cloud-Based Infrastructure for Collaborative Model-Based Design", Proceedings of the 2nd International Workshop on Model-Driven Engineering for High Performance and Cloud computing co-located with 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013), vol. Vol-1118, 01/2014. Abstract  Download: MDHPCL 2013 04-paper.pdf (1.08 MB)
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)
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)
Narayanan, A., and G. Karsai, "Verifying Model Transformations by Structural Correspondence", Electronic Communications of the EASST, vol. 10, 2008.  Download: 25_AN_GK.pdf (394.52 KB)
Sogokon, A., P. B. Jackson, and T. T. Johnson, "Verifying Safety and Persistence Properties of Hybrid Systems Using Flowpipes and Continuous Invariants", NASA Formal Methods - 9th International Symposium, vol. 10227, Moffett Field, CA, USA, Springer, pp. 194-211, 05/2017. Abstract  Download: persistence-safety-nfm-2017.pdf (1.25 MB)
Gray, J., T. Bapty, S. Neema, and A. Ledeczi, "Viewpoints and Aspects in Domain-Specific Modeling", 1st International Conference on Aspect-Oriented Software Development, Enschede, The Netherlands, April, 2002.
Wang, J., "Visual Specification of Model Interpreters", Master's Thesis: Vanderbilt University, 2000.  Download: Wang_J_0_0_2000_Visual_Spe.pdf (397.35 KB)