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

A methodology for mapping live sequence chart to coloured Petri net., , , , and . SMC, page 2999-3004. IEEE, (2005)Embedded Hard Real-Time Software Synthesis Considering Dispatcher Overheads., , , , , , , and . IESS, volume 184 of IFIP, page 77-86. Springer, (2005)A time Petri net-based method for embedded hard real-time software synthesis., , , , , and . Des. Autom. Embed. Syst., 12 (1-2): 31-62 (2008)A Novel Greedy Forward Algorithm for Routing Data toward a High Speed Sink in Wireless Sensor Networks., , , , and . ICCCN, page 1-7. IEEE, (2010)A car racing based strategy for the Dynamic Voltage and Frequency Scaling technique., , , , and . ISIE, page 774-779. IEEE, (2012)Map2Check Using LLVM and KLEE - (Competition Contribution)., , , and . TACAS (2), volume 10806 of Lecture Notes in Computer Science, page 437-441. Springer, (2018)Memory Management Test-Case Generation of C Programs Using Bounded Model Checking., , and . SEFM, volume 9276 of Lecture Notes in Computer Science, page 251-267. Springer, (2015)Inserting DVFS Code in Hard Real-Time System Tasks., , , , and . SBESC, page 23-30. IEEE Computer Society, (2017)Towards a Semiformal Development Methodology for Embedded Systems., , and . ENASE, page 5-12. INSTICC Press, (2008)Mapping live sequence chart to coloured petri nets for analysis and verification of embedded systems., , , , and . ACM SIGSOFT Softw. Eng. Notes, 31 (3): 1-25 (2006)