Skip to main content
Horizontal Menu
Research
Areas
Projects
Publications
NSA Center of Academic Excellence
Education
Prospective Students
Internship Program
Team
Sponsors
Contact
Opportunities
Login
Submit
Hamburger Menu
Home
ISIS Calendar
Research
Research Projects
Research Areas
Publications
Education
Internship Program
Prospective Students
Team
Sponsors
Contact
Opportunities
Breadcrumb
Home
/
Akos Ledeczi
First name
Akos
Last name
Ledeczi
Volgyesi, P. ., Maroti, M. ., & Ledeczi, A. . (2003). Model-based Software Synthesis for Distributed Control Systems and Sensor Networks. In
International Carpathian Control Conference
. High Tatras, Slovak Republic. (Original work published 2024)
View
Maroti, M. ., Volgyesi, P. ., Simon, G. ., Karsai, G. ., & Ledeczi, A. . (2003). Distributed Middleware Services Composition and Synthesis Technology. In
IEEE Aerospace
. Big Sky, MT. (Original work published 2024)
View
Simon, G. ., Volgyesi, P. ., Maroti, M. ., & Ledeczi, A. . (2003). Simulation-based optimization of communication protocols for large-scale wireless sensor networks. In
2003 IEEE Aerospace Conference
. Big Sky, MT. (Original work published 2024)
View
Karsai, G. ., Agrawal, A. ., & Ledeczi, A. . (2003). A Metamodel-Driven MDA Process and its Tools. In
WISME, UML 2003 Conference
. San Francisco, CA. (Original work published 2024)
View
Maroti, M. ., Kusy, B. ., Simon, G. ., & Ledeczi, A. . (2004). The Flooding Time Synchronization Protocol.
In Proc. Of ACM SenSys
, 39–49. (Original work published 2024)
View
Volgyesi, P. ., Maroti, M. ., Dora, S. ., Osses, E. ., & Ledeczi, A. . (2005). Software Composition and Verification for Sensor Networks.
Science of Computer Programming (Elsevier)
,
56
, 191–210. (Original work published 2024)
View
Sallai, J. ., Maroti, M. ., & Ledeczi, A. . (2005). A Concurrency Abstraction for Reliable Sensor Network Applications.
Reliable Systems on Unreliable Netowked Platforms, Monterey Workshop 2005
,
LNCS 4322
, 143–160.
View
Simon, G. ., Maroti, M. ., Ledeczi, A. ., Balogh, G. ., Kusy, B. ., Nadas, A. ., … Frampton, K. . (2004). Sensor network-based countersniper system. In
In Proc. of ACM SenSys
(p. 1–12). Baltimore, MD. (Original work published 2024)
View
Kusy, B. ., Ledeczi, A. ., Maroti, M. ., & Volgyesi, P. . (2004). Domain Independent Generative Modeling. In
ECBS ’04
. Brno, Czech Republic. (Original work published 2024)
View
Kusy, B. ., Maroti, M. ., Simon, G. ., & Ledeczi, A. . (2004). Robust Multi-Hop Time Synchronization in Sensor Networks. In
ICWN ’04
. Las Vegas, Nevada, USA. (Original work published 2024)
View
Pagination
Previous page
‹‹
Page 6
Next page
››