ISIS Publications

Export 1096 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 
F
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)
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.
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)
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)
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)
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)
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
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.
G
Hasan, S., A. Dubey, G. Karsai, and X. Koutsoukos, "A game-theoretic approach for power systems defense against dynamic cyber-attacks", International Journal of Electrical Power & Energy Systems, vol. 115, pp. 105432, 2019. Abstract  Download: hasan2019.pdf (519.26 KB)
Dabholkar, A., and A. Gokhale, "A Generative Middleware Specialization Process for Distributed Real-time and Embedded Systems", 14th IEEE International Symposium on Object/Component/Service-oriented Real-time Distributed Computing (ISORC 2011), Newport Beach, CA, USA, IEEE, March 2011.  Download: ISORC-2011.pdf (304.74 KB)
Sztipanovits, J., and G. Karsai, "Generative Programming for Embedded Systems", Generative Programming and Component Engineering, (LNCD 2787), pp. 32--49, 2002.
Agrawal, A., T. Levendovszky, J. Sprinkle, F. Shi, and G. Karsai, "Generative Programming via Graph Transformations in the Model-Driven Architecture", OOPSLA, Workshop on Generative Techniques in the Context of Model Driven Architecture, Seattle, WA, November, 2002.  Download: Agrawal_A_11_5_2002_Generative.pdf (351.64 KB)
Misra, A., G. Provan, G. Karsai, G. Bloor, and E. Scarl, "A Generic and Symbolic Model-Based Diagnostic Reasoner with Highly Scalable Properties", IEEE International Conference on Systems, Man and Cybernetics, San Diego, CA, October, 1998.  Download: Misra_A_10_0_1998_A_Generic_.pdf (102.01 KB)
Ledeczi, A., M. Maroti, A. Bakay, G. Karsai, J. Garrett, C. Thomasson, G. Nordstrom, J. Sprinkle, and P. Volgyesi, "The Generic Modeling Environment", Workshop on Intelligent Signal Processing, Budapest, Hungary, May, 2001.  Download: Ledeczi_A_5_17_2001_The_Generi.pdf (116.09 KB)
Zhang, Z., and X. Kousoukos, "Generic Value-Set Analysis on Low-Level Code", The 5th Analytic Virtual Integration of Cyber-Physical Systems Workshop, Rome, Italy, 2014.  Download: avicps '14.pdf (221.36 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)
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.
Karsai, G., and A. Agrawal, "Graph Transformations in OMG's Model-Driven Architecture", Lecture Notes in Computer Science, vol. 2062: Springer, pp. 243--259, 2003.  Download: Karsai_G_12_0_2003_Graph_Tran.pdf (820.41 KB)
Agrawal, A., G. Karsai, and F. Shi, Graph Transformations on Domain-Specific Models, : Institute for Software Integrated Systems, November, 2003.  Download: Agrawal_A_11_0_2003_Graph_Tran.pdf (926.08 KB)
Padalkar, S., G. Karsai, and J. Sztipanovits, "Graph-Based Real-Time Fault Diagnostics", 4th Conference on Artificial Intelligence for Space Applications, Huntsville, AL, pp. 115--123, January, 1988.
Abbott, B., C. Biegl, T. Bapty, J. Sztipanovits, and R. Souder, "Graphical Programming for the Transputer", Proceedings of the 22nd Southeastern Symposium on System Theory, pp. 86--90, March, 1990.
Wellons, J., and J. Johnson, "A Grounded Theory Analysis of Introductory Computer Science Pedagogy", Journal on Systemics, Cybernetics and Informatics, vol. 8, 2011.
Abbas, W., S. Bhatia, and X. Koutsoukos, "Guarding Networks Through Heterogeneous Mobile Guards", American Control Conference, Chicago, IL, IEEE, 07/2015.
Nordstrom, S., T. Bapty, S. Neema, A. Dubey, and T. Keskinpala, "A Guided Explorative Approach for Autonomic Healing of Model-Based Systems", Second IEEE conference on Space Mission Challenges for Information Technology (SMC-IT), Pasadena, CA, July, 2006.  Download: Nordstrom_SG_7_0_2006_A_Guided_E.pdf (201.89 KB)
H
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)
Zhang, Z., Z. Guo, and X. Kousoukos, "Handling Write Backs in Multi-Level Cache Analysis for WCET Estimation", 25th International Conference on Real-Time Networks and Systems (RTNS), Grenoble, France, ACM, 10/2017.  Download: rtns'17.pdf (1.13 MB)
Babjak, B., P. Volgyesi, and A. Ledeczi, "Hardware-Software Partitioning of Soft Multi-Core Cyber-Physical Systems", 13th International Conference on Telecommunications (ConTEL ’15), Graz, Austria, 07/2015.
Scott, J., S. Neema, T. Bapty, and B. Abbott, "Hardware/Software Runtime Environment for Dynamically Reconfigurable Systems", ISIS-2000-06: Institute for Software Integrated Systems, May, 2000.  Download: Scott_J_5_0_2000_Hardware_S.PDF (198.18 KB)
Abdelwahed, S., J. Wu, G. Biswas, and E. J. Manders, "Hierarchical Online Control Design for Autonomous Resource Management in Advanced Life Support Systems", 35th SAE International Conference on Environmental Studies (ICES '05), Rome, Italy, July, 2005.  Download: Abdelwahed_S_7_0_2005_Hierarchic.pdf (358.43 KB)
Kalli, S., and J. Sztipanovits, "Hierarchical Structure of Intelligent Patient Monitoring System", Finnish National Conference on Artificial Intelligence, pp. 123--128, 1988.
Zhang, Z., J. Porter, N. Kottenstette, X. Koutsoukos, and J. Sztipanovits, "High Confidence Embedded Software Design: A Quadrotor Helicopter Case Study", International Conference on Cyber-Physical Systems (ICCPS) (Work-in-Progress Session), Chicago, IL, IEEE Computer Society Press, 04/2011.
Myers, M. R., A. B. Jorge, M. J. Mutton, and D. G. Walker, "High heat flux point source sensitivity and localization analysis for an ultrasonic sensor array", International Journal of Heat and Mass Transfer, vol. 55, issue 9-10, pp. 2472 - 2485, 4/2012.
Ledeczi, A., C. Biegl, and B. Abbott, "High Performance Graphics for Parallel Systems", Int. Conf. on Signal Processing Applications and Technology, Dallas, TX, pp. 733--738, January, 1994.
Hedgecock, W., M. Maroti, J. Sallai, P. Volgyesi, and A. Ledeczi, "High-Accuracy Differential Tracking of Low-Cost GPS Receivers", ACM 11th International Conference on Mobile Systems, Applications, and Services (MobiSys '13), Taipei, Taiwan, ACM, 06/2013. Abstract  Download: mobisys229-hedgecock.pdf (3.74 MB)
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)