ISIS Publications

Export 452 results:
Sort by: Author Title Type [ Year  (Asc)]
Filters: Taxonomy Term is   [Clear All Filters]
2001
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)
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)
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)
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)
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)
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)
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., "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)
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)
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., 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)
2002
Sztipanovits, J., and G. Karsai, "Generative Programming for Embedded Systems", Generative Programming and Component Engineering, (LNCD 2787), pp. 32--49, 2002.
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.
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)
Abdelwahed, S., G. Karsai, and G. Biswas, "Online Safety Control of a Class of Hybrid Systems", IEEE 2002 Conference on Decision and Control, Las Vegas, USA, pp. 1988--1990, December, 2002.  Download: Abdelwahed_S_12_0_2002_Online_Saf.pdf (96.96 KB)
Abdelwahed, S., and W. M. Wonham, "Supervisory control of interacting discrete event systems", 41st IEEE Conference on Decision and Control, Las Vegas, NV, pp. 1175--1180, December, 2002.  Download: Abdelwahed_S_12_0_2002_Supervisor.pdf (196.48 KB)
Mosterman, P., and G. Biswas, "A Hybrid Modeling and Simulation Methodology for Dynamic Physical Systems", SIMULATION: Transactions of the Society for Modeling and Simulation International}, volume {78, pp. 5--17, January, 2002.
Davis, J., "Model Integrated Computing: A Framework for Creating Domain Specific Design Environments", The 6th World Multiconference on Systems, Cybernetics, and Informatics (SCI), Orlando, FL, July, 2002.  Download: Davis_J_7_0_2002_Model_Inte.pdf (282.01 KB)
Neema, S., J. Sztipanovits, and G. Karsai, "Design-Space Construction and Exploration in Platform-Based Design", ISIS-02-301: Institute for Software Integrated Systems, June, 2002.  Download: Neema_S_6_24_2002_Design_Spa.pdf (379.45 KB)
Mohanty, S., V. Prasanna, S. Neema, and J. Davis, "Rapid Design Space Exploration of Heterogeneous Embedded Systems using Symbolic Search and Multi-Granular Simulation", Workshop on Languages, Compilers, and Tools for Embedded Systems (LCTES), Berlin, Germany, June, 2002.  Download: Mohanty_S_6_0_2002_Rapid_Desi.pdf (263.12 KB)
Sims, J., D. Vashishtha, P. Rani, R. Brackin, and N. Sarkar, "Stress Detection for Implicit Human-Robot Cooperation", World Automation Congress, ISORA-022, Orlando, Florida, USA, June, 2002.
Pasternak, T., "Reconfiguration in Hierarchical Control of Piecewise-Affine Systems", Hybrid Systems Computation and Control, Lecture Notes in Computer Science, 2289, pp. 364--377, March, 2002.  Download: Pasternak_T_3_0_2002_Pasternak_.pdf (322.85 KB)
Frampton, K., "Decentralized Vibration Control in a Launch Vehicle Payload Fairing", International Mechanical Engineering Conference and Exhibition, IMECE2002-33352, New Orleans, LA, November, 2002.  Download: Frampton_K_11_0_2002_DECENTRALI.pdf (392.61 KB)
Sprinkle, J., A. Agrawal, T. Levendovszky, F. Shi, and G. Karsai, "Domain Evolution in Visual Languages Using Graph Transformations", OOPSLA, 2nd Workshop on Domain-Specific Languages, Seattle, WA, November, 2002.  Download: Sprinkle_JM_11_4_2002_Domain_Evo.doc (216 KB)