Author of the publication

A Time Petri Net-Based Approach for Software Synthesis Considering Overheads.

, , , , , , , and . SBAC-PAD, page 184-192. IEEE Computer Society, (2005)

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)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)Map2Check Using LLVM and KLEE - (Competition Contribution)., , , and . TACAS (2), volume 10806 of Lecture Notes in Computer Science, page 437-441. Springer, (2018)A car racing based strategy for the Dynamic Voltage and Frequency Scaling technique., , , , and . ISIE, page 774-779. IEEE, (2012)Inserting DVFS Code in Hard Real-Time System Tasks., , , , and . SBESC, page 23-30. IEEE Computer Society, (2017)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)Software synthesis for hard real-time embedded systems with multiple processors., , , , , , and . ACM SIGSOFT Softw. Eng. Notes, 32 (2): 1-10 (2007)