ISIS Publications

Export 1047 results:
Sort by: Author Title Type [ Year  (Desc)]
2002
Koutsoukos, X., J. Kurien, and F. Zhao, "Monitoring and Diagnosis of Hybrid Systems Using Particle Filtering Methods", Proceedings of the 15th International Symposium on Mathematical Theory of Networks and Systems, MTNS 2003, Notre Dame, IN, August, 2002.  Download: Koutsoukos_X_8_0_2002_Monitoring.pdf (524.94 KB)
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.
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.
Sztipanovits, J., and G. Karsai, "Generative Programming for Embedded Systems", Generative Programming and Component Engineering, (LNCD 2787), pp. 32--49, 2002.
2001
Ledeczi, A., G. Nordstrom, G. Karsai, P. Volgyesi, and M. Maroti, "On Metamodel Composition", IEEE CCA 2001, Mexico City, Mexico, September, 2001.  Download: Ledeczi_A_9_5_2001_On_Metamod.pdf (108.86 KB)
Gray, J., T. Bapty, and S. Neema, "An Example of Constraint Weaving in Domain-Specific Modeling", OOPSLA 2001 Workshop on Domain-Specific Visual Languages, Tampa, FL, October, 2001.  Download: Gray_J_10_0_2001_An_Example.pdf (410.7 KB)
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)
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)
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)
Neema, S., "System Level Synthesis of Adaptive Computing Systems", PhD Dissertation: Vanderbilt University, May, 2001.  Download: Neema_S_5_0_2001_System_Lev.pdf (1.61 MB)
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)
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)
Neema, S., "Analysis of Matlab Simulink and Stateflow Data Model", ISIS-01-204: Institute for Software Integrated Systems, March, 2001.  Download: Neema_S_3_0_2001_Analysis_o.pdf (259.18 KB)
Narasimhan, S., and G. Biswas, "Efficient diagnosis of hybrid system using model of the supervisory controller", 12th Intl. Workshop on Principles of Diagnosis (Dx '01), via Lattea, Italy, March, 2001.  Download: ISIS_3_0_2001_Efficient_.pdf (910.09 KB)
Atlas, L., G. Bloor, T. Brotherton, L. Howard, L. Jaw, G. Kacprzynski, G. Karsai, R. Mackey, J. Mesick, R. Reuter, et al., "An Evolvable Tri-Reasoner IVHM System", 2001 IEEE Aerospace Conference, 11.0307, Big Sky, Montana, USA, March, 2001.  Download: ISIS_3_13_2001_An_Evolvab.pdf (293.67 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)
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)
Bapty, T., Embedded System Validation for Polymorphous Computing Architectures, : Institute for Software Integrated Systems, January, 2001.  Download: Bapty_T_1_30_2001_Embedded_S.pdf (44.64 KB)
Tuck, J., and T. Bapty, "Interface Refinement and Synthesis for Component-Based Design", ISIS-01-200: Institute for Software Integrated Systems, January, 2001.  Download: Tuck_JM_1_30_2001_Interface_.pdf (127.34 KB)
Neema, S., "Design Space Representation and Management for Model-Based Embedded System Synthesis", ISIS-01-203: Institute for Software Integrated Systems, February, 2001.  Download: Neema_S_2_0_2001_Design_Spa.pdf (213.02 KB)
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)
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)
Ledeczi, A., A. Bakay, and M. Maroti, "Model-Integrated Embedded Systems", Robertson, Shrobe, Laddaga (eds) Self Adaptive Software, Springer-Verlag Lecture Notes in CS, #1936, February, 2001.  Download: Ledeczi_A_4_0_2000_Model_Inte.pdf (217.28 KB)
Karsai, G., Tool Support for Design Patterns, , NDIST 4 Workshop, Institute for Software Integrated Systems, December, 2001.  Download: Karsai_G_12_0_2001_Tool_Suppo.pdf (250.66 KB)
Howard, L., "An Algorithm for Diagnostic Reasoning Using TFPG Models in Embedded Real-Time Applications", AUTOTESTCON 2001, Valley Forge, Pennsylvania, pp. 978--987, August, 2001.  Download: Howard_LP_8_20_2001_An_Algorit.pdf (98.69 KB)
Sprinkle, J., C. van Buskirk, and G. Karsai, "Analysis and Representation of Clauses in Satisfiability of Constraints", ISIS-01-205: Institute for Software Integrated Systems, August, 2001.  Download: Sprinkle_JM_8_6_2001_Analysis_a.pdf (171.11 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.
Narasimhan, S., G. Biswas, and G. Karsai, "An integrated approach to diagnosis of complex hybrid systems.", 15th Annual Intl. Symposium on AeroSense (Component and Systems Diagnostics, Prognosis, and Health Management) (SPIE 2001), Orlando, Florida, April, 2001.  Download: ISIS_4_0_2001_An_integra.pdf (902.42 KB)
Sprinkle, J., G. Karsai, A. Ledeczi, and G. Nordstrom, "The New Metamodeling Generation", IEEE Engineering of Computer Based Systems, Proceedings, Washington, D.C., USA, pp. 275, April, 2001.  Download: Sprinkle_JM_4_0_2001_The_New_Me.doc (103.5 KB)
Leelawong, K., Y. Wang, G. Biswas, N. Vye, J. Bransford, and D. Schwartz, "Qualitative reasoning techniques to support learning by teaching: The teachable agents project", The Fifteenth International Workshop on Qualitative Reasoning, San Antonio, TX, AAAI Press, 2001.
Biswas, G., D. Schwartz, and J. Bransford, "Technology support for complex problem solving: From SAD environments to AI", Smart Machines in Education, Menlo Park, CA, AAAI Press, pp. 71-98, 2001.  Download: sad01.pdf (307.53 KB)
Sztipanovits, J., "Embedded Software and Systems: Challenges and Approaches", Hybrid Systems: Computation and Control (LNCS 2034), pp. 4, 2001.
Sztipanovits, J., "Embedded Software: Opportunities and Challenges", Embedded Software, (LNCS 2211), pp. 403--415, 2001.
Sztipanovits, J., and S. Sastry, "Hybrid Systems for Robotics", Encyclopedia of Physical Science and Technology, 3rd Edition, 2001.