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 FPGA’s 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 OMG’s 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.
