Daigle M., Koutsoukos X., Biswas G.: An Integrated Approach to Parametric and Discrete Fault Diagnosis in Hybrid Systems, ISIS-07-815, January 10, 2008.
Gan Deng, Douglas C. Schmidt, Aniruddha Gokhale: Ensuring Deployment Predictability of
Distributed Real-time and Embedded Systems, ISIS-07-814, November 25, 2007.
Tambe S., Dabholkar A., Kavimandan A., Gokhale A., Abdelwahed S.: A Platform Independent Component QoS Modeling
Language for Distributed Real-time and Embedded Systems , ISIS-07-809, June, 2007.
Kavimandan A., Gokhale A.: Automated Techniques for Mapping Domain-level QoS Requirements to Middleware-specific QoS Configurations, ISIS-07-808, May 31, 2007.
Jackson E.: The Software Engineering of Domain-Specific Modeling Languages: A Survey Through Examples, ISIS-07-807, March, 2007.
Deng G., Xiong M., Gokhale A., Edwards G.: Evaluating Real-time Publish/Subscribe Service Integration Approaches in QoS-enabled Component Middleware, ISIS-07-804, February 14, 2007.
Volgyesi P., Balogh G., Nadas A., C. Nash, Ledeczi A.: Shooter Localization and Weapon Classification with Soldier Wearable Networked Sensors, TR-07-802, January 15, 2007.
Dai L., Cui, Yi, Xue, Yuan: On Scalability of Proximity-Aware Peer-to-Peer Streaming, ISIS-07-801, January, 2007.
Daigle M., Roychoudhury I., Biswas G., Koutsoukos X.: Efficient Simulation of Component-Based Hybrid Models Represented as Hybrid Bond Graphs, ISIS-06-712, December 18, 2006.
Kusy B., Sallai J.: Analytical solution for radio-interferometric
localization of mobile sensors, ISIS-06-710, December 1, 2006.
WU T., Xue, Yuan, Cui, Yi: Preserving Traffic Privacy in Wireless Mesh Networks, ISIS-07-803, June 21, 2006.
Chen K., Sztipanovits J., Neema S.: Compositional Specification of Behavioral Semantics, ISIS-06-705, June 1, 2006.
Kusy B., Abdelwahed S.: FTSP Protocol Verification using SPIN, ISIS-06-704, May, 2006.
Neema S., Ingo Stürmer: Automated Test Case Generation for Code Generators based on Graph-Transformation Rules, ISIS-06-701, March 1, 2006.
Amundson I., Kushwaha M., Koutsoukos X., Neema S., Sztipanovits J.: OASiS: A Service-Oriented Middleware for Pervasive Ambient-Aware Sensor Networks, ISIS-06-706, 2006.
Chen K., Sztipanovits J., Abdelwahed S.: A Semantic Unit for Timed Automata Based Modeling Languages, ISIS-05-605, October 28, 2005.
Maroti M., Kusy B., Balogh G., Volgyesi P., Molnar, Karoly, Dora S., Ledeczi A.: Radio Interferometric Positioning, ISIS-05-602, April 10, 2005.
Balogh G., Ledeczi A., Maroti M.: Wireless sensor network-based projectile trajectory estimation, TR-05-601, February 10, 2005.
Su, R., Abdelwahed S., Neema S.: A Reachability based Stability Analysis for Switching Systems, ISIS-04-506, September, 2004.
Neema S., Karsai G.: Embedded Control Systems Language for Distributed Processing, ISIS-04-505, May 12, 2004.
Sallai J., Balogh G., Maroti M., Ledeczi A.: Acoustic Ranging in Resource Constrained Sensor Networks, ISIS-04-504, February 25, 2004.
Volgyesi P., Maroti M., Dora S., Osses E., Ledeczi A., Paka T.: Embedded Software Composition and Verification, ISIS-04-503, February 13, 2004.
Maroti M.: The Directed Flood Routing Framework, ISIS-04-502, February 12, 2004.
Maroti M., Kusy B., Simon G., Ledeczi A.: The Flooding Time Synchronization Protocol, ISIS-04-501, February 12, 2004.
Kandasamy N., Abdelwahed S.: Designing Self-Managing Distributed Systems using Online Predictive Control, ISIS-03-404, December 10, 2003.
Abdelwahed S., Karsai G., Biswas G.: System Diagnosis using Hybrid Failure Propagation Graphs, ISIS-02-302, December, 2003.
Chhokra K., Bapty T., Scott J., Wilkes M.: Accuracy Enhancements for TDOA Estimation on Highly Resource Constrained Mobile Platforms, ISIS-03-402, November 4, 2003.
Agrawal A., Karsai G., Shi F.: Graph Transformations on Domain-Specific
Models, ISIS-03-403, November, 2003.
Gray J., Sztipanovits J., Bapty T., Neema, S.: Two-level Weaving to Support Changeability in Model-Based Synthesis, Chapter in Aspect-Oriented Programming, 2003.
Neema S., Sztipanovits J., Karsai G., Butts, K.: Constraint-Based Design Space Exploration and Model Synthesis, Lecture Notes in Computer Science, 2003.
Agrawal A., Karsai G., Shi F.: Interpreter Writing using Graph Transformations, ISIS-03-401, 2003.
Neema S., Sztipanovits J., Karsai G.: Design-Space Construction and Exploration in Platform-Based Design, ISIS-02-301, June 24, 2002.
Sztipanovits J., Karsai G.: Generative Programming for Embedded Systems, in Generative Programming and Component Engineering, (LNCS 2787) pp. 32-49, 2002.
Karsai G., Ledeczi A., Sztipanovits J., Peceli G., Simon G., Kovacshazy T.: An Approach to Self-Adaptive Software based on Supervisory Control, in Self-Adaptive Software, Lecture Notes in Computer Science, 2002.
Sztipanovits J., Karsai G.: Generative Programming for Embedded Systems, in Generative Programming and Component Engineering, (LNCD 2787) pp. 32-49, 2002.
Ledeczi A., Maroti M., Bakay A., Nordstrom G., Garrett J., Thomason IV C., Sprinkle J., Volgyesi P.: GME 2000 Users Manual (v2.0), document, December 18, 2001.
Sprinkle J., van Buskirk C., Karsai G.: Analysis and Representation of Clauses in Satisfiability of Constraints, ISIS-01-205, August 6, 2001.
Neema S.: Analysis of Matlab Simulink and Stateflow Data Model, ISIS-01-204, March, 2001.
Neema S.: Design Space Representation and Management for Model-Based Embedded System Synthesis, ISIS-01-203, February, 2001.
Eames B., Neema S., Scott J., Bapty T.: High-Level Functional Simulation for Model-Based Embedded System Synthesis, ISIS-01-202, February, 2001.
Tuck J., Bapty T.: Interface Refinement and Synthesis for Component-Based Design, ISIS-01-200, January 30, 2001.
Neema S., Davis J., Eames B., Ledeczi A.: Design Representation Issues in Polymorphous Computing, Tech. Report, ISIS-01-202, January 30, 2001.
Ledeczi A., Davis J., Neema S., Eames B., Nordstrom G., Prasanna V., Raghavendra, C., Bakshi A., Mohanty S., Mathur V., Singh M.: Overview of the Model-based Integrated Simulation Framework, Tech. Report, ISIS-01-201, January 30, 2001.
Bapty T.: Embedded System Validation for Polymorphous Computing Architectures, White Paper, January 30, 2001.
Sztipanovits J., Sastry, S.: Hybrid Systems for Robotics, in Encyclopedia of Physical Science and Technology, 3rd Edition, 2001.
Sztipanovits J.: Embedded Software: Opportunities and Challenges, in Embedded Software (LNCS 2211), pp. 403-415, 2001.
Sztipanovits J.: Embedded Software and Systems: Challenges and Approaches, in Hybrid Systems: Computation and Control (LNCS 2034), p. 4, 2001.
Scott J., Neema S., Bapty T., Abbott B.: Hardware/Software Runtime Environment for Dynamically Reconfigurable Systems, ISIS-2000-06, May, 2000.
Bapty T., Neema S., Scott J., Sztipanovits J., Asaad S.: Model-Integrated Tools for the Design of Dynamically Reconfigurable Systems, ISIS Technical Report/Vanderbilt University, 2000.
Nordstrom G., Ledeczi A.: Formalizing the Specification of Graphical Modeling Languages, ISIS Technical Report ISIS-00-200, 2000.
Dubey A., Nordstrom S., Keskinpala T., Neema S., Bapty T., Karsai G.: Towards a verifiable real-time, autonomic, fault mitigation framework for large scale real-time systems, Innovations in Systems and Software Engineering, January 24, 2007.
Hanak D., Kandasamy N., .. manually enter name here.: Synthesising Robust Schedules for Minimum
Disruption Repair Using Linear Programming, Acta Cybernetica, submitted, tbd, pp. tbd-tbd, January 1, 2007.
Hanak D., Kandasamy N.: Synthesising Robust Schedules for Minimum
Disruption Repair Using Linear Programming, Acta Cybernetica, tbd, tbd, pp. tbd-tbd, January, 2007.
Hanak D., Kandasamy N.: Synthesising Robust Schedules for Minimum
Disruption Repair Using Linear Programming, Acta Cybernetica, TBD, TBD, pp. TBD-TBD, 2007.
Kusy B., Dutta, P., Levis, P., Maroti M., Ledeczi A., Culler, D.: Elapsed Time on Arrival:
A simple and versatile primitive
for canonical time synchronization services, International Journal of Ad Hoc and Ubiquitous Computing, to appear, -, January 1, 2006.
Ledeczi A., Nadas A., Volgyesi P., Balogh G., Kusy B., Sallai J., Pap G., Dora S., Molnar, K., Maroti M., Simon G.: Countersniper System for Urban Warfare, ACM Transactions on Sensor Networks, Vol. 1, No. 2, pp. 153-177, November, 2005.
Dubey A., Xianbin Wu, Hang Su, Koo T.: Computation Platform for Automatic Analysis of Embedded Software Systems Using Model Based Approach, Lecture Notes in Computer Science, 3707, pp. 114-128, October 11, 2005.
Nordstrom S., Shetty S., Neema S., Bapty T.: Modeling Reflex-Healing Autonomy for Large Scale Embedded Systems, IEEE Transactions on Systems, Man, and Cybernetics, Special Issue on Autonomic Computing, October, 2005.
Volgyesi P., Maroti M., Dora S., Osses E., Ledeczi A.: Software Composition and Verification for Sensor Networks, Science of Computer Programming (Elsevier), 56, 1-2, pp. 191-210, April, 2005.
Biswas G., .Schwartz, Daniel, .Leelawong, Krittaya, Vye, Nancy: Learning by Teaching: A New
Agent Paradigm for Educational Software, Applied Artificial Intelligence, 19, 3, pp. 363-392, March, 2005.
Nordstrom S., Shetty S., Yao D., Ahuja S., Neema S., Bapty T., Karsai G.: Toward self-reconfiguring, fault-adaptive, high-performance distributed real-time systems, International Journal on Software Tools for Technology Transfer, (under review), 2005.
Agrawal A., Karsai G., Kalmar Z., Neema S., Shi F., Vizhanyo A.: The Design of a Language for Model Transformations, Journal of Software and System Modeling, in review, 2005.
Madl G., Abdelwahed S., Schmidt D.: Verifying Distributed Real-time Properties of Embedded Systems via Graph Transformations and Model Checking, International Journal of Time-Critical Computing Systems, 2005.
Abdelwahed S., Wu J., Biswas G., Ramirez J., Manders E.: Online Fault Adaptive Control for Efficient Resource Management in Advanced Life Support Systems, Habitation - Intl. Journal for Human Support Research, 10, 2, pp. 105-115, 2005.
Szemethy T., Karsai G.: Platform Modeling and Model Transformations for Analysis, Journal of Universal Computing Science, 10, 10, pp. 1383-1408, November 23, 2004.
Emerson M., Sztipanovits J., Bapty T.: A MOF-Based Metamodeling Environment, Journal of Universal Computer Science, 10, 10, pp. 1357-1382, October 9, 2004.
Biswas G., M.O. Cordier, J. Lunze, L. Trave-Massuyes, M. Staroswiecki: Diagnosis of
Complex Systems: Bridging the Gap between the FDI and DX communities, IEEE Trans. on Systems, Man, and Cybernetics, Part B, 34, 5, pp. 2139-2142, October, 2004.
Maroti M., Simon G., Ledeczi A., Sztipanovits J.: Shooter Localization in Urban Terrain, Computer, 37, 8, pp. 60-61, August, 2004.
Gray J., Sztipanovits J., Schmidt D., Bapty T., Neema S., Gokhale A.: TWO-LEVEL
ASPECT WEAVING TO SUPPORT EVOLUTION IN MODEL-DRIVEN SOFTWARE
, Aspect-Oriented Software Deveopment (Book) , Addison Wesley, 2004, pp. 681-705, August, 2004.
Sprinkle J., Karsai G.: A Domain-Specific Visual Language For
Domain Model Evolution
, Journal of Visual Languages and Computing, vol. 15, no. 2, April, 2004.
Biswas G., Manders E., Ramirez J., Mahadevan N., Abdelwahed S.: Online Model-based Diagnosis to support autonomous operation of an Advanced Life Support System, Habitation - Intl. Journal for human support Research, 10, 2, pp. 21-38, 2004.
Su, Rong, Abdelwahed S., Neema S.: Computing Finitely Reachable Containable Region for Switching System, IEE Proceedings on Control Theory and Applications (accepted), 2004.
Neema S., Bapty T., Shetty S., Nordstrom S.: Autonomic Fault Mitigation in Embedded Systems, Elsevier publisher, 2004, Special Issue on Autonomic Computing and Grids at the Journal, 2004.
Karsai G., Agrawal A., Shi F.: On the Use of Graph Transformations for the Formal Specification of Model Interpreters, Journal of Universal Computer Science, Volume 9, Issue 11, pp. 1296-1321, November, 2003.
Howard L.: Adaptive Learning Technologies for Bioengineering Education, IEEE Engineering in Medicine and Biology Magazine, 22, 4, pp. 58-65, July, 2003.
Ji M, Zhang Z, Biswas G, Sarkar N: Hybrid Fault Adaptive Control of a Wheeled Mobile Robot, IEEE Transactions on Mechatronics, Vol 8, Issue 2, pp. 226-233, June, 2003.
Sastry, S., Sztipanovits J., Bajcsy, R., Gill, H.: Model-Based Design of Embedded Systems: Scanning the Issue, Proceeding of the IEEE, Vol. 91, Issue 1, pp. 4-10, January, 2003.
Ledeczi A., Davis J., Neema S., Agrawal A.: Modeling Methodology for Integrated Simulation of Embedded Systems, ACM Transactions on Modeling and Computer Simulation, 13, 1, pp. 82-103, January, 2003.
Karsai G., Sztipanovits J., Ledeczi A., Bapty T.: Model-Integrated Development of Embedded Software, Proceedings of the IEEE, Vol. 91, Number 1, pp. 145-164, January, 2003.
Mosterman, P., Sztipanovits J., Engell, S.: Computer-Automated Multi-Paradigm Modeling in Control Systems technology, IEEE Transactions on Automatic Control, 2003.
Karsai G., Maroti M., Ledeczi A., Gray J., Sztipanovits J.: Composition and Cloning in Modeling and Meta-Modeling, IEEE Transactions on Control System Technology, (accepted), 2003.
Koutsoukos X., Antsaklis, P.: Safety and Reachability of Piecewise Linear Hybrid Dynamical Systems Based on Discrete Abstractions, Journal of Discrete Event Dynamic Systems: Theory and Applications, Vol. 13, Is. 3, pp. 203-243, 2003.
Koutsoukos X., Kurien, J., Zhao F.: Estimation of Distributed Hybrid Systems Using Particle Filtering Methods, Hybrid Systems: Computation and Control (HSCC 2003), 2623, LNCS, pp. 298-313, 2003.
Narasimhan S., Biswas G.: An Approach to Model-Based Diagnosis of Hybrid Systems, Lecture Notes in Computer Science, vol. LNCS 2289, C.J. Tomlin and M.R. Greenstreet, eds., Springer Verlag, Berlin, pp. 308-322, March, 2002.
Pasternak T.: Reconfiguration in Hierarchical Control of Piecewise-Affine Systems, Hybrid Systems Computeation and Control, Lecture Notes in Computer Science, 2289, pp. 364-377, March, 2002.
Mosterman P., Biswas G.: A Hybrid Modeling and Simulation Methodology for Dynamic Physical Systems, SIMULATION: Transactions of the Society for Modeling and Simulation International, Vol 78, Issue 1, pp. 5-17, January, 2002.
Manders E., Barford L., Biswas G.: An Approach for Fault Detection and Isolation in Dynamic Systems from Distributed Measurements, IEEE Trans. on Instrumentation and Measurement, Vol 53, Issue 2, pp. 235-241, 2002.
Koutsoukos X., Antsaklis, P.: Design of Stabilizing Switching Control Laws for Discrete-and Comtinuous- Time Linear Systems Using Piecewise-Linear Lyapunov Functions, International Journal Control, Vol. 75, Is. 12, pp. 932-945, 2002.
Karsai G., Biswas G., Abdelwahed S., Narasimhan S., Pasternak T., Szemethy T.: Towards Fault-Adaptive Control of
Complex Dynamic Systems
, Software Enabled Control, (Book), 2002.
Ledeczi A., Bakay A., Maroti M., Volgyesi P., Nordstrom G., Sprinkle J., Karsai G.: Composing Domain-Specific Design Environments, Computer, pp. 44-51, November, 2001.
Gray J., Bapty T., Neema S.: Handling Crosscutting Constraints in Domain-Specific Modeling, Communications of the ACM, pp. 87-93, October, 2001.
Frampton K.: A Comparison of Hierarchies for Decentralized Vibration Control, Journal of Vibrations and Acoustics, , , pp. - , August, 2001.
Frampton K.: A Comparison of Hierarchies for Decentralized Vibration Control, Journal of Vibrations and Acoustics, , , pp. - , August, 2001.
Ledeczi A., Bakay A., Maroti M.: Model-Integrated Embedded Systems, in Robertson, Shrobe, Laddaga (eds) Self Adaptive Software, Springer-Verlag Lecture Notes in CS, #1936, February, 2001.
Karsai G., Nordstrom G., Ledeczi A., Sztipanovits J.: Towards Two-Level Formal Modeling of Computer-Based Systems, Journal of Universal Computer Science, Vol. 6, No. 11, pp. 1131-1144, November, 2000.
Bapty T., Neema S., Scott J., Sztipanovits J., Asaad S.: Model-Integrated Tools for the Design of Dynamically Reconfigurable Systems, VLSI Design, 10, 3, pp. 281-306, 2000.
Xudong Y, Biswas G, Weinberg J: MDS: An Integrated Architecture for Associational and Model-based Diagnosis, Applied Intelligence, An International Journal, , , pp. - , 2000.
Xudong Y, Biswas G, Weinberg J: MDS: An Integrated Architecture for Associational and Model-based Diagnosis, Applied Intelligence, An International Journal, , , pp. - , 2000.
Xudong Y, Biswas G, Weinberg J: MDS: An Integrated Architecture for Associational and Model-based Diagnosis, Applied Intelligence -An International Journal, , , pp. - , 2000.
Manders E., Biswas G., Mosterman P J, Barford L, Barnett J: Signal Interpretation for Monitoring and Diagnosis, A Cooling System Testbed, IEEE Trans. on Instrumentation and Measurement, Vol 49, Issue 3, pp. 503-509, 2000.
Xudong Y, Biswas G, Weinberg J: MDS: An Integrated Architecture for Associational and Model-based Diagnosis, Applied Intelligence, An International Journal, , , pp. - , 2000.
Mosterman P, Biswas G: A Comprehensive Methodology for Building Hybrid Models of Physical Systems , Artifical Intelligence Journal, Vol 121, , pp. 171-209, 2000.
Mosterman, Pieter J., Biswas G.: Diagnosis of Continuous Valued Systems in Transient Operating Regions, IEEE Trans. on Systems, Man, and Cybernetics, 29, 9, pp. 554-565, November, 1999.
Sztipanovits J., Karsai G.: A Model-Based Approach to Self-Adaptive Software, IEEE Intelligent Systems, 14, 3, pp. 46-53, 1999.
Long E., Misra A., Sztipanovits J.: Increasing Productivity at Saturn, IEEE Computer Magazine, August, 1998.
Sztipanovits J., Karsai G.: Self-Adaptive Software for Signal Processing, CACM, 41, 5, pp. 55-65, 1998.
Abdelwahed S., Hassan M, Sultan M: Parallel Asynchronous Algorithms for Optimal Control of Large-scale Dynamic Systems, Optimal Control Applications and Methods, Vol 18, July, 1997.
Sztipanovits J., Karsai G.: Model-Integrated Computing, IEEE Computer, pp. 110-112, April, 1997.
Karsai G., DeCaria F.: Model-Integrated On-line Problem-Solving Environment for Chemical Engineering, IFAC Control Engineering Practice, 5, 5, pp. 1-9, 1997.
Karsai G., DeCaria F.: Model-Integrated On-line Problem-Solving Environment for Chemical Engineering, IFAC Control Engineering Practice, 3 , 4 , pp. 36-44, 1997.
Karsai G., Padalkar S., Franke H., Sztipanovits J.: A Practical Method For Creating Plant Diagnositics Applications, Integrated Computer-Aided Engineering, 3, 4, pp. 291-304, 1996.
Abdelwahed S., Hassan M, Sultan M: Partially Asynchronous Co-State Prediction Algorithms, IEEE Proceedings on Control Theory Applications, Vol 142, 2, March, 1995.
Karsai G.: A Configurable Visual Programming Environment: A Tool for Domain-Specific Programming, IEEE Computer, pp. 36-44, 1995.
Ledeczi A., Bapty T., Karsai G., Sztipanovits J.: Modeling Paradigm for Parallel Signal Processing, The Australian Computer Journal, 27, 3, pp. 99-102, 1995.
Padalkar S., Karsai G., Sztipanovits J., DeCaria F.: Online Diagnostics Makes Manufacturing More Robust (Part 1), Chemical Engineering Magazine, pp. 80-83, 1995.
Abbott B., Bapty T., Biegl C., Karsai G., Sztipanovits J.: Model-Based Approach for Software Synthesis, IEEE Software,, , , pp. 42-53, May, 1993.
Ledeczi A., Abbott B., Biegl C., Bapty T., Karsai G., Sztipanovits J.: Parallel DSP System Integration, Microprocessors and Microsystems, 17, 8, pp. 460-469, 1993.
Karsai G., Padalkar S., Franke H., Sztipanovits J.: Model-based Programming Tools for Integrated Monitoring, Simulation, Diagnosis, and Control, Proc. of Computing in Aerospace 9, AIAA paper 93-4578, 1993.
Ledeczi A., Abbott B.: Model-Based Hardware Configuration Management, Transputer Research and Applications, ISSN: 0925-4986, ISO Press, 6, pp. 318-332, 1993.
Karsai G., Sztipanovits J., Padalkar S., Biegl C.: Model Based Intelligent Process Control for Cogenerator Plants, Journal of Parallel and Distributed Systems, pp. 90-103, 1992.
Karsai G., Sztipanovits J., Padalkar S., Biegl C.: Model Based Techniques for Intelligent Process Control, AI in Engineering, 2, pp. 79-94, 1990.
Abbott B., Biegl C., Sztipanovits J.: Multigraph for the Transputer, Transputer Research and Applications, ed Alan S. Wagner, IOS Press, Amsterdam, pp. 211-222, 1990.
Biegl C., Sztipanovits J., Harrison C.: Concepteur Cognitif D'Experimentation Pour L'Instrumentation, Innovation et Technologie en Biologie et Medicine, 10, 2, pp. 203-210, 1989.
Sztipanovits J.: A Computing Model for Semantic Control, Applied Mathematics Letters, 2, 3, pp. 273-276, 1989.
Sztipanovits J., Karsai G., Biegl C.: Graph Model-Based Approach to the Representation, Interpretation and Execution of Real-Time Signal Processing Systems, International Journal of Intelligent Systems, 3, 3, pp. 269-280, 1988.
Sztipanovits J., Karsai G.: Knowledge-Based Techniques in Instrumentation, IEEE/EMBS Magazine, 7, 2, pp. 13-17, 1988.
Sztipanovits J., Bourne J.: Architecture of Intelligent Medical Instruments, Journal of Biomedical Measurements Informatics and Control, London, UK, 1, 3, pp. 140-146, 1987.
Foxgov, Doug, Li X., Vargas J., B R., Sztipanovits J., Mushlin R., Harrison C.: Pulse Programming Assistant for Nuclear Magnetic Resonance Imaging, IEEE Transactions on Biomedical Engineering, 34, 10, pp. 938-943, 1987.
Dubey A., Nordstrom S., Keskinpala T., Neema S., Bapty T., Karsai G.: Towards A Model-Based Autonomic Reliability Framework for Computing Clusters, Fifth IEEE Workshop in Engineering of Autonomic and Autonomous Systems (EASe 2008), , Belfast, Northern Ireland, April, 2008.
Amundson I., Kusy B., Volgyesi P., Koutsoukos X., Ledeczi A.: Time Synchronization in Heterogeneous Sensor Networks, International Conference on Distributed Computing in Sensor Systems (DCOSS'08), S. Nikoletseas et al. (Eds.) LNCS, pp.17-31, Santorini, Greece, 2008.
Kusy B., Ledeczi A., Koutsoukos X.: Tracking Mobile Nodes Using RF Doppler Shifts, ACM Sensys 07, pp., Sydney, Australia, November 7, 2007.
Kusy B., Balogh G., Sallai J., Ledeczi A., Maroti M.: inTrack: High Precision Tracking of Mobile
Sensor Nodes, European conference on Wireless Sensor Networks, CD-rom, Delft, Netherlands, January 29, 2007.
Amundson I., Kushwaha M., Koutsoukos X., Neema S., Sztipanovits J.: Efficient Integration of Web Services in Ambient-aware Sensor Network Applications, Basenets, CD-ROM, San Jose, CA, October 1, 2006.
Nordstrom S., Bapty T., Neema S., Dubey A., Keskinpala T.: A Guided Explorative Approach for Autonomic Healing of Model-Based Systems, Second IEEE conference on Space Mission Challenges for Information Technology (SMC-IT), CD Rom, Pasadena, CA, July, 2006.
Kusy B., Balogh G., Volgyesi P., Sallai J., Nadas A., Ledeczi A., Maroti M., Meertens L.: Node-Density Independent Localization, Information Processing in Sensor Networks (IPSN 06) SPOTS Track, to appear, Nashville, TN, April 19, 2006.
Werner J., Eby Matthew, Mathe Janos, Karsai G., Xue Yuan, Sztipanovits J.: Integrating Security Modelling in Embedded System Design, 12th IEEE Real-Time and Embedded Technology and Applications Symposium, 1, San Jose, CA, April 4, 2006.
Chen K., Sztipanovits J., Abdelwahed S.: A Semantic Unit for Timed Automata Based Modeling Languages, 12th IEEE Real-Time and Embedded Technology and Applications Symposium , pp. 2-14, San Jose, CA, April 4, 2006.
Jackson E., Sztipanovits J.: Correct-ed through Construction: A Model-based Approach to Embedded Systems Reality, 13th Annual IEEE International Conference on the Engineering of Computer Based Systems , CD-Rom, Potsdam, Germany, March 27, 2006.
Williams B.: Using Hybrid Automata to Model Four Stroke Engines with Variable Valve Timing in Simulink/Stateflow, ACMSE 2006, CD-Rom p51.pdf, Melbourne, FL, March 10, 2006.
Volgyesi P., Nadas A., Ledeczi A., Molnar, K.: Reliable Multihop Bulk Transfer Service forWireless Sensor Networks, 13th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS 2006) , CD-ROM, Potsdam, Germany, March, 2006.
Dubey A., Nordstrom S., Keskinpala T., Neema S., Bapty T.: Verifying Autonomic Fault Mitigation Strategies in Large Scale Real-Time
Systems, Third IEEE International Workshop on Engineering of Autonomic & Autonomous Systems (EASE'06), pp. 129-140, Potsdam, Germany, March, 2006.
Sallai J., Kusy B., Ledeczi A., Prabal Dutta: On the Scalability of Routing Integrated Time Synchronization, European Workshop on Wireless Sensor Networks (EWSN 22006), , Zürich, Switzerland, February 13, 2006.
Eby Matthew, Werner J., Karsai G., Sztipanovits J.: Integrating Security Modeling into Embedded System Design, ECBS 2007, in review, Tucson, Arizona, 2006.
Karsai G., Biswas G., Abdelwahed S., Mahadevan N., Manders E.: Model-based Software Tools for Integrated Vehicle Health Management, The Second IEEE International Conference on Space Mission Challenges for Information Technology (SMC-IT), pp., Pasadina, CA, 2006.
Kushwaha M., Molnar, K., Sallai J., Volgyesi P., Maroti M., Ledeczi A.: Sensor Node Localization Using Mobile Acoustic Beacons, The 2nd IEEE International Conference on Mobile Ad-hoc and Sensor Systems (MASS 2005), CD-Rom, Washington, DC, November 7, 2005.
Chen K., Sztipanovits J., Abdelwahed S., Jackson E.: Semantic Anchoring with Model Transformations, European Conference on Model Driven Architecture -Foundations and Applications (ECMDA-FA), to appear, Nuremberg, Germany, November 7, 2005.
Maroti M., Kusy B., Balogh G., Volgyesi P., Molnar, K., Nadas A., Dora S., Ledeczi A.: Radio Interferometric Positioning, ACM Third International Conference on Embedded Networked Sensor Systems (SenSys 05), pp. 1-12, San Diego, CA, November 3, 2005.
Gray J., Yuehua Lin, Jing Zhang, Nordstrom S., Gokhale A., Neema S., Swapna Gokhale: Replicators: Transformations to Address Model Scalability, Model Driven Engineering Languages and Systems (MoDELS) (formerly the UML series of conferences), Springer-Verlag LNCS 3713, pp. 295-308, Montego Bay, Jamaica, October, 2005.
Chen K., Sztipanovits J., Neema S., Emerson M., Abdelwahed S.: Toward a Semantic Anchoring Infrastructure for Domain-Specific Modeling Languages, Proceedings of the Fifth ACM International Conference on Embedded Software (EMSOFTĦŻ05), pp. 35-44, Jersey City, New Jersey, September 19, 2005.
Abdelwahed S., Madl G.: Model Based Analysis of Distributed Realtime Embedded System Composition , ACM Conference on Embedded Software (EMSOFT '05), to appear, Jersey City, New Jersey, September, 2005.
Jackson E., Sztipanovits J.: Using Separation of Concerns for Embedded Systems Design, EMSOFT '05, CD-Rom, Jersey City, New Jersey, September, 2005.
Daigle M., Koutsoukos X., Biswas G.: Relative Measurement Orderings in Diagnosis of Distributed Physical Systems, 43rd Annual Allerton Conference on Communication, Control, and Computing, pp. 1707-1716, Monticello, IL, September, 2005.
Wu J., Biswas G., Abdelwahed S.: Hybrid Control System Design and Implementation for a Three-tank Testbed, IEEE Conference on Control Application, accepted, Toronto, Canada, August, 2005.
Abdelwahed S., Sallai J., Neema S: On the feasibility of lookahead control for systems with finite control set, IEEE Conference on Control Application, To Appear, Toronto, Canada, August, 2005.
Abdelwahed S., Karsai G., Biswas G.: Robust State-based Supervisory Control of Discrete Event Systems, IEEE Conference on Control Application, to appear, Toronto, Canada, August, 2005.
Balogh G., Ledeczi A., Maroti M., Simon G.: Time of Arrival Data Fusion for Source Localization, Sensorfusion, CD Rom, Visegrad, Hungary, July 14, 2005.
Abdelwahed S., Wu J., Biswas G., Manders E.: Hierarchical Online Control Design for Autonomous Resource Management in Advanced Life Support Systems, 35th SAE International Conference on Environmental Studies (ICES '05), pp, Rome, Italy, July, 2005.
Biswas G, Bonasso P, Abdelwahed S: Requirements for an Autonomous Control Architecture for Advanced Life Support System , 35th SAE International Conference on Environmental Systems (ICES'05), pp, Rome , Italy, July, 2005.
Roychoudhury I., Biswas G., Koutsoukos X., Abdelwahed S.: Designing Distributed Diagnosers for Complex Physical Systems, 16th International Workshop on Principles of Diagnosis, pp 31-36, Monterey, CA, June, 2005.
Abdelwahed S., Karsai G., Biswas G.: A Consistency-based Robust Diagnosis Approach for Temporal Causal Systems, 16th International Workshop on Principles of Diagnosis (DX '05), cd rom, Monterey, CA, June, 2005.
Manders E., Biswas G, Ramirez J W, Mahadevan N, Wu J, Abdelwahed S: A Model-Integrated Computing Tool-suite for fault adaptive control, 15th Intl Workshop on Principles of Diagnosis (DX '04), , Carcassonne, France, June, 2005.
Ledeczi A., Volgyesi P., Maroti M., Simon G., Balogh G., Nadas A., Kusy B., Dora S., Pap G.: Multiple Simultaneous Acoustic Source Localization in Urban Terrain, IPSN 05, CD-Rom, Los Angeles, CA, April 25, 2005.
Ahuja S., Yao D., Neema S., Bapty T., Shetty S., Nordstrom S.: Dynamically Reconfigurable Monitoring in Large Scale Real-Time Embedded Systems, IEEE SoutheastCon, pp. 327, CD-Rom, Fort Lauderdale, Florida, April 8, 2005.
Derek Messie, Mina Jung, Jae C. Oh, Shetty S., Nordstrom S., Michael Haney: Prototype of Adaptive Embedded Software for Large-Scale Real-Time Systems, Engineering of Autonomic Systems, EASe, Greenbelt, MD,USA, April 6, 2005.
Shetty S., Nordstrom S., Ahuja S., Yao D., Bapty T., Neema S.: Systems Integration of Autonomic Large Scale Systems Using Multiple Domain Specific Modeling Language, 12 IEEE International Conference Proceedings ECBS 2005, 12 IEEE International Conference on ECBS ,Engineering of Autonomic Systems, 0-7695-2306-0/05 pp481, Greenbelt, MD , USA, April 6, 2005.
Nordstrom S., Shetty S., Yao D., Ahuja S., Neema S., Bapty T.: The Action Language: Refining a Behavioral Modeling Language, 12th IEEE International Conference on Engineering of Computer Based Systems, pp. 315-320, Greenbelt, MD, April, 2005.
Ledeczi A., Balogh G., Molnar Z., Volgyesi P., Maroti M.: Model Integrated Computing in the Large, IEEE Aerospace, CD Rom, Big Sky, MT, March 6, 2005.
Madl G., Abdelwahed S., Karsai G.: Automatic Verification of Component-Based Real-Time CORBA Applications, the 25th IEEE International Real-Time Systems Symposium, pp, Lisbon, Portugal, December, 2004.
Ye, J, Loyall, J, Shapiro, R, Schantz, R, Neema S., Abdelwahed S.: A Model-Based Approach to Designing QoS Adaptive Applications, the 25th IEEE International Real-Time Systems Symposium, pp, Lisbon, Portugal, December, 2004.
Simon G., Maroti M., Ledeczi A., Balogh G., Kusy B., Nadas A., Pap G., Sallai J., Frampton K.: Sensor Network-Based Countersniper System, ACM Second International COnference on Embedded Networked Sensor Systems (SenSys 04), pp. 1-12, Baltimore, MD, November 3, 2004.
Maroti M., Kusy B., Simon G., Ledeczi A.: The Flooding Time Synchronization Protocol, ACM Second International Conference on Embedded Networked Sensor Systems (SenSys 04), pp. 39-49, Baltimore, MD, November 3, 2004.
Vizhanyo A., Agrawal A., Shi F.: Towards Generation of High-performance Transformations, Generative Programming and Component Engineering, (accepted), Vancouver, Canada, October 24, 2004.
Abdelwahed S., Kandasamy N., Neema S.: A Control-Based Framework for Self-Managing Distributed Computing Systems, ACM SIGSOFT Workshop on Self-Managed Systems, WOSS'04, Newport Beach, CA, October, 2004.
Don R. Van Rheeden, Brad C. Brown, Jeremy C. Price, Ben A. Abbott, Greg C. Willden, Kumar Chhokra, Jason Scott, Theodore Bapty: AUTOMATIC POSITIONING OF UAVS TO OPTIMIZE TDOA GEOLOCATION PERFORMANCE, 23rd Digital Avionics Systems Conference (DASC), DASC 2004, Salt Lake City, Utah, October, 2004.
Emerson M., Sztipanovits J.: Implementing a MOF-Based Metamodeling Environment Using Graph Transformations, 4th OOPSLA Workshop on Domain-Specific Modeling, pages 83-92, Vancouver, Canada, October, 2004.
Agrawal A., Vizhanyo A., Kalmar Z., Shi F., Narayanan A., Karsai G.: Reusable Idioms and Patterns in Graph Transformation Languages, 2nd International Conference on Graph Transformation, (submitted), Rome, Italy, September 28, 2004.
Scott J., Neema S., Eames B., Bapty T., Vandivort, Andrew, Khamsi, Sarir , Gangwer, Troy: A HW/SW Co-design Tool for Modern FPGAs with FPGA-Embedded Processors, 7th Military and Aerospace Programmable Logic Devices, , Washington, DC, September 11, 2004.
Biswas G., Abdelwahed S., Koutsoukos X., Gandhe J., Manders E.: Toward Distributed Diagnosis of Complex Physical Systems, The Forty-Second Annual Allerton Conference on Communication, Control, and Computing, pp, Champgain, IL, September, 2004.
Loyall, J, Shapiro, R, Neema S., Abdelwahed S.: A Case Study in Applying QoS Adaptation and Model-Based Design to the Design-Time Optimization of Signal Analyzer Applications, the Military Communications Conference MILCOM, pp, Monterey, CA, August, 2004.
Biswas G., Manders E., Abdelwahed S., Karsai G.: Fault adaptive control: towards robust operation of autonomous systems, Fourth International Conference on Intelligent Systems Design and Applications, pp, Budapest, Hungary, August, 2004.
Abdelwahed S., Wu J., Biswas G., Ramirez J., Manders E.: Online Hierarchical Fault-Adaptive Control for Advanced Life Support Systems, 34th International Conference on Environmental Systems, pp, Colorado Springs, CO, July, 2004.
Gupta S., Biswas G., Ramirez J.: An improved algorithm for hybrid diagnosis of complex systems, DX-2004, 15th International Workshop on Principles of Diagnosis, not printed, Carcassonne, France, June 24, 2004.
Sallai J., Balogh G., Maroti M., Ledeczi A., Kusy B.: Acoustic Ranging in Resource-Constrained Sensor Networks, ICWN '04, CD-Rom, Las Vegas, Nevada, USA, June 21, 2004.
Kusy B., Maroti M., Simon G., Ledeczi A.: Robust Multi-Hop Time Synchronization in Sensor Networks, ICWN '04, CD-Rom, Las Vegas, Nevada, USA, June 21, 2004.
Abdelwahed S., Biswas G., Karsai G.: System Diagnosis using Hybrid Failure Propagation Graphs, The 15th International Workshop on Principles of Diagnosis, pp, Carcassonne, France, June, 2004.
Kusy B., Ledeczi A., Maroti M., Volgyesi P.: Domain Independent Generative Modeling, ECBS '04, CD-Rom, Brno, Czech Republic, May 24, 2004.
Shetty S., Neema S., Bapty T.: Model Based Self Adaptive Behaviour Language Large Scale Real time Embedded Systems, ECBS, Accepted, Brno, Czech Republic, May 24, 2004.
Abdelwahed S., Kandasamy N., Neema S.: Online control for resource management in computing systems, The 10th IEEE Real-Time and Embedded Technology and Applications Symposium, pp, Toronto, Canada, May, 2004.
Chhokra K., Bapty T., Scott J.: WASP: A Radio Geolocation System on Highly Resource Constrained Mobile Platforms, Engineering of Computer Based Systems, pp. 121-127, Brno, Czech Republic, May, 2004.
Kandasamy N., Abdelwahed S., Neema S.: Self optimization in computer systems via online control: application to power management, the International Conference on Autonomic Computing, pp, New York, NY, May, 2004.
Kogekar S., Neema S., Eames B., Koutsoukos X., Ledeczi A., Maroti M.: Constraint-Guided Dynamic Reconfiguration in Sensor
Networks, IPSN '04, pp. 379-387, Berkeley, California, USA, April 26, 2004.
Agrawal A., Simon G., Karsai G.: Semantic Translation of Simulink/Stateflow models to Hybrid Automata using Graph Transformations, International Workshop on Graph Transformation and Visual Modeling Techniques, to be published in Electronic Notes in Theoretical Computer Science, Barcelona, Spain, March 27, 2004.
Chhokra K.: Accuracy Enhancements for TDOA Estimation on Highly Resource Constrained Mobile Platforms, International Symposium on Advanced Radio Technologies, March 2-4, 2004. pp 1-6, Boulder, CO, March 1, 2004.
Abdelwahed S., Wu J., Biswas G.: Online Hybrid Control for Optimal Resource Management in Advanced Life Support Systems., Habitation, Conference on Space Habitation Research and Technology Development, (accepted), Orlando, FL, January, 2004.
Abdelwahed S., Neema S., Loyall, J., Shapiro, R.: A Hybrid Control Approach for QoS Management, the 24th IEEE International Real-Time Systems Symposium, RTSS'03, pp, Cancun, Mexico, December, 2003.
Karsai G., Agrawal A.: Graph Transformations in OMGs Model-Driven, Applications of Graph Transformations with Industrial Relevance, To be published in the Lecture Notes of Computer Science, Charlotsville, VA, December, 2003.
Sprinkle J., Karsai G.: Model Migration through Visual Modeling, OOPSLA - 3rd OOPSLA Workshop on Domain-Specific Modeling, , Anaheim, CA, October 26, 2003.
Magyari E., Bakay A., Lang A., Paka T., Vizhanyo A., Agrawal A., Karsai G.: UDM: An Infrastructure for Implementing Domain-Specific Modeling Languages, The 3rd OOPSLA Workshop on Domain-Specific Modeling, OOPSLA 2003, Anahiem, California, October 26, 2003.
Sprinkle J.: Managing Intent: Propagation of Meaning During Model Transformations, Workshop in Software Model Engineering, at <<UML>> 2003, (accepted), San Francisco, CA, October 21, 2003.
Neema S., Sztipanovits J., Karsai G., .Ken Butts: Constraint-Based Design-Space Exploration and Model Synthesis , EMSOFT 2003, LNCS 2855, Philadelphia, PA, October 2, 2003.
Su, R., Wonham, W.M., Kurien, J., Koutsoukos X.: Distributed Diagnosis of Qualitative Systems, 6th International Workshop on Discrete Event Systems, pp. 169-174, Zaragoza, Spain, October 2, 2003.
Karsai G., Agrawal A., Ledeczi A.: A Metamodel-Driven MDA Process and its Tools, WISME, UML 2003 Conference, San Francisco, CA, October, 2003.
Agrawal A., Karsai G., Ledeczi A.: An End-to-End Domain-Driven Software Development Framework, 18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), Domain-Driven Development Track, Anaheim, CA, October, 2003.
Abdelwahed S., W. M. Wonham: Interacting DES: Modeling and Analysis, IEEE Int. Conference on Systems, Man & Cybernetics, (accepted), Washington, DC., October, 2003.
Su R., Abdelwahed S., Karsai G., Biswas G.: Discrete Abstraction and Supervisory Control of
Switching Systems, IEEE Int. Conference on Systems, Man & Cybernetics, (accepted), Washington, DC., October, 2003.
Abdelwahed S., Neema S., Loyall J., Shapiro R.: Online Hybrid Control Design for QoS Management, IEEE Int. Conference on Systems, Man & Cybernetics, (accepted), Washington, DC., October, 2003.
Nordstrom S., Shetty S., Chhokra K., Sprinkle J., Eames B., Ledeczi A.: ANEMIC: Automatic Interface Enabler for Model Integrated Computing, Generative Programming and Component Engineering (GPCE '03), (Accepted), Erfurt, Germany, September 22, 2003.
Karsai G., Lang A., Neema S.: Tool Integration Patterns, Workshop on Tool Integration in System Developement, ESEC/FSE , pp 33-38., Helsinki, Finland, September, 2003.
Karsai G., Abdelwahed S., Biswas G.: Integrated Diagnosis and Control for Hybrid Dynamic Systems, AIAA Guidance, Navigation and Control Conference, pp., Austin, TX, August, 2003.
Biswas G., Simon G., Karsai G., Abdelwahed S., Mahadevan N., Szemethy T., Ramirez J W, Peceli G., Kovacshazy T.: Self-Adaptive Software for Fault-Adaptive Control, Third Intl. Workshop on Self-Adaptive Software, , Washington, D.C., June, 2003.
Biswas G., Simon G., Mahadevan N., Narasimhan S., Ramirez J., Karsai G.: A robust method for hybrid diagnosis of complex systems, 5th Symposium on Fault Detection, Supervision and Safety for Technical Processes, pp 1125 - 1131, Washington, DC, June, 2003.
Manders E., Biswas G.: 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, pp 347 - 352, Washington, DC, June, 2003.
Abdelwahed S., Wonham W. M.: Blocking detection in discrete event systems, Proceeding of the American Control Conference, , Denver, CO, June, 2003.
Loyall, J., Shapiro, R., Neema S., Abdelwahed S.: Model-Based Design of Runtime Adaptation Strategies, The 9th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS'03, pp, Toronto, Canada, June, 2003.
Abdelwahed S., Karsai G., Biswas G.: Robust Diagnosis of Switching Systems, 5th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes, , Washington, DC., June, 2003.
Volgyesi P., Maroti M., Ledeczi A.: Model-based Software Synthesis for Distributed Control Systems and Sensor Networks., International Carpathian Control Conference, , High Tatras, Slovak Republic, May 26, 2003.
Simon G., Karsai G., Biswas G., Abdelwahed S., Mahadevan N., Szemethy T., Peceli G., Kovacshazy T.: Model-Based Fault-Adaptive Control of Complex Dynamic Systems
, IMTC 2003, (to appear), Vail, CO, May 20, 2003.
Karsai G., Agrawal A., Shi F., Sprinkle J.: On the use of Graph Transformations in the Formal Specification of Computer-Based Systems, IEEE TC-ECBS and IFIP10.1 Joint Workshop on Formal Specifications of Computer-Based Systems, p. 19-27, Huntsville, Alabama, April 9, 2003.
Agrawal A., Ledeczi A.: Multigranular Simulation of Heterogeneous Embedded Systems, Tenth IEEE Conference and Workshops on the Engineering of Computer Based Systems (ECBS), p. 3-10, Huntsville, Alabama, April 7, 2003.
Eames B., Bapty T., Abbott B., Neema S., Chhokra K.: Model Integrated Design Toolset for Polymorphous Computer-Based Systems, Tenth IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS), pp. 72-79, Huntsville, AL, April 7, 2003.
Sprinkle J., Agrawal A., Levendovszky T., Shi F., Karsai G.: Domain Translation Using Graph Transformations, Tenth IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 159-168, Huntsville, AL, April 7, 2003.
Bapty T., Neema S., Nordstrom S., Shetty S., Vashishtha D., Overdorf J., Sheldon, Paul: Modeling and Generation Tools for Large-Scale, Real-Time Embedded Systems, 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS'03) , pp. 11-16, Huntsville, Alabama, April, 2003.
Simon G., Volgyesi P., Maroti M., Ledeczi A.: Simulation-based optimization of communication protocols for large-scale wireless sensor networks , 2003 IEEE Aerospace Conference, (in CD-ROM), Big Sky, MT, March 8, 2003.
Maroti M., Volgyesi P., Simon G., Karsai G., Ledeczi A.: Distributed Middleware Services
Composition and Synthesis Technology, IEEE Aerospace, , Big Sky, MT, March 8, 2003.
Gray J., Karsai G.: An Examination of DSLs for Concisely Representing
Model Traversals and Transformations
, HICSS-36, (TBD), Big Island, Hawaii, January, 2003.
Roselli, RJ, Howard L.: Development of online homework problems that provide instant feedback and remediation to students, Annual BMES Conference, (CD ROM, Omnipress), Nashville, TN, 2003.
Roselli, RJ, Howard L.: Integration of an Interactive Free Body Diagram Assistant with a Courseware Authoring Package and an Experimental Learning Management System, Proceedings of the American Society for Engineering Education, (CD-ROM DEStech Publications) Session 2793: 10 pages, Nashville, TN, 2003.
Abdelwahed S., Karsai G., Biswas G.: Online Safety Control of a Class of Hybrid Systems, IEEE 2002 Conference on Decision and Control, pp.1988-1990, Las Vegas, USA, December, 2002.
Abdelwahed S., Wonham W. M.: Supervisory control of interacting discrete event systems, 41st IEEE Conference on Decision and Control, pp. 1175-1180, Las Vegas, NV, December, 2002.
Agrawal A., Levendovszky T., Sprinkle J., Shi F., Karsai G.: 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 5, 2002.
Howard L.: CAPE: A Visual Language for Courseware Authoring, 2nd Workshop on Domain-Specific Visual Languages, pp. 45-53, Seattle, WA, November 4, 2002.
Sprinkle J., Agrawal A., Levendovszky T., Shi F., Karsai G.: Domain Evolution in Visual Languages Using
Graph Transformations, OOPSLA, 2nd Workshop on Domain-Specific Languages, Seattle, WA, November 4, 2002.
Frampton K.: Decentralized Vibration Control in a Launch Vehicle Payload Fairing, International Mechanical Engineering Conference and Exhibition, IMECE2002-33352, New Orleans, LA, November, 2002.
Ji M., Zhang Z., Biswas G., Sarkar N.: Hybrid Fault Adaptive Control of a Mobile Robot, ASME Intl. Mechanical Engineering Congress and Exposition, , New Orleans, LA, November, 2002.
Koutsoukos X., Kurien, J., Zhao, F.: Monitoring and Diagnosis of Hybrid Systems Using Particle Filtering Methods, Proceedings of the 15th International Symposium on Mathematical Threory of Networks and Systems, MTNS 2003, Notre Dame, IN, August, 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.
Mohanty S., Prasanna V., Neema S., Davis J.: 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.
Sims J., Vashishtha D., Rani P., Brackin R., Sarkar N.: Stress Detection for Implicit Human-Robot Cooperation , World Automation Congress, ISORA-022 , Orlando, Florida, USA, June, 2002.
Simon G., Kovacshazy T., Peceli G., Szemethy T., Karsai G., Ledeczi A.: Implementation of Reconfiguration Management in Fault-Adaptive Control Systems , IMTC 2002, pp. 123-128, Anchorage, AK, May 21, 2002.
Narasimhan S., Biswas G., Karsai G., Szemwthy T., Bowman T., Kay M., Keller K.: Hybrid Modeling and Diagnosis in the Real World: A Case Study, Intl. Workshop on Principles of Diagnosis, , Simmering, Austria, May, 2002.
Levendovszky, T., Karsai G., Ledeczi A., Maroti M., et al.: Model reuse with metamodel based-transformations
, ICSR, LNCS, Austin, TX, April 18, 2002.
Gray J., Bapty T., Neema S., Ledeczi A.: Viewpoints and Aspects in Domain-Specific Modeling, 1st International Conference on Aspect-Oriented Software Development , Demonstration, Enschede, The Netherlands, April, 2002.
Gray J., Bapty T., Neema S.: An Example of Constraint Weaving in Domain-Specific Modeling
, OOPSLA 2001 Workshop on Domain-Specific Visual Languages, (published proceedings), Tampa, FL, October, 2001.
Gray J.: A Framework for Creating Aspect Weavers, OOPSLA 2001, Doctoral Symposium, Tampa, FL, October, 2001.
Ledeczi A., Nordstrom G., Karsai G., Volgyesi P., Maroti M.: On Metamodel Composition, IEEE CCA 2001, CD-Rom, Mexico City, Mexico, September 5, 2001.
Howard L.: An Algorithm for Diagnostic Reasoning Using TFPG Models in Embedded Real-Time Applications, AUTOTESTCON 2001, 978-987, Valley Forge, Pennsylvania, August 20, 2001.
Agrawal A., Bakshi A., Davis J., Eames B., Ledeczi A., Mohanty S., Mathur V., Neema S., Nordstrom G., Prasanna V., Raghavendra, C., Singh M.: 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.
Ledeczi A., Maroti M., Bakay A., Karsai G., Garrett J., Thomason IV C., Nordstrom G., Sprinkle J., Volgyesi P.: The Generic Modeling Environment, Workshop on Intelligent Signal Processing, accepted, Budapest, Hungary, May 17, 2001.
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.
Karsai G., Ledeczi A., Sztipanovits J., Peceli G., Simon G., Kovacshazy T.: An Approach to Self-Adaptive Software based on Supervisory Control, IWSAS-2001, (submitted), Balatonfured, Hungary, May, 2001.
Manders E., Biswas G.: Transient Detection and Analysis for Diagnosis of Abrupt Faults in Continuous Dynamic Systems, IEEE International Workshop on Intelligent Signal Processing, , Budapest, Hungary, May, 2001.
Narasimhan S., Biswas G., Karsai G.: 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.
Nordstrom G., Davis J., Briski M.: A Graduate-Level Course on CBS Design Tool Development, Engineering of Computer Based Systems, , Washington, D.C., April, 2001.
Sprinkle J., Karsai G., Ledeczi A., Nordstrom G.: The New Metamodeling Generation, IEEE Engineering of Computer Based Systems, Proceedings p.275, Washington, D.C., USA, April, 2001.
Atlas L., Bloor G., Brotherton T., Howard L., Jaw L., Kacprzynski G., Karsai G., Mackey R., Mesick J., Reuter R., Roemer M.: An Evolvable Tri-Reasoner IVHM System, 2001 IEEE Aerospace Conference, 11.0307, Big Sky, Montana, USA, March 13, 2001.
Narasimhan S., Biswas G.: 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.
Karsai G., Biswas G., Pasternak T., Narasimhan S., Peceli G., Simon G., Kovacshazy T.: Fault-Adaptive Control: A CBS Application, ECBS-2001, (see pub), Washington, DC, February, 2001.
Frampton K.: Decentralized Control Of Structural Acoustic Radiation, ASME IMECE, , , , 2001.
Moore M., Monemi S., Wang J.: Integrating Information Systems in Electric Utilities, IEEE International Conference on Systems, Man, and Cybernetics, - in press -, Nashville, TN, October 9, 2000.
Sprinkle J., van Buskirk C., Karsai G.: Modeling Agent Negotiation, IEEE International Conference on Systems, Man, and Cybernetics, Proceedings, Nashville, TN, October 8, 2000.
Pathak S., Nordstrom G., Kurokawa S.: Modeling of supply chain: a multi-agent approach, IEEE SMC 2000, CD ROM Reference 00ch37166c, Nashville, Tennessee, October 8, 2000.
Eames B., Neema S., Bapty T., Scott J.: Interfacing a Simulation Engine to an Embedded Runtime Environment, 2000 IEEE International Conference on Systems, Man and Cybernetics, pp 625-629, Nashville, TN, October 8, 2000.
Venkatachalam S., Nordstrom G., Peters R., Wilkes M., Alford A.: Modeling of Agent's Behavior in Human-robot Interaction Using Model Integrated Computing, IEEE-SMC 2000, CD-ROM, Nashville, TN, October, 2000.
Gray J., Bapty T., Neema S.: Aspectifying Constraints in Model-Integrated Computing, OOPSLA 2000: Workshop on Advanced Separation of Concerns, http://trese.cs.utwente.nl/Workshops/OOPSLA2000, Minneapolis, MN, October, 2000.
Garrett J., Ledeczi A., DeCaria F.: Towards a Paradigm for Activity Modeling, SMC 2000, , Nashville, TN, October, 2000.
Karsai G., Nordstrom G., Ledeczi A., Sztipanovits J.: Specifying Graphical Modeling Systems Using Constraint-based Metamodels, IEEE Symposium on Computer Aided Control System Design, Conference CD-Rom, Anchorage, Alaska, September 25, 2000.
Deva D., Sprinkle J., Maroti M., Nordstrom G.: Towards A Standard For Model Specification And Storage, IEEE SMC 2000, , Nashville, TN, September, 2000.
Nordstrom G., Karsai G., Moore M., Bapty T., Sztipanovits J.: Model Integrated Computing-Based Software Design and Evolution, Conference on Life Cycle Software Engineering Technology for Modern Avionics, Missiles, and Smart Weapon Systems, , Huntsville, Alabama, August 16, 2000.
Moore M., Monemi S., Wang J.: Integrated Diagnostics for Electric Utilities, World Multiconference on Systemics, Cybernetics and Informatics, pp. 458-463, Orlando, FL, July, 2000.
Narasimhan S., Biswas G., Karsai G., Pasternak T., Zhao F.: Building observers to address fault isolation and control problems in hybrid dynamic systems, IEEE SMC 2000, , Nashville, TN, July, 2000.
Manders E., Narasimhan S., Biswas G., Mosterman P.: A Combined Qualitative/Quantitative Approach for Fault Isolation in Continuous Dynamic Systems, 4th Symposium on Fault Detection, Supervision and Safety for Technical Processes, pp 1074-1079, Budapest, Hungary, June, 2000.
Narasimhan S., Zhao F., Biswas G., Hung E.: Fault Isolation in Hybrid Systems combining Model Based Diagnosis and Signal Processing, 4th Symposium on Fault Detection, Supervision and Safety for Technical Processes, pp 1074 - 1079, Budapest, Hungary, June, 2000.
Narasimhan S., Zhao F., Biswas G., Hung E: An Integrated Framework for Combining Global and Local Analysis in Diagnosing Hybrid Systems, Eleventh Intl. Workshop on Principles of Diagnosis, pp 163-170, Morelia, Mexico, June, 2000.
Mosterman P, Manders E J, Biswas G.: Qualitative Dynamic Behavior of Physical System Models With Algebraic Loops, Eleventh Intl. Workshop on Principles of Diagnosis, pp 155-162, Morelia, Mexico, June, 2000.
Manders E., Barford L A: Diagnosis of a Continuous Dynamic System from Distributed Measurements , 17th IEEE Instrumentation and Measurement Technology Conference - IMTC'2000, pp 546 - 551, Baltimore, MD, May, 2000.
Moore M., Monemi S., Wang J., Marble J., Jones S.: Diagnostics and Integration in Electric Utilities, IEEE Rural Electric Power Conference, pp C2-1 through C2-10, Louisville, KY, May, 2000.
Gray J., Schach S.: Constraint Animation Using an
Object-Oriented Declarative Language
, Proceedings of the 38th Annual ACM SE Conference, pp. 1-10, Clemson, SC, April, 2000.
Karsai G.: Why is XML not suitable for Semantic Translation, Research Note, , Nashville, TN, April, 2000.
Sztipanovits J., Karsai G., Franke H.: Model-Integrated Program Synthesis Environment, Proceedings of the IEEE Symposium on Engineering of Computer Based Systems, pp. 348-355, Friedrichshafen, Germany, March 11, 2000.
Nordstrom G.: Formalizing the Specification of Graphical Modeling Languages, Proceedings of the IEEE Aerospace 2000 Conference, CD-ROM Reference 10.0402, Big Sky, MT, March, 2000.
Karsai G., Gray J.: Component Generation Technology for Semantic Tool Integration, Proceedings of the IEEE Aerospace 2000, CD-Rom Reference 10.0303, Big Sky, MT , March, 2000.
Karsai G.: Design Tool Integration: An Exercise in Semantic Interoperability, Proceedings of the IEEE Engineering of Computer Based Systems, , Edinburg, UK, March, 2000.
Ledeczi A., Bapty T., Karsai G.: Synthesis of Self-Adaptive Software, IEEE Aerospace 2000 , CD-ROM Reference 10.0304, Big Sky, MT, March, 2000.
Karsai G., Bloor G., Doyle J.: Automating Human Based Negotiation Processes for Autonomic Logistics, Proceedings of the IEEE Aerospace 2000, CD-ROM Reference 11.0302, Big Sky, MT, March, 2000.
Mosterman P, Biswas G: Towards Procedures for Systematically Deriving Hybrid Models of Complex Systems, Hybrid Systems: Computation and Control - Third International Workshop (HSCC 2000), Volume 1790, pp 324 - 337, Berlin, Germany, March, 2000.
Feenstra P., Manders E J, Mosterman P, Biswas G, Barnett R J: Modeling and Instrumentation for Fault Detection and Isolation of a Cooling System, IEEE South East Conference, pp 365-372, Nashville, TN, March, 2000.
Szedo G., Neema S., Scott J., Bapty T.: Reconfigurable Target Recognition System, Proceedings of the FPGA 2000, , Monterey, CA , February, 2000.
Neema S., Bapty T., Scott J.: Development Environment for Dynamically Reconfigurable Embedded Systems, Proceedings of the International Conference on Signal processing Applications and Technology, CD-ROM, Orlando, FL, November, 1999.
Scott J., Bapty T., Neema S.: Runtime Environment for Dynamically Reconfigurable Embedded Systems, Proceedings of the International Conference on Signal Processing Applications and Technology, CD-ROM, Orlando, FL, November, 1999.
Nichols J., Neema S.: Dynamically Reconfigurable Embedded Image Processing System, Proceedings of the International Conference on Signal Processing Applications and Technology, , Orlando, FL, November, 1999.
Tibbals T., Sensmeier M., Nichol K., Stoner A., Biegl C.: Model Integrated Testing for Durability Assessment of Turbine Engines, Proceedings of the ITEA Conference , pp 151-158, Tullahoma, TN, October, 1999.
Bapty T.: Design Environment for Dynamically Reconfigurable Embedded Systems, Proceedings of the High Performance Embedded Computing '99, , MIT Lincoln Laboratory, MA, September, 1999.
Neema S., Bapty T., Scott J.: Adaptive Computing and Run-time Reconfiguration, Proceedings of the Military Applications of Programmable Logic Devices, CD-ROM, Laurel, MD, September, 1999.
Ledeczi A.: Model Construction for Model-Integrated Computing, 13th International Conference on Systems Engineering, pp. CS103-108, Las Vegas, NV, August, 1999.
Nordstrom G., Sztipanovits J., Karsai G., Ledeczi A.: Metamodeling - Rapid Design and Evolution of Domain-Specific Modeling Environments, Proceedings of the IEEE ECBS'99 Conference, pp. 68-74, Nashville, Tennessee, April, 1999.
Ledeczi A., Maroti M., Karsai G., Nordstrom G.: Metaprogrammable Toolkit for Model-Integrated Computing, Engineering of Computer Based Systems (ECBS) , pp. 311-317, Nashville, TN, March, 1999.
Bapty T., Scott J., Neema S., Sztipanovits J.: Uniform Execution Environment for Dynamic Reconfiguration, Proceedings of the IEEE Conference and Workshop on Engineering of Computer Based Systems, pp.181-187, Nashville, TN, March, 1999.
Karsai G.: Structured Specification of Model Interpreters, ECBS, pp 84-91, Nashville, TN, March, 1999.
Davis J., Scott J., Sztipanovits J., Martinez M.: Multi-Domain Surety Modeling and Analysis for High Assurance Systems, Proceedings of the Engineering of Computer Based Systems, pp. 254-260, Nashville, TN , March, 1999.
Misra A., Provan G., Karsai G., Bloor G., Scarl E.: 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.
Scott J., Bapty T., Neema S., Sztipanovits J.: Model-Integrated Environment for Adaptive Computing, Proceedings of the Military and Aerospace Applications of Programmable Devices and Technologies Conference, CD-ROM Reference D5, Greenbelt, MA, September, 1998.
Davis J., Scott J., Sztipanovits J., Karsai G., Martinez M.: An Integtrated Multi-Domain Analysis Environment for High Consequence Systems, Proceedings of the 1998 ASME Design Engineering Technical Conference / Computers in Engineering, Paper No. 5532, Altanta, GA, September, 1998.
Davis J., Scott J., Sztipanovits J., Karsai G., Martinez M.: Integrated Analysis Environment for High Impact Systems, Proceedings of the Engineering of Computer Based Systems, pp. 218-225, Jerusalem, Israel, April, 1998.
Nordstrom G., Sztipanovits J., Karsai G.: Metalevel Extension of the MultiGraph Architecture, Proceedings of the IEEE ECBS'98 Conference, pp. 61-68, Jerusalem, Israel, April, 1998.
Nichols J., Moore M.: An Adaptable, Cost Effective Image Processing System, The 10th JANNAF Non-destructive Evaluation Sub Committee, pp. 1-5, Salt Lake City, UT, March, 1998.
Long E., Misra A., Sztipanovits J.: Saturn Site Production Flow (SSPF): Accomplishments and Challenges, Engineering of Computer Based Systems, pp 248-255, Jerusalem, Israel, March, 1998.
Franke H., Biegl C.: Evaluation of a Graph Computational Model on an IBM SP2 Scalable Workstation Cluster, Proceedings of the 1998 IEEE Conference on Engineering of Computer-Based Systems, pp 166-173, Jerusalem, FC, March, 1998.
Karsai G., Sztipanovits J., Franke H.: Towards Specification of Program Synthesis in Model-Integrated Computing, ECBS-98, pp 226-233, Jerusalem, Israel, 1998.
Misra A., Long E., Sztipanovits J.: Evolutionary Design for Manufacturing Execution Systems, World Manufacturing Congress, , Auckland, New Zealand, November, 1997.
Franke H., Sztipanovits J., Karsai G.: Model-Integrated Computing, Hawaii Systems of the World Manufacturing Congress, CD-ROM publication, Auckland, New Zealand, November, 1997.
Biegl C., Malloy D., Chappell M.: Automated, Real-Time Validation of Turbine Engine Test Data Using Explicit Parallelization on an Eight-Processor Pentium Platform, 13th ISABE International Symposium on Airbreathing Engines, paper# ISABE 97-7144, Chattanooga, TN, September, 1997.
Malloy D., Biegl C., Zakrajsek J., Fulton C.: Development of a Near-Real-Time Turbine Engine Testing Diagnostic System Using Feature Extraction Algorithms, 13th ISABE International Symposium on Airbreathing Engines, paper #ISABE 97-7143, Chattanooga, TN, September, 1997.
Karsai G., Sztipanovits J., Ledeczi A., Moore M.: Model-Integrated System Development: Models, Architecture and Process, 21st Annual International Computer Software and Application Conference (COMPSAC), pp. 176-181, Bethesda, MD, August, 1997.
Moore M., Sztipanovits J., Karsai G., Nichols J.: A Model-Integrated Program Synthesis Environment for Parallel/Real-Time Image Processing, SPIE Conference on Parallel and Distributed Methods for Image Processing, pp 31-45, San Diego, CA, June, 1997.
Misra A., Karsai G., Sztipanovits J.: Model-Integrated Development of Complex Applications, Fifth International Symposium on Assessment of Software Tools, pp 14-23, Pittsburgh, PA, June, 1997.
Misra A., Karsai G., Sztipanovits J., Ledeczi A., Moore M.: A Model-Integrated Information System for Increasing Throughput in Discrete Manufacturing, International Conference and Workshop on Engineering of Computer Based Systems, pp 203-210, Monterey, CA, March 24, 1997.
Long E., Misra A.: A Model-Based Engineering Process for Increasing Productivity in Discrete Manufacturing, International Conference and Workshop on Engineering of Computer Based Systems, pp 197-202, Monterey, CA, March, 1997.
Bapty T., Sztipanovits J.: Model-Based Engineering of Large-Scale Real-Time Systems, ", Proceedings of the the Engineering of Computer Based Systems (ECBS) Conference, pp. 467-474, Monterey, CA, March, 1997.
Ledeczi A.: Model-Integrated Parallel Application Synthesis, Engineering of Computer Based Systems (ECBS) , pp. 38-45, Monterey, CA, March, 1997.
Sztipanovits J., Misra A.: Diagnosis of Discrete Event Systems Using Ordered Binary Decision Diagrams, Seventh International Workshop on Principles of Diagnosis, , Val Morin, Quebec, October, 1996.
Long E., Misra A.: Saturn Site Production Flow: Requirements, Constraints, Issues, Workshop on Model-Integrated Computing, , Old Hickory, TN, June, 1996.
Davis J., Bapty T., Karsai G., Malloy D., Sztipanovits J., Tibbals T.: Model Based Data Validation, Proceedings of the Joint Technology Showcase on Integrated Monitoring, Diagnostics, and Failure Prevention, ., Mobile, AL, April, 1996.
Carnes J., Misra A.: Model-Integrated Toolset for Fault Detection, Isolation and Recovery (FDIR), International Conference and Workshop on Engineering of Computer Based Systems, , Friedrichshafen, Germany, March 11, 1996.
Bapty T., Ledeczi A., Davis J., Abbott B., Howard L., Tibbals T.: Turbine Engine Diagnostics Using a Parallel Signal Processor, Joint Technology Showcase on Integrated Monitoring, Diagnostics, and Failure Prevention, , Mobile, AL, 1996.
Karsai G., Sztipanovits J., Padalkar S., DeCaria F.: Model-embedded On-line Problem Solving Environment for Chemical Engineering, International Conference on Engineering of Complex Computer Systems, pp 227-233, Ft Lauderdale, FL, November 6, 1995.
Sztipanovits J., Karsai G., Biegl C., Bapty T., Ledeczi A., Malloy D.: MULTIGRAPH: An Architecture for Model-Integrated Computing, Proceedings of the International Conference on Engineering of Complex Computer Systems, pp. 361-368, Ft. Lauderdale, FL, November 6, 1995.
Moore M.: A DSP-Based Real-Time Image Processing System, The 6th International Confercence on Signal Processing Applications and Technology (ICSPAT95), pp. 1042-1046, Boston, MA, August, 1995.
Moore M., Nichols J.: Model-Based Synthesis of a Real-Time Image Processing Systems, The International Conference on Engineering of Complex Computer Systems (ICECCS), p69, Ft. Lauderdale, FL, August, 1995.
Bapty T., Abbott B.: Portable Kernel for High-Level Synthesis of Complex DSP-Systems, Proceedings of the the International Conference on Signal Processing Applications and Technology, , Boston, MA, May, 1995.
Abbott B., Bapty T.: Interactive User's Interface for a Dynamic Compression System Simulation, Proceedings of the AIAA 33rd Aerospace Sciences Meeting, , Reno, , January, 1995.
Davis J., Bapty T.: Interactive User's Interface for a Dynamic Compression System Simulation, AIAA 33rd Aerospace Sciences Meeting, , Reno, NV, January, 1995.
Bapty T., Ledeczi A., Sztipanovits J., Davis J.: Synthesis of Large-Scale Real-Time Instrumentation Systems using Model-Based Techniques, Proceedings of the the Software Engineering Research Forum, , Boca Raton, FL, 1995.
Ledeczi A.: System Synthesis for Parallel Signal Processing, International Conference on Signal Processing Applications and Technology, pp. 1507-1511, Boston, MA, 1995.
Bapty T., Abbott B.: Parallel Volume Rendering, ", Proceedings of the ICSPAT, , Dallas, TX, October, 1994.
Davis J., Davis J., Abbott B.: Cut-Through Message Passing on the TI TMS320C40, Proceedings of the 7th NATUG, pp. 167-175, Athens, GA, October, 1994.
Karsai G., Padalkar S., Sztipanovits J., DeCaria F.: Activity Modeling, Foundation of Computer Aided Process Design, microfilm publication, Snowmass, CO, July 10, 1994.
Sztipanovits J., Abbott B., Bapty T., Abbott B.: Model-based synthesis of complex embedded systems, Proceedings of the 1994 Complex Systems Engineering Synthesis and Assessment Technology Workshop (CSESAW'94), , Washington DC, , July, 1994.
Tibbals T., Bapty T., Abbott B.: CADDMAS: A Real-Time Parallel System for Dynamic Data Analysis, , International Gas Turbine and Aeroengine Congress, , The Hauge, Netherlands, June, 1994.
Misra A., Sztipanovits J., Carnes J.: Robust Diagnostics: Structural Redundancy Approach, Knowledge Based Artificial Intelligence Systems in Aerospace and Industry, SPIE's Symposium on Intelligent Systems, Orlando, FL, April, 1994.
Padalkar S., Sztipanovits J., Karsai G., Miyasaka N., Okuda K.: Real-Time Fault Diagnostics with Multiple-Aspect Models, IEEE International Conference on Robotics and Automation, pp 803-808, Sacramento, CA, April, 1994.
Ledeczi A., Biegl C., Abbott B.: High Performance Graphics for Parallel Systems, Int. Conf. on Signal Processing Applications and Technology, pp. 733-738, Dallas, TX, January, 1994.
Ledeczi A., Abbott B.: Parallel Systems with Flexible Topology, Scalable High Performance Computing Conference, pp. 460-470, Knoxville, TN, January, 1994.
Abbott B., Ledeczi A.: TICK: TI TMS320C40 Utility Program, International Conference on Signal Processing Applications and Technology, , Dallas, TX, January, 1994.
Moore M., Karsai G., Sztipanovits J.: Model-Based Programming for Parallel Image Processing, IEEE Internatinoal Conference on Image Processing, pp 811-815 V.3., Austin, TX, January, 1994.
Pirjamali R., Summers R., Sztipanovits J., Carson E.: Application of the Multigraph Architecture in Intelligent Patient Monitoring, IEEE-EMBS Annual Conference, , San Diego, CA, October 28, 1993.
Bapty T., Abbott B., Biegl C., Ledeczi A., Sztipanovits J.: Parallel Turbine Engine Instrumentation System, Proceedings of the the 9th AIAA Conference on Computing in Aerospace, pp. 423-433, San Diego, CA, October, 1993.
Abbott B., Bapty T., Biegl C., Ledeczi A., Sztipanovits J.: Model-Based Software Synthesis for Large-Scale Systems, Proceedings of the 9th AIAA Conference on Computing in Aerospace, , San Diego, CA, September, 1993.
Summers R., Pirjamali R., Sztipanovits J., Carson E.: Use of the Multigraph Architecture for the Development of Monitoring and Control in the High Dependency Environment, IMIA-IFMBE Working Conference on Biosignal Interpretation, pp 185-188, , Denmark, August, 1993.
Pirjamali R., Carson E., Summers R.: Intelligent Patient Monitoring Systems, Research Memorandum, Centre for Measurement & Information in Medicine, MIM/RNP-ERC-RS/14, The City University, London, February, 1993.
Ledeczi A., Biegl C., Abbott B., Bapty T., Sztipanovits J.: Automatic Parallel Program Generation for Aerospace Testing, 9th AIAA Conference on Computing in Aerospace, pp 434-440, San Diego, CA, January, 1993.
Sztipanovits J., Carnes J., Misra A.: Finite-State temporal Automata Modeling for Fault Diagnosis, Computing in Aerospace, 9th AIAA Conference, Sand Diego, CA, 1993.
Fernandez K., Cook G., Biegl C., Springfield J.: ROBOSIM: An Intelligent Simulator for Robotic Systems, Technology 2002: 3rd National Technology conference and Exposition, NASA Conference Publication 3189, Vol 2, pp 119-125, Baltimore, MD, December, 1992.
Summers R., Sztipanovits J., Pirjamali R., Carson E.: Model-Based Monitoring in Anaesthesia and Critical Care, 3rd Annual Meeting of the European Society for Computing and Technology in Anaesthesia and Intensive Care , , Salzurg, Germany, October, 1992.
Misra A., Sztipanovits J., Underbrink A., Carnes J., Purves B.: Diagnosability of Dynamical Systems, Third International Workshop on Principles of Diagnosis, , Rosario, WA, October, 1992.
Biegl C., Cook G., Fernandez K., Smith M.: ROBOSIM: An Intelligent Robotics Simulator, UPCAEDM, Tennessee Technological University, pp 209-216, Cookeville, TN, August, 1992.
Abbott B., Bapty T., Biegl C., Ledeczi A., Karsai G., Sztipanovits J.: Experiences Using Model-Based Techniques for the Development of a Large Parallel Instrumentation System, Proceedings of the International Conference on Signal Processing Applications and Technology, pp. 573-582, Boston, MA, February, 1992.
Ledeczi A., Abbott B., Biegl C., Karsai G., Sztipanovits J.: Modeling Parallel Hardware Architectures, International Conference on Signal Processing Applications and Technology, pp. 274-281, Boston, MA, January, 1992.
Karsai G., Sztipanovits J., Padalkar S., Biegl C.: A Model-Based Approach for Plant-Wide Monitoring Control and Diagnostics, AIChE Annual Meeting, microfilm, Los Angeles, CA, November, 1991.
Carnes J., Davis J., Biegl C., Karsai G.: Integrated Modeling for Planning, Simulation and Diagnosis, IEEE Conference on AI Simulation & Planning in High Autonomy Systems, pp 273-282, Cocoa Beach, FL, April, 1991.
Abbott B., Biegl C., Sztipanovits J.: Multigraph on the Transputer, NATUG, pp 25-36, Santa Clara, CA, April, 1990.
Misra A., Abbott B., Sztipanovits J.: Performance Optimization in Signal Processing Systems, 22nd Southeastern Symposium on System Theory, , Cookeville, TN, March, 1990.
Abbott B., Biegl C., Bapty T., Sztipanovits J., Souder R.: Graphical Programming for the Transputer, Proceedings of the 22nd Southeastern Symposium on System Theory, pp. 86-90, , , March, 1990.
Karsai G., Sztipanovits J., Padalkar S., Biegl C., Miyasaka N., Okuda K.: Models and Model building in Intelligent Process Control Systems, IEEE International Symposium on Intelligent Control, pp 351-357, , , 1990.
Wilkes M., Lynd L., Sztipanovits J., Karsai G.: The Multigraph Approach to Parallel, Distributed, Structurally Adaptive Signal Processing, IEEE International Conference on Acousitc and Signal Processing, pp 2037-2040, , , 1990.
Padalkar S., Blokland W., Sztipanovits J.: A Study on Diagnosability of Space Station ECLSS, Fifth Conference on Artificial Intelligence for Space Applications, , Huntsville, AL, 1990.
Biegl C., Cook G., Fernandez K., Smith M.: Simulation-Based Intelligent Robotic Agent for Space Station Freedom, 5th Conference on Artificial Intelligence for Space Applications, pp 203-210, Huntsville, AL, 1990.
Sztipanovits J., Karsai G., Padalkar S., Biegl C., Miyasaka N., Okuda K.: Intelligent Monitoring and Diagnostics for Plant Automation, IEEE International Conference on Robotics and Automation , pp 1390-1397, Cincinnati, OH, 1990.
Abbott B., Bapty T., Sztipanovits J.: Real-Time Turbine Engine Data Visualization, Proceedings of the the 4th NATUG, pp. 1-11, Ithaca, NY, 1990.
Biegl C., Cook G., Fernandez K., Smith M.: Adaptive Control of a Dual-Arm Robot Manipulator Using On-Line Graphical Simulation, 4th Annual Workshop on Robotics and Expert Systems, pp 253-263, Palo Alto, CA, 1989.
Biegl C., Cook G., Fernandez K., Smith M.: Geometrical Simulation-Based Controller for a Dual-Arm Robot Configuration, Southeastern Simulation Conference, pp 141-145, Pensacola, FL, 1989.
Kally S., Sztipanovits J.: Structural Adaptivity: New Way to Increase Intelligence and Flexibility of Patient Monitoring Systems, IFAC Symkposium on Medical Instrumentation, , , , 1989.
Padalkar S., Karsai G., Sztipanovits J.: Graph-Based Real-Time Fault Diagnostics, 4th Conference on Artificial Intelligence for Space Applications, pp 115-123, Huntsville, AL, January, 1988.
Karsai G., Biegl C., Padalkar S., Sztipanovits J., Kawamura K., Miyasaka N., Inui M.: Knowledge-Based Approach to Real-Time Supervisory Control, Amercian Control Conference, pp 620-626, Atlanta, GA, 1988.
Blokland W., Sztipanovits J.: Knowledge-Based Approach to Reconfigurable Control Systems, American Control Conference, pp 1623-1628, Atlanta, GA, 1988.
Kally S., Sztipanovits J.: Model Based Approach in Intelligent Patient Monitoring, 10th IEE/EMBS, pp 1142-1148, New Orleans, LA, 1988.
Sztipanovits J., Karsai G., Purves B.: Model-Based Approach for Intelligent Control, Fourth SPIE Conference on Space Station Automation, pp 46-65, Cambridge, MA, 1988.
Kally S., Sztipanovits J.: Hierarchical Structure of Intelligent Patient Monitoring System, Finnish National Conference on Srtificial Intelligence, pp 123-128, , , 1988.
Karsai G., Sztipanovits J.: Application of Knowledge-Based Techniques in Fourier-Infrared Spectroscopy, Gero, J.S. (ed.): Artificial Intelligence in Engineering: Robotics and Processes, 3rd International Conference on Applications of Artificial Intelligence in Engineering, pp 387-402, Palo Alto, CA, 1988.
Sztipanovits J.: Toward Structural Adaptivity, IEEE International Symposium on Circuits and systems, , Espoo, Finland, 1988.
Sztipanovits J., Karsai G., Biegl C.: Modeling, Model Interpretation and Intelligent Control, 3rd IEEE International Symposium on Intelligent Control, pp 46-50, Arlington , VA, 1988.
Karsai G., Biegl C., Blokland W., Sztipanovits J., Kawamura K., Miyasaka N., Inui M.: Intelligent Supervisory Controller for Gas Distribution Network, American Control Conference, pp 1353-1358, Minneapolis, MI, January, 1987.
Sztipanovits J., Karsai G., Biegl C.: Automated Testing and Integration of Heterogeneous Systems, Proceedings of the Intersociety Energy Conversion Engineering Conference, pp 145-154, Philadelphia, PA, 1987.
Sztipanovits J.: Execution Environment for Intelligent Real-time Control Systems, NASA/JPL Symposium on Telerobotics, pp 131-139, Pasadena, CA, 1987.
Sztipanovits J., Karsai G., Biegl C.: Cooperative Systems for Real-Time Process Monitoring and Diagnostics, Proceeding of the AI-Japan, , Osaka, Japan, 1987.
Sztipanovits J., Krishnamurthy C., Purves B.: Testing and Validation in Artificial Intelligence Programming, Proceedings of the SPIE's Cambridge Symposium on Advances in Intelligent Robotics Systems, pp 2-10, Cambridge, MA, 1987.
Biegl C., Karsai G., Sztipanovits J., Bourne J., Mushlin R., Harrison C.: Execution Environment for Intelligent Real-Time Systems, 8th Annual IEEE/EMBS Conference, pp 807-811, Dallas, TX, 1986.
Biegl C., Karsai G., Sztipanovits J., Bourne J., Mushlin R., Harrison C.: Experiment Design Language for Intelligent MRI Systems, 8th Annual IEEE/EMBS Conference, pp 803-807, Dallas, TX, 1986.
Sztipanovits J.: Knowledge-Based Approach in Measurement and Instrumentation, 3rd International Conference on Measurement in Clinical Medicine, pp 29-33, Edinburgh, United Kingdom, 1986.
Sztipanovits J., Krishnamurthy C., Purves B.: Programming Model for Coupled Intelligent Systems in Distributed Execution Environment, SPIE's Cambridge Symposium on Advances in Intelligent Robotics Systems, pp 40-48, Cambridge , MA, 1986.
Foxvog, Doug, Li X., Vargas J., Bourne J., Sztipanovits J., Mushlin R., Harrison C.: Pulse Programming Assistant for Nuclear Magnetic Resonance Imaging, 8th Annual IEEE/EMBS Conference, pp 811-816, Dallas, TX, 1986.
Bourne J., Sztipanovits J.: Knowledge Representation Manipulation and Acquisition, 7th Annual IEEE/EMBS Conference, pp 1165-1169, Chicago, IL, 1985.
Sztipanovits J., Bourne J.: Architecture of Intelligent Medical Instruments, 7th Annual IEEE/EMBS Conference, pp 1132-1136, Chicago, IL, 1985.
Sztipanovits J., Bourne J.: Design of Intelligent Instrumentation, First Conference on Artificial Intelligence Applications, pp 490-495, Denver, CO, 1984.
Neema H.: A Solution-Clusters Based Approach To Solve Hard Constraint Satisfaction Problems, Master's Thesis, Vanderbilt University, Graduate School, May, 2008.
Yao D.: Specification and Implementation of Autonomic Fault-Mitigation Behaviors for Large-Scale Real-Time Embedded Systems, Master's Thesis, Vanderbilt University, Graduate School, August, 2005.
Dubey A.: Metamodel Based Language and Computation Platform for
Algorithmic Analysis of Hybrid Systems, Master's Thesis, Vanderbilt University, Electrical Engineering, July 28, 2005.
Emerson M.: GME-MOF: AN MDA METAMODELING ENVIRONMENT FOR GME, Master's Thesis, Vanderbilt University, EECS, May, 2005.
Chhokra K.: Accuracy Enhancements for Robust TOA Estimation on Resource Constrained Mobile Platforms, Master's Thesis, Vanderbilt, Electrical Engineering, August 1, 2004.
Agrawal A.: A Formal Graph-Transformation Based Language for Model-to-Model Transformations, PhD Dissertation, Vanderbilt University, Dept of EECS, August, 2004.
Agrawal A.: Model Based Software Engineering, Graph Grammars and Graph Transformations, Area Paper, Vanderbilt University, EECS, April 8, 2004.
Shetty S.: Towards Developing Tools and Technologies for Large Scale Real time Embedded systems, Master's Thesis, Vanderbilt University, Electrical and Computer Engineering, April 1, 2004.
Mujumdar S.: Prioritized Geographical Routing in Sensor Networks, Master's Thesis, Vanderbilt University, Electrical Engineering and Computer Science, April 1, 2004.
Dora S.: AUTOMATED COMPONENT COMPATIBILITY AND RESOURCE USAGE
VERIFICATION IN SENSOR NETWORKS
, Master's Thesis, Vanderbilt University, EECS, April 1, 2004.
Narayanan A.: Declarative Techniques for Unparsing Complex Data Structures, Master's Thesis, Vanderbilt University, Computer Science, April 1, 2004.
Prabhakar R.: Scheduling In Time Triggered Systems Under Mode Changes, Master's Thesis, Vanderbilt University, Electrical Engineering, December, 2003.
Scott J.: Efficient Verification of Multi-Processor Real-Time
Systems Using Symbolic Methods
, Ph.D. Dissertation, Vanderbilt University, Electrical Engineering, May 21, 2003.
Nordstrom S.: A Runtime Environment to Support Fault Mitigative Large-Scale Real-Time Embedded Systems Research, Master's Thesis, Vanderbilt University, Electrical and Computer Engineering, May, 2003.
Sprinkle J.: Metamodel Based Model Migration, Area Paper, Vanderbilt University, Electrical Engineering, February 5, 2003.
Pasternak T.: Heirarchical Control Reconfiguration for a Class of Hybrid Systems, PhD Dissertation, Vanderbilt University, EECS, August, 2002.
Agrawal A.: Hardware Modeling and Simulation of Embedded Applications, Master's Thesis, Vanderbilt University, Electrical Engineering & Computer Science, May, 2002.
Pathak S.: Framework Independent Agent Modeling Environment, Master's Thesis, Vanderbilt University, Electrical and Computer Engineering, May 11, 2001.
Neema S.: System Level Synthesis of Adaptive Computing Systems, Ph. D. Dissertation, Vanderbilt University, Department of Electrical and Computer Engineering, May 11, 2001.
Eames B.: Integrating High-Level Simulation into a Model-Integrated Embedded System Design Toolset, Master's Thesis, Vanderbilt University, Electrical Engineering, May, 2001.
Pasternak T.: Extended Relational Models for Diagnosis, Master's Thesis, Vanderbilt University, EECS, August, 2000.
Sprinkle J.: Model Integrated Program Synthesis of Agent Interaction Protocols, Masters Thesis, Vanderbilt, Electrical Engineering, August, 2000.
Davis J.: Integrated Safety, Reliability, and Diagnostics of High Assurance, High Consequence Systems, Ph.D. Dissertation, Vanderbilt University, Electrical Engineering, May, 2000.
Nelson T.: Implementation of Image Processing Algorithms on FPGA Hardware, Master's Thesis, Vanderbilt University, Electrical Engineering, 2000.
Wang J.: Visual Specification of Model Interpreters, Master's Thesis, Vanderbilt University, 2000.
Nordstrom G.: Metamodeling - Rapid Design and Evolution of Domain-Specific Modeling Environments, Ph. D. Dissertation, Vanderbilt University, Electrical Engineering and Computer Science, March, 1999.
Nordstrom G.: Metamodeling - Rapid Design and Evolution of Domain-Specific Modeling Environments, Area Paper, Vanderbilt University, Electrical Engineering and Computer Science, October, 1998.
Moore M.: Model-Integrated Program Synthesis for Real-Time Image Processing, Ph. D. Dissertation, Vanderbilt University, Department of Electrical and Computer Engineering, February, 1997.
Scott J.: Method for Modeling and Verification of Real-Time Systems, Master's Thesis, Vanderbilt University, Electrical Engineering, 1996.
Davis J.: A Model Based Data Validation System, Master's Thesis, Vanderbilt University, Electrical Engineering, 1995.
Ledeczi A.: Parallel Systems with Flexible Topology, Ph.D. Dissertation, Vanderbilt University, Electrical Engineering and Computer Science, 1995.
Bapty T.: Model-Based Synthesis of Parallel Real-Time Systems, Ph.D. Dissertation, Vanderbilt University, , 1995.
Abbott B., Bapty T.: Real-Time Turbine Engine Data Visualization, Transputer Research Applications, DL Fielding, IOS Press, 1990.ISBN 90 5199 040 5, 1990.
Karsai G.: Declarative Programming Techniques for Engineering, Ph. D. Dissertation, Vanderbilt University, EE, 1988.
Biegl C.: Design and Implementation of an Execution Environment for Knowledge-Based Systems, Ph.D. Dissertation, Vanderbilt University, Electrical Engineering, 1988.
Nordstrom S.: Experiences in Developing Model-Integrated Tools and Technologies for Large-Scale Fault Tolerant Real-Time Embedded Systems, OMG First Annual Model-Integrated Computing (MIC) Workshop, Arlington, VA, USA, October, 2004.
Karsai G.: Tool Support for Design Patterns, NDIST 4 Workshop, December, 2001.
Bapty T., Gray J., Neema S.: February 2001 PCES PI Meeting: Constraint-Based Embedded Program Composition, San Diego, CA, February, 2001.
Bapty T., Gray J., Neema S.: Initial PCES PI Meeting: Constraint-Based Embedded Program Composition, Colorado Springs, CO, July 31, 2000.
Sztipanovits J.: Safety Analysis and Diagnosis in a Model-Integrated Computing Framework, Workshop on Model-Integrated Computing, Nashville, TN, June, 1996.
Misra A., Sztipanovits J., Underbrink A., Carnes J.: Diagnosability Analysis and Robust Diagnostics with Multiple Aspect Modeling, Abstracts of the NASA Workshop on Model-Based Diagnosis and Monitoring; Pasadena, CA, January, 1992.
