Keyword Modeling

James Davis


Jason Garrett


Model-based Synthesis of Generators for Embedded Systems

This research is sponsored by the DARPA MoBIES program. Its objective is to automate the creation of model interpreters and other, related tools used for semantic conversion of information.


GME: The Generic Modeling Environment

GME is a configurable graphical modeling environment that supports building multi-aspect, hierarchical models. It also has flexible constraint management and automatic program synthesis capabilities.


Jackson E.: The Software Engineering of Domain-Specific Modeling Languages: A Survey Through Examples, ISIS-07-807, March, 2007.


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.


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.


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.


Dubey A.: Metamodel Based Language and Computation Platform for Algorithmic Analysis of Hybrid Systems, Master's Thesis, Vanderbilt University, Electrical Engineering, July 28, 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.


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.


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.


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.


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., Karsai G., Biswas G.: System Diagnosis using Hybrid Failure Propagation Graphs, ISIS-02-302, December, 2003.


Abdelwahed S., W. M. Wonham: Interacting DES: Modeling and Analysis, IEEE Int. Conference on Systems, Man & Cybernetics, (accepted), Washington, DC., October, 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.


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.


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.


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.


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.


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.


Neema S., Davis J., Eames B., Ledeczi A.: Design Representation Issues in Polymorphous Computing, Tech. Report, ISIS-01-202, January 30, 2001.


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.


Gray J., Bapty T., Neema S.: Aspectifying Constraints in Model-Integrated Computing, OOPSLA 2000: Workshop on Advanced Separation of Concerns,, Minneapolis, MN, October, 2000.


Deva D., Sprinkle J., Maroti M., Nordstrom G.: Towards A Standard For Model Specification And Storage, IEEE SMC 2000, , Nashville, TN, September, 2000.


Ledeczi A.: Model Construction for Model-Integrated Computing, 13th International Conference on Systems Engineering, pp. CS103-108, Las Vegas, NV, August, 1999.


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.


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.

-- No matches --


Distributed Object Computing
Model-Integrated Computing
Model-Driven Architecture
Current Papers & Reports
Archived Papers & Reports