Volgyesi, P.,
M. Maroti,
S. Dora,
E. Osses, and
A. Ledeczi,
"
Software Composition and Verification for Sensor Networks",
Science of Computer Programming (Elsevier), vol. 56, pp. 191--210, April, 2005.
Download: Volgyesi_P_4_0_2005_Software_C.pdf (312.39 KB)
Volgyesi, P.,
G. Balogh,
A. Nadas,
C. Nash, and
A. Ledeczi,
"
Shooter Localization and Weapon Classification with Soldier-Wearable Networked Sensors",
5th International Conference on Mobile Systems, Applications, and Services (MobiSys), San Juan, Puerto Rico, 2007.
Download: sys5090-volgyesi.pdf (1.04 MB)
Volgyesi, P., and
A. Ledeczi,
"
Component-Based Development of Networked Embedded Applications",
28th Euromicro Conference, Component-Based Software Engineering Track, Dortmund, Germany, September, 2002.
Download: Volgyesi_P_9_0_2002_Component_.pdf (204.6 KB)
Volgyesi, P.,
M. Maroti,
S. Dora,
E. Osses,
A. Ledeczi, and
T. Paka,
Embedded Software Composition and Verification,
: Institute for Software Integrated Systems, February, 2004.
Download: Volgyesi_P_2_13_2004_Embedded_S.pdf (627.06 KB)
Volgyesi, P.,
A. Nadas,
A. Ledeczi, and
K. Molnar,
"
Reliable Multihop Bulk Transfer Service forWireless Sensor Networks",
13th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS 2006), Potsdam, Germany, March, 2006.
Download: Volgyesi_P_3_0_2006_Reliable_M.pdf (1.61 MB)
Vizhanyo, A.,
S. Neema,
F. Shi,
D. Balasubramanian, and
G. Karsai,
"
Improving the Usability of a Graph Transformation Language",
Electronic Notes in Theoretical Computer Science, vol. 152, pp. 207--222, March, 2006.
Abstract
Download: improve_gtl.pdf (262.32 KB)
Vizhanyo, A.,
A. Agrawal, and
F. Shi,
"
Towards Generation of High-performance Transformations",
Generative Programming and Component Engineering, Vancouver, Canada, October, 2004.
Download: Vizhanyo_A_10_24_2004_Towards_Ge.pdf (366.47 KB)
Venkatachalam, S.,
G. Nordstrom,
R A. Peters,
M. Wilkes, and
A. Alford,
"
Modeling of Agent's Behavior in Human-robot Interaction Using Model Integrated Computing",
IEEE-SMC 2000, Nashville, TN, October, 2000.
Download: Venkatacha_S_10_0_2000_Modeling_o.doc (2.31 MB)