Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Experience with testing and rigorous program analysis for qualification of RTOS., , , and . ISEC, page 83-89. ACM, (2013)Detection of Runtime Errors in MISRA C Programs: A Deductive Approach., , , , and . SAFECOMP, volume 4680 of Lecture Notes in Computer Science, page 491-504. Springer, (2007)An Enhanced HCCA Based Adaptive Scheduler for Multimedia Traffic in IEEE 802.11e Wireless LAN., , and . ICWN, page 446-453. CSREA Press, (2010)Delay Estimation for On-Chip VLSI Interconnect using Weibull Distribution Function., , , , and . ICIIS, page 1-3. IEEE, (2008)ScriptOrc: A Specification Language for Web Service Choreography., and . APSCC, page 1089-1096. IEEE Computer Society, (2008)A Closed Form Slew Evaluation Approach Using Burr's Distribution Function for High Speed On-Chip RC Interconnects., , , , and . BAIP, volume 70 of Communications in Computer and Information Science, page 71-75. Springer, (2010)Design and Analysis of a Modified Remote Attestation Protocol., , , and . TrustCom/BigDataSE/ICESS, page 578-585. IEEE Computer Society, (2017)RED: a tool for runtime error detection in C programs using abstract interpretation., and . ISEC, page 37-40. ACM, (2012)Development and performance analysis of HPC based framework for cryptanalytic attacks., , , , and . CUBE, page 789-794. ACM, (2012)Validated Code Generation for Activity Diagrams., and . ICDCIT, volume 3816 of Lecture Notes in Computer Science, page 508-521. Springer, (2005)