Research Area
Research Area Modeling languages
Research URL
Research Description ISIS has developed a large number of visual languages for modeling complex systems. Designing and implementing modeling languages for domain-specific applications is one of the key characteristics of our research.
Research Start Date 1/1/2000
Research End Date 1/1/2000

Arpad Bakay


Networked Embedded Software Technology (NEST)

Pattern-Oriented Composition and Synthesis of Middleware Services for NEST


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.


Adaptive Learning Technologies

Provides technology for authoring interactive, adaptive courseware from graphical models. The project is a part of the VaNTH Engineering Research Center in Bioengineering Educational Technologies funded by the National Science Foundation.


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.


Chen K., Sztipanovits J., Neema S.: Compositional Specification of Behavioral Semantics, ISIS-06-705, June 1, 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.


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.


Chen K., Sztipanovits J., Abdelwahed S.: A Semantic Unit for Timed Automata Based Modeling Languages, ISIS-05-605, October 28, 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.


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.


Jackson E., Sztipanovits J.: Using Separation of Concerns for Embedded Systems Design, EMSOFT '05, CD-Rom, Jersey City, New Jersey, September, 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.


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.


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.


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.


Neema S., Karsai G.: Embedded Control Systems Language for Distributed Processing, ISIS-04-505, May 12, 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.


Sprinkle J.: Model-Integrated Computing, IEEE Potentials, Vol. 23, No. 1, pp. 28-30, February, 2004.


Sprinkle J., Karsai G.: Model Migration through Visual Modeling, OOPSLA - 3rd OOPSLA Workshop on Domain-Specific Modeling, , Anaheim, CA, October 26, 2003.


Abdelwahed S., W. M. Wonham: Interacting DES: Modeling and Analysis, IEEE Int. Conference on Systems, Man & Cybernetics, (accepted), Washington, DC., October, 2003.


Sprinkle J.: Metamodel Driven Model Migration, Ph.D. Dissertation, Vanderbilt University, Electrical Engineering, August, 2003.


Howard L.: Adaptive Learning Technologies for Bioengineering Education, IEEE Engineering in Medicine and Biology Magazine, 22, 4, pp. 58-65, July, 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.


Sprinkle J.: Metamodel Based Model Migration, Area Paper, Vanderbilt University, Electrical Engineering, February 5, 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.


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.: 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.


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.


Agrawal A., Karsai G., Shi F.: Interpreter Writing using Graph Transformations, ISIS-03-401, 2003.


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.


Volgyesi P., Ledeczi A.: Component-Based Development of Networked Embedded Applications, 28th Euromicro Conference, Component-Based Software Engineering Track, , Dortmund, Germany, September, 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.


Karsai G.: Tool Support for Design Patterns, NDIST 4 Workshop, December, 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.


Gray J., Bapty T., Neema S.: Handling Crosscutting Constraints in Domain-Specific Modeling, Communications of the ACM, pp. 87-93, 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.


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.


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.


Bapty T., Gray J., Neema S.: February 2001 PCES PI Meeting: Constraint-Based Embedded Program Composition, San Diego, CA, 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.


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

Associated Keywords
-- No matches --


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