Home

ISIS Publications

Export 34 results:
Sort by: [ Author (Desc)] Title Type Year
Filters: First Letter Of Title is F  [Clear All Filters]
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   [Show ALL]
W
Wu, T., Y. Cui, B. Kusy, A. Ledeczi, J. Sallai, N. Skirvin, J. Werner, and Y. Xue, "A Fast and Efficient Source Authentication Solution for Broadcasting in Wireless Sensor Networks", New Technologies, Mobility and Security, Paris, France, 05/2007.
T
Tan, J., G. Biswas, and D. Schwartz, "Feedback for metacognitive support in learning by teaching environments", The 28th Annual Meeting of the Cognitive Science Society, Vancouver, Canada, pp. 828-833, 2006.
Tambe, S., A. Dabholkar, and A. Gokhale, "Fault-tolerance for Component-based Systems – An Automated Middleware Specialization Approach", The 12th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC 2009), Tokyo, Japan, IEEE, 03/2009.  Download: ISORC-2009.pdf (503.97 KB)
S
Sztipanovits, J., R. Carnes, and A. Misra, "Finite-State temporal Automata Modeling for Fault Diagnosis", Computing in Aerospace, 9th AIAA Conference, Sand Diego, 1993.
Simko, G., T. Levendovszky, S. Neema, E. Jackson, T. Bapty, J. Porter, and J. Sztipanovits, "Foundation for Model Integration: Semantic Backplane", Proceedings of the ASME 2012 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference IDETC/CIE, 2012.
Simko, G., D. Lindecker, T. Levendovszky, E. Jackson, S. Neema, and J. Sztipanovits, "A Framework for Unambiguous and Extensible Specification of DSMLs for Cyber-Physical Systems", IEEE 20th International Conference and Workshops on the Engineering of Computer Based Systems (ECBS), Phoenix, AZ, IEEE, pp. 30-39, 2013.  Download: ECBS2013.pdf (416.4 KB)
Sallai, J., P. Volgyesi, K. Pence, and A. Ledeczi, "Fusing Distributed Muzzle Blast and Shockwave Detections", International Conference on Information Fusion, Chicago, IL, pp. 748-755, 07/2011. Abstract
R
Roselli, R. J., and L. Howard, "Facilitating the design of diagnostic learning modules with CAPE", Proceedings of the American Society of Engineering Education Annual Conference, Chicago, IL, USA, June, 2006.
P
Pathak, S., Framework Independent Agent Modeling Environment, : Vanderbilt University, May, 2001.
O
Otte, W. R., A. Dubey, S. Pradhan, P. R. Patil, A. Gokhale, G. Karsai, and J. Willemsen, "F6COM: A Component Model for Resource-constrained and Dynamic Space-based Computing Environments", 16th IEEE International Symposium on Object/Component/Service-oriented Real-time Distributed Computing, 2013.  Download: F6COM-ISORC2013.pdf (1.05 MB)
Otte, W. R., J. S. Kinnebrew, D. C. Schmidt, and G. Biswas, "A Flexible Infrastructure for Distributed Deployment in Adaptive Sensor Webs", The 2009 IEEE Aerospace Conference, Big Sky, Montana, pp. 1 -12, 03/2009. Abstract  Download: Otte et al - 2009 - IEEE Aerospace -- Flex Infrastructure Distrib Deploy in Adapt Sensor Webs.pdf (351.31 KB)
N
Nordstrom, G., and A. Ledeczi, "Formalizing the Specification of Graphical Modeling Languages", ISIS-00-200: Institute for Software Integrated Systems, 2000.  Download: Nordstrom_GG_0_0_2000_Formalizin.pdf (160.48 KB)
Nordstrom, G., "Formalizing the Specification of Graphical Modeling Languages", Proceedings of the IEEE Aerospace 2000 Conference, Big Sky, MT, March, 2000.  Download: Nordstrom_GG_3_0_2000_Formalizin.pdf (276.47 KB)
Narasimhan, S., F. Zhao, G. Biswas, and E. Hung, "Fault Isolation in Hybrid Systems combining Model Based Diagnosis and Signal Processing", 4th Symposium on Fault Detection, Supervision and Safety for Technical Processes, {Budapest, Hungary}, June, 2000.", pp. 1074--1079, June, 2000.  Download: Narasimhan_S_6_0_2000_Fault_Isol.pdf (37.96 KB)
M
Maroti, M., B. Kusy, G. Simon, and A. Ledeczi, "The Flooding Time Synchronization Protocol", In Proc. of ACM SenSys, Nashville, Tennessee, Institute for Software Integrated Systems, Vanderbilt University, pp. 39--49, November, 2004.  Download: Maroti_M_11_3_2004_The_Floodi.pdf (145.19 KB)
Maroti, M., B. Kusy, G. Simon, and A. Ledeczi, The Flooding Time Synchronization Protocol, : Institute for Software Integrated Systems, February, 2004.  Download: Maroti_M_2_12_2004_The_Floodi.pdf (353.24 KB)
Manders, E. J., and G. Biswas, "FDI of abrupt faults with combined statistical detection and estimation and qualitative fault isolation", 5th Symposium on Fault Detection, Supervision and Safety for Technical Processes, Washington, DC, pp. 347--352, June, 2003.  Download: Manders_EJ_6_0_2003_FDI_of_abr.pdf (110.05 KB)
L
Ledeczi, A., S. Sastry, M. Meingast, M. Kushwaha, S. Oh, and X. Koutsoukos, "Fusion-based localization for a Heterogeneous camera network", ACM/IEEE International Conference on Distributed Smart Cameras (ICDSC-08), Stanford University, California, USA, 09/2008.
K
Kusy, B., and S. Abdelwahed, FTSP Protocol Verification using SPIN, : Institute for Software Integrated Systems, May, 2006.  Download: Abdelwahed_S_5_0_2006_FTSP_Proto.pdf (194.51 KB)
Koutsoukos, X., T. Bapty, and S. Neema, Formal Verification and Reliability in the META Toolchain (status: review pending), , no. ISIS-15-108, 2015.
Kottenstette, N., Filters for Audio Equalizing and Artificial Reverberation, , Notre Dame, IN, University of Notre Dame, 9/2004.  Download: 2004-kott-fil_for_audio-tr.zip (11.93 MB)
Karsai, G., G. Biswas, T. Pasternak, S. Narasimhan, G. Peceli, G. Simon, and T. Kovacshazy, "Fault-Adaptive Control: A CBS Application", ECBS-2001, Washington, DC, February, 2001.  Download: Karsai_G_2_0_2001_Fault_Adap.pdf (79 KB)
J
Jackson, E., and J. Sztipanovits, "Formalizing the Structural Semantics of Domain-Specific Modeling Languages", Journal of Software and Systems Modeling (SoSym), vol. In Press, 2009.  Download: jackson_sztipanovits_sysym_2009.pdf (1.53 MB)
G
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)
F
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
D
Dubey, A., G. Karsai, and N. Mahadevan, "Formalization of a Component Model for Real-time Systems", ISIS Technical Report, 04/2012. Abstract  Download: ISIS-12-102-TechReport.pdf (1.3 MB)
Dubey, A., G. Karsai, and N. Mahadevan, "Fault-Adaptivity in Hard Real-Time Component-Based Software Systems", Software Engineering for Self-Adaptive Systems, vol. 2, 2012.  Download: BookChapter.pdf (1.83 MB)
C
Chhokra, A., S. Abdelwahed, A. Dubey, S. Neema, and G. Karsai, "From System Modeling to Formal Verification", The 2015 Electronic System Level Synthesis Conference, San Francisco, ECSI, 07/01/2015. Abstract  Download: Session3_Paper3.pdf (1.04 MB)
Carl, J. D., D. L. C. Mack, A. Tantawy, G. Biswas, and X. D. Koutsoukos, "Fault Detection and Isolation for Spacecraft Systems: An Application to a Power Distribution Testbed", SAFEPROCESS 2012, 8th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes, Mexico City, Mexico, pp. 168-173, 08/2012. Abstract  Download: SAFEPROCESS.pdf (389.84 KB)
B
Biswas, G., E. J. Manders, S. Abdelwahed, and G. Karsai, "Fault adaptive control: towards robust operation of autonomous systems", Fourth International Conference on Intelligent Systems Design and Applications, Budapest, Hungary, August, 2004.  Download: Biswas_G_8_0_2004_Fault_adap.pdf (358.48 KB)
Barve, Y., S. Shekhar, A. Chhokra, S. Khare, Z. Kang, A. Bhattacharjee, H. Sun, and A. Gokhale, "FECBench: A Holistic Interference-aware Approach for Application Performance Modeling", IEEE International Conference on Cloud Engineering (IC2E) , Prague, Czech Republic, June/2019. Abstract
Bapty, T., J. Gray, and S. Neema, 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)
A
Agrawal, A., "A Formal Graph-Transformation Based Language for Model-to-Model Transformations", PhD Dissertation: Vanderbilt University, August, 2004.  Download: Agrawal_A_8_0_2004_A_Formal_G.pdf (3.32 MB)