( en | de | ru )

 

Disambiguation of "Genaim, Samir"

Author of the publication

copydeleteadd this publication to your clipboard
Resource Usage Analysis and Its Application to Resource Certification.

, , , , and . FOSAD, volume 5705 of Lecture Notes in Computer Science, page 258-288. Springer, (2009)

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.

Alireza Samir

Kais al- Samir

Samer al- Samir

Samer al- Samir

Nizar Samir Gara

 

Other publications of authors with the same name

On the Linear Ranking Problem for Integer Linear-Constraint Loops, and . CoRR, (2012)Task-level analysis for a language with async/finish parallelism., , , and . LCTES, page 21-30. ACM, (2011)Resource Usage Analysis and Its Application to Resource Certification., , , , and . FOSAD, volume 5705 of Lecture Notes in Computer Science, page 258-288. Springer, (2009)Resource Analysis: From Sequential to Concurrent and Distributed Programs., , , , , , , and . FM, volume 9109 of Lecture Notes in Computer Science, page 3-17. Springer, (2015)May-Happen-in-Parallel Analysis with Returned Futures., , and . ATVA, volume 10482 of Lecture Notes in Computer Science, page 42-58. Springer, (2017)May-Happen-in-Parallel Based Deadlock Analysis for Concurrent Objects., , and . FMOODS/FORTE, volume 7892 of Lecture Notes in Computer Science, page 273-288. Springer, (2013)From non-zenoness verification to termination., , , and . MEMOCODE, page 228-237. IEEE, (2015)On the Limits of the Classical Approach to Cost Analysis., and . SAS, volume 7460 of Lecture Notes in Computer Science, page 405-421. Springer, (2012)Multiphase-Linear Ranking Functions and Their Relation to Recurrent Sets., , and . SAS, volume 11822 of Lecture Notes in Computer Science, page 459-480. Springer, (2019)Removing useless variables in cost analysis of Java bytecode., , , , and . SAC, page 368-375. ACM, (2008)