Contact Information
Name Dr. Miklos Maroti
Email miklos.maroti@vanderbilt.edu
Web Address http://www.math.u-szeged.hu/~mmaroti/
Position Research Assistant Professor
Address 2015 Terrace Place
Box 1829, Station B
Nashville, TN 37235
Phone (615) 322-1018
Projects

Adaptive Model-Integrated Computing

Model-integrated approach to self-adaptive embedded systems

 

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.

 

MetaGME Metamodeling Environment

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

 
Publications

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.

   

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.

 

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.: Directed Flood-Routing Framework for Wireless Sensor Networks, Middleware 2004, pp, Toronto, Canada, October, 2004.

   

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

   

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

   

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.

 

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.

   

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.

   

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.

 

Levendovszky, T., Karsai G., Ledeczi A., Maroti M., et al.: Model reuse with metamodel based-transformations , ICSR, LNCS, Austin, TX, April 18, 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.

   

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.

   

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

   
Research
-- No matches --
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