- IEEE Communications Letters 15(3):290-292 (2011)
- Software and System Modeling 11(1):111-125 (2012)
- The Journal of Supercomputing 59(3):1517-1532 (2012)
- iiWAS, page 106-111. ACM, (2011)
- Mathematics in Computer Science 5(4):359-375 (2011)
- Proceedings of the 31st IEEE International Conference on Software Engineering, IEEE Computer Society Press, (May 2009)
- Proceedings of the Workshop in Software Model Engineering, ?Springer-Verlag, Dresden, Germany, part of UML'2002 conference . (October 2002)
- SiPS, page 168-173. IEEE, (2011)
- Embedded Systems Letters 1(1):9-13 (2009)
- EUROMICRO-SEAA, page 191-198. IEEE, (2010)
- IEEE Trans. Software Eng. 33(4):252-269 (2007)
- IEEE Trans. Software Eng. 36(5):662-675 (2010)
- IEEE Software 18(4):76-83 (2001)
- IPDPS Workshops, page 1359-1366. IEEE, (2011)
- DATE, page 649-654. IEEE, (2011)
- DATE, page 228-233. IEEE, (2011)
- International Symposium on Rapid System Prototyping, page 79-84. IEEE, (2011)
- FMCO, volume 3188 of Lecture Notes in Computer Science, page 260-275. Springer, (2003)
- CBSE, volume 3054 of Lecture Notes in Computer Science, page 217-232. Springer, (2004)
- ICLP, volume 3132 of Lecture Notes in Computer Science, page 454-455. Springer, (2004)


author