- iNetSeC, volume 7039 of Lecture Notes in Computer Science, page 28-42. Springer, (2011)
- IROS, page 3917-3922. IEEE, (2011)
- IEEE Concurrency 8(3):14-15 (2000)
- IEEE Trans. Software Eng. 13(12):1265-1277 (1987)
- IEEE Trans. Software Eng. 14(1):54-61 (1988)
- IEEE Software 14(3):90-101 (1997)
- IEEE Trans. Computers 51(9):1026-1040 (2002)
- Communications and Multimedia Security, volume 7025 of Lecture Notes in Computer Science, page 163-170. Springer, (2011)
- Communications and Multimedia Security, volume 7025 of Lecture Notes in Computer Science, page 214-221. Springer, (2011)
- Microprocessors and Microsystems - Embedded Hardware Design 35(2):246-260 (2011)
- Discrete Applied Mathematics 120(1-3):141-157 (2002)
- ICRA, page 3394-3399. IEEE, (2011)
- IEEE Trans. Education 54(3):462-470 (2011)
- TOS 7(1):2 (2011)
- AIMSA, volume 2443 of Lecture Notes in Computer Science, page 203-212. Springer, (2002)
- FPL, volume 1482 of Lecture Notes in Computer Science, page 376-385. Springer, (1998)
- HAIS 2, volume 6679 of Lecture Notes in Computer Science, page 421-428. Springer, (2011)
- Telecommunication Systems 18(1-3):255-270 (2001)
- Telecommunication Systems 18(1-3):271-287 (2001)
- IEEE, (1988)


author