Keyword
Keyword MIC
People

Ted Bapty

bapty@isis.vanderbilt.edu

 
Projects

MetaGME Metamodeling Environment

GME-based toolsuite for specifying and synthesizing domain-specific modeling environments from UML/OCL-based metamodels.

 

Integrated Distribution Management System for Electric Utilities (IDMS)

The Integrated Distribution Management System (IDMS) is a framework that supports integrated decision support tools in electric utilities. The IDMS has been applied to fault diagnosis and outage management.

 

Program Composition for Embedded Systems (PCES)

The main goal of this project is to demonstrate the synergy of model-integrated computing with the ideas from Aspect-Oriented Programming (AOP).

 

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.

 

Fault Tolerant, Real-Time Embedded Systems (FT-RTES)

Tools and technology to build self-repairing, large-scale, real-time, distributed, embedded systems.

 

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.

 
Publications

Kavimandan A., Gokhale A.: Automated Techniques for Mapping Domain-level QoS Requirements to Middleware-specific QoS Configurations, ISIS-07-808, May 31, 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.

   

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.

   

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

   

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.

   

Kusy B., Ledeczi A., Maroti M., Volgyesi P.: Domain Independent Generative Modeling, ECBS '04, CD-Rom, 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.: Model-Integrated Computing, IEEE Potentials, Vol. 23, No. 1, pp. 28-30, February, 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.

   

Agrawal A., Karsai G., Shi F.: Graph Transformations on Domain-Specific Models, ISIS-03-403, November, 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.

   

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.

 

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.

 

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.

   

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

 

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.

 

Neema S., Ledeczi A.: Constraint Guided Self-Adaptation, Self-Adaptive Software: Applications, LNCS 2614, pp. 39-51, 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.

   

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

   

Eames B.: Integrating High-Level Simulation into a Model-Integrated Embedded System Design Toolset, Master's Thesis, Vanderbilt University, Electrical Engineering, May, 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.

   

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.

   

Sprinkle J., van Buskirk C., Karsai G.: Modeling Agent Negotiation, IEEE International Conference on Systems, Man, and Cybernetics, Proceedings, Nashville, TN, October 8, 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.

   

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.

   

Nordstrom G., Ledeczi A.: Formalizing the Specification of Graphical Modeling Languages, ISIS Technical Report ISIS-00-200, 2000.

   

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.

   

Nordstrom G.: Metamodeling - Rapid Design and Evolution of Domain-Specific Modeling Environments, Ph. D. Dissertation, Vanderbilt University, Electrical Engineering and Computer Science, March, 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.

   

Nordstrom G.: Metamodeling - Rapid Design and Evolution of Domain-Specific Modeling Environments, Area Paper, Vanderbilt University, Electrical Engineering and Computer Science, October, 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.

   

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.: Model-Integrated Parallel Application Synthesis, Engineering of Computer Based Systems (ECBS) , pp. 38-45, Monterey, CA, March, 1997.

   

Moore M.: Model-Integrated Program Synthesis for Real-Time Image Processing, Ph. D. Dissertation, Vanderbilt University, Department of Electrical and Computer Engineering, February, 1997.

   
Research
-- No matches --

 

Distributed Object Computing
Model-Integrated Computing
Model-Driven Architecture
Projects
Courses
SIPHER
Tutorials
Current Papers & Reports
Archived Papers & Reports
Presentations
Theses
Workshops/Seminars