ISIS Publications

Export 1098 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
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)
Martins, G., S. Bhatia, X. Kousoukos, K. Stouffer, C. Y. Tang, and R. Candell, "Towards a Systematic Threat Modeling Approach for Cyber-physical Systems", 2nd National Symposium on Resilient Critical Infrastructure (ISRCS 2015), Philadelphia, 08/2015. Abstract  Download: eRTM_Paper.pdf (432.7 KB)
Simko, G., T. Levendovszky, M. Maroti, and J. Sztipanovits, "Towards a Theory for Cyber-Physical Systems Modeling", Proceedings of the 3rd Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy), 2013.
Porter, J., G. Karsai, and J. Sztipanovits, "Towards a time-triggered schedule calculation tool to support model-based embedded software design", ACM International Conference on Embedded Software (EMSOFT ’09), Grenoble, France, ACM, 10/2009. Abstract
Szilvasi, S., B. Babjak, A. Ledeczi, and P. Volgyesi, "Towards a Versatile Wireless Platform for Low-power Applications", International Journal of Digital Information and Wireless Communications, vol. 1, no. 2, 02/2012.
Otte, W. R., D. C. Schmidt, and A. Gokhale, "Towards an Adaptive Deployment and Configuration Framework for Component-based Distributed Systems", Proceedings of the 9th Workshop on Adaptive and Reflective Middleware (ARM '10), Bengarulu, India, 2010.
Pettet, G., S. Sahoo, and A. Dubey, "Towards an Adaptive Multi-modal Traffic Analytics Framework at the Edge", International Workshop on Pervasive Flow of Things, Kyoto, Japan, IEEE, 03/2019. Abstract  Download: PerFotWorkshopPettet.pdf (1.52 MB)
Eisele, S., G. Pettet, A. Dubey, and G. Karsai, "Towards an Architecture for Evaluating and Analyzing Decentralized Fog Applications", 2017 IEEE Fog World Congress (FWC) (FWC 2017), Santa Clara, USA, pp. 49-54, 2017. Abstract  Download: 1570370402.pdf (1.11 MB)
Lattmann, Z., A. Nagel, J. Scott, K. Smyth, J. Ceisel, C. vanBuskirk, J. Porter, S. Neema, T. Bapty, D. Mavris, et al., "Towards Automated Evaluation of Vehicle Dynamics in System-Level Designs", Proc. ASME International Design Engineering Technical Conf. & Computers and Information in Engineering Conf. (IDETC/CIE 2012), Chicago, IL, USA, 08/2012.  Download: ASME_DECT2012-71378_dynamics.pdf (871.42 KB)
Wrenn, R., A. Nagel, D. Yao, R. Owens, F. Shi, J. Porter, K. Smyth, C. vanBuskirk, H. Neema, T. Bapty, et al., "Towards Automated Exploration and Assembly of Vehicle Design Models", Proceedings of the ASME 2012 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference, 08/2012.  Download: cad_dse_IDETC_CIE_2012_ISIS.pdf (1.39 MB)
Vizhanyo, A., A. Agrawal, and F. Shi, "Towards Generation of High-performance Transformations", Generative Programming and Component Engineering, Vancouver, Canada, October, 2004.  Download: Vizhanyo_A_10_24_2004_Towards_Ge.pdf (366.47 KB)
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