Contact Information
Name Dr. Akos Ledeczi
Email first name dot last name at vanderbilt dot edu
Web Address http://www.isis.vanderbilt.edu/akos
Positions Research Assistant Professor
  Senior Research Scientist
Address 201 Hill Center
Box 1829, Station B
Nashville, TN 37235
Phone (615) 343-8307
Projects

MetaGME Metamodeling Environment

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

 

Networked Embedded Software Technology (NEST)

Pattern-Oriented Composition and Synthesis of Middleware Services for NEST

 

Model-based Integrated Simulation Framework (MILAN)

Model-based Integrated Simulation Framework

 

Adaptive Model-Integrated Computing

Model-integrated approach to self-adaptive 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.

 

Multi Granular Dynamic Architecture Adaptation

Investigate high-level representation techniques capable of modeling the design-space of Polymorphous Computing Architectures at multiple levels of granularity

 

Saturn Site Production Flow (SSPF) : Engineering Process and Business Decision Support Tools

The Saturn Site Production Flow (SSPF) system is a Manufacturing Execution System which is an integral and enabling component of the business process employed by Saturn Corp., a car manufacturer, to increase plant throughput.

 

DuPont Activity Modeling Tool (AMT)

The Activity Modeling Tool abstracts creation of a remote GUI and system integration for a high level chemical engineering plant organizer. This framework can be readily extended to other system integration domains.

 

Heterogeneous Sensor Webs for Automated Target Recognition and Tracking in Urban Terrain

Low-bandwidth, high-bandwidth and mobile sensors are working together to solve real-world problems.

 

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.

 
Publications

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.

   

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.

   

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.

 

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.

   

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.

   

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.

 

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.

   

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.

   

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.

 

Balogh G., Ledeczi A., Maroti M., Simon G.: Time of Arrival Data Fusion for Source Localization, Sensorfusion, CD Rom, Visegrad, Hungary, July 14, 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.

   

Maroti M., Kusy B., Balogh G., Volgyesi P., Molnar, Karoly, Dora S., Ledeczi A.: Radio Interferometric Positioning, ISIS-05-602, April 10, 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.

   

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.

   

Balogh G., Ledeczi A., Maroti M.: Wireless sensor network-based projectile trajectory estimation, TR-05-601, February 10, 2005.

   

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.

   

Maroti M., Simon G., Ledeczi A., Sztipanovits J.: Shooter Localization in Urban Terrain, Computer, 37, 8, pp. 60-61, August, 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.

   

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., Ledeczi A., Maroti M., Volgyesi P.: Domain Independent Generative Modeling, ECBS '04, CD-Rom, Brno, Czech Republic, May 24, 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.

   

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., Kusy B., Simon G., Ledeczi A.: The Flooding Time Synchronization Protocol, ISIS-04-501, February 12, 2004.

   

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.

   

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.

   

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.

 

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.

   

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.

   

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.

 

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

 

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

   

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.

 

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.

 

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.

   

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.

   

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.

   

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.

   

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.

   

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.

   

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.

   

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.

   

Ledeczi A., Bapty T., Karsai G.: Synthesis of Self-Adaptive Software, IEEE Aerospace 2000 , CD-ROM Reference 10.0304, 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.

   

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.

   

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.

   

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.

   

Ledeczi A.: Model-Integrated Parallel Application Synthesis, Engineering of Computer Based Systems (ECBS) , pp. 38-45, Monterey, CA, March, 1997.

   

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.

 

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.

   

Ledeczi A.: Parallel Systems with Flexible Topology, Ph.D. Dissertation, Vanderbilt University, Electrical Engineering and Computer Science, 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.

 

Ledeczi A., Bapty T., Karsai G., Sztipanovits J.: Modeling Paradigm for Parallel Signal Processing, The Australian Computer Journal, 27, 3, pp. 99-102, 1995.

 

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.

 

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.

 

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.

 

Ledeczi A., Abbott B.: Model-Based Hardware Configuration Management, Transputer Research and Applications, ISSN: 0925-4986, ISO Press, 6, pp. 318-332, 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.

 

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.

 
Research

Model Integrated Computing

Providing rich, domain-specific modeling environments including model analysis and model-based program synthesis tools.

 
Associated Keywords
-- 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